llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-atomic-cmpxchg-with-success.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=hawaii -O0 -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 ---
   5 name: test_atomic_cmpxchg_with_success_s32_global
   6 body: |
   7   bb.0:
   8     liveins: $vgpr0_vgpr1, $vgpr2, $vgpr3
   9
  10     ; CHECK-LABEL: name: test_atomic_cmpxchg_with_success_s32_global
  11     ; CHECK: liveins: $vgpr0_vgpr1, $vgpr2, $vgpr3
  12     ; CHECK-NEXT: {{  $}}
  13     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p1) = COPY $vgpr0_vgpr1
  14     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr2
  15     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr3
  16     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY2]](s32), [[COPY1]](s32)
  17     ; CHECK-NEXT: [[AMDGPU_ATOMIC_CMPXCHG:%[0-9]+]]:_(s32) = G_AMDGPU_ATOMIC_CMPXCHG [[COPY]](p1), [[BUILD_VECTOR]] :: (load store syncscope("agent-one-as") monotonic monotonic (s32), addrspace 1)
  18     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[AMDGPU_ATOMIC_CMPXCHG]](s32), [[COPY1]]
  19     ; CHECK-NEXT: S_ENDPGM 0, implicit [[AMDGPU_ATOMIC_CMPXCHG]](s32), implicit [[ICMP]](s1)
  20   %0:_(p1) = COPY $vgpr0_vgpr1
  21   %1:_(s32) = COPY $vgpr2
  22   %2:_(s32) = COPY $vgpr3
  23   %3:_(s32), %4:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS %0, %1, %2 :: (load store syncscope("agent-one-as") monotonic monotonic (s32), addrspace 1)
  24   S_ENDPGM 0, implicit %3, implicit %4
  25
  26 ...
  27
  28 ---
  29 name: test_atomic_cmpxchg_with_success_s32_flat
  30 body: |
  31   bb.0:
  32     liveins: $vgpr0_vgpr1, $vgpr2, $vgpr3
  33
  34     ; CHECK-LABEL: name: test_atomic_cmpxchg_with_success_s32_flat
  35     ; CHECK: liveins: $vgpr0_vgpr1, $vgpr2, $vgpr3
  36     ; CHECK-NEXT: {{  $}}
  37     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
  38     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr2
  39     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr3
  40     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY2]](s32), [[COPY1]](s32)
  41     ; CHECK-NEXT: [[AMDGPU_ATOMIC_CMPXCHG:%[0-9]+]]:_(s32) = G_AMDGPU_ATOMIC_CMPXCHG [[COPY]](p0), [[BUILD_VECTOR]] :: (load store syncscope("agent-one-as") monotonic monotonic (s32))
  42     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[AMDGPU_ATOMIC_CMPXCHG]](s32), [[COPY1]]
  43     ; CHECK-NEXT: S_ENDPGM 0, implicit [[AMDGPU_ATOMIC_CMPXCHG]](s32), implicit [[ICMP]](s1)
  44   %0:_(p0) = COPY $vgpr0_vgpr1
  45   %1:_(s32) = COPY $vgpr2
  46   %2:_(s32) = COPY $vgpr3
  47   %3:_(s32), %4:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS %0, %1, %2 :: (load store syncscope("agent-one-as") monotonic monotonic (s32), addrspace 0)
  48   S_ENDPGM 0, implicit %3, implicit %4
  49
  50 ...
  51
  52 ---
  53 name: test_atomic_cmpxchg_with_success_s32_local
  54 body: |
  55   bb.0:
  56     liveins: $vgpr0, $vgpr1, $vgpr2
  57
  58     ; CHECK-LABEL: name: test_atomic_cmpxchg_with_success_s32_local
  59     ; CHECK: liveins: $vgpr0, $vgpr1, $vgpr2
  60     ; CHECK-NEXT: {{  $}}
  61     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p3) = COPY $vgpr0
  62     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1
  63     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr2
  64     ; CHECK-NEXT: [[ATOMIC_CMPXCHG:%[0-9]+]]:_(s32) = G_ATOMIC_CMPXCHG [[COPY]](p3), [[COPY1]], [[COPY2]] :: (load store syncscope("agent-one-as") monotonic monotonic (s32), addrspace 3)
  65     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[ATOMIC_CMPXCHG]](s32), [[COPY1]]
  66     ; CHECK-NEXT: S_ENDPGM 0, implicit [[ATOMIC_CMPXCHG]](s32), implicit [[ICMP]](s1)
  67   %0:_(p3) = COPY $vgpr0
  68   %1:_(s32) = COPY $vgpr1
  69   %2:_(s32) = COPY $vgpr2
  70   %3:_(s32), %4:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS %0, %1, %2 :: (load store syncscope("agent-one-as") monotonic monotonic (s32), addrspace 3)
  71   S_ENDPGM 0, implicit %3, implicit %4
  72
  73 ...
  74
  75 ---
  76 name: test_atomic_cmpxchg_with_success_s64_global
  77 body: |
  78   bb.0:
  79     liveins: $vgpr0_vgpr1, $vgpr2_vgpr3, $vgpr4_vgpr5
  80
  81     ; CHECK-LABEL: name: test_atomic_cmpxchg_with_success_s64_global
  82     ; CHECK: liveins: $vgpr0_vgpr1, $vgpr2_vgpr3, $vgpr4_vgpr5
  83     ; CHECK-NEXT: {{  $}}
  84     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p1) = COPY $vgpr0_vgpr1
  85     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $vgpr2_vgpr3
  86     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $vgpr4_vgpr5
  87     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[COPY2]](s64), [[COPY1]](s64)
  88     ; CHECK-NEXT: [[AMDGPU_ATOMIC_CMPXCHG:%[0-9]+]]:_(s64) = G_AMDGPU_ATOMIC_CMPXCHG [[COPY]](p1), [[BUILD_VECTOR]] :: (load store syncscope("agent-one-as") monotonic monotonic (s64), addrspace 1)
  89     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[AMDGPU_ATOMIC_CMPXCHG]](s64), [[COPY1]]
  90     ; CHECK-NEXT: S_ENDPGM 0, implicit [[AMDGPU_ATOMIC_CMPXCHG]](s64), implicit [[ICMP]](s1)
  91   %0:_(p1) = COPY $vgpr0_vgpr1
  92   %1:_(s64) = COPY $vgpr2_vgpr3
  93   %2:_(s64) = COPY $vgpr4_vgpr5
  94   %3:_(s64), %4:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS %0, %1, %2 :: (load store syncscope("agent-one-as") monotonic monotonic (s64), addrspace 1)
  95   S_ENDPGM 0, implicit %3, implicit %4
  96
  97 ...
  98
  99 ---
 100 name: test_atomic_cmpxchg_with_success_s64_local
 101 body: |
 102   bb.0:
 103     liveins: $vgpr0, $vgpr1_vgpr2, $vgpr3_vgpr4
 104
 105     ; CHECK-LABEL: name: test_atomic_cmpxchg_with_success_s64_local
 106     ; CHECK: liveins: $vgpr0, $vgpr1_vgpr2, $vgpr3_vgpr4
 107     ; CHECK-NEXT: {{  $}}
 108     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p3) = COPY $vgpr0
 109     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $vgpr1_vgpr2
 110     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $vgpr3_vgpr4
 111     ; CHECK-NEXT: [[ATOMIC_CMPXCHG:%[0-9]+]]:_(s64) = G_ATOMIC_CMPXCHG [[COPY]](p3), [[COPY1]], [[COPY2]] :: (load store syncscope("agent-one-as") monotonic monotonic (s64), addrspace 3)
 112     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[ATOMIC_CMPXCHG]](s64), [[COPY1]]
 113     ; CHECK-NEXT: S_ENDPGM 0, implicit [[ATOMIC_CMPXCHG]](s64), implicit [[ICMP]](s1)
 114   %0:_(p3) = COPY $vgpr0
 115   %1:_(s64) = COPY $vgpr1_vgpr2
 116   %2:_(s64) = COPY $vgpr3_vgpr4
 117   %3:_(s64), %4:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS %0, %1, %2 :: (load store syncscope("agent-one-as") monotonic monotonic (s64), addrspace 3)
 118   S_ENDPGM 0, implicit %3, implicit %4
 119
 120 ...