114 lines
3.9 KiB
LLVM
114 lines
3.9 KiB
LLVM
|
; RUN: opt -simple-loop-unswitch -enable-nontrivial-unswitch -verify-memoryssa -S %s | FileCheck %s
|
||
|
|
; REQUIRES: asserts
|
||
|
|
|
||
|
|
target triple = "x86_64-unknown-linux-gnu"
|
||
|
|
|
||
|
|
declare void @foo()
|
||
|
|
|
||
|
|
; In Test1, there are no definitions. MemorySSA updates insert trivial phis and remove them.
|
||
|
|
; Verify all are removed, considering the SLU pass leaves unreachable blocks hanging when the MSSA updates are done.
|
||
|
|
; CHECK-LABEL: @Test1
|
||
|
|
define void @Test1(i32) {
|
||
|
|
header:
|
||
|
|
br label %outer
|
||
|
|
|
||
|
|
outer.loopexit.split: ; preds = %continue
|
||
|
|
br label %outer.loopexit
|
||
|
|
|
||
|
|
outer.loopexit: ; preds = %outer.loopexit.split.us, %outer.loopexit.split
|
||
|
|
br label %outer
|
||
|
|
|
||
|
|
outer: ; preds = %outer.loopexit, %header
|
||
|
|
br i1 false, label %outer.split.us, label %outer.split
|
||
|
|
|
||
|
|
outer.split.us: ; preds = %outer
|
||
|
|
br label %inner.us
|
||
|
|
|
||
|
|
inner.us: ; preds = %continue.us, %outer.split.us
|
||
|
|
br label %overflow.us
|
||
|
|
|
||
|
|
overflow.us: ; preds = %inner.us
|
||
|
|
br label %continue.us
|
||
|
|
|
||
|
|
continue.us: ; preds = %overflow.us
|
||
|
|
br i1 true, label %outer.loopexit.split.us, label %inner.us
|
||
|
|
|
||
|
|
outer.loopexit.split.us: ; preds = %continue.us
|
||
|
|
br label %outer.loopexit
|
||
|
|
|
||
|
|
outer.split: ; preds = %outer
|
||
|
|
br label %inner
|
||
|
|
|
||
|
|
inner: ; preds = %continue, %outer.split
|
||
|
|
br label %switchme
|
||
|
|
|
||
|
|
switchme: ; preds = %inner
|
||
|
|
switch i32 %0, label %continue [
|
||
|
|
i32 88, label %go_out
|
||
|
|
i32 99, label %case2
|
||
|
|
]
|
||
|
|
|
||
|
|
case2: ; preds = %switchme
|
||
|
|
br label %continue
|
||
|
|
|
||
|
|
continue: ; preds = %case2, %switchme
|
||
|
|
br i1 true, label %outer.loopexit.split, label %inner
|
||
|
|
|
||
|
|
go_out: ; preds = %switchme
|
||
|
|
unreachable
|
||
|
|
}
|
||
|
|
|
||
|
|
; In Test2 there is a single def (call to foo). There are already Phis in place that are cloned when unswitching.
|
||
|
|
; Ensure MemorySSA remains correct. Due to SLU's pruned cloning, continue.us2 becomes unreachable, with an empty Phi that is later cleaned.
|
||
|
|
; CHECK-LABEL: @Test2
|
||
|
|
define void @Test2(i32) {
|
||
|
|
header:
|
||
|
|
br label %outer
|
||
|
|
|
||
|
|
outer.loopexit.split: ; preds = %continue
|
||
|
|
br label %outer.loopexit
|
||
|
|
|
||
|
|
outer.loopexit: ; preds = %outer.loopexit.split.us, %outer.loopexit.split
|
||
|
|
br label %outer
|
||
|
|
|
||
|
|
outer: ; preds = %outer.loopexit, %header
|
||
|
|
br i1 false, label %outer.split.us, label %outer.split
|
||
|
|
|
||
|
|
outer.split.us: ; preds = %outer
|
||
|
|
br label %inner.us
|
||
|
|
|
||
|
|
inner.us: ; preds = %continue.us, %outer.split.us
|
||
|
|
br label %overflow.us
|
||
|
|
|
||
|
|
overflow.us: ; preds = %inner.us
|
||
|
|
br label %continue.us
|
||
|
|
|
||
|
|
continue.us: ; preds = %overflow.us
|
||
|
|
br i1 true, label %outer.loopexit.split.us, label %inner.us
|
||
|
|
|
||
|
|
outer.loopexit.split.us: ; preds = %continue.us
|
||
|
|
br label %outer.loopexit
|
||
|
|
|
||
|
|
outer.split: ; preds = %outer
|
||
|
|
br label %inner
|
||
|
|
|
||
|
|
inner: ; preds = %continue, %outer.split
|
||
|
|
br label %switchme
|
||
|
|
|
||
|
|
switchme: ; preds = %inner
|
||
|
|
switch i32 %0, label %continue [
|
||
|
|
i32 88, label %go_out
|
||
|
|
i32 99, label %case2
|
||
|
|
]
|
||
|
|
|
||
|
|
case2: ; preds = %switchme
|
||
|
|
call void @foo()
|
||
|
|
br label %continue
|
||
|
|
|
||
|
|
continue: ; preds = %case2, %switchme
|
||
|
|
br i1 true, label %outer.loopexit.split, label %inner
|
||
|
|
|
||
|
|
go_out: ; preds = %switchme
|
||
|
|
unreachable
|
||
|
|
}
|