@@ -31,11 +31,11 @@ void init(void * __attribute__((pass_dynamic_object_size(0))));
3131// CHECK-NEXT: [[GROWABLE:%.*]] = getelementptr inbounds nuw i8, ptr [[FOO]], i64 8
3232// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[GROWABLE]], align 8, !tbaa [[TBAA2:![0-9]+]]
3333// CHECK-NEXT: [[ARRAY:%.*]] = getelementptr inbounds nuw i8, ptr [[TMP0]], i64 12
34- // CHECK-NEXT: [[DOT_COUNTED_BY_GEP :%.*]] = getelementptr inbounds nuw i8, ptr [[TMP0]], i64 8
35- // CHECK-NEXT: [[DOT_COUNTED_BY_LOAD :%.*]] = load i32, ptr [[DOT_COUNTED_BY_GEP ]], align 4
36- // CHECK-NEXT: [[TMP1:%.*]] = sext i32 [[DOT_COUNTED_BY_LOAD ]] to i64
34+ // CHECK-NEXT: [[COUNTED_BY_GEP :%.*]] = getelementptr inbounds nuw i8, ptr [[TMP0]], i64 8
35+ // CHECK-NEXT: [[COUNTED_BY_LOAD :%.*]] = load i32, ptr [[COUNTED_BY_GEP ]], align 4
36+ // CHECK-NEXT: [[TMP1:%.*]] = sext i32 [[COUNTED_BY_LOAD ]] to i64
3737// CHECK-NEXT: [[TMP2:%.*]] = shl nsw i64 [[TMP1]], 1
38- // CHECK-NEXT: [[TMP3:%.*]] = icmp sgt i32 [[DOT_COUNTED_BY_LOAD ]], -1
38+ // CHECK-NEXT: [[TMP3:%.*]] = icmp sgt i32 [[COUNTED_BY_LOAD ]], -1
3939// CHECK-NEXT: [[TMP4:%.*]] = select i1 [[TMP3]], i64 [[TMP2]], i64 0
4040// CHECK-NEXT: tail call void @init(ptr noundef nonnull [[ARRAY]], i64 noundef [[TMP4]]) #[[ATTR2:[0-9]+]]
4141// CHECK-NEXT: ret void
@@ -48,15 +48,24 @@ void test1(struct bucket *foo) {
4848// CHECK-SAME: ptr noundef [[FOO:%.*]]) local_unnamed_addr #[[ATTR0]] {
4949// CHECK-NEXT: entry:
5050// CHECK-NEXT: [[ARRAY:%.*]] = getelementptr inbounds nuw i8, ptr [[FOO]], i64 16
51- // CHECK-NEXT: [[DOT_COUNTED_BY_GEP :%.*]] = getelementptr inbounds nuw i8, ptr [[FOO]], i64 12
52- // CHECK-NEXT: [[DOT_COUNTED_BY_LOAD :%.*]] = load i32, ptr [[DOT_COUNTED_BY_GEP ]], align 4
53- // CHECK-NEXT: [[TMP0:%.*]] = sext i32 [[DOT_COUNTED_BY_LOAD ]] to i64
51+ // CHECK-NEXT: [[COUNTED_BY_GEP :%.*]] = getelementptr inbounds nuw i8, ptr [[FOO]], i64 12
52+ // CHECK-NEXT: [[COUNTED_BY_LOAD :%.*]] = load i32, ptr [[COUNTED_BY_GEP ]], align 4
53+ // CHECK-NEXT: [[TMP0:%.*]] = sext i32 [[COUNTED_BY_LOAD ]] to i64
5454// CHECK-NEXT: [[TMP1:%.*]] = shl nsw i64 [[TMP0]], 1
55- // CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[DOT_COUNTED_BY_LOAD ]], -1
55+ // CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[COUNTED_BY_LOAD ]], -1
5656// CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], i64 [[TMP1]], i64 0
5757// CHECK-NEXT: tail call void @init(ptr noundef nonnull [[ARRAY]], i64 noundef [[TMP3]]) #[[ATTR2]]
5858// CHECK-NEXT: ret void
5959//
6060void test2 (struct bucket2 * foo ) {
6161 init (foo -> growable .array );
6262}
63+ //.
64+ // CHECK: [[TBAA2]] = !{[[META3:![0-9]+]], [[META7:![0-9]+]], i64 8}
65+ // CHECK: [[META3]] = !{!"bucket", [[META4:![0-9]+]], i64 0, [[META7]], i64 8, [[META4]], i64 16}
66+ // CHECK: [[META4]] = !{!"int", [[META5:![0-9]+]], i64 0}
67+ // CHECK: [[META5]] = !{!"omnipotent char", [[META6:![0-9]+]], i64 0}
68+ // CHECK: [[META6]] = !{!"Simple C/C++ TBAA"}
69+ // CHECK: [[META7]] = !{!"p1 _ZTS8variable", [[META8:![0-9]+]], i64 0}
70+ // CHECK: [[META8]] = !{!"any pointer", [[META5]], i64 0}
71+ //.
0 commit comments