News for hackers. Stuff that matters.

A comment on Mining JIT traces for missing optimizations with Z3. Parent comment

Re:Mining JIT traces for missing optimizations with Z3 by lock_enthusiast on Sunday July 21, 2024 @10:02PM (#41030228)
I think it's a typo, and it should be (x & c1) | (x & c2).
[ Parent | on HN ]
Re:Mining JIT traces for missing optimizations with Z3 by cfbolztereick on Monday July 22, 2024 @05:18AM (#41032336)
Yep, typo, thanks for pointing it out! I'm fixing it.
[ Parent | on HN ]