test/CodeGen/Hexagon/two-addr-tied-subregs.mir

   1 # RUN: llc -march hexagon -run-pass livevars -run-pass twoaddressinstruction  -verify-machineinstrs -o - %s | FileCheck %s
   2
   3
   4 ###############################################################################
   5
   6 ---
   7 name:            test1
   8 tracksRegLiveness: true
   9 body:             |
  10   bb.0.entry:
  11     liveins: $d0
  12
  13     %0:doubleregs = COPY killed $d0
  14     %1:intregs = S2_lsr_i_r_acc %0.isub_lo, %0.isub_lo, 16
  15
  16 ...
  17
  18 # Verify that both uses if %0.isub_lo are replaced here.
  19 # (we used to get %1:intregs = S2_lsr_i_r_acc %1, %1.isub_lo, 16)
  20 #
  21 # CHECK-LABEL: name:            test1
  22 # CHECK:  bb.0.entry:
  23 # CHECK:      %0:doubleregs = COPY killed $d0
  24 # CHECK-NEXT: %1:intregs = COPY killed %0.isub_lo
  25 # CHECK-NEXT: %1:intregs = S2_lsr_i_r_acc %1, %1, 16
  26
  27
  28 ###############################################################################
  29
  30 ---
  31 name:            test2
  32 tracksRegLiveness: true
  33 body:             |
  34   bb.0.entry:
  35     liveins: $d0
  36
  37     %0:doubleregs = COPY killed $d0
  38     %1:intregs = S2_lsr_i_r_acc %0.isub_lo, %0.isub_hi, 16
  39
  40 ...
  41
  42 # Verify that the use of %0.isub_hi isn't replaced here.
  43 # (we used to get %1:intregs = S2_lsr_i_r_acc %1, %1.isub_hi, 16)
  44 #
  45 # We also used to get an incorrect "killed" for %0 in the second COPY.
  46 # So we verify that we do not get machine verifier complaints here.
  47 # An improvement could be to get a "killed" attribute on the last
  48 # use of %0.isub_hi, but we do not need it for the IR to be valid.
  49 #
  50 # CHECK-LABEL: name:            test2
  51 # CHECK:  bb.0.entry:
  52 # CHECK:      %0:doubleregs = COPY killed $d0
  53 # CHECK-NEXT: %1:intregs = COPY %0.isub_lo
  54 # CHECK-NEXT: %1:intregs = S2_lsr_i_r_acc %1, %0.isub_hi, 16
  55
  56 ###############################################################################