search for: massalin

...in optimal time is undecidable and, in practice, optimizations are discovered by humans using analytical reasoning. Finding new optimizations in an automated fashion, using a search algorithm, is a different approach to the problem and became known in literature as superoptimization, term coined by Massalin [2]. Using computer-aided optimization discovery, different kind of optimizations unnoticed by humans may be detected, specially those specific to the target machine code [1]. This project will focus on implementing a superoptimizer which will exhaustively investigate new optimizations for the LLVM I...