diff options
| author | Florian Hahn <flo@fhahn.com> | 2024-11-17 19:58:07 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2024-11-17 20:04:36 +0000 |
| commit | c4eeef32d5dc8ec7560edabf18ac29416a7551e5 (patch) | |
| tree | 5c4a99b4eef809e756eb538e4e850f686c249b81 | |
| parent | eed9af95e6133e94449c7be585bc3b5fad8ad769 (diff) | |
| download | llvm-c4eeef32d5dc8ec7560edabf18ac29416a7551e5.zip llvm-c4eeef32d5dc8ec7560edabf18ac29416a7551e5.tar.gz llvm-c4eeef32d5dc8ec7560edabf18ac29416a7551e5.tar.bz2 | |
[TBAA] Add test for generating pointer-tbaa for unnamed structs.
Currently we generate incorrect metadata not considering compatible
types in C.
| -rw-r--r-- | clang/test/CodeGen/tbaa-pointers.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/clang/test/CodeGen/tbaa-pointers.c b/clang/test/CodeGen/tbaa-pointers.c index f33281a..cf60614 100644 --- a/clang/test/CodeGen/tbaa-pointers.c +++ b/clang/test/CodeGen/tbaa-pointers.c @@ -186,6 +186,28 @@ void vla1(int n, int ptr[][n], int idx) { ptr[idx][0] = 0; } +typedef struct { + int i1; +} TypedefS; + +// FIXME: The !tbaa tag for unnamed structs doesn't account for compatible +// types in C. +void unamed_struct_typedef(TypedefS *ptr) { +// COMMON-LABEL: define void @unamed_struct_typedef( +// COMMON-SAME: ptr noundef %ptr) +// COMMON-NEXT: entry: +// COMMON-NEXT: [[PTR_ADDR:%.+]] = alloca ptr, align 8 +// DEFAULT-NEXT: store ptr %ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[ANYPTR]] +// DEFAULT-NEXT: [[L0:%.+]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[ANYPTR]] +// ENABLED-NEXT: store ptr %ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[P1TYPEDEF:!.+]] +// ENABLED-NEXT: [[L0:%.+]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[P1TYPEDEF]] +// COMMON-NEXT: [[GEP:%.+]] = getelementptr inbounds nuw %struct.TypedefS, ptr [[L0]], i32 0, i32 0 +// COMMON-NEXT: store i32 0, ptr [[GEP]], align 4 +// COMMON-NEXT: ret void + + ptr->i1 = 0; +} + // ENABLED: [[P2INT_0]] = !{[[P2INT:!.+]], [[P2INT]], i64 0} // ENABLED: [[P2INT]] = !{!"p2 int", [[ANY_POINTER:!.+]], i64 0} // DEFAULT: [[ANYPTR]] = !{[[ANY_POINTER:!.+]], [[ANY_POINTER]], i64 0} @@ -217,3 +239,5 @@ void vla1(int n, int ptr[][n], int idx) { // DEFAULT: [[S2_TY]] = !{!"S2", [[ANY_POINTER]], i64 0} // COMMON: [[INT_TAG]] = !{[[INT_TY:!.+]], [[INT_TY]], i64 0} // COMMON: [[INT_TY]] = !{!"int", [[CHAR]], i64 0} +// ENABLED: [[P1TYPEDEF]] = !{[[P1TYPEDEF_TY:!.+]], [[P1TYPEDEF_TY]], i64 0} +// ENABLED: [[P1TYPEDEF_TY]] = !{!"p1 _ZTS8TypedefS", [[ANY_POINTER]], i64 0} |