search for: mizers

...optimization purposes, I use this to automatically generate a LLVM backend based on a machine description using the ArchC architecture description lan- guage. The backend patterns are fixed and the implementation of the pattern is inferred using a search algorithm similar to the one used on superoptimizers. Thus, I have experience both on superoptimizer theory and LLVM code. References [1] Sorav Bansal and Alex Aiken. Automatic generation of peephole superopti- mizers. SIGPLAN Not., 41:394–403, October 2006. [2] Henry Massalin. Superoptimizer: a look at the smallest program. In ASPLOS-II: Proceed...