rat

Compiler backend for toying around with various optimizations

build

$ make        # build
$ make run    # build and runs the demo
$ make test   # builds and runs tests

passes

• FoldPass: Constant folding and algebraic simplification
• GVNPass: Global value numbering
• SCCPPass: Sparse conditional constant propagation
• SimplifyCFGPass: Control-flow simplification
• MemoryOptPass: Load/store forwarding
• InlinePass: Function inlining
• CEmitterPass: Emit C code
• X86EmitterPass: Emit x86 code
• VerifyPass: Edge consistency + per-opcode structural invariants
• TextEmitterPass: Textual IR viz
• GraphEmitterPass: Graph IR viz
• RenameSymbolPass: Rename a given symbol