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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -fix-irreducible -S | FileCheck %s
define dso_local void @tre_tnfa_run_backtrack() {
; CHECK-LABEL: @tre_tnfa_run_backtrack(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[RETRY:%.*]]
; CHECK: retry:
; CHECK-NEXT: br label [[IRR_GUARD:%.*]]
; CHECK: while.body248:
; CHECK-NEXT: br i1 undef, label [[IF_THEN250:%.*]], label [[IF_END275:%.*]]
; CHECK: if.then250:
; CHECK-NEXT: br label [[FOR_COND264:%.*]]
; CHECK: for.cond264:
; CHECK-NEXT: br i1 undef, label [[FOR_BODY267:%.*]], label [[IRR_GUARD]]
; CHECK: for.body267:
; CHECK-NEXT: br label [[FOR_COND264]]
; CHECK: if.end275:
; CHECK-NEXT: br label [[FOR_COND342:%.*]]
; CHECK: for.cond342:
; CHECK-NEXT: br i1 undef, label [[FOR_BODY345:%.*]], label [[FOR_END580:%.*]]
; CHECK: for.body345:
; CHECK-NEXT: br label [[FOR_COND342]]
; CHECK: for.end580:
; CHECK-NEXT: br label [[IRR_GUARD]]
; CHECK: backtrack:
; CHECK-NEXT: br i1 undef, label [[IF_THEN595:%.*]], label [[IF_ELSE629:%.*]]
; CHECK: if.then595:
; CHECK-NEXT: br label [[FOR_COND616:%.*]]
; CHECK: for.cond616:
; CHECK-NEXT: br i1 undef, label [[FOR_BODY619:%.*]], label [[FOR_END626:%.*]]
; CHECK: for.body619:
; CHECK-NEXT: br label [[FOR_COND616]]
; CHECK: for.end626:
; CHECK-NEXT: br label [[IRR_GUARD]]
; CHECK: if.else629:
; CHECK-NEXT: br label [[RETRY]]
; CHECK: irr.guard:
; CHECK-NEXT: [[GUARD_BACKTRACK:%.*]] = phi i1 [ true, [[FOR_END580]] ], [ true, [[FOR_COND264]] ], [ undef, [[RETRY]] ], [ false, [[FOR_END626]] ]
; CHECK-NEXT: br i1 [[GUARD_BACKTRACK]], label [[BACKTRACK:%.*]], label [[WHILE_BODY248:%.*]]
;
entry:
br label %retry
retry:
br i1 undef, label %backtrack, label %while.body248
while.body248: ; preds = %for.end626, %retry
br i1 undef, label %if.then250, label %if.end275
if.then250: ; preds = %while.body248
br label %for.cond264
for.cond264: ; preds = %for.body267, %if.then250
br i1 undef, label %for.body267, label %backtrack
for.body267: ; preds = %for.cond264
br label %for.cond264
if.end275: ; preds = %while.body248
br label %for.cond342
for.cond342: ; preds = %for.body345, %if.end275
br i1 undef, label %for.body345, label %for.end580
for.body345: ; preds = %for.cond342
br label %for.cond342
for.end580: ; preds = %for.cond342
br label %backtrack
backtrack: ; preds = %for.end580, %for.cond264, %retry
br i1 undef, label %if.then595, label %if.else629
if.then595: ; preds = %backtrack
br label %for.cond616
for.cond616: ; preds = %for.body619, %if.then595
br i1 undef, label %for.body619, label %for.end626
for.body619: ; preds = %for.cond616
br label %for.cond616
for.end626: ; preds = %for.cond616
br label %while.body248
if.else629: ; preds = %backtrack
br label %retry
}
|
