diff options
author | Kyle Butt <kyle+llvm@iteratee.net> | 2016-09-02 18:29:26 +0000 |
---|---|---|
committer | Kyle Butt <kyle+llvm@iteratee.net> | 2016-09-02 18:29:26 +0000 |
commit | d5d75c5c5b7822b518cda8834c01a61ea3cad53b (patch) | |
tree | 1096653479e34a303d265c100d918a66a68a2193 /test/CodeGen/Thumb2 | |
parent | 7f88dad6d757de92690bcdfb5c57c5429344c0f8 (diff) |
IfConversion: Fix bug introduced by rescanning diamonds.
Passing the wrong values for predicate-clobbering. Simple to miss.
Added an assert to make this easier to catch in the future.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@280517 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/Thumb2')
-rw-r--r-- | test/CodeGen/Thumb2/ifcvt-rescan-diamonds.ll | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/test/CodeGen/Thumb2/ifcvt-rescan-diamonds.ll b/test/CodeGen/Thumb2/ifcvt-rescan-diamonds.ll new file mode 100644 index 00000000000..b7ba741b249 --- /dev/null +++ b/test/CodeGen/Thumb2/ifcvt-rescan-diamonds.ll @@ -0,0 +1,66 @@ +; RUN: llc -O2 -o - %s | FileCheck %s +target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" +target triple = "thumbv8-unknown-linux-gnueabihf" + +; This is a tricky test case. +; The point of it is to create a diamond where both the true block and the +; false block clobber the predicate when viewed as a whole, but only one of them +; clobbers the predicate when considering the instructions they share. + +; Function Attrs: nounwind +define void @BN_kronecker(i1 %a, i32 %b) #0 { +entry: + br label %while.cond38 + +while.cond38: ; preds = %if.end111, %entry + %cmp79 = icmp eq i32 0, 0 + br i1 %a, label %cond.true77, label %cond.false87 + +; CHECK: %cond.true77 +; CHECK-NEXT: @ in Loop +; CHECK-NEXT: cmp.w {{r[0-9]+}}, #0 +; CHECK-NEXT: it eq +; CHECK-NEXT: ldreq +; CHECK-NEXT: it ne +; CHECK-NEXT: movsne +; CHECK-NEXT: mvns +; CHECK-NEXT: b +cond.true77: ; preds = %while.cond38 + br i1 %cmp79, label %cond.end84, label %cond.false81 + +cond.false81: ; preds = %cond.true77 + %0 = load i32, i32* null, align 4 + br label %cond.end84 + +cond.end84: ; preds = %cond.false81, %cond.true77 + %cond85 = phi i32 [ %0, %cond.false81 ], [ 0, %cond.true77 ] + %neg86 = xor i32 %cond85, -1 + br label %cond.false101 + +cond.false87: ; preds = %while.cond38 + br i1 %cmp79, label %cond.false101, label %cond.false91 + +cond.false91: ; preds = %cond.false87 + br label %cond.false101 + +cond.false101: ; preds = %cond.false91, %cond.false87, %cond.end84 + %cond97 = phi i32 [ %neg86, %cond.end84 ], [ %b, %cond.false91 ], [ 0, %cond.false87 ] + %1 = load i32, i32* null, align 4 + %and106 = and i32 %cond97, %1 + %and107 = and i32 %and106, 2 + %tobool108 = icmp ne i32 %and107, 0 + br i1 %tobool108, label %if.then109, label %if.end111 + +if.then109: ; preds = %cond.false101 + store i32 0, i32* undef, align 4 + br label %if.end111 + +if.end111: ; preds = %if.then109, %cond.false101 + %tobool113 = icmp ne i32 0, 0 + br i1 %tobool113, label %while.cond38, label %end + +end: ; preds = %if.end111 + ret void +} + +attributes #0 = { nounwind } |