1// RUN: %clang_cc1 -emit-llvm -cl-ext=+cl_khr_subgroups -O0 -cl-std=CL2.0 -o - %s | FileCheck %s
2
3// CHECK: %opencl.pipe_t = type opaque
4// CHECK: %opencl.reserve_id_t = type opaque
5
6#pragma OPENCL EXTENSION cl_khr_subgroups : enable
7
8void test1(read_only pipe int p, global int *ptr) {
9  // CHECK: call i32 @__read_pipe_2(%opencl.pipe_t* %{{.*}}, i8* %{{.*}}, i32 4, i32 4)
10  read_pipe(p, ptr);
11  // CHECK: call %opencl.reserve_id_t* @__reserve_read_pipe(%opencl.pipe_t* %{{.*}}, i32 {{.*}}, i32 4, i32 4)
12  reserve_id_t rid = reserve_read_pipe(p, 2);
13  // CHECK: call i32 @__read_pipe_4(%opencl.pipe_t* %{{.*}}, %opencl.reserve_id_t* %{{.*}}, i32 {{.*}}, i8* %{{.*}}, i32 4, i32 4)
14  read_pipe(p, rid, 2, ptr);
15  // CHECK: call void @__commit_read_pipe(%opencl.pipe_t* %{{.*}}, %opencl.reserve_id_t* %{{.*}}, i32 4, i32 4)
16  commit_read_pipe(p, rid);
17}
18
19void test2(write_only pipe int p, global int *ptr) {
20  // CHECK: call i32 @__write_pipe_2(%opencl.pipe_t* %{{.*}}, i8* %{{.*}}, i32 4, i32 4)
21  write_pipe(p, ptr);
22  // CHECK: call %opencl.reserve_id_t* @__reserve_write_pipe(%opencl.pipe_t* %{{.*}}, i32 {{.*}}, i32 4, i32 4)
23  reserve_id_t rid = reserve_write_pipe(p, 2);
24  // CHECK: call i32 @__write_pipe_4(%opencl.pipe_t* %{{.*}}, %opencl.reserve_id_t* %{{.*}}, i32 {{.*}}, i8* %{{.*}}, i32 4, i32 4)
25  write_pipe(p, rid, 2, ptr);
26  // CHECK: call void @__commit_write_pipe(%opencl.pipe_t* %{{.*}}, %opencl.reserve_id_t* %{{.*}}, i32 4, i32 4)
27  commit_write_pipe(p, rid);
28}
29
30void test3(read_only pipe int p, global int *ptr) {
31  // CHECK: call %opencl.reserve_id_t* @__work_group_reserve_read_pipe(%opencl.pipe_t* %{{.*}}, i32 {{.*}}, i32 4, i32 4)
32  reserve_id_t rid = work_group_reserve_read_pipe(p, 2);
33  // CHECK: call void @__work_group_commit_read_pipe(%opencl.pipe_t* %{{.*}}, %opencl.reserve_id_t* %{{.*}}, i32 4, i32 4)
34  work_group_commit_read_pipe(p, rid);
35}
36
37void test4(write_only pipe int p, global int *ptr) {
38  // CHECK: call %opencl.reserve_id_t* @__work_group_reserve_write_pipe(%opencl.pipe_t* %{{.*}}, i32 {{.*}}, i32 4, i32 4)
39  reserve_id_t rid = work_group_reserve_write_pipe(p, 2);
40  // CHECK: call void @__work_group_commit_write_pipe(%opencl.pipe_t* %{{.*}}, %opencl.reserve_id_t* %{{.*}}, i32 4, i32 4)
41  work_group_commit_write_pipe(p, rid);
42}
43
44void test5(read_only pipe int p, global int *ptr) {
45  // CHECK: call %opencl.reserve_id_t* @__sub_group_reserve_read_pipe(%opencl.pipe_t* %{{.*}}, i32 {{.*}}, i32 4, i32 4)
46  reserve_id_t rid = sub_group_reserve_read_pipe(p, 2);
47  // CHECK: call void @__sub_group_commit_read_pipe(%opencl.pipe_t* %{{.*}}, %opencl.reserve_id_t* %{{.*}}, i32 4, i32 4)
48  sub_group_commit_read_pipe(p, rid);
49}
50
51void test6(write_only pipe int p, global int *ptr) {
52  // CHECK: call %opencl.reserve_id_t* @__sub_group_reserve_write_pipe(%opencl.pipe_t* %{{.*}}, i32 {{.*}}, i32 4, i32 4)
53  reserve_id_t rid = sub_group_reserve_write_pipe(p, 2);
54  // CHECK: call void @__sub_group_commit_write_pipe(%opencl.pipe_t* %{{.*}}, %opencl.reserve_id_t* %{{.*}}, i32 4, i32 4)
55  sub_group_commit_write_pipe(p, rid);
56}
57
58void test7(write_only pipe int p, global int *ptr) {
59  // CHECK: call i32 @__get_pipe_num_packets(%opencl.pipe_t* %{{.*}}, i32 4, i32 4)
60  *ptr = get_pipe_num_packets(p);
61  // CHECK: call i32 @__get_pipe_max_packets(%opencl.pipe_t* %{{.*}}, i32 4, i32 4)
62  *ptr = get_pipe_max_packets(p);
63}
64
65void test8(read_only pipe int r, write_only pipe int w, global int *ptr) {
66  // verify that return type is correctly casted to i1 value
67  // CHECK: %[[R:[0-9]+]] = call i32 @__read_pipe_2
68  // CHECK: icmp ne i32 %[[R]], 0
69  if (read_pipe(r, ptr)) *ptr = -1;
70  // CHECK: %[[W:[0-9]+]] = call i32 @__write_pipe_2
71  // CHECK: icmp ne i32 %[[W]], 0
72  if (write_pipe(w, ptr)) *ptr = -1;
73  // CHECK: %[[N:[0-9]+]] = call i32 @__get_pipe_num_packets
74  // CHECK: icmp ne i32 %[[N]], 0
75  if (get_pipe_num_packets(r)) *ptr = -1;
76  // CHECK: %[[M:[0-9]+]] = call i32 @__get_pipe_max_packets
77  // CHECK: icmp ne i32 %[[M]], 0
78  if (get_pipe_max_packets(w)) *ptr = -1;
79}
80