[llvm] [DAG] SelectionDAG::canCreateUndefOrPoison - AVGFLOORU/AVGCEILU don't create undef/poison (PR #157056)

Jay Foad via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 5 03:33:13 PDT 2025


https://github.com/jayfoad approved this pull request.

It is intuitively obvious to me that AVGFLOORU/AVGCEILU/AVGFLOORS/AVGCEILS have a well defined result for all (non-undef non-poison) inputs, so I think this is fine even without Alive2 proofs.

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


More information about the llvm-commits mailing list