[HN Gopher] Hydra: Generalizing peephole optimizations with prog...
       ___________________________________________________________________
        
       Hydra: Generalizing peephole optimizations with program synthesis
       [pdf]
        
       Author : luu
       Score  : 27 points
       Date   : 2024-06-11 19:53 UTC (3 days ago)
        
 (HTM) web link (users.cs.utah.edu)
 (TXT) w3m dump (users.cs.utah.edu)
        
       | mncharity wrote:
       | > 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) x 2048 = (y - 42) [?] 11` to
       | `IsPowerOf2(C) |= z x C = z [?] log2(C)`.
        
       | fooker wrote:
       | Who would even use such a tool?
       | 
       | I expect doing this manually to be one of the fun/rewarding
       | aspects of working on a compiler?
       | 
       | Sounds very much like automating the wrong thing similar to AI
       | generated 'art'.
        
       ___________________________________________________________________
       (page generated 2024-06-14 23:01 UTC)