llvm/test/CodeGen/AMDGPU/copy-overlap-vgpr-kill.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx906 -verify-machineinstrs -run-pass=postrapseudos -o - %s | FileCheck %s
   3
   4 # Don't set a kill of the super register on the last instruction with
   5 # an overlapping copy. This would kill part of the values in the
   6 # result copies.
   7
   8 ---
   9 name: overlapping_copy_kill_undef_reg_after_copy
  10 tracksRegLiveness: true
  11 body:             |
  12   bb.0:
  13     liveins: $sgpr30_sgpr31, $vgpr1_vgpr2_vgpr3
  14
  15     ; CHECK-LABEL: name: overlapping_copy_kill_undef_reg_after_copy
  16     ; CHECK: liveins: $sgpr30_sgpr31, $vgpr1_vgpr2_vgpr3
  17     ; CHECK-NEXT: {{  $}}
  18     ; CHECK-NEXT: $vgpr0 = V_MOV_B32_e32 $vgpr1, implicit $exec, implicit-def $vgpr0_vgpr1_vgpr2, implicit $vgpr1_vgpr2_vgpr3
  19     ; CHECK-NEXT: $vgpr1 = V_MOV_B32_e32 $vgpr2, implicit $exec, implicit $vgpr1_vgpr2_vgpr3
  20     ; CHECK-NEXT: $vgpr2 = V_MOV_B32_e32 $vgpr3, implicit $exec, implicit $vgpr1_vgpr2_vgpr3
  21     ; CHECK-NEXT: renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  22     ; CHECK-NEXT: S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  23     renamable $vgpr0_vgpr1_vgpr2 = COPY killed renamable $vgpr1_vgpr2_vgpr3
  24     renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  25     S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  26
  27 ...
  28
  29 ---
  30 name: overlapping_copy_kill_undef_reg_after_copy_1
  31 tracksRegLiveness: true
  32 body:             |
  33   bb.0:
  34     liveins: $sgpr30_sgpr31, $vgpr2_vgpr3_vgpr4
  35
  36     ; CHECK-LABEL: name: overlapping_copy_kill_undef_reg_after_copy_1
  37     ; CHECK: liveins: $sgpr30_sgpr31, $vgpr2_vgpr3_vgpr4
  38     ; CHECK-NEXT: {{  $}}
  39     ; CHECK-NEXT: $vgpr0 = V_MOV_B32_e32 $vgpr2, implicit $exec, implicit-def $vgpr0_vgpr1_vgpr2, implicit $vgpr2_vgpr3_vgpr4
  40     ; CHECK-NEXT: $vgpr1 = V_MOV_B32_e32 $vgpr3, implicit $exec, implicit $vgpr2_vgpr3_vgpr4
  41     ; CHECK-NEXT: $vgpr2 = V_MOV_B32_e32 $vgpr4, implicit $exec, implicit $vgpr2_vgpr3_vgpr4
  42     ; CHECK-NEXT: renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  43     ; CHECK-NEXT: S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  44     renamable $vgpr0_vgpr1_vgpr2 = COPY killed renamable $vgpr2_vgpr3_vgpr4
  45     renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  46     S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  47
  48 ...
  49
  50 ---
  51 name: nonoverlapping_copy_kill
  52 tracksRegLiveness: true
  53 body:             |
  54   bb.0:
  55     liveins: $sgpr30_sgpr31, $vgpr3_vgpr4_vgpr5
  56
  57     ; CHECK-LABEL: name: nonoverlapping_copy_kill
  58     ; CHECK: liveins: $sgpr30_sgpr31, $vgpr3_vgpr4_vgpr5
  59     ; CHECK-NEXT: {{  $}}
  60     ; CHECK-NEXT: $vgpr0 = V_MOV_B32_e32 $vgpr3, implicit $exec, implicit-def $vgpr0_vgpr1_vgpr2, implicit $vgpr3_vgpr4_vgpr5
  61     ; CHECK-NEXT: $vgpr1 = V_MOV_B32_e32 $vgpr4, implicit $exec, implicit $vgpr3_vgpr4_vgpr5
  62     ; CHECK-NEXT: $vgpr2 = V_MOV_B32_e32 $vgpr5, implicit $exec, implicit killed $vgpr3_vgpr4_vgpr5
  63     ; CHECK-NEXT: renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  64     ; CHECK-NEXT: S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  65     renamable $vgpr0_vgpr1_vgpr2 = COPY killed renamable $vgpr3_vgpr4_vgpr5
  66     renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  67     S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  68
  69 ...
  70
  71 ---
  72 name: overlapping_copy_kill_half_s128
  73 tracksRegLiveness: true
  74 body:             |
  75   bb.0:
  76     liveins: $sgpr30_sgpr31, $vgpr2_vgpr3_vgpr4_vgpr5
  77
  78     ; CHECK-LABEL: name: overlapping_copy_kill_half_s128
  79     ; CHECK: liveins: $sgpr30_sgpr31, $vgpr2_vgpr3_vgpr4_vgpr5
  80     ; CHECK-NEXT: {{  $}}
  81     ; CHECK-NEXT: $vgpr0 = V_MOV_B32_e32 $vgpr2, implicit $exec, implicit-def $vgpr0_vgpr1_vgpr2_vgpr3, implicit $vgpr2_vgpr3_vgpr4_vgpr5
  82     ; CHECK-NEXT: $vgpr1 = V_MOV_B32_e32 $vgpr3, implicit $exec, implicit $vgpr2_vgpr3_vgpr4_vgpr5
  83     ; CHECK-NEXT: $vgpr2 = V_MOV_B32_e32 $vgpr4, implicit $exec, implicit $vgpr2_vgpr3_vgpr4_vgpr5
  84     ; CHECK-NEXT: $vgpr3 = V_MOV_B32_e32 $vgpr5, implicit $exec, implicit $vgpr2_vgpr3_vgpr4_vgpr5
  85     ; CHECK-NEXT: renamable $vgpr1 = V_OR_B32_e32 1, $vgpr1, implicit $exec
  86     ; CHECK-NEXT: S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2, implicit $vgpr3
  87     renamable $vgpr0_vgpr1_vgpr2_vgpr3 = COPY killed renamable $vgpr2_vgpr3_vgpr4_vgpr5
  88     renamable $vgpr1 = V_OR_B32_e32 1, $vgpr1, implicit $exec
  89     S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2, implicit $vgpr3
  90
  91 ...