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
|
# RUN: llc --verify-machineinstrs -mtriple=aarch64 -o - %s -run-pass pipeliner -aarch64-enable-pipeliner -debug-only=pipeliner 2>&1 | FileCheck %s
# REQUIRES: asserts
# unacceptable loops by pipeliner
...
---
name: func1
tracksRegLiveness: true
body: |
; multiple counter increment instructions
; CHECK: Unable to analyzeLoop, can NOT pipeline Loop
bb.0.entry:
liveins: $x0, $x1
%10:gpr64 = COPY $x0
%11:gpr64 = COPY $x1
bb.1:
%12:gpr64 = PHI %11, %bb.0, %13, %bb.1
%13:gpr64 = ADDXrr %12, %11
%14:gpr64 = ADDXrr %13, %11
dead $xzr = SUBSXrr %10, %14, implicit-def $nzcv
Bcc 1, %bb.1, implicit $nzcv
B %bb.2
bb.2:
...
---
name: func2
tracksRegLiveness: true
body: |
; neither operand of the increment instruction is a loop invariant value
; CHECK: Unable to analyzeLoop, can NOT pipeline Loop
bb.0.entry:
liveins: $x0, $x1
%10:gpr64 = COPY $x0
%11:gpr64 = COPY $x1
bb.1:
%12:gpr64 = PHI %11, %bb.0, %13, %bb.1
%13:gpr64 = ADDXrr %12, %12
dead $xzr = SUBSXrr %10, %13, implicit-def $nzcv
Bcc 1, %bb.1, implicit $nzcv
B %bb.2
bb.2:
...
---
name: func3
tracksRegLiveness: true
body: |
; neither operand of the compare instruction is a loop invariant value
; CHECK: Unable to analyzeLoop, can NOT pipeline Loop
bb.0.entry:
liveins: $x0, $x1
%10:gpr64 = COPY $x0
%11:gpr64 = COPY $x1
bb.1:
%12:gpr64 = PHI %11, %bb.0, %13, %bb.1
%13:gpr64 = ADDXrr %12, %11
dead $xzr = SUBSXrr %13, %13, implicit-def $nzcv
Bcc 1, %bb.1, implicit $nzcv
B %bb.2
bb.2:
...
---
name: func4
tracksRegLiveness: true
body: |
; multiple phi instructions
; CHECK: Unable to analyzeLoop, can NOT pipeline Loop
bb.0.entry:
liveins: $x0, $x1
%10:gpr64 = COPY $x0
%11:gpr64 = COPY $x1
bb.1:
%12:gpr64 = PHI %11, %bb.0, %13, %bb.1
%14:gpr64 = PHI %11, %bb.0, %15, %bb.1
dead $xzr = SUBSXrr %12, %10, implicit-def $nzcv
%13:gpr64 = ADDXrr %14, %11
%15:gpr64 = ADDXrr %12, %11
Bcc 1, %bb.1, implicit $nzcv
B %bb.2
bb.2:
...
---
name: func5
tracksRegLiveness: true
body: |
; not an increment instruction
; CHECK: Unable to analyzeLoop, can NOT pipeline Loop
bb.0.entry:
liveins: $x0, $x1
%10:gpr64 = COPY $x0
%11:gpr64 = COPY $x1
bb.1:
%12:gpr64 = PHI %11, %bb.0, %13, %bb.1
%13:gpr64 = ORRXrr %12, %12
dead $xzr = SUBSXrr %12, %10, implicit-def $nzcv
Bcc 1, %bb.1, implicit $nzcv
B %bb.2
bb.2:
...
|
