llvm/test/CodeGen/PowerPC/convert-ri-addi-to-ri.mir

   1 # RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs \
   2 # RUN:   -run-pass ppc-mi-peepholes -ppc-convert-rr-to-ri %s -o - | FileCheck %s
   3
   4 ---
   5 name: foldNewDformStore
   6 # CHECK: name: foldNewDformStore
   7 tracksRegLiveness: true
   8 body:             |
   9   bb.0.entry:
  10     liveins: $x3
  11
  12     %0:g8rc_and_g8rc_nox0 = COPY $x3
  13     %1:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 144
  14     %2:g8rc = LI8 0
  15     ; CHECK: STD killed %2, 160, %0
  16     STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
  17     BLR8 implicit $lr8, implicit $rm
  18 ...
  19 ---
  20 name: foldNewDformStoreAlignNotMatch
  21 # CHECK: name: foldNewDformStoreAlignNotMatch
  22 tracksRegLiveness: true
  23 body:             |
  24   bb.0.entry:
  25     liveins: $x3
  26
  27     %0:g8rc_and_g8rc_nox0 = COPY $x3
  28     %1:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 141
  29     %2:g8rc = LI8 0
  30     ; CHECK: STD killed %2, 16, %1
  31     STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
  32     BLR8 implicit $lr8, implicit $rm
  33 ...
  34 ---
  35 name: foldNewDformStoreKilledFlag
  36 # CHECK: name: foldNewDformStoreKilledFlag
  37 tracksRegLiveness: true
  38 body:             |
  39   bb.0.entry:
  40     liveins: $x3
  41
  42     %0:g8rc_and_g8rc_nox0 = COPY $x3
  43     %1:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 144
  44     %2:g8rc = LI8 0
  45     ; CHECK: STD %1, 0, %0
  46     STD %1:g8rc_and_g8rc_nox0, 0, killed %0:g8rc_and_g8rc_nox0
  47     ; CHECK: STD killed %2, 160, killed %0
  48     STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
  49     BLR8 implicit $lr8, implicit $rm
  50 ...
  51 ---
  52 name: foldNewDformPreferLIOperand
  53 # CHECK: name: foldNewDformPreferLIOperand
  54 tracksRegLiveness: true
  55 body:             |
  56   bb.0.entry:
  57   liveins: $x3
  58   %0:g8rc_and_g8rc_nox0 = COPY $x3
  59   %1:g8rc = ADDI8 %0:g8rc_and_g8rc_nox0, 1
  60   %2:g8rc = LI8 1
  61   ; CHECK: SUBFIC8 killed %1, 1, implicit-def $carry
  62   %3:g8rc = SUBFC8 killed %1:g8rc, %2:g8rc, implicit-def $carry
  63   %4:g8rc = SUBFE8 %2:g8rc, %2:g8rc, implicit-def dead $carry, implicit $carry
  64   %5:g8rc = NEG8 killed %4:g8rc
  65   $x3 = COPY %5:g8rc
  66   BLR8 implicit $lr8, implicit $rm, implicit $x3
  67 ...
  68 ---
  69 name: killFlagSameBlock
  70 #CHECK : name : killFlagSameBlock
  71 tracksRegLiveness: true
  72 body: |
  73   bb.0.entry:
  74   liveins: $x3
  75     %0:g8rc_and_g8rc_nox0 = COPY $x3
  76     %1:g8rc_and_g8rc_nox0 = ADDI8 killed %0:g8rc_and_g8rc_nox0, -8
  77     ; CHECK: %1:g8rc_and_g8rc_nox0 = ADDI8 %0, -8
  78     %2:g8rc = LI8 0
  79     ; CHECK: STD killed %2, 8, killed %0
  80     STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
  81     BLR8 implicit $lr8, implicit $rm
  82 ...
  83 ---
  84 name: killFlagDifferentBlocks
  85 #CHECK : name : killFlagDifferentBlocks
  86 tracksRegLiveness: true
  87 body: |
  88   bb.0.entry:
  89   liveins: $x3
  90     %0:g8rc_and_g8rc_nox0 = COPY $x3
  91     ; CHECK: %1:g8rc_and_g8rc_nox0 = ADDI8 %0, -8
  92     %1:g8rc_and_g8rc_nox0 = ADDI8 killed %0:g8rc_and_g8rc_nox0, -8
  93
  94   bb.1:
  95     %2:g8rc = LI8 0
  96     ; CHECK: STD killed %2, 8, killed %0
  97     STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
  98     BLR8 implicit $lr8, implicit $rm
  99 ...