1;;__kernel void testAtomicCompareExchangeExplicit_cl20(
2;;    volatile global atomic_int* object,
3;;    global int* expected,
4;;    int desired)
5;;{
6;;  // Values of memory order and memory scope arguments correspond to SPIR-2.0 spec.
7;;  atomic_compare_exchange_strong_explicit(object, expected, desired,
8;;                                          memory_order_release, // 2
9;;                                          memory_order_relaxed  // 0
10;;                                         ); // by default, assume device scope = 2
11;;  atomic_compare_exchange_strong_explicit(object, expected, desired,
12;;                                          memory_order_acq_rel,   // 3
13;;                                          memory_order_relaxed,   // 0
14;;                                          memory_scope_work_group // 1
15;;                                         );
16;;  atomic_compare_exchange_weak_explicit(object, expected, desired,
17;;                                        memory_order_release, // 2
18;;                                        memory_order_relaxed  // 0
19;;                                         ); // by default, assume device scope = 2
20;;  atomic_compare_exchange_weak_explicit(object, expected, desired,
21;;                                        memory_order_acq_rel,   // 3
22;;                                        memory_order_relaxed,   // 0
23;;                                        memory_scope_work_group // 1
24;;                                       );
25;;}
26
27; RUN: llvm-as %s -o %t.bc
28; RUN: llvm-spirv %t.bc -spirv-text -o %t.txt
29; RUN: FileCheck < %t.txt %s --check-prefix=CHECK-SPIRV
30; RUN: llvm-spirv %t.bc -o %t.spv
31; RUN: llvm-spirv -r %t.spv -o %t.rev.bc
32; RUN: llvm-dis < %t.rev.bc | FileCheck %s --check-prefix=CHECK-LLVM
33
34;CHECK-SPIRV: TypeInt [[int:[0-9]+]] 32 0
35;; Constants below correspond to the SPIR-V spec
36;CHECK-SPIRV-DAG: Constant [[int]] [[DeviceScope:[0-9]+]] 1
37;CHECK-SPIRV-DAG: Constant [[int]] [[WorkgroupScope:[0-9]+]] 2
38;CHECK-SPIRV-DAG: Constant [[int]] [[ReleaseMemSem:[0-9]+]] 4
39;CHECK-SPIRV-DAG: Constant [[int]] [[RelaxedMemSem:[0-9]+]] 0
40;CHECK-SPIRV-DAG: Constant [[int]] [[AcqRelMemSem:[0-9]+]] 8
41
42;CHECK-SPIRV: AtomicCompareExchange {{[0-9]+}} {{[0-9]+}} {{[0-9]+}} [[DeviceScope]] [[ReleaseMemSem]] [[RelaxedMemSem]]
43;CHECK-SPIRV: AtomicCompareExchange {{[0-9]+}} {{[0-9]+}} {{[0-9]+}} [[WorkgroupScope]] [[AcqRelMemSem]] [[RelaxedMemSem]]
44;CHECK-SPIRV: AtomicCompareExchangeWeak {{[0-9]+}} {{[0-9]+}} {{[0-9]+}} [[DeviceScope]] [[ReleaseMemSem]] [[RelaxedMemSem]]
45;CHECK-SPIRV: AtomicCompareExchangeWeak {{[0-9]+}} {{[0-9]+}} {{[0-9]+}} [[WorkgroupScope]] [[AcqRelMemSem]] [[RelaxedMemSem]]
46
47;CHECK-LLVM: call spir_func i1 @_Z39atomic_compare_exchange_strong_explicitPVU3AS4U7_AtomiciPiiiii(i32 addrspace(4)* %0, i32* %expected1, i32 %desired, i32 2, i32 0, i32 2)
48;CHECK-LLVM: call spir_func i1 @_Z39atomic_compare_exchange_strong_explicitPVU3AS4U7_AtomiciPiiiii(i32 addrspace(4)* %0, i32* %expected2, i32 %desired, i32 3, i32 0, i32 1)
49;CHECK-LLVM: call spir_func i1 @_Z37atomic_compare_exchange_weak_explicitPVU3AS4U7_AtomiciPiiiii(i32 addrspace(4)* %0, i32* %expected3, i32 %desired, i32 2, i32 0, i32 2)
50;CHECK-LLVM: call spir_func i1 @_Z37atomic_compare_exchange_weak_explicitPVU3AS4U7_AtomiciPiiiii(i32 addrspace(4)* %0, i32* %expected4, i32 %desired, i32 3, i32 0, i32 1)
51
52target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024"
53target triple = "spir"
54
55; Function Attrs: nounwind
56define spir_kernel void @testAtomicCompareExchangeExplicit_cl20(i32 addrspace(1)* %object, i32 addrspace(1)* %expected, i32 %desired) #0 {
57entry:
58  %0 = addrspacecast i32 addrspace(1)* %object to i32 addrspace(4)*
59  %1 = addrspacecast i32 addrspace(1)* %expected to i32 addrspace(4)*
60  %call = tail call spir_func zeroext i1 @_Z39atomic_compare_exchange_strong_explicitPVU3AS4U7_AtomiciPU3AS4ii12memory_orderS4_(i32 addrspace(4)* %0, i32 addrspace(4)* %1, i32 %desired, i32 2, i32 0) #2
61  %call1 = tail call spir_func zeroext i1 @_Z39atomic_compare_exchange_strong_explicitPVU3AS4U7_AtomiciPU3AS4ii12memory_orderS4_12memory_scope(i32 addrspace(4)* %0, i32 addrspace(4)* %1, i32 %desired, i32 3, i32 0, i32 1) #2
62  %call2 = tail call spir_func zeroext i1 @_Z37atomic_compare_exchange_weak_explicitPVU3AS4U7_AtomiciPU3AS4ii12memory_orderS4_(i32 addrspace(4)* %0, i32 addrspace(4)* %1, i32 %desired, i32 2, i32 0) #2
63  %call3 = tail call spir_func zeroext i1 @_Z37atomic_compare_exchange_weak_explicitPVU3AS4U7_AtomiciPU3AS4ii12memory_orderS4_12memory_scope(i32 addrspace(4)* %0, i32 addrspace(4)* %1, i32 %desired, i32 3, i32 0, i32 1) #2
64  ret void
65}
66
67declare spir_func zeroext i1 @_Z39atomic_compare_exchange_strong_explicitPVU3AS4U7_AtomiciPU3AS4ii12memory_orderS4_(i32 addrspace(4)*, i32 addrspace(4)*, i32, i32, i32) #1
68
69declare spir_func zeroext i1 @_Z39atomic_compare_exchange_strong_explicitPVU3AS4U7_AtomiciPU3AS4ii12memory_orderS4_12memory_scope(i32 addrspace(4)*, i32 addrspace(4)*, i32, i32, i32, i32) #1
70
71declare spir_func zeroext i1 @_Z37atomic_compare_exchange_weak_explicitPVU3AS4U7_AtomiciPU3AS4ii12memory_orderS4_(i32 addrspace(4)*, i32 addrspace(4)*, i32, i32, i32) #1
72
73declare spir_func zeroext i1 @_Z37atomic_compare_exchange_weak_explicitPVU3AS4U7_AtomiciPU3AS4ii12memory_orderS4_12memory_scope(i32 addrspace(4)*, i32 addrspace(4)*, i32, i32, i32, i32) #1
74
75attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
76attributes #1 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
77attributes #2 = { nounwind }
78
79!opencl.kernels = !{!0}
80!opencl.enable.FP_CONTRACT = !{}
81!opencl.spir.version = !{!6}
82!opencl.ocl.version = !{!7}
83!opencl.used.extensions = !{!8}
84!opencl.used.optional.core.features = !{!8}
85!opencl.compiler.options = !{!8}
86
87!0 = !{void (i32 addrspace(1)*, i32 addrspace(1)*, i32)* @testAtomicCompareExchangeExplicit_cl20, !1, !2, !3, !4, !5}
88!1 = !{!"kernel_arg_addr_space", i32 1, i32 1, i32 0}
89!2 = !{!"kernel_arg_access_qual", !"none", !"none", !"none"}
90!3 = !{!"kernel_arg_type", !"atomic_int*", !"int*", !"int"}
91!4 = !{!"kernel_arg_base_type", !"_Atomic(int)*", !"int*", !"int"}
92!5 = !{!"kernel_arg_type_qual", !"volatile", !"", !""}
93!6 = !{i32 1, i32 2}
94!7 = !{i32 2, i32 0}
95!8 = !{}
96