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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --include-generated-funcs
; RUN: opt < %s -passes=loop-extract -S | FileCheck %s
; This test used to enter an infinite loop, until out of memory (PR3082).
define void @test(i1 %arg) {
entry:
br label %loopentry
loopentry:
br i1 %arg, label %exit.1, label %loopexit
loopexit:
br i1 %arg, label %loopentry, label %exit.0
exit.0:
br label %unified
exit.1:
br label %unified
unified:
ret void
}
; CHECK-LABEL: define {{[^@]+}}@test
; CHECK-SAME: (i1 [[ARG:%.*]]) {
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[CODEREPL:%.*]]
; CHECK: codeRepl:
; CHECK-NEXT: [[TARGETBLOCK:%.*]] = call i1 @test.loopentry(i1 [[ARG]])
; CHECK-NEXT: br i1 [[TARGETBLOCK]], label [[EXIT_1:%.*]], label [[EXIT_0:%.*]]
; CHECK: exit.0:
; CHECK-NEXT: br label [[UNIFIED:%.*]]
; CHECK: exit.1:
; CHECK-NEXT: br label [[UNIFIED]]
; CHECK: unified:
; CHECK-NEXT: ret void
;
;
; CHECK-LABEL: define {{[^@]+}}@test.loopentry
; CHECK-SAME: (i1 [[ARG:%.*]]) {
; CHECK-NEXT: newFuncRoot:
; CHECK-NEXT: br label [[LOOPENTRY:%.*]]
; CHECK: loopentry:
; CHECK-NEXT: br i1 [[ARG]], label [[EXIT_1_EXITSTUB:%.*]], label [[LOOPEXIT:%.*]]
; CHECK: loopexit:
; CHECK-NEXT: br i1 [[ARG]], label [[LOOPENTRY]], label [[EXIT_0_EXITSTUB:%.*]]
; CHECK: exit.1.exitStub:
; CHECK-NEXT: ret i1 true
; CHECK: exit.0.exitStub:
; CHECK-NEXT: ret i1 false
;
|
