Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / art / a0666a9d6ed8ec4e70824ef74cbde5126986792b / . / test / 660-checker-simd-sad-short3 / src / Main.java
blob: d0892c37c84b31d8a8c6204364c5e4d088fdd4b4 [file] [log] [blame]
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]1/*
2 * Copyright (C) 2017 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17/**
18 * Tests for SAD (sum of absolute differences).
19 *
20 * Some special cases: parameters, constants, invariants, casted computations.
21 */
22public class Main {
23
24 /// CHECK-START: int Main.sadShort2IntParamRight(short[], short) loop_optimization (before)
25 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
26 /// CHECK-DAG: <<Cons1:i\d+>> IntConstant 1 loop:none
27 /// CHECK-DAG: <<Param:s\d+>> ParameterValue loop:none
Tamas Kenezd3d00da2018-06-15 14:56:26 +0200[diff] [blame]28 /// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
29 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]30 /// CHECK-DAG: <<Get:s\d+>> ArrayGet [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
31 /// CHECK-DAG: <<Sub:i\d+>> Sub [<<Get>>,<<Param>>] loop:<<Loop>> outer_loop:none
Aart Bik3dad3412018-02-28 12:01:46 -0800[diff] [blame]32 /// CHECK-DAG: <<Intrin:i\d+>> Abs [<<Sub>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]33 /// CHECK-DAG: Add [<<Phi2>>,<<Intrin>>] loop:<<Loop>> outer_loop:none
34 /// CHECK-DAG: Add [<<Phi1>>,<<Cons1>>] loop:<<Loop>> outer_loop:none
35 //
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]36 /// CHECK-START-{ARM64,MIPS64}: int Main.sadShort2IntParamRight(short[], short) loop_optimization (after)
Lena Djokic38e380b2017-10-30 16:17:10 +0100[diff] [blame]37 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
38 /// CHECK-DAG: <<Cons8:i\d+>> IntConstant 8 loop:none
39 /// CHECK-DAG: <<Param:s\d+>> ParameterValue loop:none
40 /// CHECK-DAG: <<Rep:d\d+>> VecReplicateScalar [<<Param>>] loop:none
41 /// CHECK-DAG: <<Set:d\d+>> VecSetScalars [<<Cons0>>] loop:none
42 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
43 /// CHECK-DAG: <<Phi2:d\d+>> Phi [<<Set>>,{{d\d+}}] loop:<<Loop>> outer_loop:none
44 /// CHECK-DAG: <<Load:d\d+>> VecLoad [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
45 /// CHECK-DAG: <<SAD:d\d+>> VecSADAccumulate [<<Phi2>>,<<Load>>,<<Rep>>] loop:<<Loop>> outer_loop:none
46 /// CHECK-DAG: Add [<<Phi1>>,<<Cons8>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]47 private static int sadShort2IntParamRight(short[] s, short param) {
48 int sad = 0;
49 for (int i = 0; i < s.length; i++) {
50 sad += Math.abs(s[i] - param);
51 }
52 return sad;
53 }
54
55 /// CHECK-START: int Main.sadShort2IntParamLeft(short[], short) loop_optimization (before)
56 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
57 /// CHECK-DAG: <<Cons1:i\d+>> IntConstant 1 loop:none
58 /// CHECK-DAG: <<Param:s\d+>> ParameterValue loop:none
Tamas Kenezd3d00da2018-06-15 14:56:26 +0200[diff] [blame]59 /// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
60 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]61 /// CHECK-DAG: <<Get:s\d+>> ArrayGet [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
62 /// CHECK-DAG: <<Sub:i\d+>> Sub [<<Param>>,<<Get>>] loop:<<Loop>> outer_loop:none
Aart Bik3dad3412018-02-28 12:01:46 -0800[diff] [blame]63 /// CHECK-DAG: <<Intrin:i\d+>> Abs [<<Sub>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]64 /// CHECK-DAG: Add [<<Phi2>>,<<Intrin>>] loop:<<Loop>> outer_loop:none
65 /// CHECK-DAG: Add [<<Phi1>>,<<Cons1>>] loop:<<Loop>> outer_loop:none
66 //
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]67 /// CHECK-START-{ARM64,MIPS64}: int Main.sadShort2IntParamLeft(short[], short) loop_optimization (after)
Lena Djokic38e380b2017-10-30 16:17:10 +0100[diff] [blame]68 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
69 /// CHECK-DAG: <<Cons8:i\d+>> IntConstant 8 loop:none
70 /// CHECK-DAG: <<Param:s\d+>> ParameterValue loop:none
71 /// CHECK-DAG: <<Rep:d\d+>> VecReplicateScalar [<<Param>>] loop:none
72 /// CHECK-DAG: <<Set:d\d+>> VecSetScalars [<<Cons0>>] loop:none
73 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
74 /// CHECK-DAG: <<Phi2:d\d+>> Phi [<<Set>>,{{d\d+}}] loop:<<Loop>> outer_loop:none
75 /// CHECK-DAG: <<Load:d\d+>> VecLoad [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
76 /// CHECK-DAG: <<SAD:d\d+>> VecSADAccumulate [<<Phi2>>,<<Rep>>,<<Load>>] loop:<<Loop>> outer_loop:none
77 /// CHECK-DAG: Add [<<Phi1>>,<<Cons8>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]78 private static int sadShort2IntParamLeft(short[] s, short param) {
79 int sad = 0;
80 for (int i = 0; i < s.length; i++) {
81 sad += Math.abs(param - s[i]);
82 }
83 return sad;
84 }
85
86 /// CHECK-START: int Main.sadShort2IntConstRight(short[]) loop_optimization (before)
87 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
88 /// CHECK-DAG: <<Cons1:i\d+>> IntConstant 1 loop:none
89 /// CHECK-DAG: <<ConsI:i\d+>> IntConstant -32767 loop:none
Tamas Kenezd3d00da2018-06-15 14:56:26 +0200[diff] [blame]90 /// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
91 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]92 /// CHECK-DAG: <<Get:s\d+>> ArrayGet [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
93 /// CHECK-DAG: <<Add:i\d+>> Add [<<Get>>,<<ConsI>>] loop:<<Loop>> outer_loop:none
Aart Bik3dad3412018-02-28 12:01:46 -0800[diff] [blame]94 /// CHECK-DAG: <<Intrin:i\d+>> Abs [<<Add>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]95 /// CHECK-DAG: Add [<<Phi2>>,<<Intrin>>] loop:<<Loop>> outer_loop:none
96 /// CHECK-DAG: Add [<<Phi1>>,<<Cons1>>] loop:<<Loop>> outer_loop:none
97 //
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]98 /// CHECK-START-{ARM64,MIPS64}: int Main.sadShort2IntConstRight(short[]) loop_optimization (after)
Lena Djokic38e380b2017-10-30 16:17:10 +0100[diff] [blame]99 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
100 /// CHECK-DAG: <<Cons8:i\d+>> IntConstant 8 loop:none
101 /// CHECK-DAG: <<ConsI:i\d+>> IntConstant 32767 loop:none
102 /// CHECK-DAG: <<Rep:d\d+>> VecReplicateScalar [<<ConsI>>] loop:none
103 /// CHECK-DAG: <<Set:d\d+>> VecSetScalars [<<Cons0>>] loop:none
104 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
105 /// CHECK-DAG: <<Phi2:d\d+>> Phi [<<Set>>,{{d\d+}}] loop:<<Loop>> outer_loop:none
106 /// CHECK-DAG: <<Load:d\d+>> VecLoad [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
107 /// CHECK-DAG: <<SAD:d\d+>> VecSADAccumulate [<<Phi2>>,<<Load>>,<<Rep>>] loop:<<Loop>> outer_loop:none
108 /// CHECK-DAG: Add [<<Phi1>>,<<Cons8>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]109 private static int sadShort2IntConstRight(short[] s) {
110 int sad = 0;
111 for (int i = 0; i < s.length; i++) {
112 sad += Math.abs(s[i] - 32767);
113 }
114 return sad;
115 }
116
117 /// CHECK-START: int Main.sadShort2IntConstLeft(short[]) loop_optimization (before)
118 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
119 /// CHECK-DAG: <<Cons1:i\d+>> IntConstant 1 loop:none
120 /// CHECK-DAG: <<ConsI:i\d+>> IntConstant 32767 loop:none
Tamas Kenezd3d00da2018-06-15 14:56:26 +0200[diff] [blame]121 /// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
122 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]123 /// CHECK-DAG: <<Get:s\d+>> ArrayGet [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
124 /// CHECK-DAG: <<Sub:i\d+>> Sub [<<ConsI>>,<<Get>>] loop:<<Loop>> outer_loop:none
Aart Bik3dad3412018-02-28 12:01:46 -0800[diff] [blame]125 /// CHECK-DAG: <<Intrin:i\d+>> Abs [<<Sub>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]126 /// CHECK-DAG: Add [<<Phi2>>,<<Intrin>>] loop:<<Loop>> outer_loop:none
127 /// CHECK-DAG: Add [<<Phi1>>,<<Cons1>>] loop:<<Loop>> outer_loop:none
128 //
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]129 /// CHECK-START-{ARM64,MIPS64}: int Main.sadShort2IntConstLeft(short[]) loop_optimization (after)
Lena Djokic38e380b2017-10-30 16:17:10 +0100[diff] [blame]130 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
131 /// CHECK-DAG: <<Cons8:i\d+>> IntConstant 8 loop:none
132 /// CHECK-DAG: <<ConsI:i\d+>> IntConstant 32767 loop:none
133 /// CHECK-DAG: <<Rep:d\d+>> VecReplicateScalar [<<ConsI>>] loop:none
134 /// CHECK-DAG: <<Set:d\d+>> VecSetScalars [<<Cons0>>] loop:none
135 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
136 /// CHECK-DAG: <<Phi2:d\d+>> Phi [<<Set>>,{{d\d+}}] loop:<<Loop>> outer_loop:none
137 /// CHECK-DAG: <<Load:d\d+>> VecLoad [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
138 /// CHECK-DAG: <<SAD:d\d+>> VecSADAccumulate [<<Phi2>>,<<Rep>>,<<Load>>] loop:<<Loop>> outer_loop:none
139 /// CHECK-DAG: Add [<<Phi1>>,<<Cons8>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]140 private static int sadShort2IntConstLeft(short[] s) {
141 int sad = 0;
142 for (int i = 0; i < s.length; i++) {
143 sad += Math.abs(32767 - s[i]);
144 }
145 return sad;
146 }
147
148 /// CHECK-START: int Main.sadShort2IntInvariantRight(short[], int) loop_optimization (before)
149 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
150 /// CHECK-DAG: <<Cons1:i\d+>> IntConstant 1 loop:none
151 /// CHECK-DAG: <<Conv:s\d+>> TypeConversion [{{i\d+}}] loop:none
Tamas Kenezd3d00da2018-06-15 14:56:26 +0200[diff] [blame]152 /// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
153 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]154 /// CHECK-DAG: <<Get:s\d+>> ArrayGet [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
155 /// CHECK-DAG: <<Sub:i\d+>> Sub [<<Get>>,<<Conv>>] loop:<<Loop>> outer_loop:none
Aart Bik3dad3412018-02-28 12:01:46 -0800[diff] [blame]156 /// CHECK-DAG: <<Intrin:i\d+>> Abs [<<Sub>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]157 /// CHECK-DAG: Add [<<Phi2>>,<<Intrin>>] loop:<<Loop>> outer_loop:none
158 /// CHECK-DAG: Add [<<Phi1>>,<<Cons1>>] loop:<<Loop>> outer_loop:none
159 //
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]160 /// CHECK-START-{ARM64,MIPS64}: int Main.sadShort2IntInvariantRight(short[], int) loop_optimization (after)
Lena Djokic38e380b2017-10-30 16:17:10 +0100[diff] [blame]161 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
162 /// CHECK-DAG: <<Cons8:i\d+>> IntConstant 8 loop:none
163 /// CHECK-DAG: <<Conv:s\d+>> TypeConversion [{{i\d+}}] loop:none
164 /// CHECK-DAG: <<Rep:d\d+>> VecReplicateScalar [<<Conv>>] loop:none
165 /// CHECK-DAG: <<Set:d\d+>> VecSetScalars [<<Cons0>>] loop:none
166 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
167 /// CHECK-DAG: <<Phi2:d\d+>> Phi [<<Set>>,{{d\d+}}] loop:<<Loop>> outer_loop:none
168 /// CHECK-DAG: <<Load:d\d+>> VecLoad [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
169 /// CHECK-DAG: <<SAD:d\d+>> VecSADAccumulate [<<Phi2>>,<<Load>>,<<Rep>>] loop:<<Loop>> outer_loop:none
170 /// CHECK-DAG: Add [<<Phi1>>,<<Cons8>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]171 private static int sadShort2IntInvariantRight(short[] s, int val) {
172 int sad = 0;
173 short x = (short) (val + 1);
174 for (int i = 0; i < s.length; i++) {
175 sad += Math.abs(s[i] - x);
176 }
177 return sad;
178 }
179
180 /// CHECK-START: int Main.sadShort2IntInvariantLeft(short[], int) loop_optimization (before)
181 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
182 /// CHECK-DAG: <<Cons1:i\d+>> IntConstant 1 loop:none
183 /// CHECK-DAG: <<Conv:s\d+>> TypeConversion [{{i\d+}}] loop:none
Tamas Kenezd3d00da2018-06-15 14:56:26 +0200[diff] [blame]184 /// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
185 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]186 /// CHECK-DAG: <<Get:s\d+>> ArrayGet [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
187 /// CHECK-DAG: <<Sub:i\d+>> Sub [<<Conv>>,<<Get>>] loop:<<Loop>> outer_loop:none
Aart Bik3dad3412018-02-28 12:01:46 -0800[diff] [blame]188 /// CHECK-DAG: <<Intrin:i\d+>> Abs [<<Sub>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]189 /// CHECK-DAG: Add [<<Phi2>>,<<Intrin>>] loop:<<Loop>> outer_loop:none
190 /// CHECK-DAG: Add [<<Phi1>>,<<Cons1>>] loop:<<Loop>> outer_loop:none
191 //
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]192 /// CHECK-START-{ARM64,MIPS64}: int Main.sadShort2IntInvariantLeft(short[], int) loop_optimization (after)
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]193 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
194 /// CHECK-DAG: <<Cons8:i\d+>> IntConstant 8 loop:none
195 /// CHECK-DAG: <<Conv:s\d+>> TypeConversion [{{i\d+}}] loop:none
196 /// CHECK-DAG: <<Rep:d\d+>> VecReplicateScalar [<<Conv>>] loop:none
197 /// CHECK-DAG: <<Set:d\d+>> VecSetScalars [<<Cons0>>] loop:none
198 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
199 /// CHECK-DAG: <<Phi2:d\d+>> Phi [<<Set>>,{{d\d+}}] loop:<<Loop>> outer_loop:none
200 /// CHECK-DAG: <<Load:d\d+>> VecLoad [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
201 /// CHECK-DAG: <<SAD:d\d+>> VecSADAccumulate [<<Phi2>>,<<Rep>>,<<Load>>] loop:<<Loop>> outer_loop:none
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]202 /// CHECK-DAG: Add [<<Phi1>>,<<Cons8>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]203 private static int sadShort2IntInvariantLeft(short[] s, int val) {
204 int sad = 0;
205 short x = (short) (val + 1);
206 for (int i = 0; i < s.length; i++) {
207 sad += Math.abs(x - s[i]);
208 }
209 return sad;
210 }
211
212 /// CHECK-START: int Main.sadShort2IntCastedExprRight(short[]) loop_optimization (before)
213 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
214 /// CHECK-DAG: <<Cons1:i\d+>> IntConstant 1 loop:none
215 /// CHECK-DAG: <<ConsI:i\d+>> IntConstant 110 loop:none
Tamas Kenezd3d00da2018-06-15 14:56:26 +0200[diff] [blame]216 /// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
217 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]218 /// CHECK-DAG: <<Get:s\d+>> ArrayGet [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
219 /// CHECK-DAG: <<Add:i\d+>> [<<Get>>,<<ConsI>>] loop:<<Loop>> outer_loop:none
220 /// CHECK-DAG: <<Conv:s\d+>> TypeConversion [<<Add>>] loop:<<Loop>> outer_loop:none
221 /// CHECK-DAG: <<Sub:i\d+>> Sub [<<Get>>,<<Conv>>] loop:<<Loop>> outer_loop:none
Aart Bik3dad3412018-02-28 12:01:46 -0800[diff] [blame]222 /// CHECK-DAG: <<Intrin:i\d+>> Abs [<<Sub>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]223 /// CHECK-DAG: Add [<<Phi2>>,<<Intrin>>] loop:<<Loop>> outer_loop:none
224 /// CHECK-DAG: Add [<<Phi1>>,<<Cons1>>] loop:<<Loop>> outer_loop:none
225 //
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]226 /// CHECK-START-{ARM64,MIPS64}: int Main.sadShort2IntCastedExprRight(short[]) loop_optimization (after)
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]227 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
228 /// CHECK-DAG: <<Cons8:i\d+>> IntConstant 8 loop:none
229 /// CHECK-DAG: <<ConsI:i\d+>> IntConstant 110 loop:none
230 /// CHECK-DAG: <<Rep:d\d+>> VecReplicateScalar [<<ConsI>>] loop:none
231 /// CHECK-DAG: <<Set:d\d+>> VecSetScalars [<<Cons0>>] loop:none
232 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
233 /// CHECK-DAG: <<Phi2:d\d+>> Phi [<<Set>>,{{d\d+}}] loop:<<Loop>> outer_loop:none
234 /// CHECK-DAG: <<Load:d\d+>> VecLoad [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
235 /// CHECK-DAG: <<Add:d\d+>> VecAdd [<<Load>>,<<Rep>>] loop:<<Loop>> outer_loop:none
236 /// CHECK-DAG: <<SAD:d\d+>> VecSADAccumulate [<<Phi2>>,<<Load>>,<<Add>>] loop:<<Loop>> outer_loop:none
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]237 /// CHECK-DAG: Add [<<Phi1>>,<<Cons8>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]238 private static int sadShort2IntCastedExprRight(short[] s) {
239 int sad = 0;
240 for (int i = 0; i < s.length; i++) {
241 short x = (short) (s[i] + 110); // narrower part sign extends
242 sad += Math.abs(s[i] - x);
243 }
244 return sad;
245 }
246
247 /// CHECK-START: int Main.sadShort2IntCastedExprLeft(short[]) loop_optimization (before)
248 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
249 /// CHECK-DAG: <<Cons1:i\d+>> IntConstant 1 loop:none
250 /// CHECK-DAG: <<ConsI:i\d+>> IntConstant 110 loop:none
Tamas Kenezd3d00da2018-06-15 14:56:26 +0200[diff] [blame]251 /// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
252 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]253 /// CHECK-DAG: <<Get:s\d+>> ArrayGet [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
254 /// CHECK-DAG: <<Add:i\d+>> [<<Get>>,<<ConsI>>] loop:<<Loop>> outer_loop:none
255 /// CHECK-DAG: <<Conv:s\d+>> TypeConversion [<<Add>>] loop:<<Loop>> outer_loop:none
256 /// CHECK-DAG: <<Sub:i\d+>> Sub [<<Conv>>,<<Get>>] loop:<<Loop>> outer_loop:none
Aart Bik3dad3412018-02-28 12:01:46 -0800[diff] [blame]257 /// CHECK-DAG: <<Intrin:i\d+>> Abs [<<Sub>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]258 /// CHECK-DAG: Add [<<Phi2>>,<<Intrin>>] loop:<<Loop>> outer_loop:none
259 /// CHECK-DAG: Add [<<Phi1>>,<<Cons1>>] loop:<<Loop>> outer_loop:none
260 //
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]261 /// CHECK-START-{ARM64,MIPS64}: int Main.sadShort2IntCastedExprLeft(short[]) loop_optimization (after)
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]262 /// CHECK-DAG: <<Cons0:i\d+>> IntConstant 0 loop:none
263 /// CHECK-DAG: <<Cons8:i\d+>> IntConstant 8 loop:none
264 /// CHECK-DAG: <<ConsI:i\d+>> IntConstant 110 loop:none
265 /// CHECK-DAG: <<Rep:d\d+>> VecReplicateScalar [<<ConsI>>] loop:none
266 /// CHECK-DAG: <<Set:d\d+>> VecSetScalars [<<Cons0>>] loop:none
267 /// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Cons0>>,{{i\d+}}] loop:<<Loop:B\d+>> outer_loop:none
268 /// CHECK-DAG: <<Phi2:d\d+>> Phi [<<Set>>,{{d\d+}}] loop:<<Loop>> outer_loop:none
269 /// CHECK-DAG: <<Load:d\d+>> VecLoad [{{l\d+}},<<Phi1>>] loop:<<Loop>> outer_loop:none
270 /// CHECK-DAG: <<Add:d\d+>> VecAdd [<<Load>>,<<Rep>>] loop:<<Loop>> outer_loop:none
271 /// CHECK-DAG: <<SAD:d\d+>> VecSADAccumulate [<<Phi2>>,<<Add>>,<<Load>>] loop:<<Loop>> outer_loop:none
Aart Bik83a57102017-12-06 10:32:15 -0800[diff] [blame]272 /// CHECK-DAG: Add [<<Phi1>>,<<Cons8>>] loop:<<Loop>> outer_loop:none
Aart Bikdf011c32017-09-28 12:53:04 -0700[diff] [blame]273 private static int sadShort2IntCastedExprLeft(short[] s) {
274 int sad = 0;
275 for (int i = 0; i < s.length; i++) {
276 short x = (short) (s[i] + 110); // narrower part sign extends
277 sad += Math.abs(x - s[i]);
278 }
279 return sad;
280 }
281
282 public static void main(String[] args) {
283 short[] interesting = {
284 (short) 0x0000,
285 (short) 0x0001,
286 (short) 0x0002,
287 (short) 0x0003,
288 (short) 0x0004,
289 (short) 0x1234,
290 (short) 0x8000,
291 (short) 0x8001,
292 (short) 0x8002,
293 (short) 0x8003,
294 (short) 0x8004,
295 (short) 0x8004,
296 (short) 0x7000,
297 (short) 0x7fff,
298 (short) 0xf000,
299 (short) 0xffff
300 };
301 short[] s = new short[64];
302 for (int i = 0; i < 64; i++) {
303 s[i] = interesting[i % interesting.length];
304 }
305
306 expectEquals(1067200, sadShort2IntParamRight(s, (short)-1));
307 expectEquals(1067200, sadShort2IntParamRight(s, (short) 0));
308 expectEquals(1067208, sadShort2IntParamRight(s, (short) 1));
309 expectEquals(1067224, sadShort2IntParamRight(s, (short) 2));
310 expectEquals(2635416, sadShort2IntParamRight(s, (short) 0x7fff));
311 expectEquals(1558824, sadShort2IntParamRight(s, (short) 0x8000));
312
313 expectEquals(1067200, sadShort2IntParamLeft(s, (short)-1));
314 expectEquals(1067200, sadShort2IntParamLeft(s, (short) 0));
315 expectEquals(1067208, sadShort2IntParamLeft(s, (short) 1));
316 expectEquals(1067224, sadShort2IntParamLeft(s, (short) 2));
317 expectEquals(2635416, sadShort2IntParamLeft(s, (short) 0x7fff));
318 expectEquals(1558824, sadShort2IntParamLeft(s, (short) 0x8000));
319
320 expectEquals(2635416, sadShort2IntConstRight(s));
321 expectEquals(2635416, sadShort2IntConstLeft(s));
322
323 expectEquals(1067200, sadShort2IntInvariantRight(s, -2));
324 expectEquals(1067200, sadShort2IntInvariantRight(s, -1));
325 expectEquals(1067208, sadShort2IntInvariantRight(s, 0));
326 expectEquals(1067224, sadShort2IntInvariantRight(s, 1));
327 expectEquals(2635416, sadShort2IntInvariantRight(s, 0x7ffe));
328 expectEquals(1558824, sadShort2IntInvariantRight(s, 0x7fff));
329
330 expectEquals(1067200, sadShort2IntInvariantLeft(s, -2));
331 expectEquals(1067200, sadShort2IntInvariantLeft(s, -1));
332 expectEquals(1067208, sadShort2IntInvariantLeft(s, 0));
333 expectEquals(1067224, sadShort2IntInvariantLeft(s, 1));
334 expectEquals(2635416, sadShort2IntInvariantLeft(s, 0x7ffe));
335 expectEquals(1558824, sadShort2IntInvariantLeft(s, 0x7fff));
336
337 expectEquals(268304, sadShort2IntCastedExprLeft(s));
338 expectEquals(268304, sadShort2IntCastedExprRight(s));
339
340 System.out.println("passed");
341 }
342
343 private static void expectEquals(int expected, int result) {
344 if (expected != result) {
345 throw new Error("Expected: " + expected + ", found: " + result);
346 }
347 }
348
349 private static void expectEquals(long expected, long result) {
350 if (expected != result) {
351 throw new Error("Expected: " + expected + ", found: " + result);
352 }
353 }
354}