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