> Hydra transforms an ungeneralized [peephole] optimization [...] from a developer or a superoptimizer into a generalized version that is often suitable for inclusion in a compiler [llvm]<p>Example: `y ≠ 0 |= (y:i64 − 42) × 2048 ⇒ (y − 42) ≪ 11` to `IsPowerOf2(C) |= z × C ⇒ z ≪ log2(C)`.
Who would even use such a tool?<p>I expect doing this manually to be one of the fun/rewarding aspects of working on a compiler?<p>Sounds very much like automating the wrong thing similar to AI generated 'art'.