summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2025-08-05tragic realization: = and <> aren't communative at allWormHeamer
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