62 lines · c
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 -allow-deprecated-dag-overlap %s -check-prefixes=CHECK,SCALAR4// RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 \5// RUN: -disable-llvm-passes -o - %s | \6// RUN: FileCheck -allow-deprecated-dag-overlap %s -check-prefixes=CHECK,OLD-PATH7// 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 -allow-deprecated-dag-overlap %s -check-prefixes=CHECK,NEW-PATH10 11// Types with the may_alias attribute should be considered equivalent12// to char for aliasing.13 14typedef int __attribute__((may_alias)) aliasing_int;15 16void test0(aliasing_int *ai, int *i) {17// CHECK-LABEL: test018// 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// PR930726struct Test1 { int x; };27struct Test1MA { int x; } __attribute__((may_alias));28void test1(struct Test1MA *p1, struct Test1 *p2) {29// CHECK-LABEL: test130// 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