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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
; This (complex) testcase causes an assertion failure because a preheader is
; inserted for the "fail" loop, but the exit block of a loop is not updated
; to be the preheader instead of the exit loop itself.
; RUN: llvm-as < %s | opt -loopsimplify
int %re_match_2() {
br label %loopentry.1
loopentry.1: ; preds = %then.6, %endif.7, %loopexit.20, %endif.83
br label %shortcirc_done.36
shortcirc_done.36: ; preds = %label.13, %shortcirc_next.36
br bool false, label %fail, label %endif.40
endif.40: ; preds = %shortcirc_done.36
br label %loopexit.20
loopentry.20: ; preds = %shortcirc_done.40, %endif.46
br label %loopexit.20
loopexit.20: ; preds = %loopentry.20
br label %loopentry.21
loopentry.21: ; preds = %loopexit.20, %no_exit.19
br bool false, label %no_exit.19, label %loopexit.21
no_exit.19: ; preds = %loopentry.21
br bool false, label %fail, label %loopentry.21
loopexit.21: ; preds = %loopentry.21
br label %endif.45
endif.45: ; preds = %loopexit.21
br label %cond_true.15
cond_true.15: ; preds = %endif.45
br bool false, label %fail, label %endif.46
endif.46: ; preds = %cond_true.15
br label %loopentry.20
fail: ; preds = %shortcirc_done.36, %loopexit.37, %cond_true.15, %no_exit.19
br label %then.80
then.80: ; preds = %fail
br label %endif.81
endif.81: ; preds = %then.80
br label %loopexit.37
loopexit.37: ; preds = %endif.81
br bool false, label %fail, label %endif.82
endif.82: ; preds = %loopexit.37
br label %loopentry.1
}
|
