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
| ; RUN: opt < %s -S -loop-rotate -o - -verify-loop-info -verify-dom-info | FileCheck %s
; RUN: opt < %s -S -loop-rotate -o - -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa | FileCheck %s
; PR5502
define void @z80_do_opcodes() nounwind {
entry:
br label %while.cond
while.cond: ; preds = %end_opcode, %entry
br label %while.body
while.body: ; preds = %while.cond
br label %indirectgoto
run_opcode: ; preds = %indirectgoto
%tmp276 = load i8, i8* undef ; <i8> [#uses=1]
br label %indirectgoto
if.else295: ; preds = %divide_late
br label %end_opcode
end_opcode: ; preds = %indirectgoto, %sw.default42406, %sw.default, %if.else295
%opcode.2 = phi i8 [ %opcode.0, %indirectgoto ], [ 0, %sw.default42406 ], [ undef, %sw.default ], [ %opcode.0, %if.else295 ] ; <i8> [#uses=0]
switch i32 undef, label %while.cond [
i32 221, label %sw.bb11691
i32 253, label %sw.bb30351
]
sw.bb11691: ; preds = %end_opcode
br label %sw.default
sw.default: ; preds = %sw.bb11691
br label %end_opcode
sw.bb30351: ; preds = %end_opcode
br label %sw.default42406
sw.default42406: ; preds = %sw.bb30351
br label %end_opcode
indirectgoto: ; preds = %run_opcode, %while.body
%opcode.0 = phi i8 [ undef, %while.body ], [ %tmp276, %run_opcode ] ; <i8> [#uses=2]
indirectbr i8* undef, [label %run_opcode, label %if.else295, label %end_opcode]
}
; CHECK-LABEL: @foo
define void @foo(i1 %a, i1 %b, i8* %c) {
; CHECK: entry
; CHECK-NEXT: br i1 %a, label %return, label %preheader
entry:
br i1 %a, label %return, label %preheader
; CHECK: preheader:
; CHECK-NEXT: br label %header
preheader:
br label %header
; CHECK: header:
; CHECK-NEXT: br i1 %b, label %return, label %body
header:
br i1 %b, label %return, label %body
; CHECK: body:
; CHECK-NEXT: indirectbr i8* %c, [label %return, label %latch]
body:
indirectbr i8* %c, [label %return, label %latch]
; CHECK: latch:
; CHECK-NEXT: br label %header
latch:
br label %header
return:
ret void
}
|