1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
| ; RUN: opt -enable-mssa-loop-dependency=true -loop-rotate -verify-memoryssa -S %s | FileCheck %s
; REQUIRES: asserts
; CHECK-LABEL: @func_35()
define void @func_35() {
entry:
br i1 undef, label %for.cond1704.preheader, label %return
for.cond1704.preheader: ; preds = %entry
br label %for.cond1704
for.cond1704: ; preds = %for.cond1704.preheader, %for.body1707
br i1 false, label %for.body1707, label %return.loopexit
for.body1707: ; preds = %for.cond1704
store i32 1712, i32* undef, align 1
br label %for.cond1704
for.body1102: ; preds = %for.body1102
br i1 undef, label %for.body1102, label %return
return.loopexit: ; preds = %for.cond1704
br label %return
return: ; preds = %return.loopexit, %for.body1102, %entry
ret void
}
|