[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

Previous message: [llvm] [InstCombine] Propagate exact flags in transformation (PR #88340)
Next message: [llvm] [InstCombine] Propagate exact flags in transformation (PR #88340)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [llvm] [InstCombine] Propagate exact flags in transformation (PR #88340)
Next message: [llvm] [InstCombine] Propagate exact flags in transformation (PR #88340)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list