e/Superoptimization

Information
has gloss	eng: Superoptimization is the task of finding the optimal code sequence for a single, loop-free sequence of instructions. While garden-variety compiler optimizations really just improve code (and it is an accident if it produces genuinely optimal code), a superoptimizer's goal is to find the optimal sequence at the outset.
lexicalization	eng: superoptimization
instance of	c/Compiler optimizations