1 // RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 \ 2 // RUN: -no-struct-path-tbaa -disable-llvm-passes -o - %s | \ 3 // RUN: FileCheck %s -check-prefixes=CHECK,SCALAR 4 // RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 \ 5 // RUN: -disable-llvm-passes -o - %s | \ 6 // RUN: FileCheck %s -check-prefixes=CHECK,OLD-PATH 7 // RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 \ 8 // RUN: -new-struct-path-tbaa -disable-llvm-passes -o - %s | \ 9 // RUN: FileCheck %s -check-prefixes=CHECK,NEW-PATH 10 11 // Types with the may_alias attribute should be considered equivalent 12 // to char for aliasing. 13 14 typedef int __attribute__((may_alias)) aliasing_int; 15 16 void test0(aliasing_int *ai, int *i) { 17 // CHECK-LABEL: test0 18 // CHECK: store i32 0, {{.*}}, !tbaa [[TAG_alias_int:!.*]] 19 *ai = 0; 20 21 // CHECK: store i32 1, {{.*}}, !tbaa [[TAG_int:!.*]] 22 *i = 1; 23 } 24 25 // PR9307 26 struct Test1 { int x; }; 27 struct Test1MA { int x; } __attribute__((may_alias)); 28 void test1(struct Test1MA *p1, struct Test1 *p2) { 29 // CHECK-LABEL: test1 30 // CHECK: store i32 2, {{.*}}, !tbaa [[TAG_alias_test1_x:!.*]] 31 p1->x = 2; 32 33 // CHECK: store i32 3, {{.*}}, !tbaa [[TAG_test1_x:!.*]] 34 p2->x = 3; 35 } 36 37 // SCALAR-DAG: [[ROOT:!.*]] = !{!"Simple C/C++ TBAA"} 38 // SCALAR-DAG: [[TYPE_char:!.*]] = !{!"omnipotent char", [[ROOT]], i64 0} 39 // SCALAR-DAG: [[TAG_alias_int]] = !{[[TYPE_char]], [[TYPE_char]], i64 0} 40 // SCALAR-DAG: [[TAG_alias_test1_x]] = !{[[TYPE_char]], [[TYPE_char]], i64 0} 41 // SCALAR-DAG: [[TYPE_int:!.*]] = !{!"int", [[TYPE_char]], i64 0} 42 // SCALAR-DAG: [[TAG_int]] = !{[[TYPE_int]], [[TYPE_int]], i64 0} 43 // SCALAR-DAG: [[TAG_test1_x]] = !{[[TYPE_int]], [[TYPE_int]], i64 0} 44 45 // OLD-PATH-DAG: [[ROOT:!.*]] = !{!"Simple C/C++ TBAA"} 46 // OLD-PATH-DAG: [[TYPE_char:!.*]] = !{!"omnipotent char", [[ROOT]], i64 0} 47 // OLD-PATH-DAG: [[TAG_alias_int]] = !{[[TYPE_char]], [[TYPE_char]], i64 0} 48 // OLD-PATH-DAG: [[TAG_alias_test1_x]] = !{[[TYPE_char]], [[TYPE_char]], i64 0} 49 // OLD-PATH-DAG: [[TYPE_int:!.*]] = !{!"int", [[TYPE_char]], i64 0} 50 // OLD-PATH-DAG: [[TAG_int]] = !{[[TYPE_int]], [[TYPE_int]], i64 0} 51 // OLD-PATH-DAG: [[TYPE_test1:!.*]] = !{!"Test1", [[TYPE_int]], i64 0} 52 // OLD-PATH-DAG: [[TAG_test1_x]] = !{[[TYPE_test1]], [[TYPE_int]], i64 0} 53 54 // NEW-PATH-DAG: [[ROOT:!.*]] = !{!"Simple C/C++ TBAA"} 55 // NEW-PATH-DAG: [[TYPE_char:!.*]] = !{[[ROOT]], i64 1, !"omnipotent char"} 56 // NEW-PATH-DAG: [[TAG_alias_int]] = !{[[TYPE_char]], [[TYPE_char]], i64 0, i64 0} 57 // NEW-PATH-DAG: [[TAG_alias_test1_x]] = !{[[TYPE_char]], [[TYPE_char]], i64 0, i64 0} 58 // NEW-PATH-DAG: [[TYPE_int:!.*]] = !{[[TYPE_char]], i64 4, !"int"} 59 // NEW-PATH-DAG: [[TAG_int]] = !{[[TYPE_int]], [[TYPE_int]], i64 0, i64 4} 60 // NEW-PATH-DAG: [[TYPE_test1:!.*]] = !{[[TYPE_char]], i64 4, !"Test1", [[TYPE_int]], i64 0, i64 4} 61 // NEW-PATH-DAG: [[TAG_test1_x]] = !{[[TYPE_test1]], [[TYPE_int]], i64 0, i64 4} 62