[llvm] [DAG] SelectionDAG::canCreateUndefOrPoison - Mark AVGFLOORS and AVGCE… (PR #148191)

[via llvm-commits]

aabhinavg1 wrote:

Hi @jayfoad 
Thanks for pointing that out, @jayfoad!

I included the Alive2 links to show that the lowering of AVGFLOORS and AVGCEILS avoids poison, but I get that it doesn't directly prove that the SelectionDAG op itself is safe.

If you don’t mind, could you suggest what kind of test cases would better show that these ops don’t introduce poison or undef?

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