summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2025-08-05fix params being pushed in reverse orderWormHeamer
2025-08-05cmp(a - b, b - a) -> cmp(a, b) [dubious]WormHeamer
2025-08-05add a bunch of rules to simplify comparisonsWormHeamer
2025-08-05test upWormHeamer
2025-08-05add N_NONEWormHeamer
2025-08-05better node_equiv for associative ops; not(cmp(a,b)) -> oppcmp(a,b)WormHeamer
2025-08-05convert divisions to right-shiftsWormHeamer
2025-08-05correction! equality is communative, but not _associative_WormHeamer
so constants can still be shuffled from left to right, not(X) from right to left, but the regrouping optimizations don't apply
2025-08-05tragic realization: = and <> aren't communative at allWormHeamer
i assumed they were because it kinda makes sense to write something like "a = b = c", but "a = (b = c)" and "(a = b) = c" are very very different expressions. whoops!
2025-08-05allow `proc main(a, b, c i64)` and suchWormHeamer
2025-08-05convert a + -lit -> a - lit; some add/sub inequivalence identitiesWormHeamer
2025-08-05known-not-equivalent identities: a [+/-] lit[x, x =/= 0]WormHeamer
2025-08-04actually do op(not(X), Y) -> op(Y, not(X)) to avoid loopingWormHeamer
2025-08-04shuffle communative op(not(X), Y) -> op(Y, not(X))WormHeamer
2025-08-04NODE_KEEP macroWormHeamer
2025-08-04fix bug of lhs getting culled if same node optimized out of rhsWormHeamer
2025-08-04make NodeInputs statically sized, peephole a + ~a and a ^ ~aWormHeamer
2025-08-04stuffsWormHeamer
2025-08-04fix communative peepholes trampling type boundariesWormHeamer
2025-08-04add optimizations based on only partially known valuesWormHeamer
2025-08-04use lisp acronyms to express peephole optimizationsWormHeamer
2025-08-04color nodes by modulo of IDWormHeamer
2025-08-04another communative operator peepholeWormHeamer
2025-08-04add projection nodes, fix peephole optimizationWormHeamer
2025-08-03comment out some debug printfsWormHeamer
2025-08-03add booleans and comparison operatorsWormHeamer
2025-08-03expand and clarify type system, fix double-free of nodesWormHeamer
2025-08-03add assignment statementsWormHeamer
2025-08-03factor out node stuff into ir.c & ir.hWormHeamer
2025-08-03shift operators, deduplicate integer constant nodesWormHeamer
2025-08-03add shift and comparison operatorsWormHeamer
2025-08-03add comparison operators, single-line commentsWormHeamer
2025-08-02better error reportingWormHeamer
2025-08-02preliminary let bindingsWormHeamer
2025-08-02some junkWormHeamer
2025-08-02bunch of stuff to make error messages look more like gcc lolWormHeamer
2025-08-02more peepholingWormHeamer
2025-08-02highly speculative peephole stuffWormHeamer
2025-08-02dot graph visualization when runningWormHeamer
2025-08-02whole bunch of graph stuff, fixing up, basic arithmetic peepholes...WormHeamer
2025-08-01begin working on graph IRWormHeamer
2025-08-01add commentsWormHeamer
2025-07-31initial commitWormHeamer
generated by cgit v1.2.3 (git 2.46.0) at 2025-11-15 19:32:54 +0000