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
|
# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs \
# RUN: -run-pass ppc-mi-peepholes -ppc-convert-rr-to-ri %s -o - | FileCheck %s
---
name: foldNewDformStore
# CHECK: name: foldNewDformStore
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $x3
%0:g8rc_and_g8rc_nox0 = COPY $x3
%1:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 144
%2:g8rc = LI8 0
; CHECK: STD killed %2, 160, %0
STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
BLR8 implicit $lr8, implicit $rm
...
---
name: foldNewDformStoreAlignNotMatch
# CHECK: name: foldNewDformStoreAlignNotMatch
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $x3
%0:g8rc_and_g8rc_nox0 = COPY $x3
%1:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 141
%2:g8rc = LI8 0
; CHECK: STD killed %2, 16, %1
STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
BLR8 implicit $lr8, implicit $rm
...
---
name: foldNewDformStoreKilledFlag
# CHECK: name: foldNewDformStoreKilledFlag
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $x3
%0:g8rc_and_g8rc_nox0 = COPY $x3
%1:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 144
%2:g8rc = LI8 0
; CHECK: STD %1, 0, %0
STD %1:g8rc_and_g8rc_nox0, 0, killed %0:g8rc_and_g8rc_nox0
; CHECK: STD killed %2, 160, killed %0
STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
BLR8 implicit $lr8, implicit $rm
...
---
name: foldNewDformPreferLIOperand
# CHECK: name: foldNewDformPreferLIOperand
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $x3
%0:g8rc_and_g8rc_nox0 = COPY $x3
%1:g8rc = ADDI8 %0:g8rc_and_g8rc_nox0, 1
%2:g8rc = LI8 1
; CHECK: SUBFIC8 killed %1, 1, implicit-def $carry
%3:g8rc = SUBFC8 killed %1:g8rc, %2:g8rc, implicit-def $carry
%4:g8rc = SUBFE8 %2:g8rc, %2:g8rc, implicit-def dead $carry, implicit $carry
%5:g8rc = NEG8 killed %4:g8rc
$x3 = COPY %5:g8rc
BLR8 implicit $lr8, implicit $rm, implicit $x3
...
---
name: killFlagSameBlock
#CHECK : name : killFlagSameBlock
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $x3
%0:g8rc_and_g8rc_nox0 = COPY $x3
%1:g8rc_and_g8rc_nox0 = ADDI8 killed %0:g8rc_and_g8rc_nox0, -8
; CHECK: %1:g8rc_and_g8rc_nox0 = ADDI8 %0, -8
%2:g8rc = LI8 0
; CHECK: STD killed %2, 8, killed %0
STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
BLR8 implicit $lr8, implicit $rm
...
---
name: killFlagDifferentBlocks
#CHECK : name : killFlagDifferentBlocks
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $x3
%0:g8rc_and_g8rc_nox0 = COPY $x3
; CHECK: %1:g8rc_and_g8rc_nox0 = ADDI8 %0, -8
%1:g8rc_and_g8rc_nox0 = ADDI8 killed %0:g8rc_and_g8rc_nox0, -8
bb.1:
%2:g8rc = LI8 0
; CHECK: STD killed %2, 8, killed %0
STD killed %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
BLR8 implicit $lr8, implicit $rm
...
|
