llvm/test/CodeGen/X86/subreg-fail.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
   2 # RUN: llc -mtriple x86_64-unknown-unknown %s \
   3 # RUN:   -verify-coalescing -enable-subreg-liveness \
   4 # RUN:   --run-pass=register-coalescer -o - | FileCheck %s
   5
   6 # Check that the register coalescer correctly handles merging live ranges over
   7 # SUBREG_TO_REG on X86. The -verify-coalescing option will give an error if
   8 # this is incorrect.
   9
  10 ---
  11 name:            test1
  12 alignment:       16
  13 tracksRegLiveness: true
  14 body:             |
  15   bb.0:
  16     ; CHECK-LABEL: name: test1
  17     ; CHECK: undef [[MOV32rm:%[0-9]+]].sub_32bit:gr64_nosp = MOV32rm undef %1:gr64, 1, $noreg, 0, $noreg :: (volatile load (s32) from `ptr undef`)
  18     ; CHECK-NEXT: undef [[MOV32rm1:%[0-9]+]].sub_32bit:gr64_with_sub_8bit = MOV32rm undef %4:gr64, 1, $noreg, 0, $noreg :: (volatile load (s32) from `ptr undef`)
  19     ; CHECK-NEXT: [[MOV32rm1:%[0-9]+]]:gr64_with_sub_8bit = SHL64ri [[MOV32rm1]], 32, implicit-def dead $eflags
  20     ; CHECK-NEXT: [[LEA64r:%[0-9]+]]:gr64_with_sub_8bit = LEA64r [[MOV32rm1]], 1, [[MOV32rm]], 256, $noreg
  21     ; CHECK-NEXT: [[LEA64r:%[0-9]+]]:gr64_with_sub_8bit = SHR64ri [[LEA64r]], 8, implicit-def dead $eflags
  22     ; CHECK-NEXT: MOV32mr undef %10:gr64, 1, $noreg, 0, $noreg, [[LEA64r]].sub_32bit :: (volatile store (s32) into `ptr undef`)
  23     ; CHECK-NEXT: RET 0, undef $eax
  24     %0:gr32 = MOV32rm undef %1:gr64, 1, $noreg, 0, $noreg :: (volatile load (s32) from `ptr undef`)
  25     %2:gr64_nosp = SUBREG_TO_REG 0, killed %0, %subreg.sub_32bit
  26     %3:gr32 = MOV32rm undef %4:gr64, 1, $noreg, 0, $noreg :: (volatile load (s32) from `ptr undef`)
  27     %5:gr64 = SUBREG_TO_REG 0, killed %3, %subreg.sub_32bit
  28     %6:gr64 = COPY killed %5
  29     %6:gr64 = SHL64ri %6, 32, implicit-def dead $eflags
  30     %7:gr64 = LEA64r killed %6, 1, killed %2, 256, $noreg
  31     %8:gr64 = COPY killed %7
  32     %8:gr64 = SHR64ri %8, 8, implicit-def dead $eflags
  33     %9:gr32 = COPY killed %8.sub_32bit
  34     MOV32mr undef %10:gr64, 1, $noreg, 0, $noreg, killed %9 :: (volatile store (s32) into `ptr undef`)
  35     RET 0, undef $eax
  36
  37 ...