Skip to content

Commit f3232bc

Browse files
committed
Remove more unnecessary 64-bit assumptions in test.
1 parent 8a957d7 commit f3232bc

File tree

1 file changed

+10
-10
lines changed

1 file changed

+10
-10
lines changed

test/IRGen/builtin_vector_fixed_array.sil

+10-10
Original file line numberDiff line numberDiff line change
@@ -205,14 +205,14 @@ entry(%r : $*(Builtin.FixedArray<N, Int>, Builtin.FixedArray<N, Int>), %v : $*Bu
205205
%a = tuple_element_addr %r : $*(Builtin.FixedArray<N, Int>, Builtin.FixedArray<N, Int>), 0
206206
// CHECK: [[SIZE_NEG:%.*]] = icmp slt {{i[0-9]+}} %N, 0
207207
// CHECK: [[SIZE:%.*]] = select i1 [[SIZE_NEG]], {{i[0-9]+}} 0, {{i[0-9]+}} %N
208-
// CHECK: [[IS_ZERO:%.*]] = icmp eq i64 [[SIZE]], 0
208+
// CHECK: [[IS_ZERO:%.*]] = icmp eq {{i[0-9]+}} [[SIZE]], 0
209209
// CHECK: br i1 [[IS_ZERO]], label %[[LOOP_END:.*]], label %[[LOOP:.*]]
210210
// CHECK: [[LOOP]]:
211211
// CHECK: [[COUNT:%.*]] = phi {{i[0-9]+}} [ [[SIZE]], %entry ], [ [[SIZE_DEC:%.*]], %[[LOOP]] ]
212212
// CHECK: [[DEST:%.*]] = phi ptr [ %0, %entry ], [ [[DEST_INC:%.*]], %[[LOOP]] ]
213213
// CHECK: [[SRC:%.*]] = phi ptr [ %1, %entry ], [ [[SRC_INC:%.*]], %[[LOOP]] ]
214-
// CHECK: [[DEST_INC]] = getelementptr inbounds %TSi, ptr [[DEST]], i64 1
215-
// CHECK: [[SRC_INC]] = getelementptr inbounds %TSi, ptr [[SRC]], i64 1
214+
// CHECK: [[DEST_INC]] = getelementptr inbounds %TSi, ptr [[DEST]], {{i[0-9]+}} 1
215+
// CHECK: [[SRC_INC]] = getelementptr inbounds %TSi, ptr [[SRC]], {{i[0-9]+}} 1
216216
// CHECK: [[SIZE_DEC]] = sub {{i[0-9]+}} [[COUNT]], 1
217217
// CHECK: [[DONE:%.*]] = icmp eq {{i[0-9]+}} [[SIZE_DEC]], 0
218218
// CHECK: br i1 [[DONE]], label %[[LOOP_END]], label %[[LOOP]]
@@ -228,14 +228,14 @@ entry(%r : $*(Builtin.FixedArray<N, AnyObject>, Builtin.FixedArray<N, AnyObject>
228228
%a = tuple_element_addr %r : $*(Builtin.FixedArray<N, AnyObject>, Builtin.FixedArray<N, AnyObject>), 0
229229
// CHECK: [[SIZE_NEG:%.*]] = icmp slt {{i[0-9]+}} %N, 0
230230
// CHECK: [[SIZE:%.*]] = select i1 [[SIZE_NEG]], {{i[0-9]+}} 0, {{i[0-9]+}} %N
231-
// CHECK: [[IS_ZERO:%.*]] = icmp eq i64 [[SIZE]], 0
231+
// CHECK: [[IS_ZERO:%.*]] = icmp eq {{i[0-9]+}} [[SIZE]], 0
232232
// CHECK: br i1 [[IS_ZERO]], label %[[LOOP_END:.*]], label %[[LOOP:.*]]
233233
// CHECK: [[LOOP]]:
234234
// CHECK: [[COUNT:%.*]] = phi {{i[0-9]+}} [ [[SIZE]], %entry ], [ [[SIZE_DEC:%.*]], %[[LOOP]] ]
235235
// CHECK: [[DEST:%.*]] = phi ptr [ %0, %entry ], [ [[DEST_INC:%.*]], %[[LOOP]] ]
236236
// CHECK: [[SRC:%.*]] = phi ptr [ %1, %entry ], [ [[SRC_INC:%.*]], %[[LOOP]] ]
237-
// CHECK: [[DEST_INC]] = getelementptr inbounds %AnyObject, ptr [[DEST]], i64 1
238-
// CHECK: [[SRC_INC]] = getelementptr inbounds %AnyObject, ptr [[SRC]], i64 1
237+
// CHECK: [[DEST_INC]] = getelementptr inbounds %AnyObject, ptr [[DEST]], {{i[0-9]+}} 1
238+
// CHECK: [[SRC_INC]] = getelementptr inbounds %AnyObject, ptr [[SRC]], {{i[0-9]+}} 1
239239
// CHECK: [[SIZE_DEC]] = sub {{i[0-9]+}} [[COUNT]], 1
240240
// CHECK: [[DONE:%.*]] = icmp eq {{i[0-9]+}} [[SIZE_DEC]], 0
241241
// CHECK: br i1 [[DONE]], label %[[LOOP_END]], label %[[LOOP]]
@@ -251,14 +251,14 @@ entry(%r : $*(Builtin.FixedArray<N, Any>, Builtin.FixedArray<N, Any>), %v : $*Bu
251251
%a = tuple_element_addr %r : $*(Builtin.FixedArray<N, Any>, Builtin.FixedArray<N, Any>), 0
252252
// CHECK: [[SIZE_NEG:%.*]] = icmp slt {{i[0-9]+}} %N, 0
253253
// CHECK: [[SIZE:%.*]] = select i1 [[SIZE_NEG]], {{i[0-9]+}} 0, {{i[0-9]+}} %N
254-
// CHECK: [[IS_ZERO:%.*]] = icmp eq i64 [[SIZE]], 0
254+
// CHECK: [[IS_ZERO:%.*]] = icmp eq {{i[0-9]+}} [[SIZE]], 0
255255
// CHECK: br i1 [[IS_ZERO]], label %[[LOOP_END:.*]], label %[[LOOP:.*]]
256256
// CHECK: [[LOOP]]:
257257
// CHECK: [[COUNT:%.*]] = phi {{i[0-9]+}} [ [[SIZE]], %entry ], [ [[SIZE_DEC:%.*]], %[[LOOP]] ]
258258
// CHECK: [[DEST:%.*]] = phi ptr [ %0, %entry ], [ [[DEST_INC:%.*]], %[[LOOP]] ]
259259
// CHECK: [[SRC:%.*]] = phi ptr [ %1, %entry ], [ [[SRC_INC:%.*]], %[[LOOP]] ]
260-
// CHECK: [[DEST_INC]] = getelementptr inbounds %Any, ptr [[DEST]], i64 1
261-
// CHECK: [[SRC_INC]] = getelementptr inbounds %Any, ptr [[SRC]], i64 1
260+
// CHECK: [[DEST_INC]] = getelementptr inbounds %Any, ptr [[DEST]], {{i[0-9]+}} 1
261+
// CHECK: [[SRC_INC]] = getelementptr inbounds %Any, ptr [[SRC]], {{i[0-9]+}} 1
262262
// CHECK: [[SIZE_DEC]] = sub {{i[0-9]+}} [[COUNT]], 1
263263
// CHECK: [[DONE:%.*]] = icmp eq {{i[0-9]+}} [[SIZE_DEC]], 0
264264
// CHECK: br i1 [[DONE]], label %[[LOOP_END]], label %[[LOOP]]
@@ -274,7 +274,7 @@ entry(%r : $*(Builtin.FixedArray<N, T>, Builtin.FixedArray<N, T>), %v : $*Builti
274274
%a = tuple_element_addr %r : $*(Builtin.FixedArray<N, T>, Builtin.FixedArray<N, T>), 0
275275
// CHECK: [[SIZE_NEG:%.*]] = icmp slt {{i[0-9]+}} %N, 0
276276
// CHECK: [[SIZE:%.*]] = select i1 [[SIZE_NEG]], {{i[0-9]+}} 0, {{i[0-9]+}} %N
277-
// CHECK: [[IS_ZERO:%.*]] = icmp eq i64 [[SIZE]], 0
277+
// CHECK: [[IS_ZERO:%.*]] = icmp eq {{i[0-9]+}} [[SIZE]], 0
278278
// CHECK: br i1 [[IS_ZERO]], label %[[LOOP_END:.*]], label %[[LOOP:.*]]
279279
// CHECK: [[LOOP]]:
280280
// CHECK: [[COUNT:%.*]] = phi {{i[0-9]+}} [ [[SIZE]], %entry ], [ [[SIZE_DEC:%.*]], %[[LOOP]] ]

0 commit comments

Comments
 (0)