llvm/test/CodeGen/SPIRV/AtomicCompareExchange.ll

   1 ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   2
   3 ; CHECK-SPIRV:      %[[#Int:]] = OpTypeInt 32 0
   4 ; CHECK-SPIRV-DAG:  %[[#MemScope_CrossDevice:]] = OpConstant %[[#Int]] 0
   5 ; CHECK-SPIRV-DAG:  %[[#MemSemEqual_SeqCst:]] = OpConstant %[[#Int]] 16
   6 ; CHECK-SPIRV-DAG:  %[[#MemSemUnequal_Acquire:]] = OpConstant %[[#Int]] 2
   7 ; CHECK-SPIRV-DAG:  %[[#Constant_456:]] = OpConstant %[[#Int]] 456
   8 ; CHECK-SPIRV-DAG:  %[[#Constant_128:]] = OpConstant %[[#Int]] 128
   9 ; CHECK-SPIRV-DAG:  %[[#Bool:]] = OpTypeBool
  10 ; CHECK-SPIRV-DAG:  %[[#Struct:]] = OpTypeStruct %[[#Int]] %[[#Bool]]
  11 ; CHECK-SPIRV-DAG:  %[[#UndefStruct:]] = OpUndef %[[#Struct]]
  12
  13 ; CHECK-SPIRV:      %[[#Value:]] = OpLoad %[[#Int]] %[[#Value_ptr:]]
  14 ; CHECK-SPIRV:      %[[#Res:]] = OpAtomicCompareExchange %[[#Int]] %[[#Pointer:]] %[[#MemScope_CrossDevice]]
  15 ; CHECK-SPIRV-SAME: %[[#MemSemEqual_SeqCst]] %[[#MemSemUnequal_Acquire]] %[[#Value]] %[[#Comparator:]]
  16 ; CHECK-SPIRV:      %[[#Success:]] = OpIEqual %[[#]] %[[#Res]] %[[#Comparator]]
  17 ; CHECK-SPIRV:      %[[#Composite_0:]] = OpCompositeInsert %[[#Struct]] %[[#Res]] %[[#UndefStruct]] 0
  18 ; CHECK-SPIRV:      %[[#Composite_1:]] = OpCompositeInsert %[[#Struct]] %[[#Success]] %[[#Composite_0]] 1
  19 ; CHECK-SPIRV:      %[[#]] = OpCompositeExtract %[[#Bool]] %[[#Composite_1]] 1
  20
  21 define dso_local spir_func void @test(ptr %ptr, ptr %value_ptr, i32 %comparator) local_unnamed_addr {
  22 entry:
  23   %0 = load i32, ptr %value_ptr, align 4
  24   %1 = cmpxchg ptr %ptr, i32 %comparator, i32 %0 seq_cst acquire
  25   %2 = extractvalue { i32, i1 } %1, 1
  26   br i1 %2, label %cmpxchg.continue, label %cmpxchg.store_expected
  27
  28 cmpxchg.store_expected:                           ; preds = %entry
  29   %3 = extractvalue { i32, i1 } %1, 0
  30   store i32 %3, ptr %value_ptr, align 4
  31   br label %cmpxchg.continue
  32
  33 cmpxchg.continue:                                 ; preds = %cmpxchg.store_expected, %entry
  34   ret void
  35 }
  36
  37 ; CHECK-SPIRV:      %[[#Res_1:]] = OpAtomicCompareExchange %[[#Int]] %[[#Ptr:]] %[[#MemScope_CrossDevice]]
  38 ; CHECK-SPIRV-SAME: %[[#MemSemEqual_SeqCst]] %[[#MemSemUnequal_Acquire]] %[[#Constant_456]] %[[#Constant_128]]
  39 ; CHECK-SPIRV:      %[[#Success_1:]] = OpIEqual %[[#]] %[[#Res_1]] %[[#Constant_128]]
  40 ; CHECK-SPIRV:      %[[#Composite:]] = OpCompositeInsert %[[#Struct]] %[[#Res_1]] %[[#UndefStruct]] 0
  41 ; CHECK-SPIRV:      %[[#Composite_1:]] = OpCompositeInsert %[[#Struct]] %[[#Success_1]] %[[#Composite]] 1
  42 ; CHECK-SPIRV:      OpStore %[[#Store_ptr:]] %[[#Composite_1]]
  43
  44 define dso_local spir_func void @test2(ptr %ptr, ptr %store_ptr) local_unnamed_addr {
  45 entry:
  46   %0 = cmpxchg ptr %ptr, i32 128, i32 456 seq_cst acquire
  47   store { i32, i1 } %0, ptr %store_ptr, align 4
  48   ret void
  49 }