[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / GVN / equality-assume.ll
blobee2cb06c158df98fa5a0d2f2f57691fed4caa924
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -gvn < %s | FileCheck %s
4 define i32 @test(i32* %p, i32 %v) {
5 ; CHECK-LABEL: @test(
6 ; CHECK-NEXT:    [[LOAD:%.*]] = load i32, i32* [[P:%.*]]
7 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i32 [[LOAD]], [[V:%.*]]
8 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
9 ; CHECK-NEXT:    ret i32 [[V]]
11   %load = load i32, i32* %p
12   %c = icmp eq i32 %load, %v
13   call void @llvm.assume(i1 %c)
14   ret i32 %load
17 define i32 @reverse(i32* %p, i32 %v) {
18 ; CHECK-LABEL: @reverse(
19 ; CHECK-NEXT:    [[LOAD:%.*]] = load i32, i32* [[P:%.*]]
20 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i32 [[LOAD]], [[V:%.*]]
21 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
22 ; CHECK-NEXT:    ret i32 [[V]]
24   %load = load i32, i32* %p
25   %c = icmp eq i32 %load, %v
26   call void @llvm.assume(i1 %c)
27   ret i32 %v
30 ; Lack of equivalance due to +0.0 vs -0.0
31 define float @neg_float_oeq(float* %p, float %v) {
32 ; CHECK-LABEL: @neg_float_oeq(
33 ; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
34 ; CHECK-NEXT:    [[C:%.*]] = fcmp oeq float [[LOAD]], [[V:%.*]]
35 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
36 ; CHECK-NEXT:    ret float [[LOAD]]
38   %load = load float, float* %p
39   %c = fcmp oeq float %load, %v
40   call void @llvm.assume(i1 %c)
41   ret float %load
44 ; Lack of equivalance due to +0.0 vs -0.0
45 define float @neg_float_ueq(float* %p, float %v) {
46 ; CHECK-LABEL: @neg_float_ueq(
47 ; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
48 ; CHECK-NEXT:    [[C:%.*]] = fcmp ueq float [[LOAD]], [[V:%.*]]
49 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
50 ; CHECK-NEXT:    ret float [[LOAD]]
52   %load = load float, float* %p
53   %c = fcmp ueq float %load, %v
54   call void @llvm.assume(i1 %c)
55   ret float %load
58 define float @float_oeq_constant(float* %p) {
59 ; CHECK-LABEL: @float_oeq_constant(
60 ; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
61 ; CHECK-NEXT:    [[C:%.*]] = fcmp oeq float [[LOAD]], 5.000000e+00
62 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
63 ; CHECK-NEXT:    ret float 5.000000e+00
65   %load = load float, float* %p
66   %c = fcmp oeq float %load, 5.0
67   call void @llvm.assume(i1 %c)
68   ret float %load
71 ; Lack of equivalance due to Nan
72 define float @neq_float_ueq_constant(float* %p) {
73 ; CHECK-LABEL: @neq_float_ueq_constant(
74 ; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
75 ; CHECK-NEXT:    [[C:%.*]] = fcmp ueq float [[LOAD]], 5.000000e+00
76 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
77 ; CHECK-NEXT:    ret float [[LOAD]]
79   %load = load float, float* %p
80   %c = fcmp ueq float %load, 5.0
81   call void @llvm.assume(i1 %c)
82   ret float %load
85 define float @float_ueq_constant_nnas(float* %p) {
86 ; CHECK-LABEL: @float_ueq_constant_nnas(
87 ; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
88 ; CHECK-NEXT:    [[C:%.*]] = fcmp nnan ueq float [[LOAD]], 5.000000e+00
89 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
90 ; CHECK-NEXT:    ret float 5.000000e+00
92   %load = load float, float* %p
93   %c = fcmp nnan ueq float %load, 5.0
94   call void @llvm.assume(i1 %c)
95   ret float %load
98 define i32 @test2(i32* %p, i32 %v) {
99 ; CHECK-LABEL: @test2(
100 ; CHECK-NEXT:    [[LOAD:%.*]] = load i32, i32* [[P:%.*]]
101 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i32 [[LOAD]], [[V:%.*]]
102 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
103 ; CHECK-NEXT:    ret i32 [[V]]
105   %load = load i32, i32* %p
106   %c = icmp eq i32 %load, %v
107   call void @llvm.assume(i1 %c)
108   %load2 = load i32, i32* %p
109   ret i32 %load2
112 define i32 @test3(i32* %p, i32 %v) {
113 ; CHECK-LABEL: @test3(
114 ; CHECK-NEXT:    [[LOAD:%.*]] = load i32, i32* [[P:%.*]]
115 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i32 [[LOAD]], [[V:%.*]]
116 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
117 ; CHECK-NEXT:    br i1 undef, label [[TAKEN:%.*]], label [[MERGE:%.*]]
118 ; CHECK:       taken:
119 ; CHECK-NEXT:    br label [[MERGE]]
120 ; CHECK:       merge:
121 ; CHECK-NEXT:    ret i32 [[V]]
123   %load = load i32, i32* %p
124   %c = icmp eq i32 %load, %v
125   call void @llvm.assume(i1 %c)
126   br i1 undef, label %taken, label %merge
127 taken:
128   br label %merge
129 merge:
130   ret i32 %load
133 define i32 @trivial_constants(i32* %p) {
134 ; CHECK-LABEL: @trivial_constants(
135 ; CHECK-NEXT:    br i1 undef, label [[TAKEN:%.*]], label [[MERGE:%.*]]
136 ; CHECK:       taken:
137 ; CHECK-NEXT:    br label [[MERGE]]
138 ; CHECK:       merge:
139 ; CHECK-NEXT:    ret i32 0
141   %c = icmp eq i32 0, 0
142   call void @llvm.assume(i1 %c)
143   br i1 undef, label %taken, label %merge
144 taken:
145   br label %merge
146 merge:
147   ret i32 0
150 define i32 @conflicting_constants(i32* %p) {
151 ; CHECK-LABEL: @conflicting_constants(
152 ; CHECK-NEXT:    store i8 undef, i8* null
153 ; CHECK-NEXT:    br i1 undef, label [[TAKEN:%.*]], label [[MERGE:%.*]]
154 ; CHECK:       taken:
155 ; CHECK-NEXT:    br label [[MERGE]]
156 ; CHECK:       merge:
157 ; CHECK-NEXT:    ret i32 1
159   %c = icmp eq i32 0, 5
160   call void @llvm.assume(i1 %c)
161   br i1 undef, label %taken, label %merge
162 taken:
163   br label %merge
164 merge:
165   ret i32 1
168 declare void @llvm.assume(i1)