1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 -no-struct-path-tbaa -disable-llvm-optzns -o - %s | FileCheck %s 2*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 -disable-llvm-optzns -o - %s | FileCheck %s -check-prefix=PATH 3*f4a2713aSLionel Sambuc 4*f4a2713aSLionel Sambuc // Types with the may_alias attribute should be considered equivalent 5*f4a2713aSLionel Sambuc // to char for aliasing. 6*f4a2713aSLionel Sambuc 7*f4a2713aSLionel Sambuc typedef int __attribute__((may_alias)) aliasing_int; 8*f4a2713aSLionel Sambuc 9*f4a2713aSLionel Sambuc void test0(aliasing_int *ai, int *i) 10*f4a2713aSLionel Sambuc { 11*f4a2713aSLionel Sambuc // CHECK: store i32 0, i32* %{{.*}}, !tbaa [[TAG_CHAR:!.*]] 12*f4a2713aSLionel Sambuc // PATH: store i32 0, i32* %{{.*}}, !tbaa [[TAG_CHAR:!.*]] 13*f4a2713aSLionel Sambuc *ai = 0; 14*f4a2713aSLionel Sambuc // CHECK: store i32 1, i32* %{{.*}}, !tbaa [[TAG_INT:!.*]] 15*f4a2713aSLionel Sambuc // PATH: store i32 1, i32* %{{.*}}, !tbaa [[TAG_INT:!.*]] 16*f4a2713aSLionel Sambuc *i = 1; 17*f4a2713aSLionel Sambuc } 18*f4a2713aSLionel Sambuc 19*f4a2713aSLionel Sambuc // PR9307 20*f4a2713aSLionel Sambuc struct Test1 { int x; }; 21*f4a2713aSLionel Sambuc struct Test1MA { int x; } __attribute__((may_alias)); 22*f4a2713aSLionel Sambuc void test1(struct Test1MA *p1, struct Test1 *p2) { 23*f4a2713aSLionel Sambuc // CHECK: store i32 2, i32* {{%.*}}, !tbaa [[TAG_CHAR]] 24*f4a2713aSLionel Sambuc // PATH: store i32 2, i32* {{%.*}}, !tbaa [[TAG_CHAR]] 25*f4a2713aSLionel Sambuc p1->x = 2; 26*f4a2713aSLionel Sambuc // CHECK: store i32 3, i32* {{%.*}}, !tbaa [[TAG_INT]] 27*f4a2713aSLionel Sambuc // PATH: store i32 3, i32* {{%.*}}, !tbaa [[TAG_test1_x:!.*]] 28*f4a2713aSLionel Sambuc p2->x = 3; 29*f4a2713aSLionel Sambuc } 30*f4a2713aSLionel Sambuc // CHECK: metadata !{metadata !"any pointer", metadata [[TYPE_CHAR:!.*]], 31*f4a2713aSLionel Sambuc // CHECK: [[TYPE_CHAR]] = metadata !{metadata !"omnipotent char", metadata [[TAG_CXX_TBAA:!.*]], 32*f4a2713aSLionel Sambuc // CHECK: [[TAG_CXX_TBAA]] = metadata !{metadata !"Simple C/C++ TBAA"} 33*f4a2713aSLionel Sambuc // CHECK: [[TAG_CHAR]] = metadata !{metadata [[TYPE_CHAR]], metadata [[TYPE_CHAR]], i64 0} 34*f4a2713aSLionel Sambuc // CHECK: [[TAG_INT]] = metadata !{metadata [[TYPE_INT:!.*]], metadata [[TYPE_INT]], i64 0} 35*f4a2713aSLionel Sambuc // CHECK: [[TYPE_INT]] = metadata !{metadata !"int", metadata [[TYPE_CHAR]] 36*f4a2713aSLionel Sambuc 37*f4a2713aSLionel Sambuc // PATH: [[TYPE_CHAR:!.*]] = metadata !{metadata !"omnipotent char", metadata !{{.*}} 38*f4a2713aSLionel Sambuc // PATH: [[TAG_CHAR]] = metadata !{metadata [[TYPE_CHAR]], metadata [[TYPE_CHAR]], i64 0} 39*f4a2713aSLionel Sambuc // PATH: [[TAG_INT]] = metadata !{metadata [[TYPE_INT:!.*]], metadata [[TYPE_INT]], i64 0} 40*f4a2713aSLionel Sambuc // PATH: [[TYPE_INT]] = metadata !{metadata !"int", metadata [[TYPE_CHAR]] 41*f4a2713aSLionel Sambuc // PATH: [[TAG_test1_x]] = metadata !{metadata [[TYPE_test1:!.*]], metadata [[TYPE_INT]], i64 0} 42*f4a2713aSLionel Sambuc // PATH: [[TYPE_test1]] = metadata !{metadata !"Test1", metadata [[TYPE_INT]], i64 0} 43