xref: /llvm-project/llvm/test/Transforms/EarlyCSE/cannot-be-negative-zero-assert.ll (revision d4912e80500706a9912725d45d822675cf9153d8)
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