[llvm] r370602 - [GlobalISel][NFC] Regression test cases for aarch64 legalizer (s128 sext+icmp).

[Puyan Lotfi via llvm-commits]

Author: zer0
Date: Sat Aug 31 17:45:28 2019
New Revision: 370602

URL: http://llvm.org/viewvc/llvm-project?rev=370602&view=rev
Log:
[GlobalISel][NFC] Regression test cases for aarch64 legalizer (s128 sext+icmp).

There were legalizer asserts in aarch64 globalisel (in debug mode) with s128
sext+icmp before r367060 and r366943 landed. These are just a couple reduced
mir and ir regression tests that came from a build where these were encountered.



Added:
    llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.ll
    llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.mir

Added: llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.ll?rev=370602&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.ll (added)
+++ llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.ll Sat Aug 31 17:45:28 2019
@@ -0,0 +1,9 @@
+; RUN: llc -O0 --global-isel=1 %s -o - -verify-machineinstrs
+target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
+target triple = "aarch64-unknown-linux-gnu"
+
+define i1 @foo(i64) {
+    %a = sext i64 %0 to i128
+    %b = icmp sle i128 %a, 0
+    ret i1 %b
+}

Added: llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.mir?rev=370602&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.mir (added)
+++ llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.mir Sat Aug 31 17:45:28 2019
@@ -0,0 +1,23 @@
+# RUN: llc -o - --global-isel=1 -verify-machineinstrs -run-pass=legalizer -x mir %s
+--- |
+  target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
+  target triple = "aarch64-unknown-linux-gnu"
+  define i1 @foo(i64) {
+    %a = sext i64 %0 to i128
+    %b = icmp sle i128 %a, 0
+    ret i1 %b
+  }
+...
+---
+name:            foo
+body:             |
+  bb.1 (%ir-block.1):
+    liveins: $x0
+    %namedVReg4352:_(s64) = COPY $x0
+    %namedVReg1356:_(s128) = G_CONSTANT i128 0
+    %namedVReg1355:_(s128) = G_SEXT %namedVReg4352(s64)
+    %namedVReg1354:_(s1) = G_ICMP intpred(sle), %namedVReg1355(s128), %namedVReg1356
+    %namedVReg1353:_(s32) = G_SEXT %namedVReg1354(s1)
+    $w0 = COPY %namedVReg1353(s32)
+    RET_ReallyLR implicit $w0
+...