[llvm] [llvm] Optimize usub.sat fix for #79690 (PR #151044)

Nimit Sachdeva via llvm-commits llvm-commits at lists.llvm.org
Mon Aug 25 12:34:16 PDT 2025

Previous message: [llvm] [llvm] Optimize usub.sat fix for #79690 (PR #151044)
Next message: [llvm] [llvm] Optimize usub.sat fix for #79690 (PR #151044)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

nimit25 wrote:

https://alive2.llvm.org/ce/z/DpQJdn generalized proof

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

Previous message: [llvm] [llvm] Optimize usub.sat fix for #79690 (PR #151044)
Next message: [llvm] [llvm] Optimize usub.sat fix for #79690 (PR #151044)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list