llvm/test/CodeGen/AMDGPU/scc-clobbered-sgpr-to-vmem-spill.ll

   1 ; RUN: not --crash llc -mtriple=amdgcn--amdhsa -mcpu=gfx900 -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s
   2
   3 ; This ends up needing to spill SGPRs to memory, and also does not
   4 ; have any free SGPRs available to save the exec mask when doing so.
   5 ; The register scavenger also needs to use the emergency stack slot,
   6 ; which tries to place the scavenged register restore instruction as
   7 ; far the block as possible, near the terminator. This places a
   8 ; restore instruction between the condition and the conditional
   9 ; branch, which gets expanded into a sequence involving s_not_b64 on
  10 ; the exec mask, clobbering SCC value before the branch. We probably
  11 ; have to stop relying on being able to flip and restore the exec
  12 ; mask, and always require a free SGPR for saving exec.
  13
  14 ; CHECK: *** Bad machine code: Using an undefined physical register ***
  15 ; CHECK-NEXT: - function:    kernel0
  16 ; CHECK-NEXT: - basic block: %bb.0
  17 ; CHECK-NEXT: - instruction: S_CBRANCH_SCC1 %bb.2, implicit killed $scc
  18 ; CHECK-NEXT: - operand 1:   implicit killed $scc
  19 define amdgpu_kernel void @kernel0(i32 addrspace(1)* %out, i32 %in) #1 {
  20   call void asm sideeffect "", "~{v[0:7]}" () #0
  21   call void asm sideeffect "", "~{v[8:15]}" () #0
  22   call void asm sideeffect "", "~{v[16:19]}"() #0
  23   call void asm sideeffect "", "~{v[20:21]}"() #0
  24   call void asm sideeffect "", "~{v22}"() #0
  25
  26   %val0 = call <2 x i32> asm sideeffect "; def $0", "=s" () #0
  27   %val1 = call <4 x i32> asm sideeffect "; def $0", "=s" () #0
  28   %val2 = call <8 x i32> asm sideeffect "; def $0", "=s" () #0
  29   %val3 = call <16 x i32> asm sideeffect "; def $0", "=s" () #0
  30   %val4 = call <2 x i32> asm sideeffect "; def $0", "=s" () #0
  31   %val5 = call <4 x i32> asm sideeffect "; def $0", "=s" () #0
  32   %val6 = call <8 x i32> asm sideeffect "; def $0", "=s" () #0
  33   %val7 = call <16 x i32> asm sideeffect "; def $0", "=s" () #0
  34   %val8 = call <2 x i32> asm sideeffect "; def $0", "=s" () #0
  35   %val9 = call <4 x i32> asm sideeffect "; def $0", "=s" () #0
  36   %val10 = call <8 x i32> asm sideeffect "; def $0", "=s" () #0
  37   %val11 = call <16 x i32> asm sideeffect "; def $0", "=s" () #0
  38   %val12 = call <2 x i32> asm sideeffect "; def $0", "=s" () #0
  39   %val13 = call <4 x i32> asm sideeffect "; def $0", "=s" () #0
  40   %val14 = call <8 x i32> asm sideeffect "; def $0", "=s" () #0
  41   %val15 = call <16 x i32> asm sideeffect "; def $0", "=s" () #0
  42   %val16 = call <2 x i32> asm sideeffect "; def $0", "=s" () #0
  43   %val17 = call <4 x i32> asm sideeffect "; def $0", "=s" () #0
  44   %val18 = call <8 x i32> asm sideeffect "; def $0", "=s" () #0
  45   %val19 = call <16 x i32> asm sideeffect "; def $0", "=s" () #0
  46   %cmp = icmp eq i32 %in, 0
  47   br i1 %cmp, label %bb0, label %ret
  48
  49 bb0:
  50   call void asm sideeffect "; use $0", "s"(<2 x i32> %val0) #0
  51   call void asm sideeffect "; use $0", "s"(<4 x i32> %val1) #0
  52   call void asm sideeffect "; use $0", "s"(<8 x i32> %val2) #0
  53   call void asm sideeffect "; use $0", "s"(<16 x i32> %val3) #0
  54   call void asm sideeffect "; use $0", "s"(<2 x i32> %val4) #0
  55   call void asm sideeffect "; use $0", "s"(<4 x i32> %val5) #0
  56   call void asm sideeffect "; use $0", "s"(<8 x i32> %val6) #0
  57   call void asm sideeffect "; use $0", "s"(<16 x i32> %val7) #0
  58   call void asm sideeffect "; use $0", "s"(<2 x i32> %val8) #0
  59   call void asm sideeffect "; use $0", "s"(<4 x i32> %val9) #0
  60   call void asm sideeffect "; use $0", "s"(<8 x i32> %val10) #0
  61   call void asm sideeffect "; use $0", "s"(<16 x i32> %val11) #0
  62   call void asm sideeffect "; use $0", "s"(<2 x i32> %val12) #0
  63   call void asm sideeffect "; use $0", "s"(<4 x i32> %val13) #0
  64   call void asm sideeffect "; use $0", "s"(<8 x i32> %val14) #0
  65   call void asm sideeffect "; use $0", "s"(<16 x i32> %val15) #0
  66   call void asm sideeffect "; use $0", "s"(<2 x i32> %val16) #0
  67   call void asm sideeffect "; use $0", "s"(<4 x i32> %val17) #0
  68   call void asm sideeffect "; use $0", "s"(<8 x i32> %val18) #0
  69   call void asm sideeffect "; use $0", "s"(<16 x i32> %val19) #0
  70   br label %ret
  71
  72 ret:
  73   ret void
  74 }
  75
  76 attributes #0 = { nounwind }
  77 attributes #1 = { nounwind "amdgpu-waves-per-eu"="10,10" }