[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