@@ -124,8 +124,8 @@ define i1 @test_inner_gep_multiple_indices_ult_true_inc_gep_all_inbounds_overflo
124
124
entry:
125
125
%dst.0 = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 0
126
126
%upper = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 6
127
- %gep.1 = getelementptr i32 , i32* %dst.0 , i64 2
128
- %c = icmp slt i32* %gep.1 , %upper
127
+ %gep.1 = getelementptr i32 , ptr %dst.0 , i64 2
128
+ %c = icmp slt ptr %gep.1 , %upper
129
129
ret i1 %c
130
130
}
131
131
@@ -142,7 +142,7 @@ entry:
142
142
%dst.0 = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 0
143
143
%upper = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 2
144
144
%gep.1 = getelementptr i32 , ptr %dst.0 , i64 1
145
- %c = icmp slt i32* %gep.1 , %upper
145
+ %c = icmp slt ptr %gep.1 , %upper
146
146
ret i1 %c
147
147
}
148
148
@@ -159,7 +159,7 @@ entry:
159
159
%dst.0 = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 0
160
160
%upper = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 2
161
161
%gep.1 = getelementptr i32 , ptr %dst.0 , i64 1
162
- %c = icmp slt i32* %gep.1 , %upper
162
+ %c = icmp slt ptr %gep.1 , %upper
163
163
ret i1 %c
164
164
}
165
165
@@ -175,8 +175,8 @@ define i1 @test_inner_gep_multiple_indices_ult_false_inc_gep_not_inbounds(ptr %d
175
175
entry:
176
176
%dst.0 = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 0
177
177
%upper = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 2
178
- %gep.1 = getelementptr i32 , i32* %dst.0 , i64 2
179
- %c = icmp slt i32* %gep.1 , %upper
178
+ %gep.1 = getelementptr i32 , ptr %dst.0 , i64 2
179
+ %c = icmp slt ptr %gep.1 , %upper
180
180
ret i1 %c
181
181
}
182
182
@@ -192,8 +192,8 @@ define i1 @test_inner_gep_multiple_indices_ult_true_inc_gep_not_inbounds_overflo
192
192
entry:
193
193
%dst.0 = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 0
194
194
%upper = getelementptr inbounds [2 x i32 ], ptr %dst , i64 0 , i64 5
195
- %gep.1 = getelementptr i32 , i32* %dst.0 , i64 2
196
- %c = icmp slt i32* %gep.1 , %upper
195
+ %gep.1 = getelementptr i32 , ptr %dst.0 , i64 2
196
+ %c = icmp slt ptr %gep.1 , %upper
197
197
ret i1 %c
198
198
}
199
199
0 commit comments