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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=loop-fusion -S | FileCheck %s
define void @test_long_1() {
; CHECK-LABEL: @test_long_1(
; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 true, label [[FOR_BODY6_PREHEADER:%.*]], label [[ENTRY_VECTOR_BODY_CRIT_EDGE:%.*]]
; CHECK: entry.vector.body_crit_edge:
; CHECK-NEXT: br label [[VECTOR_BODY:%.*]]
; CHECK: vector.body:
; CHECK-NEXT: br i1 true, label [[VECTOR_BODY_FOR_COND_CLEANUP5_CRIT_EDGE:%.*]], label [[VECTOR_BODY]]
; CHECK: vector.body.for.cond.cleanup5_crit_edge:
; CHECK-NEXT: br label [[FOR_COND_CLEANUP5:%.*]]
; CHECK: for.body6.preheader:
; CHECK-NEXT: br label [[FOR_COND_CLEANUP5]]
; CHECK: for.cond.cleanup5:
; CHECK-NEXT: br i1 true, label [[FOR_BODY17_PREHEADER:%.*]], label [[FOR_COND_CLEANUP5_VECTOR_BODY23_CRIT_EDGE:%.*]]
; CHECK: for.cond.cleanup5.vector.body23_crit_edge:
; CHECK-NEXT: br label [[VECTOR_BODY23:%.*]]
; CHECK: vector.body23:
; CHECK-NEXT: br i1 true, label [[MIDDLE_BLOCK15:%.*]], label [[VECTOR_BODY23]]
; CHECK: middle.block15:
; CHECK-NEXT: br label [[ENTRY_VECTOR_BODY_CRIT_EDGE]]
; CHECK: for.body17.preheader:
; CHECK-NEXT: unreachable
;
entry:
br i1 true, label %for.body6.preheader, label %entry.vector.body_crit_edge
entry.vector.body_crit_edge: ; preds = %entry
br label %vector.body
vector.body: ; preds = %entry.vector.body_crit_edge, %vector.body
br i1 true, label %vector.body.for.cond.cleanup5_crit_edge, label %vector.body
vector.body.for.cond.cleanup5_crit_edge: ; preds = %vector.body
br label %for.cond.cleanup5
for.body6.preheader: ; preds = %entry
br label %for.cond.cleanup5
for.cond.cleanup5: ; preds = %vector.body.for.cond.cleanup5_crit_edge, %for.body6.preheader
br i1 true, label %for.body17.preheader, label %for.cond.cleanup5.vector.body23_crit_edge
for.cond.cleanup5.vector.body23_crit_edge: ; preds = %for.cond.cleanup5
br label %vector.body23
vector.body23: ; preds = %for.cond.cleanup5.vector.body23_crit_edge, %vector.body23
br i1 true, label %middle.block15, label %vector.body23
middle.block15: ; preds = %vector.body23
br label %entry.vector.body_crit_edge
for.body17.preheader: ; preds = %for.cond.cleanup5
unreachable
}
|
