llvm-6502/test/Transforms/LoopSimplify/indirectbr.ll
Dan Gohman a58a04921d Make Loop::getLoopLatch() work on loops which don't have preheaders, as
it may be used in contexts where preheader insertion may have failed due
to an indirectbr.

Make LoopSimplify's LoopSimplify::SeparateNestedLoop properly fail in
the case that it would require splitting an indirectbr edge.

These fix PR5502.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89484 91177308-0d34-0410-b5e6-96231b3b80d8
2009-11-20 20:51:18 +00:00

101 lines
1.6 KiB
LLVM

; RUN: opt < %s -loopsimplify -lcssa -verify-loop-info -verify-dom-info -S \
; RUN: | grep -F {indirectbr i8* %x, \[label %L0, label %L1\]} \
; RUN: | count 6
; LoopSimplify should not try to transform loops when indirectbr is involved.
define void @entry(i8* %x) {
entry:
indirectbr i8* %x, [ label %L0, label %L1 ]
L0:
br label %L0
L1:
ret void
}
define void @backedge(i8* %x) {
entry:
br label %L0
L0:
br label %L1
L1:
indirectbr i8* %x, [ label %L0, label %L1 ]
}
define i64 @exit(i8* %x) {
entry:
br label %L2
L2:
%z = bitcast i64 0 to i64
indirectbr i8* %x, [ label %L0, label %L1 ]
L0:
br label %L2
L1:
ret i64 %z
}
define i64 @criticalexit(i8* %x, i1 %a) {
entry:
br i1 %a, label %L1, label %L2
L2:
%z = bitcast i64 0 to i64
indirectbr i8* %x, [ label %L0, label %L1 ]
L0:
br label %L2
L1:
%y = phi i64 [ %z, %L2 ], [ 1, %entry ]
ret i64 %y
}
define i64 @exit_backedge(i8* %x) {
entry:
br label %L0
L0:
%z = bitcast i64 0 to i64
indirectbr i8* %x, [ label %L0, label %L1 ]
L1:
ret i64 %z
}
define i64 @criticalexit_backedge(i8* %x, i1 %a) {
entry:
br i1 %a, label %L0, label %L1
L0:
%z = bitcast i64 0 to i64
indirectbr i8* %x, [ label %L0, label %L1 ]
L1:
%y = phi i64 [ %z, %L0 ], [ 1, %entry ]
ret i64 %y
}
define void @pr5502() nounwind {
entry:
br label %while.cond
while.cond:
br i1 undef, label %while.body, label %while.end
while.body:
indirectbr i8* undef, [label %end_opcode, label %end_opcode]
end_opcode:
br i1 false, label %end_opcode, label %while.cond
while.end:
ret void
}