From 9eb46b73fcbbea3df602f34f11d31ca4ec8c24cf Mon Sep 17 00:00:00 2001
From: Kai Luo <lkail@cn.ibm.com>
Date: Mon, 22 Jul 2019 05:32:20 +0000
Subject: [PATCH] [PowerPC][NFC] Precommit a test case where ppc-mi-peepholes
 miscompiles extswsli

Added a test case to show codegen differences.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@366666 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../PowerPC/peephole-miscompile-extswsli.mir  | 66 +++++++++++++++++++
 1 file changed, 66 insertions(+)
 create mode 100644 test/CodeGen/MIR/PowerPC/peephole-miscompile-extswsli.mir

diff --git a/test/CodeGen/MIR/PowerPC/peephole-miscompile-extswsli.mir b/test/CodeGen/MIR/PowerPC/peephole-miscompile-extswsli.mir
new file mode 100644
index 00000000000..5c78e408ffc
--- /dev/null
+++ b/test/CodeGen/MIR/PowerPC/peephole-miscompile-extswsli.mir
@@ -0,0 +1,66 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -O3 -verify-machineinstrs -mtriple=powerpc64le-unknown-unknown -mcpu=pwr9 -run-pass=ppc-mi-peepholes \
+# RUN: -simplify-mir %s -o - | FileCheck %s
+---
+name:            poc
+alignment:       4
+tracksRegLiveness: true
+body:             |
+  ; CHECK-LABEL: name: poc
+  ; CHECK: bb.0.entry:
+  ; CHECK:   successors: %bb.1, %bb.2
+  ; CHECK:   liveins: $x3, $x4, $x5, $x6
+  ; CHECK:   [[COPY:%[0-9]+]]:g8rc = COPY $x6
+  ; CHECK:   [[COPY1:%[0-9]+]]:g8rc = COPY $x5
+  ; CHECK:   [[COPY2:%[0-9]+]]:g8rc = COPY $x4
+  ; CHECK:   [[COPY3:%[0-9]+]]:g8rc_and_g8rc_nox0 = COPY $x3
+  ; CHECK:   [[ANDIo8_:%[0-9]+]]:g8rc = ANDIo8 [[COPY1]], 1, implicit-def $cr0
+  ; CHECK:   [[COPY4:%[0-9]+]]:crbitrc = COPY $cr0gt
+  ; CHECK:   BCn killed [[COPY4]], %bb.2
+  ; CHECK:   B %bb.1
+  ; CHECK: bb.1:
+  ; CHECK:   liveins: $x3
+  ; CHECK:   [[RLDICR:%[0-9]+]]:g8rc = RLDICR [[ANDIo8_]], 2, 61
+  ; CHECK:   $x3 = COPY [[RLDICR]]
+  ; CHECK:   [[EXTSWSLI:%[0-9]+]]:g8rc = EXTSWSLI $x3, 2, implicit-def $carry
+  ; CHECK:   [[ADD8_:%[0-9]+]]:g8rc = ADD8 [[COPY3]], [[EXTSWSLI]]
+  ; CHECK:   $x3 = COPY [[ADD8_]]
+  ; CHECK:   BLR8 implicit $lr8, implicit $rm, implicit $x3
+  ; CHECK: bb.2:
+  ; CHECK:   [[COPY5:%[0-9]+]]:gprc = COPY [[COPY]].sub_32
+  ; CHECK:   [[DEF:%[0-9]+]]:g8rc = IMPLICIT_DEF
+  ; CHECK:   [[INSERT_SUBREG:%[0-9]+]]:g8rc = INSERT_SUBREG [[DEF]], [[COPY5]], %subreg.sub_32
+  ; CHECK:   $x3 = COPY [[INSERT_SUBREG]]
+  ; CHECK:   BLR8 implicit $lr8, implicit $rm, implicit $x3
+  bb.0.entry:
+    successors: %bb.1, %bb.2
+    liveins: $x3, $x4, $x5, $x6
+
+    %4:g8rc = COPY $x6
+    %3:g8rc = COPY $x5
+    %2:g8rc = COPY $x4
+    %1:g8rc_and_g8rc_nox0 = COPY $x3
+    %11:g8rc = ANDIo8 %3, 1, implicit-def $cr0
+    %6:crbitrc = COPY $cr0gt
+    BCn killed %6, %bb.2
+    B %bb.1
+
+  bb.1:
+    liveins: $x3
+
+    %0:g8rc = EXTSW $x3
+    %12:g8rc = RLDICR %11, 2, 61
+    $x3 = COPY %12:g8rc
+    %9:g8rc = RLDICR %0, 2, 61
+    %10:g8rc = ADD8 %1, %9
+    $x3 = COPY %10
+    BLR8 implicit $lr8, implicit $rm, implicit $x3
+
+  bb.2:
+    %5:gprc = COPY %4.sub_32
+    %8:g8rc = IMPLICIT_DEF
+    %7:g8rc = INSERT_SUBREG %8, %5, %subreg.sub_32
+    $x3 = COPY %7
+    BLR8 implicit $lr8, implicit $rm, implicit $x3
+
+...
-- 
2.40.0