if (!isDefaultFPEnvironment(ExBehavior, Rounding))
return nullptr;
- // With nnan: -X + X --> 0.0 (and commuted variant)
- // We don't have to explicitly exclude infinities (ninf): INF + -INF == NaN.
- // Negative zeros are allowed because we always end up with positive zero:
- // X = -0.0: (-0.0 - (-0.0)) + (-0.0) == ( 0.0) + (-0.0) == 0.0
- // X = -0.0: ( 0.0 - (-0.0)) + (-0.0) == ( 0.0) + (-0.0) == 0.0
- // X = 0.0: (-0.0 - ( 0.0)) + ( 0.0) == (-0.0) + ( 0.0) == 0.0
- // X = 0.0: ( 0.0 - ( 0.0)) + ( 0.0) == ( 0.0) + ( 0.0) == 0.0
if (FMF.noNaNs()) {
+ // With nnan: X + {+/-}Inf --> {+/-}Inf
+ if (match(Op1, m_Inf()))
+ return Op1;
+
+ // With nnan: -X + X --> 0.0 (and commuted variant)
+ // We don't have to explicitly exclude infinities (ninf): INF + -INF == NaN.
+ // Negative zeros are allowed because we always end up with positive zero:
+ // X = -0.0: (-0.0 - (-0.0)) + (-0.0) == ( 0.0) + (-0.0) == 0.0
+ // X = -0.0: ( 0.0 - (-0.0)) + (-0.0) == ( 0.0) + (-0.0) == 0.0
+ // X = 0.0: (-0.0 - ( 0.0)) + ( 0.0) == (-0.0) + ( 0.0) == 0.0
+ // X = 0.0: ( 0.0 - ( 0.0)) + ( 0.0) == ( 0.0) + ( 0.0) == 0.0
if (match(Op0, m_FSub(m_AnyZeroFP(), m_Specific(Op1))) ||
match(Op1, m_FSub(m_AnyZeroFP(), m_Specific(Op0))))
return ConstantFP::getNullValue(Op0->getType());
define double @fadd_nnan_inf_op0(double %x) {
; CHECK-LABEL: @fadd_nnan_inf_op0(
-; CHECK-NEXT: [[R:%.*]] = fadd nnan double 0x7FF0000000000000, [[X:%.*]]
-; CHECK-NEXT: ret double [[R]]
+; CHECK-NEXT: ret double 0x7FF0000000000000
;
%r = fadd nnan double 0x7ff0000000000000, %x
ret double %r
define double @fadd_nnan_inf_op1(double %x) {
; CHECK-LABEL: @fadd_nnan_inf_op1(
-; CHECK-NEXT: [[R:%.*]] = fadd nnan double [[X:%.*]], 0x7FF0000000000000
-; CHECK-NEXT: ret double [[R]]
+; CHECK-NEXT: ret double 0x7FF0000000000000
;
%r = fadd nnan double %x, 0x7ff0000000000000
ret double %r
define <2 x double> @fadd_nnan_neginf_op1(<2 x double> %x) {
; CHECK-LABEL: @fadd_nnan_neginf_op1(
-; CHECK-NEXT: [[R:%.*]] = fadd nnan <2 x double> [[X:%.*]], <double 0xFFF0000000000000, double poison>
-; CHECK-NEXT: ret <2 x double> [[R]]
+; CHECK-NEXT: ret <2 x double> <double 0xFFF0000000000000, double poison>
;
%r = fadd nnan <2 x double> %x, <double 0xfff0000000000000, double poison>
ret <2 x double> %r
define double @fadd_nnan_neginf_op0(double %x) {
; CHECK-LABEL: @fadd_nnan_neginf_op0(
-; CHECK-NEXT: [[R:%.*]] = fadd nnan double 0xFFF0000000000000, [[X:%.*]]
-; CHECK-NEXT: ret double [[R]]
+; CHECK-NEXT: ret double 0xFFF0000000000000
;
%r = fadd nnan double 0xfff0000000000000, %x
ret double %r
}
+; negative test - requires nnan
+
define double @fadd_inf_op0(double %x) {
; CHECK-LABEL: @fadd_inf_op0(
; CHECK-NEXT: [[R:%.*]] = fadd double 0x7FF0000000000000, [[X:%.*]]