News for hackers. Stuff that matters.

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

Re:Mining JIT traces for missing optimizations with Z3 by gus_massa on Sunday July 21, 2024 @07:49PM (#41029503)
From the article:

> (x & c1) | (x & c1) == x & (c1 | c2)

Is this a typo? Shoud the second c1 be c2 instead?

[ Parent | on HN ]
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 ]