1*d4912e80SMatt Arsenault; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 2*d4912e80SMatt Arsenault; RUN: opt -S -passes=early-cse < %s | FileCheck %s 3*d4912e80SMatt Arsenault 4*d4912e80SMatt Arsenault; We can't assume comparisons with 0 are exact class tests with dynamic denormal mode 5*d4912e80SMatt Arsenaultdefine double @cannot_be_negative_zero_test_dynamic_denormal_fp_math(double %a) #0 { 6*d4912e80SMatt Arsenault; CHECK-LABEL: define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math( 7*d4912e80SMatt Arsenault; CHECK-SAME: double [[A:%.*]]) #[[ATTR0:[0-9]+]] { 8*d4912e80SMatt Arsenault; CHECK-NEXT: entry: 9*d4912e80SMatt Arsenault; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[A]], 0.000000e+00 10*d4912e80SMatt Arsenault; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double 1.000000e+00, double 0.000000e+00 11*d4912e80SMatt Arsenault; CHECK-NEXT: store double [[COND]], ptr addrspace(5) null, align 8 12*d4912e80SMatt Arsenault; CHECK-NEXT: ret double [[COND]] 13*d4912e80SMatt Arsenault; 14*d4912e80SMatt Arsenaultentry: 15*d4912e80SMatt Arsenault %cmp = fcmp oeq double %a, 0.000000e+00 16*d4912e80SMatt Arsenault %cond = select i1 %cmp, double 1.000000e+00, double 0.000000e+00 17*d4912e80SMatt Arsenault store double %cond, ptr addrspace(5) null, align 8 18*d4912e80SMatt Arsenault %load = load double, ptr addrspace(5) null, align 8 19*d4912e80SMatt Arsenault %add.i = fadd double %load, 0.000000e+00 20*d4912e80SMatt Arsenault ret double %add.i 21*d4912e80SMatt Arsenault} 22*d4912e80SMatt Arsenault 23*d4912e80SMatt Arsenaultdefine double @cannot_be_negative_zero_test_dynamic_denormal_fp_math_negzero(double %a) #0 { 24*d4912e80SMatt Arsenault; CHECK-LABEL: define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math_negzero( 25*d4912e80SMatt Arsenault; CHECK-SAME: double [[A:%.*]]) #[[ATTR0]] { 26*d4912e80SMatt Arsenault; CHECK-NEXT: entry: 27*d4912e80SMatt Arsenault; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[A]], -0.000000e+00 28*d4912e80SMatt Arsenault; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double 1.000000e+00, double 0.000000e+00 29*d4912e80SMatt Arsenault; CHECK-NEXT: store double [[COND]], ptr addrspace(5) null, align 8 30*d4912e80SMatt Arsenault; CHECK-NEXT: ret double [[COND]] 31*d4912e80SMatt Arsenault; 32*d4912e80SMatt Arsenaultentry: 33*d4912e80SMatt Arsenault %cmp = fcmp oeq double %a, -0.000000e+00 34*d4912e80SMatt Arsenault %cond = select i1 %cmp, double 1.000000e+00, double 0.000000e+00 35*d4912e80SMatt Arsenault store double %cond, ptr addrspace(5) null, align 8 36*d4912e80SMatt Arsenault %load = load double, ptr addrspace(5) null, align 8 37*d4912e80SMatt Arsenault %add.i = fadd double %load, 0.000000e+00 38*d4912e80SMatt Arsenault ret double %add.i 39*d4912e80SMatt Arsenault} 40*d4912e80SMatt Arsenault 41*d4912e80SMatt Arsenaultattributes #0 = { "denormal-fp-math"="dynamic,dynamic" } 42