llvm/test/DebugInfo/MIR/InstrRef/x86-fixup-bw-inst-subreb.mir

   1 # RUN: llc -mtriple=x86_64-unknown-linux-gnu -run-pass x86-fixup-bw-insts %s -o - -experimental-debug-variable-locations | FileCheck  %s
   2 #
   3 # This test is a copy of llvm/test/CodeGen/X86/fixup-bw-inst.mir, with a few
   4 # test bodies removed. The pass promotes certain register operations to be
   5 # wider operations (such as loads and sign extensions), which has an instruction
   6 # encoding benefit. New instructions are created, and so should have a debug
   7 # instruction number substitution; but in addition a qualifiying subregister,
   8 # because the newly def'd register is a different size to the old one.
   9 #
  10 # Plain copies that get transformed are not tested for, as they should never
  11 # be instrumented. At a high level, copies do not define a value; they move
  12 # them.
  13
  14 ---
  15 # CHECK-LABEL: name: test1
  16 name:            test1
  17 alignment:       16
  18 tracksRegLiveness: true
  19 liveins:
  20   - { reg: '$rax' }
  21 # CHECK:     debugValueSubstitutions:
  22 # CHECK-NEXT - { srcinst: 1, srcop: 0, dstinst: 2, dstop: 0, subreg: 4 }
  23 ## Subreg 4 -> sub_16bit
  24 body:             |
  25   bb.0:
  26     liveins: $rax
  27
  28     $ax = MOV16rm killed $rax, 1, $noreg, 0, $noreg, debug-instr-number 1
  29     ; CHECK: $eax = MOVZX32rm16 killed $rax, {{.*}} debug-instr-number 2
  30
  31     RETQ $ax
  32
  33 ...
  34 ---
  35 # CHECK-LABEL: name: test3
  36 name:            test3
  37 alignment:       16
  38 tracksRegLiveness: true
  39 liveins:
  40   - { reg: '$rdi' }
  41 # CHECK:     debugValueSubstitutions:
  42 # CHECK-NEXT - { srcinst: 1, srcop: 0, dstinst: 2, dstop: 0, subreg: 4 }
  43 ## Subreg 4 -> sub_16bit
  44 body:             |
  45   bb.0:
  46     successors: %bb.1(0x30000000), %bb.2(0x50000000)
  47     liveins: $rdi
  48
  49     TEST64rr $rdi, $rdi, implicit-def $eflags
  50     JCC_1 %bb.1, 4, implicit $eflags
  51
  52   bb.2:
  53     liveins: $rdi
  54
  55     $ax = MOV16rm killed $rdi, 1, $noreg, 0, $noreg, implicit-def $eax, debug-instr-number 1
  56     ; CHECK: $eax = MOVZX32rm16 killed $rdi, {{.*}} debug-instr-number 2
  57     $ax = KILL $ax, implicit killed $eax
  58     RETQ $ax
  59
  60   bb.1:
  61     $eax = XOR32rr undef $eax, undef $eax, implicit-def dead $eflags
  62     $ax = KILL $ax, implicit killed $eax
  63     RETQ $ax
  64
  65 ...