Skip to content

Commit 346fad5

Browse files
committed
[TBAA] Simplify checks for unnamed struct case, where anyptr is used.
1 parent 1411a9a commit 346fad5

File tree

1 file changed

+4
-5
lines changed

1 file changed

+4
-5
lines changed

clang/test/CodeGen/tbaa-pointers.c

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -193,11 +193,10 @@ typedef struct {
193193
void unamed_struct_typedef(TypedefS *ptr) {
194194
// COMMON-LABEL: define void @unamed_struct_typedef(
195195
// COMMON-SAME: ptr noundef [[PTRA:%.+]])
196-
// COMMON: [[PTR_ADDR:%.+]] = alloca ptr, align 8
196+
// COMMON: [[PTR_ADDR:%.+]] = alloca ptr, align 8
197197
// DISABLE-NEXT: store ptr [[PTRA]], ptr [[PTR_ADDR]], align 8, !tbaa [[ANYPTR]]
198-
// DISABLE-NEXT: [[L0:%.+]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[ANYPTR]]
199-
// DEFAULT-NEXT: store ptr [[PTRA]], ptr [[PTR_ADDR]], align 8, !tbaa [[P1TYPEDEF:!.+]]
200-
// DEFAULT-NEXT: [[L0:%.+]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[P1TYPEDEF]]
198+
// DEFAULT-NEXT: store ptr [[PTRA]], ptr [[PTR_ADDR]], align 8, !tbaa [[ANYPTR:!.+]]
199+
// COMMON-NEXT: [[L0:%.+]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[ANYPTR]]
201200
// COMMON-NEXT: [[GEP:%.+]] = getelementptr inbounds nuw %struct.TypedefS, ptr [[L0]], i32 0, i32 0
202201
// COMMON-NEXT: store i32 0, ptr [[GEP]], align 4
203202
// COMMON-NEXT: ret void
@@ -254,7 +253,7 @@ int void_ptrs(void **ptr) {
254253
// DISABLE: [[S2_TY]] = !{!"S2", [[ANY_POINTER]], i64 0}
255254
// COMMON: [[INT_TAG]] = !{[[INT_TY:!.+]], [[INT_TY]], i64 0}
256255
// COMMON: [[INT_TY]] = !{!"int", [[CHAR]], i64 0}
257-
// DEFAULT: [[P1TYPEDEF]] = !{[[ANY_POINTER]], [[ANY_POINTER]], i64 0}
256+
// DEFAULT: [[ANYPTR]] = !{[[ANY_POINTER]], [[ANY_POINTER]], i64 0}
258257
// DEFAULT: [[P2VOID]] = !{[[P2VOID_TY:!.+]], [[P2VOID_TY]], i64 0}
259258
// DEFAULT: [[P2VOID_TY]] = !{!"p2 void", [[ANY_POINTER]], i64 0}
260259
// DEFAULT: [[P1VOID]] = !{[[P1VOID_TY:!.+]], [[P1VOID_TY]], i64 0}

0 commit comments

Comments
 (0)