expand-isel-liveness.mir
2.92 KB
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
# RUN: llc -mtriple powerpc64-unknown-linux-gnu -run-pass=ppc-expand-isel -o \
# RUN: - %s -verify-machineinstrs | FileCheck %s
---
name: expand_isel_liveness1
tracksRegLiveness: true
registers: []
liveins:
- { reg: '$x3', virtual-reg: '' }
- { reg: '$x4', virtual-reg: '' }
- { reg: '$x5', virtual-reg: '' }
- { reg: '$x6', virtual-reg: '' }
body: |
bb.0:
liveins: $x3, $x4, $x5, $x6
renamable $x8 = MULLD renamable $x5, renamable $x4
renamable $cr5 = CMPDI renamable $x3, 0
dead renamable $x9 = MULHDU_rec renamable $x3, renamable $x6, implicit-def $cr0
renamable $x3 = MULLD killed renamable $x3, renamable $x6
$cr1 = MCRF killed $cr0
renamable $x3 = ADD8 killed renamable $x3, killed renamable $x8
renamable $cr0 = CMPDI renamable $x5, 0
renamable $cr5lt = CRNOR killed renamable $cr0eq, killed renamable $cr5eq, implicit $cr5, implicit $cr0
renamable $cr0 = CMPLDI renamable $x3, 0
renamable $x8 = MULHDU renamable $x4, renamable $x6
renamable $x3 = ADD8 renamable $x8, killed renamable $x3
renamable $cr6 = CMPLD renamable $x3, killed renamable $x8
renamable $cr5gt = CRANDC killed renamable $cr6lt, killed renamable $cr0eq, implicit $cr0, implicit $cr6
renamable $cr5lt = CRORC killed renamable $cr5lt, killed renamable $cr1eq, implicit $cr1
renamable $x7 = LI8 1
dead renamable $x5 = MULHDU_rec killed renamable $x5, renamable $x4, implicit-def $cr0
renamable $cr5lt = CRORC killed renamable $cr5lt, killed renamable $cr0eq, implicit $cr0
renamable $cr5lt = CRNOR killed renamable $cr5lt, killed renamable $cr5gt
renamable $x4 = MULLD killed renamable $x4, killed renamable $x6
renamable $x5 = ISEL8 $zero8, killed renamable $x7, killed renamable $cr5lt
BLR8 implicit $lr8, implicit $rm, implicit killed $x3, implicit killed $x4, implicit killed $x5
; CHECK-LABEL: name: expand_isel_liveness1
; CHECK: bb.1:
; CHECK: liveins: $x3, $x4, $x7
; CHECK: renamable $x5 = ORI8 killed renamable $x7, 0
; CHECK: B %bb.3
; CHECK: bb.2:
; CHECK: liveins: $x3, $x4
; CHECK: renamable $x5 = ADDI8 $zero8, 0
; CHECK: bb.3:
; CHECK: liveins: $x3, $x4, $x5
; CHECK: BLR8 implicit $lr8, implicit $rm, implicit killed $x3, implicit killed $x4, implicit killed $x5
...
---
name: expand_isel_liveness2
tracksRegLiveness: true
liveins:
- { reg: '$r0' }
- { reg: '$r3' }
body: |
bb.0.entry:
liveins: $r0, $r3
$r5 = ADDI $r3, 1
$cr0 = CMPWI $r3, 0
$r3 = ISEL $zero, killed $r0, killed $cr0gt
; CHECK-LABEL: name: expand_isel_liveness2
; CHECK: bb.0.entry:
; CHECK: liveins: $r0, $r3
; CHECK: $r5 = ADDI $r3, 1
; CHECK: $cr0 = CMPWI $r3, 0
; CHECK: BC killed $cr0gt, %bb.2
; CHECK: bb.1.entry:
; CHECK: liveins: $r0
; CHECK: $r3 = ORI killed $r0, 0
; CHECK: B %bb.3
; CHECK: bb.2.entry:
; CHECK-NOT: liveins: $zero
; CHECK: $r3 = ADDI $zero, 0
...