Don't we have FP math flags for this? See FastMathFlags::noSignedZeros(). Looks like we don't have those on fcmp instrs, though. We should consider doing this folding if signed zeros are disabled. http://reviews.llvm.org/D7257 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/