maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[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.

llvm-svn: 370602
This commit is contained in:
Puyan Lotfi 2019-09-01 00:45:28 +00:00
parent 1594605416
commit 75a8a212d4
2 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
llvm/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.ll Normal file
View File

@ -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
}

23
llvm/test/CodeGen/AArch64/GlobalISel/legalize-sext-128.mir Normal file
View File

@ -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
...