42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: opt -S -passes=early-cse < %s | FileCheck %s3 4; We can't assume comparisons with 0 are exact class tests with dynamic denormal mode5define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math(double %a) #0 {6; CHECK-LABEL: define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math(7; CHECK-SAME: double [[A:%.*]]) #[[ATTR0:[0-9]+]] {8; CHECK-NEXT: entry:9; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[A]], 0.000000e+0010; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double 1.000000e+00, double 0.000000e+0011; CHECK-NEXT: store double [[COND]], ptr addrspace(5) null, align 812; CHECK-NEXT: ret double [[COND]]13;14entry:15 %cmp = fcmp oeq double %a, 0.000000e+0016 %cond = select i1 %cmp, double 1.000000e+00, double 0.000000e+0017 store double %cond, ptr addrspace(5) null, align 818 %load = load double, ptr addrspace(5) null, align 819 %add.i = fadd double %load, 0.000000e+0020 ret double %add.i21}22 23define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math_negzero(double %a) #0 {24; CHECK-LABEL: define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math_negzero(25; CHECK-SAME: double [[A:%.*]]) #[[ATTR0]] {26; CHECK-NEXT: entry:27; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[A]], -0.000000e+0028; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], double 1.000000e+00, double 0.000000e+0029; CHECK-NEXT: store double [[COND]], ptr addrspace(5) null, align 830; CHECK-NEXT: ret double [[COND]]31;32entry:33 %cmp = fcmp oeq double %a, -0.000000e+0034 %cond = select i1 %cmp, double 1.000000e+00, double 0.000000e+0035 store double %cond, ptr addrspace(5) null, align 836 %load = load double, ptr addrspace(5) null, align 837 %add.i = fadd double %load, 0.000000e+0038 ret double %add.i39}40 41attributes #0 = { "denormal-fp-math"="dynamic,dynamic" }42