clang/test/CodeGen/may-alias.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,SCALAR
   4 // 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-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 -allow-deprecated-dag-overlap %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}