236
|
1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
|
|
2 // RUN: %clang_cc1 -no-opaque-pointers -triple spir64 -fsycl-is-device -disable-llvm-passes -emit-llvm %s -o - | FileCheck %s
|
221
|
3
|
236
|
4 // CHECK-LABEL: @_Z4testv(
|
|
5 // CHECK-NEXT: entry:
|
|
6 // CHECK-NEXT: [[I:%.*]] = alloca i32, align 4
|
|
7 // CHECK-NEXT: [[PPTR:%.*]] = alloca i32 addrspace(4)*, align 8
|
|
8 // CHECK-NEXT: [[IS_I_PTR:%.*]] = alloca i8, align 1
|
|
9 // CHECK-NEXT: [[VAR23:%.*]] = alloca i32, align 4
|
|
10 // CHECK-NEXT: [[CP:%.*]] = alloca i8 addrspace(4)*, align 8
|
|
11 // CHECK-NEXT: [[ARR:%.*]] = alloca [42 x i32], align 4
|
|
12 // CHECK-NEXT: [[CPP:%.*]] = alloca i8 addrspace(4)*, align 8
|
|
13 // CHECK-NEXT: [[APTR:%.*]] = alloca i32 addrspace(4)*, align 8
|
|
14 // CHECK-NEXT: [[STR:%.*]] = alloca i8 addrspace(4)*, align 8
|
|
15 // CHECK-NEXT: [[PHI_STR:%.*]] = alloca i8 addrspace(4)*, align 8
|
|
16 // CHECK-NEXT: [[SELECT_NULL:%.*]] = alloca i8 addrspace(4)*, align 8
|
|
17 // CHECK-NEXT: [[SELECT_STR_TRIVIAL1:%.*]] = alloca i8 addrspace(4)*, align 8
|
|
18 // CHECK-NEXT: [[SELECT_STR_TRIVIAL2:%.*]] = alloca i8 addrspace(4)*, align 8
|
|
19 // CHECK-NEXT: [[I_ASCAST:%.*]] = addrspacecast i32* [[I]] to i32 addrspace(4)*
|
|
20 // CHECK-NEXT: [[PPTR_ASCAST:%.*]] = addrspacecast i32 addrspace(4)** [[PPTR]] to i32 addrspace(4)* addrspace(4)*
|
|
21 // CHECK-NEXT: [[IS_I_PTR_ASCAST:%.*]] = addrspacecast i8* [[IS_I_PTR]] to i8 addrspace(4)*
|
|
22 // CHECK-NEXT: [[VAR23_ASCAST:%.*]] = addrspacecast i32* [[VAR23]] to i32 addrspace(4)*
|
|
23 // CHECK-NEXT: [[CP_ASCAST:%.*]] = addrspacecast i8 addrspace(4)** [[CP]] to i8 addrspace(4)* addrspace(4)*
|
|
24 // CHECK-NEXT: [[ARR_ASCAST:%.*]] = addrspacecast [42 x i32]* [[ARR]] to [42 x i32] addrspace(4)*
|
|
25 // CHECK-NEXT: [[CPP_ASCAST:%.*]] = addrspacecast i8 addrspace(4)** [[CPP]] to i8 addrspace(4)* addrspace(4)*
|
|
26 // CHECK-NEXT: [[APTR_ASCAST:%.*]] = addrspacecast i32 addrspace(4)** [[APTR]] to i32 addrspace(4)* addrspace(4)*
|
|
27 // CHECK-NEXT: [[STR_ASCAST:%.*]] = addrspacecast i8 addrspace(4)** [[STR]] to i8 addrspace(4)* addrspace(4)*
|
|
28 // CHECK-NEXT: [[PHI_STR_ASCAST:%.*]] = addrspacecast i8 addrspace(4)** [[PHI_STR]] to i8 addrspace(4)* addrspace(4)*
|
|
29 // CHECK-NEXT: [[SELECT_NULL_ASCAST:%.*]] = addrspacecast i8 addrspace(4)** [[SELECT_NULL]] to i8 addrspace(4)* addrspace(4)*
|
|
30 // CHECK-NEXT: [[SELECT_STR_TRIVIAL1_ASCAST:%.*]] = addrspacecast i8 addrspace(4)** [[SELECT_STR_TRIVIAL1]] to i8 addrspace(4)* addrspace(4)*
|
|
31 // CHECK-NEXT: [[SELECT_STR_TRIVIAL2_ASCAST:%.*]] = addrspacecast i8 addrspace(4)** [[SELECT_STR_TRIVIAL2]] to i8 addrspace(4)* addrspace(4)*
|
|
32 // CHECK-NEXT: store i32 0, i32 addrspace(4)* [[I_ASCAST]], align 4
|
|
33 // CHECK-NEXT: store i32 addrspace(4)* [[I_ASCAST]], i32 addrspace(4)* addrspace(4)* [[PPTR_ASCAST]], align 8
|
|
34 // CHECK-NEXT: [[TMP0:%.*]] = load i32 addrspace(4)*, i32 addrspace(4)* addrspace(4)* [[PPTR_ASCAST]], align 8
|
|
35 // CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 addrspace(4)* [[TMP0]], [[I_ASCAST]]
|
|
36 // CHECK-NEXT: [[FROMBOOL:%.*]] = zext i1 [[CMP]] to i8
|
|
37 // CHECK-NEXT: store i8 [[FROMBOOL]], i8 addrspace(4)* [[IS_I_PTR_ASCAST]], align 1
|
|
38 // CHECK-NEXT: [[TMP1:%.*]] = load i32 addrspace(4)*, i32 addrspace(4)* addrspace(4)* [[PPTR_ASCAST]], align 8
|
|
39 // CHECK-NEXT: store i32 66, i32 addrspace(4)* [[TMP1]], align 4
|
|
40 // CHECK-NEXT: store i32 23, i32 addrspace(4)* [[VAR23_ASCAST]], align 4
|
|
41 // CHECK-NEXT: [[TMP2:%.*]] = bitcast i32 addrspace(4)* [[VAR23_ASCAST]] to i8 addrspace(4)*
|
|
42 // CHECK-NEXT: store i8 addrspace(4)* [[TMP2]], i8 addrspace(4)* addrspace(4)* [[CP_ASCAST]], align 8
|
|
43 // CHECK-NEXT: [[TMP3:%.*]] = load i8 addrspace(4)*, i8 addrspace(4)* addrspace(4)* [[CP_ASCAST]], align 8
|
|
44 // CHECK-NEXT: store i8 41, i8 addrspace(4)* [[TMP3]], align 1
|
|
45 // CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [42 x i32], [42 x i32] addrspace(4)* [[ARR_ASCAST]], i64 0, i64 0
|
|
46 // CHECK-NEXT: [[TMP4:%.*]] = bitcast i32 addrspace(4)* [[ARRAYDECAY]] to i8 addrspace(4)*
|
|
47 // CHECK-NEXT: store i8 addrspace(4)* [[TMP4]], i8 addrspace(4)* addrspace(4)* [[CPP_ASCAST]], align 8
|
|
48 // CHECK-NEXT: [[TMP5:%.*]] = load i8 addrspace(4)*, i8 addrspace(4)* addrspace(4)* [[CPP_ASCAST]], align 8
|
|
49 // CHECK-NEXT: store i8 43, i8 addrspace(4)* [[TMP5]], align 1
|
|
50 // CHECK-NEXT: [[ARRAYDECAY1:%.*]] = getelementptr inbounds [42 x i32], [42 x i32] addrspace(4)* [[ARR_ASCAST]], i64 0, i64 0
|
|
51 // CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds i32, i32 addrspace(4)* [[ARRAYDECAY1]], i64 10
|
|
52 // CHECK-NEXT: store i32 addrspace(4)* [[ADD_PTR]], i32 addrspace(4)* addrspace(4)* [[APTR_ASCAST]], align 8
|
|
53 // CHECK-NEXT: [[TMP6:%.*]] = load i32 addrspace(4)*, i32 addrspace(4)* addrspace(4)* [[APTR_ASCAST]], align 8
|
|
54 // CHECK-NEXT: [[ARRAYDECAY2:%.*]] = getelementptr inbounds [42 x i32], [42 x i32] addrspace(4)* [[ARR_ASCAST]], i64 0, i64 0
|
|
55 // CHECK-NEXT: [[ADD_PTR3:%.*]] = getelementptr inbounds i32, i32 addrspace(4)* [[ARRAYDECAY2]], i64 168
|
|
56 // CHECK-NEXT: [[CMP4:%.*]] = icmp ult i32 addrspace(4)* [[TMP6]], [[ADD_PTR3]]
|
|
57 // CHECK-NEXT: br i1 [[CMP4]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
|
|
58 // CHECK: if.then:
|
|
59 // CHECK-NEXT: [[TMP7:%.*]] = load i32 addrspace(4)*, i32 addrspace(4)* addrspace(4)* [[APTR_ASCAST]], align 8
|
|
60 // CHECK-NEXT: store i32 44, i32 addrspace(4)* [[TMP7]], align 4
|
|
61 // CHECK-NEXT: br label [[IF_END]]
|
|
62 // CHECK: if.end:
|
|
63 // CHECK-NEXT: store i8 addrspace(4)* getelementptr inbounds ([14 x i8], [14 x i8] addrspace(4)* addrspacecast ([14 x i8] addrspace(1)* @.str to [14 x i8] addrspace(4)*), i64 0, i64 0), i8 addrspace(4)* addrspace(4)* [[STR_ASCAST]], align 8
|
|
64 // CHECK-NEXT: [[TMP8:%.*]] = load i8 addrspace(4)*, i8 addrspace(4)* addrspace(4)* [[STR_ASCAST]], align 8
|
|
65 // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i8, i8 addrspace(4)* [[TMP8]], i64 0
|
|
66 // CHECK-NEXT: [[TMP9:%.*]] = load i8, i8 addrspace(4)* [[ARRAYIDX]], align 1
|
|
67 // CHECK-NEXT: [[CONV:%.*]] = sext i8 [[TMP9]] to i32
|
|
68 // CHECK-NEXT: store i32 [[CONV]], i32 addrspace(4)* [[I_ASCAST]], align 4
|
|
69 // CHECK-NEXT: [[TMP10:%.*]] = load i32, i32 addrspace(4)* [[I_ASCAST]], align 4
|
|
70 // CHECK-NEXT: [[CMP5:%.*]] = icmp sgt i32 [[TMP10]], 2
|
|
71 // CHECK-NEXT: br i1 [[CMP5]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
|
|
72 // CHECK: cond.true:
|
|
73 // CHECK-NEXT: [[TMP11:%.*]] = load i8 addrspace(4)*, i8 addrspace(4)* addrspace(4)* [[STR_ASCAST]], align 8
|
|
74 // CHECK-NEXT: br label [[COND_END:%.*]]
|
|
75 // CHECK: cond.false:
|
|
76 // CHECK-NEXT: br label [[COND_END]]
|
|
77 // CHECK: cond.end:
|
|
78 // CHECK-NEXT: [[COND:%.*]] = phi i8 addrspace(4)* [ [[TMP11]], [[COND_TRUE]] ], [ getelementptr inbounds ([21 x i8], [21 x i8] addrspace(4)* addrspacecast ([21 x i8] addrspace(1)* @.str.1 to [21 x i8] addrspace(4)*), i64 0, i64 0), [[COND_FALSE]] ]
|
|
79 // CHECK-NEXT: store i8 addrspace(4)* [[COND]], i8 addrspace(4)* addrspace(4)* [[PHI_STR_ASCAST]], align 8
|
|
80 // CHECK-NEXT: [[TMP12:%.*]] = load i32, i32 addrspace(4)* [[I_ASCAST]], align 4
|
|
81 // CHECK-NEXT: [[CMP6:%.*]] = icmp sgt i32 [[TMP12]], 2
|
|
82 // CHECK-NEXT: [[TMP13:%.*]] = zext i1 [[CMP6]] to i64
|
|
83 // CHECK-NEXT: [[COND7:%.*]] = select i1 [[CMP6]], i8 addrspace(4)* getelementptr inbounds ([24 x i8], [24 x i8] addrspace(4)* addrspacecast ([24 x i8] addrspace(1)* @.str.2 to [24 x i8] addrspace(4)*), i64 0, i64 0), i8 addrspace(4)* null
|
|
84 // CHECK-NEXT: store i8 addrspace(4)* [[COND7]], i8 addrspace(4)* addrspace(4)* [[SELECT_NULL_ASCAST]], align 8
|
|
85 // CHECK-NEXT: [[TMP14:%.*]] = load i8 addrspace(4)*, i8 addrspace(4)* addrspace(4)* [[STR_ASCAST]], align 8
|
|
86 // CHECK-NEXT: store i8 addrspace(4)* [[TMP14]], i8 addrspace(4)* addrspace(4)* [[SELECT_STR_TRIVIAL1_ASCAST]], align 8
|
|
87 // CHECK-NEXT: store i8 addrspace(4)* getelementptr inbounds ([21 x i8], [21 x i8] addrspace(4)* addrspacecast ([21 x i8] addrspace(1)* @.str.1 to [21 x i8] addrspace(4)*), i64 0, i64 0), i8 addrspace(4)* addrspace(4)* [[SELECT_STR_TRIVIAL2_ASCAST]], align 8
|
|
88 // CHECK-NEXT: ret void
|
|
89 //
|
221
|
90 void test() {
|
|
91 static const int foo = 0x42;
|
|
92
|
|
93
|
|
94 int i = 0;
|
|
95 int *pptr = &i;
|
|
96 bool is_i_ptr = (pptr == &i);
|
|
97 *pptr = foo;
|
|
98
|
|
99 int var23 = 23;
|
|
100 char *cp = (char *)&var23;
|
|
101 *cp = 41;
|
|
102
|
|
103 int arr[42];
|
|
104 char *cpp = (char *)arr;
|
|
105 *cpp = 43;
|
|
106
|
|
107 int *aptr = arr + 10;
|
|
108 if (aptr < arr + sizeof(arr))
|
|
109 *aptr = 44;
|
|
110
|
|
111 const char *str = "Hello, world!";
|
|
112
|
|
113 i = str[0];
|
|
114
|
|
115 const char *phi_str = i > 2 ? str : "Another hello world!";
|
|
116 (void)phi_str;
|
236
|
117
|
221
|
118
|
|
119
|
|
120
|
|
121 const char *select_null = i > 2 ? "Yet another Hello world" : nullptr;
|
|
122 (void)select_null;
|
|
123
|
|
124 const char *select_str_trivial1 = true ? str : "Another hello world!";
|
|
125 (void)select_str_trivial1;
|
|
126
|
|
127 const char *select_str_trivial2 = false ? str : "Another hello world!";
|
|
128 (void)select_str_trivial2;
|
|
129 }
|