News for hackers. Stuff that matters.
Re:Mining JIT traces for missing optimizations with Z3 by aantix on Sunday July 21, 2024 @05:06PM (#41028113)
Is the scope a whole program or a specific algorithm?
Re:Mining JIT traces for missing optimizations with Z3 by SkiFire13 on Monday July 22, 2024 @02:50AM (#41031554)
Even most algorithms would allow too many inputs. Even a simple algorithm computing the addition between two 64 bit numbers allow 2^128 possible input combinations, which would take billions of years to exhaustively check in the best case.