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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
|
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 2
# RUN: llc -run-pass=break-false-deps -verify-machineinstrs %s -o - | FileCheck %s
#
# Check that BreakFalseDeps pass does not crash in presense of dead blocks.
--- |
; ModuleID = 'repro.ll'
target datalayout = "e-m:e-p:32:32-p270:32:32-p271:32:32-p272:64:64-f64:32:64-f80:32-n8:16:32-S128"
target triple = "i686-unknown-unknown"
declare fastcc void @hoge() #0
; Function Attrs: nounwind
define fastcc void @widget(i32 %arg) #1 {
bb:
br label %bb1
bb1: ; preds = %bb1, %bb
%phi = phi i1 [ true, %bb ], [ false, %bb1 ]
br i1 %phi, label %bb1, label %bb2
bb2: ; preds = %bb1
br i1 %phi, label %bb4, label %bb3
bb3: ; preds = %bb2
ret void
bb4: ; preds = %bb2
br label %bb5
bb5: ; preds = %bb5, %bb4
%phi6 = phi double [ 0.000000e+00, %bb4 ], [ %fmul, %bb5 ]
%fptosi = fptosi double %phi6 to i32
%icmp = icmp slt i32 %fptosi, %arg
%select = select i1 %icmp, i32 %fptosi, i32 0
%sitofp = sitofp i32 %select to double
%fsub = fsub double 0.000000e+00, %sitofp
%fmul = fmul double 0.000000e+00, %fsub
br label %bb5
}
declare fastcc void @quux() #0
declare fastcc void @hoge.1() #0
declare fastcc void @barney() #0
declare fastcc void @ham() #0
declare fastcc void @wombat() #0
attributes #0 = { "target-features"="+sse2" }
attributes #1 = { nounwind "target-features"="+sse2" }
...
---
name: widget
alignment: 16
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
failedISel: false
tracksRegLiveness: true
hasWinCFI: false
callsEHReturn: false
callsUnwindInit: false
hasEHCatchret: false
hasEHScopes: false
hasEHFunclets: false
isOutlined: false
debugInstrRef: false
failsVerification: false
tracksDebugUserValues: true
registers: []
liveins:
- { reg: '$ecx', virtual-reg: '' }
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 0
offsetAdjustment: 0
maxAlignment: 1
adjustsStack: false
hasCalls: false
stackProtector: ''
functionContext: ''
maxCallFrameSize: 0
cvBytesOfCalleeSavedRegisters: 0
hasOpaqueSPAdjustment: false
hasVAStart: false
hasMustTailInVarArgFunc: false
hasTailCall: false
localFrameSize: 0
savePoint: ''
restorePoint: ''
fixedStack: []
stack: []
callSites: []
debugValueSubstitutions: []
constants: []
machineFunctionInfo: {}
body: |
; CHECK-LABEL: name: widget
; CHECK: bb.0.bb:
; CHECK-NEXT: successors: %bb.1(0x80000000)
; CHECK-NEXT: liveins: $ecx
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: renamable $al = MOV8ri 1, implicit-def $eax
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: bb.1.bb1 (align 16):
; CHECK-NEXT: successors: %bb.1(0x7c000000), %bb.2(0x04000000)
; CHECK-NEXT: liveins: $eax, $ecx
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: TEST8ri renamable $al, 1, implicit-def $eflags, implicit killed $eax
; CHECK-NEXT: renamable $eax = MOV32ri 0
; CHECK-NEXT: JCC_1 %bb.1, 5, implicit $eflags
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: bb.2.bb3:
; CHECK-NEXT: RET32
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: bb.3.bb5:
; CHECK-NEXT: successors: %bb.3(0x80000000)
; CHECK-NEXT: liveins: $eax, $ecx, $xmm0, $xmm1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: renamable $edx = nofpexcept CVTTSD2SIrr killed renamable $xmm1, implicit $mxcsr
; CHECK-NEXT: CMP32rr renamable $edx, renamable $ecx, implicit-def $eflags
; CHECK-NEXT: renamable $edx = CMOV32rr killed renamable $edx, renamable $eax, 13, implicit killed $eflags
; CHECK-NEXT: renamable $xmm2 = CVTSI2SDrr killed renamable $edx
; CHECK-NEXT: renamable $xmm1 = XORPSrr undef $xmm1, undef $xmm1
; CHECK-NEXT: renamable $xmm1 = nofpexcept SUBSDrr killed renamable $xmm1, killed renamable $xmm2, implicit $mxcsr
; CHECK-NEXT: renamable $xmm1 = nofpexcept MULSDrr killed renamable $xmm1, renamable $xmm0, implicit $mxcsr
; CHECK-NEXT: JMP_1 %bb.3
bb.0.bb:
successors: %bb.1(0x80000000)
liveins: $ecx
renamable $al = MOV8ri 1, implicit-def $eax
bb.1.bb1 (align 16):
successors: %bb.1(0x7c000000), %bb.2(0x04000000)
liveins: $eax, $ecx
TEST8ri renamable $al, 1, implicit-def $eflags, implicit killed $eax
renamable $eax = MOV32ri 0
JCC_1 %bb.1, 5, implicit $eflags
bb.2.bb3:
RET32
bb.3.bb5:
successors: %bb.3(0x80000000)
liveins: $eax, $ecx, $xmm0, $xmm1
renamable $edx = nofpexcept CVTTSD2SIrr killed renamable $xmm1, implicit $mxcsr
CMP32rr renamable $edx, renamable $ecx, implicit-def $eflags
renamable $edx = CMOV32rr killed renamable $edx, renamable $eax, 13, implicit killed $eflags
renamable $xmm2 = CVTSI2SDrr killed renamable $edx
renamable $xmm1 = XORPSrr undef $xmm1, undef $xmm1
renamable $xmm1 = nofpexcept SUBSDrr killed renamable $xmm1, killed renamable $xmm2, implicit $mxcsr
renamable $xmm1 = nofpexcept MULSDrr killed renamable $xmm1, renamable $xmm0, implicit $mxcsr
JMP_1 %bb.3
...
|
