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
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=arm64 | FileCheck %s --check-prefixes=CHECK,CHECK-SD
; RUN: llc < %s -mtriple=aarch64 -global-isel | FileCheck %s --check-prefixes=CHECK,CHECK-GI
; This test provides fmf coverage for DAG combining of selects
; select Cond0, (select Cond1, X, Y), Y -> select (and Cond0, Cond1), X, Y
define float @select_select_fold_select_and(float %w, float %x, float %y, float %z) {
; CHECK-SD-LABEL: select_select_fold_select_and:
; CHECK-SD: // %bb.0:
; CHECK-SD-NEXT: fminnm s4, s1, s2
; CHECK-SD-NEXT: fcmp s1, s2
; CHECK-SD-NEXT: fmaxnm s2, s0, s3
; CHECK-SD-NEXT: fmov s1, #0.50000000
; CHECK-SD-NEXT: fccmp s4, s0, #4, lt
; CHECK-SD-NEXT: fadd s1, s0, s1
; CHECK-SD-NEXT: fcsel s2, s2, s0, gt
; CHECK-SD-NEXT: fadd s4, s1, s2
; CHECK-SD-NEXT: fcmp s4, s1
; CHECK-SD-NEXT: b.le .LBB0_2
; CHECK-SD-NEXT: // %bb.1: // %if.then.i157.i.i
; CHECK-SD-NEXT: fmov s0, #1.00000000
; CHECK-SD-NEXT: fadd s0, s2, s0
; CHECK-SD-NEXT: ret
; CHECK-SD-NEXT: .LBB0_2: // %if.end.i159.i.i
; CHECK-SD-NEXT: mov w8, #52429 // =0xcccd
; CHECK-SD-NEXT: mov w9, #13107 // =0x3333
; CHECK-SD-NEXT: fcmp s1, #0.0
; CHECK-SD-NEXT: movk w8, #48844, lsl #16
; CHECK-SD-NEXT: movk w9, #48819, lsl #16
; CHECK-SD-NEXT: fmov s2, w8
; CHECK-SD-NEXT: fmov s4, w9
; CHECK-SD-NEXT: fadd s0, s0, s2
; CHECK-SD-NEXT: fadd s2, s3, s4
; CHECK-SD-NEXT: fcsel s0, s0, s2, gt
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: select_select_fold_select_and:
; CHECK-GI: // %bb.0:
; CHECK-GI-NEXT: fcmp s1, s2
; CHECK-GI-NEXT: fcsel s4, s1, s2, mi
; CHECK-GI-NEXT: fcmp s0, s3
; CHECK-GI-NEXT: fcsel s5, s0, s3, gt
; CHECK-GI-NEXT: fcmp s1, s2
; CHECK-GI-NEXT: fmov s1, #0.50000000
; CHECK-GI-NEXT: fcsel s2, s5, s0, mi
; CHECK-GI-NEXT: fcmp s4, s0
; CHECK-GI-NEXT: fadd s1, s0, s1
; CHECK-GI-NEXT: fcsel s2, s2, s0, gt
; CHECK-GI-NEXT: fadd s4, s1, s2
; CHECK-GI-NEXT: fcmp s4, s1
; CHECK-GI-NEXT: b.le .LBB0_2
; CHECK-GI-NEXT: // %bb.1: // %if.then.i157.i.i
; CHECK-GI-NEXT: fmov s0, #1.00000000
; CHECK-GI-NEXT: fadd s0, s2, s0
; CHECK-GI-NEXT: ret
; CHECK-GI-NEXT: .LBB0_2: // %if.end.i159.i.i
; CHECK-GI-NEXT: mov w8, #52429 // =0xcccd
; CHECK-GI-NEXT: mov w9, #13107 // =0x3333
; CHECK-GI-NEXT: fcmp s1, #0.0
; CHECK-GI-NEXT: movk w8, #48844, lsl #16
; CHECK-GI-NEXT: movk w9, #48819, lsl #16
; CHECK-GI-NEXT: fmov s2, w8
; CHECK-GI-NEXT: fmov s4, w9
; CHECK-GI-NEXT: fadd s0, s0, s2
; CHECK-GI-NEXT: fadd s2, s3, s4
; CHECK-GI-NEXT: fcsel s0, s0, s2, gt
; CHECK-GI-NEXT: ret
%tmp21 = fcmp fast olt float %x, %y
%tmp22 = select fast i1 %tmp21, float %x, float %y
%tmp24 = fcmp fast ogt float %tmp22, %w
%tmp78 = fcmp fast ogt float %w, %z
%select0 = select fast i1 %tmp78, float %w, float %z
%select1 = select fast i1 %tmp21, float %select0, float %w
%select2 = select fast i1 %tmp24, float %select1, float %w
%tmp82 = fadd fast float %w, 5.000000e-01
%tmp102 = fadd fast float %tmp82, %select2
%cmp.i155.i.i = fcmp fast ogt float %tmp102, %tmp82
br i1 %cmp.i155.i.i, label %if.then.i157.i.i, label %if.end.i159.i.i
if.then.i157.i.i: ; preds = %0
%add.i156.i.i = fadd fast float %select2, 1.000000e+00
br label %exit
if.end.i159.i.i: ; preds = %0
%sub.i158.i.i = fadd fast float %w, 0xBFD99999A0000000
%sub15.i.i.i = fadd fast float %z, 0xBFD6666660000000
%tmp191 = fcmp fast ogt float %tmp82, 0.000000e+00
%select3 = select fast i1 %tmp191, float %sub.i158.i.i, float %sub15.i.i.i
br label %exit
exit: ; preds = %if.end.i159.i.i, %if.then.i157.i.i
%phi1 = phi float [ %add.i156.i.i, %if.then.i157.i.i ], [ %select3, %if.end.i159.i.i ]
ret float %phi1
}
; select Cond0, X, (select Cond1, X, Y) -> select (or Cond0, Cond1), X, Y
define float @select_select_fold_select_or(float %w, float %x, float %y, float %z) {
; CHECK-SD-LABEL: select_select_fold_select_or:
; CHECK-SD: // %bb.0:
; CHECK-SD-NEXT: fminnm s4, s1, s2
; CHECK-SD-NEXT: fcmp s1, s2
; CHECK-SD-NEXT: fmaxnm s2, s0, s3
; CHECK-SD-NEXT: fmov s1, #0.50000000
; CHECK-SD-NEXT: fccmp s4, s0, #0, ge
; CHECK-SD-NEXT: fadd s1, s0, s1
; CHECK-SD-NEXT: fcsel s2, s0, s2, gt
; CHECK-SD-NEXT: fadd s4, s1, s2
; CHECK-SD-NEXT: fcmp s4, s1
; CHECK-SD-NEXT: b.le .LBB1_2
; CHECK-SD-NEXT: // %bb.1: // %if.then.i157.i.i
; CHECK-SD-NEXT: fmov s0, #1.00000000
; CHECK-SD-NEXT: fadd s0, s2, s0
; CHECK-SD-NEXT: ret
; CHECK-SD-NEXT: .LBB1_2: // %if.end.i159.i.i
; CHECK-SD-NEXT: mov w8, #52429 // =0xcccd
; CHECK-SD-NEXT: mov w9, #13107 // =0x3333
; CHECK-SD-NEXT: fcmp s1, #0.0
; CHECK-SD-NEXT: movk w8, #48844, lsl #16
; CHECK-SD-NEXT: movk w9, #48819, lsl #16
; CHECK-SD-NEXT: fmov s2, w8
; CHECK-SD-NEXT: fmov s4, w9
; CHECK-SD-NEXT: fadd s0, s0, s2
; CHECK-SD-NEXT: fadd s2, s3, s4
; CHECK-SD-NEXT: fcsel s0, s0, s2, gt
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: select_select_fold_select_or:
; CHECK-GI: // %bb.0:
; CHECK-GI-NEXT: fcmp s1, s2
; CHECK-GI-NEXT: fcsel s4, s1, s2, mi
; CHECK-GI-NEXT: fcmp s0, s3
; CHECK-GI-NEXT: fcsel s5, s0, s3, gt
; CHECK-GI-NEXT: fcmp s1, s2
; CHECK-GI-NEXT: fmov s1, #0.50000000
; CHECK-GI-NEXT: fcsel s2, s0, s5, mi
; CHECK-GI-NEXT: fcmp s4, s0
; CHECK-GI-NEXT: fadd s1, s0, s1
; CHECK-GI-NEXT: fcsel s2, s0, s2, gt
; CHECK-GI-NEXT: fadd s4, s1, s2
; CHECK-GI-NEXT: fcmp s4, s1
; CHECK-GI-NEXT: b.le .LBB1_2
; CHECK-GI-NEXT: // %bb.1: // %if.then.i157.i.i
; CHECK-GI-NEXT: fmov s0, #1.00000000
; CHECK-GI-NEXT: fadd s0, s2, s0
; CHECK-GI-NEXT: ret
; CHECK-GI-NEXT: .LBB1_2: // %if.end.i159.i.i
; CHECK-GI-NEXT: mov w8, #52429 // =0xcccd
; CHECK-GI-NEXT: mov w9, #13107 // =0x3333
; CHECK-GI-NEXT: fcmp s1, #0.0
; CHECK-GI-NEXT: movk w8, #48844, lsl #16
; CHECK-GI-NEXT: movk w9, #48819, lsl #16
; CHECK-GI-NEXT: fmov s2, w8
; CHECK-GI-NEXT: fmov s4, w9
; CHECK-GI-NEXT: fadd s0, s0, s2
; CHECK-GI-NEXT: fadd s2, s3, s4
; CHECK-GI-NEXT: fcsel s0, s0, s2, gt
; CHECK-GI-NEXT: ret
%tmp21 = fcmp fast olt float %x, %y
%tmp22 = select fast i1 %tmp21, float %x, float %y
%tmp24 = fcmp fast ogt float %tmp22, %w
%tmp78 = fcmp fast ogt float %w, %z
%select0 = select fast i1 %tmp78, float %w, float %z
%select1 = select fast i1 %tmp21, float %w, float %select0
%select2 = select fast i1 %tmp24, float %w, float %select1
%tmp82 = fadd fast float %w, 5.000000e-01
%tmp102 = fadd fast float %tmp82, %select2
%cmp.i155.i.i = fcmp fast ogt float %tmp102, %tmp82
br i1 %cmp.i155.i.i, label %if.then.i157.i.i, label %if.end.i159.i.i
if.then.i157.i.i: ; preds = %0
%add.i156.i.i = fadd fast float %select2, 1.000000e+00
br label %exit
if.end.i159.i.i: ; preds = %0
%sub.i158.i.i = fadd fast float %w, 0xBFD99999A0000000
%sub15.i.i.i = fadd fast float %z, 0xBFD6666660000000
%tmp191 = fcmp fast ogt float %tmp82, 0.000000e+00
%select3 = select fast i1 %tmp191, float %sub.i158.i.i, float %sub15.i.i.i
br label %exit
exit: ; preds = %if.end.i159.i.i, %if.then.i157.i.i
%phi1 = phi float [ %add.i156.i.i, %if.then.i157.i.i ], [ %select3, %if.end.i159.i.i ]
ret float %phi1
}
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; CHECK: {{.*}}
|
