RKSimon wrote: By the looks of it SelectionDAG::canCreateUndefOrPoison doesn't handle fp ops at all - should we start with fixing those to more closely match ValueTracking llvm::canCreateUndefOrPoison? https://github.com/llvm/llvm-project/pull/142250