4 ms·
> Hydra transforms an ungeneralized [peephole] optimization [...] from a developer or a superoptimizer into a generalized version that is often suitable for inc
by mncharity 2y ago
> 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]
Example: `y ≠ 0 |= (y:i64 − 42) × 2048 ⇒ (y − 42) ≪ 11` to `IsPowerOf2(C) |= z × C ⇒ z ≪ log2(C)`.