forked from OSchip/llvm-project
67 lines
2.3 KiB
LLVM
67 lines
2.3 KiB
LLVM
; 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 }
|