Mercurial > hg > CbC > CbC_llvm

annotate clang/test/CodeGen/may-alias.c @ 207:2e18cbf3894f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 \
anatofuz
parents:
diff changeset
2 // RUN: -no-struct-path-tbaa -disable-llvm-passes -o - %s | \
anatofuz
parents:
diff changeset
3 // RUN: FileCheck -allow-deprecated-dag-overlap %s -check-prefixes=CHECK,SCALAR
anatofuz
parents:
diff changeset
4 // RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 \
anatofuz
parents:
diff changeset
5 // RUN: -disable-llvm-passes -o - %s | \
anatofuz
parents:
diff changeset
6 // RUN: FileCheck -allow-deprecated-dag-overlap %s -check-prefixes=CHECK,OLD-PATH
anatofuz
parents:
diff changeset
7 // RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 \
anatofuz
parents:
diff changeset
8 // RUN: -new-struct-path-tbaa -disable-llvm-passes -o - %s | \
anatofuz
parents:
diff changeset
9 // RUN: FileCheck -allow-deprecated-dag-overlap %s -check-prefixes=CHECK,NEW-PATH
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 // Types with the may_alias attribute should be considered equivalent
anatofuz
parents:
diff changeset
12 // to char for aliasing.
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 typedef int __attribute__((may_alias)) aliasing_int;
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 void test0(aliasing_int *ai, int *i) {
anatofuz
parents:
diff changeset
17 // CHECK-LABEL: test0
anatofuz
parents:
diff changeset
18 // CHECK: store i32 0, {{.*}}, !tbaa [[TAG_alias_int:!.*]]
anatofuz
parents:
diff changeset
19 *ai = 0;
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 // CHECK: store i32 1, {{.*}}, !tbaa [[TAG_int:!.*]]
anatofuz
parents:
diff changeset
22 *i = 1;
anatofuz
parents:
diff changeset
23 }
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 // PR9307
anatofuz
parents:
diff changeset
26 struct Test1 { int x; };
anatofuz
parents:
diff changeset
27 struct Test1MA { int x; } __attribute__((may_alias));
anatofuz
parents:
diff changeset
28 void test1(struct Test1MA *p1, struct Test1 *p2) {
anatofuz
parents:
diff changeset
29 // CHECK-LABEL: test1
anatofuz
parents:
diff changeset
30 // CHECK: store i32 2, {{.*}}, !tbaa [[TAG_alias_test1_x:!.*]]
anatofuz
parents:
diff changeset
31 p1->x = 2;
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 // CHECK: store i32 3, {{.*}}, !tbaa [[TAG_test1_x:!.*]]
anatofuz
parents:
diff changeset
34 p2->x = 3;
anatofuz
parents:
diff changeset
35 }
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 // SCALAR-DAG: [[ROOT:!.*]] = !{!"Simple C/C++ TBAA"}
anatofuz
parents:
diff changeset
38 // SCALAR-DAG: [[TYPE_char:!.*]] = !{!"omnipotent char", [[ROOT]], i64 0}
anatofuz
parents:
diff changeset
39 // SCALAR-DAG: [[TAG_alias_int]] = !{[[TYPE_char]], [[TYPE_char]], i64 0}
anatofuz
parents:
diff changeset
40 // SCALAR-DAG: [[TAG_alias_test1_x]] = !{[[TYPE_char]], [[TYPE_char]], i64 0}
anatofuz
parents:
diff changeset
41 // SCALAR-DAG: [[TYPE_int:!.*]] = !{!"int", [[TYPE_char]], i64 0}
anatofuz
parents:
diff changeset
42 // SCALAR-DAG: [[TAG_int]] = !{[[TYPE_int]], [[TYPE_int]], i64 0}
anatofuz
parents:
diff changeset
43 // SCALAR-DAG: [[TAG_test1_x]] = !{[[TYPE_int]], [[TYPE_int]], i64 0}
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 // OLD-PATH-DAG: [[ROOT:!.*]] = !{!"Simple C/C++ TBAA"}
anatofuz
parents:
diff changeset
46 // OLD-PATH-DAG: [[TYPE_char:!.*]] = !{!"omnipotent char", [[ROOT]], i64 0}
anatofuz
parents:
diff changeset
47 // OLD-PATH-DAG: [[TAG_alias_int]] = !{[[TYPE_char]], [[TYPE_char]], i64 0}
anatofuz
parents:
diff changeset
48 // OLD-PATH-DAG: [[TAG_alias_test1_x]] = !{[[TYPE_char]], [[TYPE_char]], i64 0}
anatofuz
parents:
diff changeset
49 // OLD-PATH-DAG: [[TYPE_int:!.*]] = !{!"int", [[TYPE_char]], i64 0}
anatofuz
parents:
diff changeset
50 // OLD-PATH-DAG: [[TAG_int]] = !{[[TYPE_int]], [[TYPE_int]], i64 0}
anatofuz
parents:
diff changeset
51 // OLD-PATH-DAG: [[TYPE_test1:!.*]] = !{!"Test1", [[TYPE_int]], i64 0}
anatofuz
parents:
diff changeset
52 // OLD-PATH-DAG: [[TAG_test1_x]] = !{[[TYPE_test1]], [[TYPE_int]], i64 0}
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 // NEW-PATH-DAG: [[ROOT:!.*]] = !{!"Simple C/C++ TBAA"}
anatofuz
parents:
diff changeset
55 // NEW-PATH-DAG: [[TYPE_char:!.*]] = !{[[ROOT]], i64 1, !"omnipotent char"}
anatofuz
parents:
diff changeset
56 // NEW-PATH-DAG: [[TAG_alias_int]] = !{[[TYPE_char]], [[TYPE_char]], i64 0, i64 0}
anatofuz
parents:
diff changeset
57 // NEW-PATH-DAG: [[TAG_alias_test1_x]] = !{[[TYPE_char]], [[TYPE_char]], i64 0, i64 0}
anatofuz
parents:
diff changeset
58 // NEW-PATH-DAG: [[TYPE_int:!.*]] = !{[[TYPE_char]], i64 4, !"int"}
anatofuz
parents:
diff changeset
59 // NEW-PATH-DAG: [[TAG_int]] = !{[[TYPE_int]], [[TYPE_int]], i64 0, i64 4}
anatofuz
parents:
diff changeset
60 // NEW-PATH-DAG: [[TYPE_test1:!.*]] = !{[[TYPE_char]], i64 4, !"Test1", [[TYPE_int]], i64 0, i64 4}
anatofuz
parents:
diff changeset
61 // NEW-PATH-DAG: [[TAG_test1_x]] = !{[[TYPE_test1]], [[TYPE_int]], i64 0, i64 4}