This compiler take a C-like language, performs code motion, code straightening, loop unrolling, constant/variable propagation, and even generates a combinatorial circuit equivalent to the given code.