[llvm] Adding abdu/abds to canCreateUndefOrPoison (PR #149017)
Annu Singh via llvm-commits
llvm-commits at lists.llvm.org
Fri Jul 18 04:16:55 PDT 2025
AnnuCode wrote:
@RKSimon thanks! Now I understand why to include final truncation in the Alive2 tests, as it completes the generic pattern of abdu/s. Here are the tests:
- [Alive2 abdu](https://alive2.llvm.org/ce/z/aafeJs)
- [Alive2 abds](https://alive2.llvm.org/ce/z/XrSmP4)
https://github.com/llvm/llvm-project/pull/149017
More information about the llvm-commits
mailing list