test/CodeGen/MIR/PowerPC/peephole-miscompile-extswsli.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O3 -verify-machineinstrs -mtriple=powerpc64le-unknown-unknown -mcpu=pwr9 -run-pass=ppc-mi-peepholes \
   3 # RUN: -simplify-mir %s -o - | FileCheck %s
   4 ---
   5 name:            poc
   6 alignment:       4
   7 tracksRegLiveness: true
   8 body:             |
   9   ; CHECK-LABEL: name: poc
  10   ; CHECK: bb.0.entry:
  11   ; CHECK:   successors: %bb.1, %bb.2
  12   ; CHECK:   liveins: $x3, $x4, $x5, $x6
  13   ; CHECK:   [[COPY:%[0-9]+]]:g8rc = COPY $x6
  14   ; CHECK:   [[COPY1:%[0-9]+]]:g8rc = COPY $x5
  15   ; CHECK:   [[COPY2:%[0-9]+]]:g8rc = COPY $x4
  16   ; CHECK:   [[COPY3:%[0-9]+]]:g8rc_and_g8rc_nox0 = COPY $x3
  17   ; CHECK:   [[ANDIo8_:%[0-9]+]]:g8rc = ANDIo8 [[COPY1]], 1, implicit-def $cr0
  18   ; CHECK:   [[COPY4:%[0-9]+]]:crbitrc = COPY $cr0gt
  19   ; CHECK:   BCn killed [[COPY4]], %bb.2
  20   ; CHECK:   B %bb.1
  21   ; CHECK: bb.1:
  22   ; CHECK:   liveins: $x3
  23   ; CHECK:   [[RLDICR:%[0-9]+]]:g8rc = RLDICR [[ANDIo8_]], 2, 61
  24   ; CHECK:   $x3 = COPY [[RLDICR]]
  25   ; CHECK:   [[EXTSWSLI:%[0-9]+]]:g8rc = EXTSWSLI $x3, 2, implicit-def $carry
  26   ; CHECK:   [[ADD8_:%[0-9]+]]:g8rc = ADD8 [[COPY3]], [[EXTSWSLI]]
  27   ; CHECK:   $x3 = COPY [[ADD8_]]
  28   ; CHECK:   BLR8 implicit $lr8, implicit $rm, implicit $x3
  29   ; CHECK: bb.2:
  30   ; CHECK:   [[COPY5:%[0-9]+]]:gprc = COPY [[COPY]].sub_32
  31   ; CHECK:   [[DEF:%[0-9]+]]:g8rc = IMPLICIT_DEF
  32   ; CHECK:   [[INSERT_SUBREG:%[0-9]+]]:g8rc = INSERT_SUBREG [[DEF]], [[COPY5]], %subreg.sub_32
  33   ; CHECK:   $x3 = COPY [[INSERT_SUBREG]]
  34   ; CHECK:   BLR8 implicit $lr8, implicit $rm, implicit $x3
  35   bb.0.entry:
  36     successors: %bb.1, %bb.2
  37     liveins: $x3, $x4, $x5, $x6
  38
  39     %4:g8rc = COPY $x6
  40     %3:g8rc = COPY $x5
  41     %2:g8rc = COPY $x4
  42     %1:g8rc_and_g8rc_nox0 = COPY $x3
  43     %11:g8rc = ANDIo8 %3, 1, implicit-def $cr0
  44     %6:crbitrc = COPY $cr0gt
  45     BCn killed %6, %bb.2
  46     B %bb.1
  47
  48   bb.1:
  49     liveins: $x3
  50
  51     %0:g8rc = EXTSW $x3
  52     %12:g8rc = RLDICR %11, 2, 61
  53     $x3 = COPY %12:g8rc
  54     %9:g8rc = RLDICR %0, 2, 61
  55     %10:g8rc = ADD8 %1, %9
  56     $x3 = COPY %10
  57     BLR8 implicit $lr8, implicit $rm, implicit $x3
  58
  59   bb.2:
  60     %5:gprc = COPY %4.sub_32
  61     %8:g8rc = IMPLICIT_DEF
  62     %7:g8rc = INSERT_SUBREG %8, %5, %subreg.sub_32
  63     $x3 = COPY %7
  64     BLR8 implicit $lr8, implicit $rm, implicit $x3
  65
  66 ...