I accidentally removed this in r262212 but there was no test coverage to
detect it.
llvm-svn: 262215
return X;
// fsub 0.0, (fsub 0.0, X) ==> X if signed zeros are ignored.
- if (FMF.noSignedZeros() && match(Op0, m_NegZero()) &&
+ if (FMF.noSignedZeros() && match(Op0, m_AnyZero()) &&
match(Op1, m_FSub(m_AnyZero(), m_Value(X))))
return X;
ret float %ret
}
+; fsub nsz 0.0, (fsub 0.0, X) ==> X
+; CHECK-LABEL: @fsub_0_0_x(
+define float @fsub_0_0_x(float %a) {
+ %t1 = fsub float 0.0, %a
+ %ret = fsub nsz float 0.0, %t1
+
+; CHECK: ret float %a
+ ret float %ret
+}
+
; fadd nsz X, 0 ==> X
; CHECK-LABEL: @nofold_fadd_x_0(
define float @nofold_fadd_x_0(float %a) {