196d6c4596587df59821da10270d2102da4a49b73Manman Ren// RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 -no-struct-path-tbaa -disable-llvm-optzns -o - %s | FileCheck %s 296d6c4596587df59821da10270d2102da4a49b73Manman Ren// RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 -disable-llvm-optzns -o - %s | FileCheck %s -check-prefix=PATH 32ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman 42ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman// Types with the may_alias attribute should be considered equivalent 52ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman// to char for aliasing. 62ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman 72ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohmantypedef int __attribute__((may_alias)) aliasing_int; 82ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman 92ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohmanvoid test0(aliasing_int *ai, int *i) 102ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman{ 11eb54d423d2e550324446c9d15fa2b2a92843cab5Richard Smith// CHECK: store i32 0, i32* %{{.*}}, !tbaa [[TAG_CHAR:!.*]] 12975d83c291821de340eef3c3498104172b375f79Manman Ren// PATH: store i32 0, i32* %{{.*}}, !tbaa [[TAG_CHAR:!.*]] 132ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman *ai = 0; 14eb54d423d2e550324446c9d15fa2b2a92843cab5Richard Smith// CHECK: store i32 1, i32* %{{.*}}, !tbaa [[TAG_INT:!.*]] 15975d83c291821de340eef3c3498104172b375f79Manman Ren// PATH: store i32 1, i32* %{{.*}}, !tbaa [[TAG_INT:!.*]] 162ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman *i = 1; 172ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman} 182ea7e73361c11f061e00caa8d9e71e84e6dd8554Dan Gohman 19bc7fbf0d37b286b37d96b033dfaaabf9c729bca8John McCall// PR9307 20bc7fbf0d37b286b37d96b033dfaaabf9c729bca8John McCallstruct Test1 { int x; }; 21bc7fbf0d37b286b37d96b033dfaaabf9c729bca8John McCallstruct Test1MA { int x; } __attribute__((may_alias)); 22bc7fbf0d37b286b37d96b033dfaaabf9c729bca8John McCallvoid test1(struct Test1MA *p1, struct Test1 *p2) { 23eb54d423d2e550324446c9d15fa2b2a92843cab5Richard Smith // CHECK: store i32 2, i32* {{%.*}}, !tbaa [[TAG_CHAR]] 24975d83c291821de340eef3c3498104172b375f79Manman Ren // PATH: store i32 2, i32* {{%.*}}, !tbaa [[TAG_CHAR]] 25bc7fbf0d37b286b37d96b033dfaaabf9c729bca8John McCall p1->x = 2; 26eb54d423d2e550324446c9d15fa2b2a92843cab5Richard Smith // CHECK: store i32 3, i32* {{%.*}}, !tbaa [[TAG_INT]] 27975d83c291821de340eef3c3498104172b375f79Manman Ren // PATH: store i32 3, i32* {{%.*}}, !tbaa [[TAG_test1_x:!.*]] 28bc7fbf0d37b286b37d96b033dfaaabf9c729bca8John McCall p2->x = 3; 29bc7fbf0d37b286b37d96b033dfaaabf9c729bca8John McCall} 300e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: !"any pointer", [[TYPE_CHAR:!.*]], 310e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: [[TYPE_CHAR]] = !{!"omnipotent char", [[TAG_CXX_TBAA:!.*]], 320e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: [[TAG_CXX_TBAA]] = !{!"Simple C/C++ TBAA"} 330e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: [[TAG_CHAR]] = !{[[TYPE_CHAR]], [[TYPE_CHAR]], i64 0} 340e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: [[TAG_INT]] = !{[[TYPE_INT:!.*]], [[TYPE_INT]], i64 0} 350e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: [[TYPE_INT]] = !{!"int", [[TYPE_CHAR]] 36975d83c291821de340eef3c3498104172b375f79Manman Ren 370e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// PATH: [[TYPE_CHAR:!.*]] = !{!"omnipotent char", !{{.*}} 380e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// PATH: [[TAG_CHAR]] = !{[[TYPE_CHAR]], [[TYPE_CHAR]], i64 0} 390e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// PATH: [[TAG_INT]] = !{[[TYPE_INT:!.*]], [[TYPE_INT]], i64 0} 400e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// PATH: [[TYPE_INT]] = !{!"int", [[TYPE_CHAR]] 410e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// PATH: [[TAG_test1_x]] = !{[[TYPE_test1:!.*]], [[TYPE_INT]], i64 0} 420e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// PATH: [[TYPE_test1]] = !{!"Test1", [[TYPE_INT]], i64 0} 43