summaryrefslogtreecommitdiff
path: root/test/CodeGen/PowerPC/simplifyConstCmpToISEL.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/PowerPC/simplifyConstCmpToISEL.ll')
-rw-r--r--test/CodeGen/PowerPC/simplifyConstCmpToISEL.ll51
1 files changed, 51 insertions, 0 deletions
diff --git a/test/CodeGen/PowerPC/simplifyConstCmpToISEL.ll b/test/CodeGen/PowerPC/simplifyConstCmpToISEL.ll
new file mode 100644
index 00000000000..3988d9c8d5a
--- /dev/null
+++ b/test/CodeGen/PowerPC/simplifyConstCmpToISEL.ll
@@ -0,0 +1,51 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=powerpc64le-unknown-unknown -mcpu=pwr8 \
+; RUN: -ppc-convert-rr-to-ri -verify-machineinstrs | FileCheck %s
+define void @test(i32 zeroext %parts) {
+; CHECK-LABEL: test:
+; CHECK: # %bb.0: # %cond.end.i
+; CHECK-NEXT: cmplwi 0, 3, 1
+; CHECK-NEXT: bnelr+ 0
+; CHECK-NEXT: # %bb.1: # %test2.exit.us.unr-lcssa
+; CHECK-NEXT: ld 3, 0(3)
+; CHECK-NEXT: std 3, 0(3)
+entry:
+ br label %cond.end.i
+
+cond.end.i: ; preds = %entry
+ %cmp18.i = icmp eq i32 %parts, 1
+ br i1 %cmp18.i, label %while.body.lr.ph.i.us.preheader, label %test3.exit.split
+
+while.body.lr.ph.i.us.preheader: ; preds = %cond.end.i
+ %0 = icmp eq i32 %parts, 1
+ br label %for.body.i62.us.preheader
+
+for.body.i62.us.preheader: ; preds = %while.body.lr.ph.i.us.preheader
+ br i1 %0, label %test2.exit.us.unr-lcssa, label %for.body.i62.us.preheader.new
+
+for.body.i62.us.preheader.new: ; preds = %for.body.i62.us.preheader
+ br label %for.body.i62.us
+
+for.body.i62.us: ; preds = %if.end.i.us.1, %for.body.i62.us.preheader.new
+ %niter = phi i64 [ undef, %for.body.i62.us.preheader.new ], [ %niter.nsub.1, %if.end.i.us.1 ]
+ %cmp8.i.us.1 = icmp uge i64 undef, 0
+ br label %if.end.i.us.1
+
+test2.exit.us.unr-lcssa: ; preds = %if.end.i.us.1, %for.body.i62.us.preheader
+ %c.addr.036.i.us.unr = phi i64 [ 0, %for.body.i62.us.preheader ], [ %c.addr.1.i.us.1, %if.end.i.us.1 ]
+ %1 = load i64, i64* undef, align 8
+ %tobool.i61.us.epil = icmp eq i64 %c.addr.036.i.us.unr, 0
+ %add.neg.i.us.epil.pn = select i1 %tobool.i61.us.epil, i64 %1, i64 0
+ %storemerge269 = sub i64 %add.neg.i.us.epil.pn, 0
+ store i64 %storemerge269, i64* undef, align 8
+ unreachable
+
+test3.exit.split: ; preds = %cond.end.i
+ ret void
+
+if.end.i.us.1: ; preds = %for.body.i62.us
+ %c.addr.1.i.us.1 = zext i1 %cmp8.i.us.1 to i64
+ %niter.nsub.1 = add i64 %niter, -2
+ %niter.ncmp.1 = icmp eq i64 %niter.nsub.1, 0
+ br i1 %niter.ncmp.1, label %test2.exit.us.unr-lcssa, label %for.body.i62.us
+}