[llvm] [InstCombine] Propagate exact flags in transformation (PR #88340)

via llvm-commits llvm-commits at lists.llvm.org
Wed Apr 10 19:44:07 PDT 2024


AtariDreams wrote:

> Could you please please add alive2 proof for it?

https://alive2.llvm.org/ce/z/vmoZrX

https://github.com/llvm/llvm-project/pull/88340


More information about the llvm-commits mailing list