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
|
; RUN: opt < %s -loop-interchange -S | FileCheck %s
; BB latch1 is the loop latch, but does not exit the loop.
define void @foo() {
entry:
%dest = alloca i16*, align 8
br label %header1
header1:
%0 = phi i16* [ %2, %latch1 ], [ undef, %entry ]
br i1 false, label %inner, label %loopexit
inner:
br i1 undef, label %inner.ph, label %latch1
inner.ph:
br label %inner.body
inner.body:
%1 = load i16, i16* %0, align 2
store i16* inttoptr (i64 2 to i16*), i16** %dest, align 8
br i1 false, label %inner.body, label %inner.loopexit
inner.loopexit:
br label %latch1
latch1:
%2 = phi i16* [ %0, %inner ], [ undef, %inner.loopexit ]
br label %header1
loopexit: ; preds = %header1
unreachable
}
; CHECK-LABEL: inner.body:
; CHECK: br i1 false, label %inner.body, label %inner.loopexit
; CHECK: latch1:
; CHECK-NEXT: %2 = phi i16* [ %0, %inner ], [ undef, %inner.loopexit ]
; CHECK-NEXT: br label %header1
|
