xref: /llvm-project/clang/test/CodeGenOpenCL/builtins-alloca.cl (revision 6e0b0038cd65ce726ce404305a06e1cf33e36cca) 
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5
2// RUN: %clang_cc1 %s -O0 -triple amdgcn-amd-amdhsa -cl-std=CL1.2 \
3// RUN:     -emit-llvm -o - | FileCheck --check-prefixes=OPENCL12 %s
4// RUN: %clang_cc1 %s -O0 -triple amdgcn-amd-amdhsa -cl-std=CL2.0 \
5// RUN:     -emit-llvm -o - | FileCheck --check-prefixes=OPENCL20 %s
6// RUN: %clang_cc1 %s -O0 -triple amdgcn-amd-amdhsa -cl-std=CL3.0 \
7// RUN:     -emit-llvm -o - | FileCheck --check-prefixes=OPENCL30 %s
8// RUN: %clang_cc1 %s -O0 -triple amdgcn-amd-amdhsa -cl-std=CL3.0 -cl-ext=+__opencl_c_generic_address_space \
9// RUN:     -emit-llvm -o - | FileCheck --check-prefixes=OPENCL30GAS %s
10
11// OPENCL-LABEL: define dso_local void @test1_builtin_alloca(
12// OPENCL-SAME: i32 noundef [[N:%.*]]) #[[ATTR0:[0-9]+]] {
13// OPENCL-NEXT:  [[ENTRY:.*:]]
14// OPENCL-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
15// OPENCL-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
16// OPENCL-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
17// OPENCL-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
18// OPENCL-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
19// OPENCL-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
20// OPENCL-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
21// OPENCL-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR]], align 4
22// OPENCL-NEXT:    ret void
23// OPENCL12-LABEL: define dso_local void @test1_builtin_alloca(
24// OPENCL12-SAME: i32 noundef [[N:%.*]]) #[[ATTR0:[0-9]+]] {
25// OPENCL12-NEXT:  [[ENTRY:.*:]]
26// OPENCL12-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
27// OPENCL12-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
28// OPENCL12-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
29// OPENCL12-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
30// OPENCL12-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
31// OPENCL12-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
32// OPENCL12-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
33// OPENCL12-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR]], align 4
34// OPENCL12-NEXT:    ret void
35//
36// OPENCL20-LABEL: define dso_local void @test1_builtin_alloca(
37// OPENCL20-SAME: i32 noundef [[N:%.*]]) #[[ATTR0:[0-9]+]] {
38// OPENCL20-NEXT:  [[ENTRY:.*:]]
39// OPENCL20-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
40// OPENCL20-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
41// OPENCL20-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
42// OPENCL20-NEXT:    [[ALLOC_PTR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR]] to ptr
43// OPENCL20-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
44// OPENCL20-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
45// OPENCL20-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
46// OPENCL20-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
47// OPENCL20-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
48// OPENCL20-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ASCAST]], align 4
49// OPENCL20-NEXT:    ret void
50//
51// OPENCL30-LABEL: define dso_local void @test1_builtin_alloca(
52// OPENCL30-SAME: i32 noundef [[N:%.*]]) #[[ATTR0:[0-9]+]] {
53// OPENCL30-NEXT:  [[ENTRY:.*:]]
54// OPENCL30-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
55// OPENCL30-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
56// OPENCL30-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
57// OPENCL30-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
58// OPENCL30-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
59// OPENCL30-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
60// OPENCL30-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
61// OPENCL30-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR]], align 4
62// OPENCL30-NEXT:    ret void
63//
64// OPENCL30GAS-LABEL: define dso_local void @test1_builtin_alloca(
65// OPENCL30GAS-SAME: i32 noundef [[N:%.*]]) #[[ATTR0:[0-9]+]] {
66// OPENCL30GAS-NEXT:  [[ENTRY:.*:]]
67// OPENCL30GAS-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
68// OPENCL30GAS-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
69// OPENCL30GAS-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
70// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR]] to ptr
71// OPENCL30GAS-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
72// OPENCL30GAS-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
73// OPENCL30GAS-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
74// OPENCL30GAS-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
75// OPENCL30GAS-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
76// OPENCL30GAS-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ASCAST]], align 4
77// OPENCL30GAS-NEXT:    ret void
78//
79void test1_builtin_alloca(unsigned n) {
80    __private float* alloc_ptr = (__private float*)__builtin_alloca(n*sizeof(int));
81}
82
83// OPENCL-LABEL: define dso_local void @test1_builtin_alloca_uninitialized(
84// OPENCL-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
85// OPENCL-NEXT:  [[ENTRY:.*:]]
86// OPENCL-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
87// OPENCL-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
88// OPENCL-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
89// OPENCL-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
90// OPENCL-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
91// OPENCL-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
92// OPENCL-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
93// OPENCL-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]], align 4
94// OPENCL-NEXT:    ret void
95// OPENCL12-LABEL: define dso_local void @test1_builtin_alloca_uninitialized(
96// OPENCL12-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
97// OPENCL12-NEXT:  [[ENTRY:.*:]]
98// OPENCL12-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
99// OPENCL12-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
100// OPENCL12-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
101// OPENCL12-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
102// OPENCL12-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
103// OPENCL12-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
104// OPENCL12-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
105// OPENCL12-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]], align 4
106// OPENCL12-NEXT:    ret void
107//
108// OPENCL20-LABEL: define dso_local void @test1_builtin_alloca_uninitialized(
109// OPENCL20-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
110// OPENCL20-NEXT:  [[ENTRY:.*:]]
111// OPENCL20-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
112// OPENCL20-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
113// OPENCL20-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
114// OPENCL20-NEXT:    [[ALLOC_PTR_UNINITIALIZED_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]] to ptr
115// OPENCL20-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
116// OPENCL20-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
117// OPENCL20-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
118// OPENCL20-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
119// OPENCL20-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
120// OPENCL20-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_UNINITIALIZED_ASCAST]], align 4
121// OPENCL20-NEXT:    ret void
122//
123// OPENCL30-LABEL: define dso_local void @test1_builtin_alloca_uninitialized(
124// OPENCL30-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
125// OPENCL30-NEXT:  [[ENTRY:.*:]]
126// OPENCL30-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
127// OPENCL30-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
128// OPENCL30-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
129// OPENCL30-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
130// OPENCL30-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
131// OPENCL30-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
132// OPENCL30-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
133// OPENCL30-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]], align 4
134// OPENCL30-NEXT:    ret void
135//
136// OPENCL30GAS-LABEL: define dso_local void @test1_builtin_alloca_uninitialized(
137// OPENCL30GAS-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
138// OPENCL30GAS-NEXT:  [[ENTRY:.*:]]
139// OPENCL30GAS-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
140// OPENCL30GAS-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
141// OPENCL30GAS-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
142// OPENCL30GAS-NEXT:    [[ALLOC_PTR_UNINITIALIZED_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]] to ptr
143// OPENCL30GAS-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
144// OPENCL30GAS-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
145// OPENCL30GAS-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
146// OPENCL30GAS-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
147// OPENCL30GAS-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 8, addrspace(5)
148// OPENCL30GAS-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_UNINITIALIZED_ASCAST]], align 4
149// OPENCL30GAS-NEXT:    ret void
150//
151void test1_builtin_alloca_uninitialized(unsigned n) {
152    __private float* alloc_ptr_uninitialized = (__private float*)__builtin_alloca_uninitialized(n*sizeof(int));
153}
154
155// OPENCL-LABEL: define dso_local void @test1_builtin_alloca_with_align(
156// OPENCL-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
157// OPENCL-NEXT:  [[ENTRY:.*:]]
158// OPENCL-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
159// OPENCL-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
160// OPENCL-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
161// OPENCL-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
162// OPENCL-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
163// OPENCL-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
164// OPENCL-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
165// OPENCL-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN]], align 4
166// OPENCL-NEXT:    ret void
167// OPENCL12-LABEL: define dso_local void @test1_builtin_alloca_with_align(
168// OPENCL12-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
169// OPENCL12-NEXT:  [[ENTRY:.*:]]
170// OPENCL12-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
171// OPENCL12-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
172// OPENCL12-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
173// OPENCL12-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
174// OPENCL12-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
175// OPENCL12-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
176// OPENCL12-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
177// OPENCL12-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN]], align 4
178// OPENCL12-NEXT:    ret void
179//
180// OPENCL20-LABEL: define dso_local void @test1_builtin_alloca_with_align(
181// OPENCL20-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
182// OPENCL20-NEXT:  [[ENTRY:.*:]]
183// OPENCL20-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
184// OPENCL20-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
185// OPENCL20-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
186// OPENCL20-NEXT:    [[ALLOC_PTR_ALIGN_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_ALIGN]] to ptr
187// OPENCL20-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
188// OPENCL20-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
189// OPENCL20-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
190// OPENCL20-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
191// OPENCL20-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
192// OPENCL20-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ALIGN_ASCAST]], align 4
193// OPENCL20-NEXT:    ret void
194//
195// OPENCL30-LABEL: define dso_local void @test1_builtin_alloca_with_align(
196// OPENCL30-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
197// OPENCL30-NEXT:  [[ENTRY:.*:]]
198// OPENCL30-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
199// OPENCL30-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
200// OPENCL30-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
201// OPENCL30-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
202// OPENCL30-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
203// OPENCL30-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
204// OPENCL30-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
205// OPENCL30-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN]], align 4
206// OPENCL30-NEXT:    ret void
207//
208// OPENCL30GAS-LABEL: define dso_local void @test1_builtin_alloca_with_align(
209// OPENCL30GAS-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
210// OPENCL30GAS-NEXT:  [[ENTRY:.*:]]
211// OPENCL30GAS-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
212// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
213// OPENCL30GAS-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
214// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ALIGN_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_ALIGN]] to ptr
215// OPENCL30GAS-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
216// OPENCL30GAS-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
217// OPENCL30GAS-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
218// OPENCL30GAS-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
219// OPENCL30GAS-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
220// OPENCL30GAS-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ALIGN_ASCAST]], align 4
221// OPENCL30GAS-NEXT:    ret void
222//
223void test1_builtin_alloca_with_align(unsigned n) {
224    __private float* alloc_ptr_align = (__private float*)__builtin_alloca_with_align((n*sizeof(int)), 8);
225}
226
227// OPENCL-LABEL: define dso_local void @test1_builtin_alloca_with_align_uninitialized(
228// OPENCL-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
229// OPENCL-NEXT:  [[ENTRY:.*:]]
230// OPENCL-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
231// OPENCL-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
232// OPENCL-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
233// OPENCL-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
234// OPENCL-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
235// OPENCL-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
236// OPENCL-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
237// OPENCL-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]], align 4
238// OPENCL-NEXT:    ret void
239// OPENCL12-LABEL: define dso_local void @test1_builtin_alloca_with_align_uninitialized(
240// OPENCL12-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
241// OPENCL12-NEXT:  [[ENTRY:.*:]]
242// OPENCL12-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
243// OPENCL12-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
244// OPENCL12-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
245// OPENCL12-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
246// OPENCL12-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
247// OPENCL12-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
248// OPENCL12-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
249// OPENCL12-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]], align 4
250// OPENCL12-NEXT:    ret void
251//
252// OPENCL20-LABEL: define dso_local void @test1_builtin_alloca_with_align_uninitialized(
253// OPENCL20-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
254// OPENCL20-NEXT:  [[ENTRY:.*:]]
255// OPENCL20-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
256// OPENCL20-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
257// OPENCL20-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
258// OPENCL20-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]] to ptr
259// OPENCL20-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
260// OPENCL20-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
261// OPENCL20-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
262// OPENCL20-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
263// OPENCL20-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
264// OPENCL20-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ALIGN_UNINITIALIZED_ASCAST]], align 4
265// OPENCL20-NEXT:    ret void
266//
267// OPENCL30-LABEL: define dso_local void @test1_builtin_alloca_with_align_uninitialized(
268// OPENCL30-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
269// OPENCL30-NEXT:  [[ENTRY:.*:]]
270// OPENCL30-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
271// OPENCL30-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
272// OPENCL30-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
273// OPENCL30-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
274// OPENCL30-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
275// OPENCL30-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
276// OPENCL30-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
277// OPENCL30-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]], align 4
278// OPENCL30-NEXT:    ret void
279//
280// OPENCL30GAS-LABEL: define dso_local void @test1_builtin_alloca_with_align_uninitialized(
281// OPENCL30GAS-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
282// OPENCL30GAS-NEXT:  [[ENTRY:.*:]]
283// OPENCL30GAS-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
284// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
285// OPENCL30GAS-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
286// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]] to ptr
287// OPENCL30GAS-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
288// OPENCL30GAS-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
289// OPENCL30GAS-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
290// OPENCL30GAS-NEXT:    [[MUL:%.*]] = mul i64 [[CONV]], 4
291// OPENCL30GAS-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[MUL]], align 1, addrspace(5)
292// OPENCL30GAS-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ALIGN_UNINITIALIZED_ASCAST]], align 4
293// OPENCL30GAS-NEXT:    ret void
294//
295void test1_builtin_alloca_with_align_uninitialized(unsigned n) {
296    __private float* alloc_ptr_align_uninitialized = (__private float*)__builtin_alloca_with_align_uninitialized((n*sizeof(int)), 8);
297}
298
299// OPENCL-LABEL: define dso_local void @test2_builtin_alloca(
300// OPENCL-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
301// OPENCL-NEXT:  [[ENTRY:.*:]]
302// OPENCL-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
303// OPENCL-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
304// OPENCL-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
305// OPENCL-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
306// OPENCL-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
307// OPENCL-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
308// OPENCL-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR]], align 4
309// OPENCL-NEXT:    ret void
310// OPENCL12-LABEL: define dso_local void @test2_builtin_alloca(
311// OPENCL12-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
312// OPENCL12-NEXT:  [[ENTRY:.*:]]
313// OPENCL12-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
314// OPENCL12-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
315// OPENCL12-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
316// OPENCL12-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
317// OPENCL12-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
318// OPENCL12-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
319// OPENCL12-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR]], align 4
320// OPENCL12-NEXT:    ret void
321//
322// OPENCL20-LABEL: define dso_local void @test2_builtin_alloca(
323// OPENCL20-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
324// OPENCL20-NEXT:  [[ENTRY:.*:]]
325// OPENCL20-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
326// OPENCL20-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
327// OPENCL20-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
328// OPENCL20-NEXT:    [[ALLOC_PTR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR]] to ptr
329// OPENCL20-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
330// OPENCL20-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
331// OPENCL20-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
332// OPENCL20-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
333// OPENCL20-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ASCAST]], align 4
334// OPENCL20-NEXT:    ret void
335//
336// OPENCL30-LABEL: define dso_local void @test2_builtin_alloca(
337// OPENCL30-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
338// OPENCL30-NEXT:  [[ENTRY:.*:]]
339// OPENCL30-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
340// OPENCL30-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
341// OPENCL30-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
342// OPENCL30-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
343// OPENCL30-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
344// OPENCL30-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
345// OPENCL30-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR]], align 4
346// OPENCL30-NEXT:    ret void
347//
348// OPENCL30GAS-LABEL: define dso_local void @test2_builtin_alloca(
349// OPENCL30GAS-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
350// OPENCL30GAS-NEXT:  [[ENTRY:.*:]]
351// OPENCL30GAS-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
352// OPENCL30GAS-NEXT:    [[ALLOC_PTR:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
353// OPENCL30GAS-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
354// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR]] to ptr
355// OPENCL30GAS-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
356// OPENCL30GAS-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
357// OPENCL30GAS-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
358// OPENCL30GAS-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
359// OPENCL30GAS-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ASCAST]], align 4
360// OPENCL30GAS-NEXT:    ret void
361//
362void test2_builtin_alloca(unsigned n) {
363    __private void *alloc_ptr = __builtin_alloca(n);
364}
365
366// OPENCL-LABEL: define dso_local void @test2_builtin_alloca_uninitialized(
367// OPENCL-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
368// OPENCL-NEXT:  [[ENTRY:.*:]]
369// OPENCL-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
370// OPENCL-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
371// OPENCL-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
372// OPENCL-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
373// OPENCL-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
374// OPENCL-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
375// OPENCL-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]], align 4
376// OPENCL-NEXT:    ret void
377// OPENCL12-LABEL: define dso_local void @test2_builtin_alloca_uninitialized(
378// OPENCL12-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
379// OPENCL12-NEXT:  [[ENTRY:.*:]]
380// OPENCL12-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
381// OPENCL12-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
382// OPENCL12-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
383// OPENCL12-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
384// OPENCL12-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
385// OPENCL12-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
386// OPENCL12-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]], align 4
387// OPENCL12-NEXT:    ret void
388//
389// OPENCL20-LABEL: define dso_local void @test2_builtin_alloca_uninitialized(
390// OPENCL20-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
391// OPENCL20-NEXT:  [[ENTRY:.*:]]
392// OPENCL20-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
393// OPENCL20-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
394// OPENCL20-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
395// OPENCL20-NEXT:    [[ALLOC_PTR_UNINITIALIZED_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]] to ptr
396// OPENCL20-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
397// OPENCL20-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
398// OPENCL20-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
399// OPENCL20-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
400// OPENCL20-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_UNINITIALIZED_ASCAST]], align 4
401// OPENCL20-NEXT:    ret void
402//
403// OPENCL30-LABEL: define dso_local void @test2_builtin_alloca_uninitialized(
404// OPENCL30-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
405// OPENCL30-NEXT:  [[ENTRY:.*:]]
406// OPENCL30-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
407// OPENCL30-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
408// OPENCL30-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
409// OPENCL30-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
410// OPENCL30-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
411// OPENCL30-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
412// OPENCL30-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]], align 4
413// OPENCL30-NEXT:    ret void
414//
415// OPENCL30GAS-LABEL: define dso_local void @test2_builtin_alloca_uninitialized(
416// OPENCL30GAS-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
417// OPENCL30GAS-NEXT:  [[ENTRY:.*:]]
418// OPENCL30GAS-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
419// OPENCL30GAS-NEXT:    [[ALLOC_PTR_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
420// OPENCL30GAS-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
421// OPENCL30GAS-NEXT:    [[ALLOC_PTR_UNINITIALIZED_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_UNINITIALIZED]] to ptr
422// OPENCL30GAS-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
423// OPENCL30GAS-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
424// OPENCL30GAS-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
425// OPENCL30GAS-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 8, addrspace(5)
426// OPENCL30GAS-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_UNINITIALIZED_ASCAST]], align 4
427// OPENCL30GAS-NEXT:    ret void
428//
429void test2_builtin_alloca_uninitialized(unsigned n) {
430    __private void *alloc_ptr_uninitialized = __builtin_alloca_uninitialized(n);
431}
432
433// OPENCL-LABEL: define dso_local void @test2_builtin_alloca_with_align(
434// OPENCL-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
435// OPENCL-NEXT:  [[ENTRY:.*:]]
436// OPENCL-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
437// OPENCL-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
438// OPENCL-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
439// OPENCL-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
440// OPENCL-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
441// OPENCL-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
442// OPENCL-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN]], align 4
443// OPENCL-NEXT:    ret void
444// OPENCL12-LABEL: define dso_local void @test2_builtin_alloca_with_align(
445// OPENCL12-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
446// OPENCL12-NEXT:  [[ENTRY:.*:]]
447// OPENCL12-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
448// OPENCL12-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
449// OPENCL12-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
450// OPENCL12-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
451// OPENCL12-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
452// OPENCL12-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
453// OPENCL12-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN]], align 4
454// OPENCL12-NEXT:    ret void
455//
456// OPENCL20-LABEL: define dso_local void @test2_builtin_alloca_with_align(
457// OPENCL20-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
458// OPENCL20-NEXT:  [[ENTRY:.*:]]
459// OPENCL20-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
460// OPENCL20-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
461// OPENCL20-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
462// OPENCL20-NEXT:    [[ALLOC_PTR_ALIGN_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_ALIGN]] to ptr
463// OPENCL20-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
464// OPENCL20-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
465// OPENCL20-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
466// OPENCL20-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
467// OPENCL20-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ALIGN_ASCAST]], align 4
468// OPENCL20-NEXT:    ret void
469//
470// OPENCL30-LABEL: define dso_local void @test2_builtin_alloca_with_align(
471// OPENCL30-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
472// OPENCL30-NEXT:  [[ENTRY:.*:]]
473// OPENCL30-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
474// OPENCL30-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
475// OPENCL30-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
476// OPENCL30-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
477// OPENCL30-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
478// OPENCL30-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
479// OPENCL30-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN]], align 4
480// OPENCL30-NEXT:    ret void
481//
482// OPENCL30GAS-LABEL: define dso_local void @test2_builtin_alloca_with_align(
483// OPENCL30GAS-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
484// OPENCL30GAS-NEXT:  [[ENTRY:.*:]]
485// OPENCL30GAS-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
486// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ALIGN:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
487// OPENCL30GAS-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
488// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ALIGN_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_ALIGN]] to ptr
489// OPENCL30GAS-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
490// OPENCL30GAS-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
491// OPENCL30GAS-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
492// OPENCL30GAS-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
493// OPENCL30GAS-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ALIGN_ASCAST]], align 4
494// OPENCL30GAS-NEXT:    ret void
495//
496void test2_builtin_alloca_with_align(unsigned n) {
497    __private void *alloc_ptr_align = __builtin_alloca_with_align(n, 8);
498}
499
500// OPENCL-LABEL: define dso_local void @test2_builtin_alloca_with_align_uninitialized(
501// OPENCL-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
502// OPENCL-NEXT:  [[ENTRY:.*:]]
503// OPENCL-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
504// OPENCL-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
505// OPENCL-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
506// OPENCL-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
507// OPENCL-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
508// OPENCL-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
509// OPENCL-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]], align 4
510// OPENCL-NEXT:    ret void
511// OPENCL12-LABEL: define dso_local void @test2_builtin_alloca_with_align_uninitialized(
512// OPENCL12-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
513// OPENCL12-NEXT:  [[ENTRY:.*:]]
514// OPENCL12-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
515// OPENCL12-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
516// OPENCL12-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
517// OPENCL12-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
518// OPENCL12-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
519// OPENCL12-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
520// OPENCL12-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]], align 4
521// OPENCL12-NEXT:    ret void
522//
523// OPENCL20-LABEL: define dso_local void @test2_builtin_alloca_with_align_uninitialized(
524// OPENCL20-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
525// OPENCL20-NEXT:  [[ENTRY:.*:]]
526// OPENCL20-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
527// OPENCL20-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
528// OPENCL20-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
529// OPENCL20-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]] to ptr
530// OPENCL20-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
531// OPENCL20-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
532// OPENCL20-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
533// OPENCL20-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
534// OPENCL20-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ALIGN_UNINITIALIZED_ASCAST]], align 4
535// OPENCL20-NEXT:    ret void
536//
537// OPENCL30-LABEL: define dso_local void @test2_builtin_alloca_with_align_uninitialized(
538// OPENCL30-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
539// OPENCL30-NEXT:  [[ENTRY:.*:]]
540// OPENCL30-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
541// OPENCL30-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
542// OPENCL30-NEXT:    store i32 [[N]], ptr addrspace(5) [[N_ADDR]], align 4
543// OPENCL30-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(5) [[N_ADDR]], align 4
544// OPENCL30-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
545// OPENCL30-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
546// OPENCL30-NEXT:    store ptr addrspace(5) [[TMP1]], ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]], align 4
547// OPENCL30-NEXT:    ret void
548//
549// OPENCL30GAS-LABEL: define dso_local void @test2_builtin_alloca_with_align_uninitialized(
550// OPENCL30GAS-SAME: i32 noundef [[N:%.*]]) #[[ATTR0]] {
551// OPENCL30GAS-NEXT:  [[ENTRY:.*:]]
552// OPENCL30GAS-NEXT:    [[N_ADDR:%.*]] = alloca i32, align 4, addrspace(5)
553// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED:%.*]] = alloca ptr addrspace(5), align 4, addrspace(5)
554// OPENCL30GAS-NEXT:    [[N_ADDR_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[N_ADDR]] to ptr
555// OPENCL30GAS-NEXT:    [[ALLOC_PTR_ALIGN_UNINITIALIZED_ASCAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOC_PTR_ALIGN_UNINITIALIZED]] to ptr
556// OPENCL30GAS-NEXT:    store i32 [[N]], ptr [[N_ADDR_ASCAST]], align 4
557// OPENCL30GAS-NEXT:    [[TMP0:%.*]] = load i32, ptr [[N_ADDR_ASCAST]], align 4
558// OPENCL30GAS-NEXT:    [[CONV:%.*]] = zext i32 [[TMP0]] to i64
559// OPENCL30GAS-NEXT:    [[TMP1:%.*]] = alloca i8, i64 [[CONV]], align 1, addrspace(5)
560// OPENCL30GAS-NEXT:    store ptr addrspace(5) [[TMP1]], ptr [[ALLOC_PTR_ALIGN_UNINITIALIZED_ASCAST]], align 4
561// OPENCL30GAS-NEXT:    ret void
562//
563void test2_builtin_alloca_with_align_uninitialized(unsigned n) {
564    __private void *alloc_ptr_align_uninitialized = __builtin_alloca_with_align_uninitialized(n, 8);
565}
566