how to simplify FP ops with an undef operand?

I agree. Tracking the signbit might be interesting sometimes, but it’s a second-order effect.

– Steve

For reference, some patches based on this discussion:
https://reviews.llvm.org/D44258
https://reviews.llvm.org/D44216
https://reviews.llvm.org/D44308
https://reviews.llvm.org/D44318

Thanks to all for your help cleaning this up.