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} 30feba9f2bdc5711894e452dfc67c9679482fbf897Manman Ren// CHECK: metadata !{metadata !"any pointer", metadata [[TYPE_CHAR:!.*]], 31feba9f2bdc5711894e452dfc67c9679482fbf897Manman Ren// CHECK: [[TYPE_CHAR]] = metadata !{metadata !"omnipotent char", metadata [[TAG_CXX_TBAA:!.*]], 32eb54d423d2e550324446c9d15fa2b2a92843cab5Richard Smith// CHECK: [[TAG_CXX_TBAA]] = metadata !{metadata !"Simple C/C++ TBAA"} 33feba9f2bdc5711894e452dfc67c9679482fbf897Manman Ren// CHECK: [[TAG_CHAR]] = metadata !{metadata [[TYPE_CHAR]], metadata [[TYPE_CHAR]], i64 0} 34feba9f2bdc5711894e452dfc67c9679482fbf897Manman Ren// CHECK: [[TAG_INT]] = metadata !{metadata [[TYPE_INT:!.*]], metadata [[TYPE_INT]], i64 0} 35feba9f2bdc5711894e452dfc67c9679482fbf897Manman Ren// CHECK: [[TYPE_INT]] = metadata !{metadata !"int", metadata [[TYPE_CHAR]] 36975d83c291821de340eef3c3498104172b375f79Manman Ren 37975d83c291821de340eef3c3498104172b375f79Manman Ren// PATH: [[TYPE_CHAR:!.*]] = metadata !{metadata !"omnipotent char", metadata !{{.*}} 38975d83c291821de340eef3c3498104172b375f79Manman Ren// PATH: [[TAG_CHAR]] = metadata !{metadata [[TYPE_CHAR]], metadata [[TYPE_CHAR]], i64 0} 39975d83c291821de340eef3c3498104172b375f79Manman Ren// PATH: [[TAG_INT]] = metadata !{metadata [[TYPE_INT:!.*]], metadata [[TYPE_INT]], i64 0} 40975d83c291821de340eef3c3498104172b375f79Manman Ren// PATH: [[TYPE_INT]] = metadata !{metadata !"int", metadata [[TYPE_CHAR]] 41975d83c291821de340eef3c3498104172b375f79Manman Ren// PATH: [[TAG_test1_x]] = metadata !{metadata [[TYPE_test1:!.*]], metadata [[TYPE_INT]], i64 0} 42312c0b6a114929d14584d82e9159462021f79ea2Manman Ren// PATH: [[TYPE_test1]] = metadata !{metadata !"Test1", metadata [[TYPE_INT]], i64 0} 43