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: $vgpr0 = V_MOV_B32_e32 $vgpr1, implicit $exec, implicit-def $vgpr0_vgpr1_vgpr2, implicit $vgpr1_vgpr2_vgpr3
  18     ; CHECK: $vgpr1 = V_MOV_B32_e32 $vgpr2, implicit $exec, implicit $vgpr1_vgpr2_vgpr3
  19     ; CHECK: $vgpr2 = V_MOV_B32_e32 $vgpr3, implicit $exec, implicit $vgpr1_vgpr2_vgpr3
  20     ; CHECK: renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  21     ; CHECK: S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  22     renamable $vgpr0_vgpr1_vgpr2 = COPY killed renamable $vgpr1_vgpr2_vgpr3
  23     renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  24     S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  25
  26 ...
  27
  28 ---
  29 name: overlapping_copy_kill_undef_reg_after_copy_1
  30 tracksRegLiveness: true
  31 body:             |
  32   bb.0:
  33     liveins: $sgpr30_sgpr31, $vgpr2_vgpr3_vgpr4
  34
  35     ; CHECK-LABEL: name: overlapping_copy_kill_undef_reg_after_copy_1
  36     ; CHECK: liveins: $sgpr30_sgpr31, $vgpr2_vgpr3_vgpr4
  37     ; CHECK: $vgpr0 = V_MOV_B32_e32 $vgpr2, implicit $exec, implicit-def $vgpr0_vgpr1_vgpr2, implicit $vgpr2_vgpr3_vgpr4
  38     ; CHECK: $vgpr1 = V_MOV_B32_e32 $vgpr3, implicit $exec, implicit $vgpr2_vgpr3_vgpr4
  39     ; CHECK: $vgpr2 = V_MOV_B32_e32 $vgpr4, implicit $exec, implicit $vgpr2_vgpr3_vgpr4
  40     ; CHECK: renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  41     ; CHECK: S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  42     renamable $vgpr0_vgpr1_vgpr2 = COPY killed renamable $vgpr2_vgpr3_vgpr4
  43     renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  44     S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  45
  46 ...
  47
  48 ---
  49 name: nonoverlapping_copy_kill
  50 tracksRegLiveness: true
  51 body:             |
  52   bb.0:
  53     liveins: $sgpr30_sgpr31, $vgpr3_vgpr4_vgpr5
  54
  55     ; CHECK-LABEL: name: nonoverlapping_copy_kill
  56     ; CHECK: liveins: $sgpr30_sgpr31, $vgpr3_vgpr4_vgpr5
  57     ; CHECK: $vgpr0 = V_MOV_B32_e32 $vgpr3, implicit $exec, implicit-def $vgpr0_vgpr1_vgpr2, implicit $vgpr3_vgpr4_vgpr5
  58     ; CHECK: $vgpr1 = V_MOV_B32_e32 $vgpr4, implicit $exec, implicit $vgpr3_vgpr4_vgpr5
  59     ; CHECK: $vgpr2 = V_MOV_B32_e32 $vgpr5, implicit $exec, implicit killed $vgpr3_vgpr4_vgpr5
  60     ; CHECK: renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  61     ; CHECK: S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  62     renamable $vgpr0_vgpr1_vgpr2 = COPY killed renamable $vgpr3_vgpr4_vgpr5
  63     renamable $vgpr1 = nofpexcept V_MUL_F32_e32 0, $vgpr1, implicit $mode, implicit $exec
  64     S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2
  65
  66 ...
  67
  68 ---
  69 name: overlapping_copy_kill_half_s128
  70 tracksRegLiveness: true
  71 body:             |
  72   bb.0:
  73     liveins: $sgpr30_sgpr31, $vgpr2_vgpr3_vgpr4_vgpr5
  74
  75     ; CHECK-LABEL: name: overlapping_copy_kill_half_s128
  76     ; CHECK: liveins: $sgpr30_sgpr31, $vgpr2_vgpr3_vgpr4_vgpr5
  77     ; CHECK: $vgpr0 = V_MOV_B32_e32 $vgpr2, implicit $exec, implicit-def $vgpr0_vgpr1_vgpr2_vgpr3, implicit $vgpr2_vgpr3_vgpr4_vgpr5
  78     ; CHECK: $vgpr1 = V_MOV_B32_e32 $vgpr3, implicit $exec, implicit $vgpr2_vgpr3_vgpr4_vgpr5
  79     ; CHECK: $vgpr2 = V_MOV_B32_e32 $vgpr4, implicit $exec, implicit $vgpr2_vgpr3_vgpr4_vgpr5
  80     ; CHECK: $vgpr3 = V_MOV_B32_e32 $vgpr5, implicit $exec, implicit $vgpr2_vgpr3_vgpr4_vgpr5
  81     ; CHECK: renamable $vgpr1 = V_OR_B32_e32 1, $vgpr1, implicit $exec
  82     ; CHECK: S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2, implicit $vgpr3
  83     renamable $vgpr0_vgpr1_vgpr2_vgpr3 = COPY killed renamable $vgpr2_vgpr3_vgpr4_vgpr5
  84     renamable $vgpr1 = V_OR_B32_e32 1, $vgpr1, implicit $exec
  85     S_SETPC_B64 $sgpr30_sgpr31, implicit $vgpr0, implicit $vgpr1, implicit $vgpr2, implicit $vgpr3
  86
  87 ...