38 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 52# RUN: llc -mtriple x86_64-unknown-unknown %s \3# RUN: -verify-coalescing -enable-subreg-liveness \4# RUN: --run-pass=register-coalescer -o - | FileCheck %s5 6# Check that the register coalescer correctly handles merging live ranges over7# SUBREG_TO_REG on X86. The -verify-coalescing option will give an error if8# this is incorrect.9 10---11name: test112alignment: 1613tracksRegLiveness: true14body: |15 bb.0:16 ; CHECK-LABEL: name: test117 ; 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 $eflags20 ; CHECK-NEXT: [[LEA64r:%[0-9]+]]:gr64_with_sub_8bit = LEA64r [[MOV32rm1]], 1, [[MOV32rm]], 256, $noreg21 ; CHECK-NEXT: [[LEA64r:%[0-9]+]]:gr64_with_sub_8bit = SHR64ri [[LEA64r]], 8, implicit-def dead $eflags22 ; 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 $eax24 %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_32bit26 %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_32bit28 %6:gr64 = COPY killed %529 %6:gr64 = SHL64ri %6, 32, implicit-def dead $eflags30 %7:gr64 = LEA64r killed %6, 1, killed %2, 256, $noreg31 %8:gr64 = COPY killed %732 %8:gr64 = SHR64ri %8, 8, implicit-def dead $eflags33 %9:gr32 = COPY killed %8.sub_32bit34 MOV32mr undef %10:gr64, 1, $noreg, 0, $noreg, killed %9 :: (volatile store (s32) into `ptr undef`)35 RET 0, undef $eax36 37...38