1*f5c631daSSadaf Ebrahimi // Copyright 2015, VIXL authors
2*f5c631daSSadaf Ebrahimi // All rights reserved.
3*f5c631daSSadaf Ebrahimi //
4*f5c631daSSadaf Ebrahimi // Redistribution and use in source and binary forms, with or without
5*f5c631daSSadaf Ebrahimi // modification, are permitted provided that the following conditions are met:
6*f5c631daSSadaf Ebrahimi //
7*f5c631daSSadaf Ebrahimi // * Redistributions of source code must retain the above copyright notice,
8*f5c631daSSadaf Ebrahimi // this list of conditions and the following disclaimer.
9*f5c631daSSadaf Ebrahimi // * Redistributions in binary form must reproduce the above copyright notice,
10*f5c631daSSadaf Ebrahimi // this list of conditions and the following disclaimer in the documentation
11*f5c631daSSadaf Ebrahimi // and/or other materials provided with the distribution.
12*f5c631daSSadaf Ebrahimi // * Neither the name of ARM Limited nor the names of its contributors may be
13*f5c631daSSadaf Ebrahimi // used to endorse or promote products derived from this software without
14*f5c631daSSadaf Ebrahimi // specific prior written permission.
15*f5c631daSSadaf Ebrahimi //
16*f5c631daSSadaf Ebrahimi // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17*f5c631daSSadaf Ebrahimi // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18*f5c631daSSadaf Ebrahimi // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19*f5c631daSSadaf Ebrahimi // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20*f5c631daSSadaf Ebrahimi // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21*f5c631daSSadaf Ebrahimi // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22*f5c631daSSadaf Ebrahimi // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23*f5c631daSSadaf Ebrahimi // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24*f5c631daSSadaf Ebrahimi // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25*f5c631daSSadaf Ebrahimi // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26*f5c631daSSadaf Ebrahimi
27*f5c631daSSadaf Ebrahimi #include "custom-disassembler.h"
28*f5c631daSSadaf Ebrahimi #include "examples.h"
29*f5c631daSSadaf Ebrahimi #include "non-const-visitor.h"
30*f5c631daSSadaf Ebrahimi #include "test-runner.h"
31*f5c631daSSadaf Ebrahimi #include "test-utils.h"
32*f5c631daSSadaf Ebrahimi #include "../test-utils-aarch64.h"
33*f5c631daSSadaf Ebrahimi
34*f5c631daSSadaf Ebrahimi #include "aarch64/macro-assembler-aarch64.h"
35*f5c631daSSadaf Ebrahimi #include "aarch64/simulator-aarch64.h"
36*f5c631daSSadaf Ebrahimi #define TEST(name) TEST_(EXAMPLE_##name)
37*f5c631daSSadaf Ebrahimi
38*f5c631daSSadaf Ebrahimi using namespace vixl;
39*f5c631daSSadaf Ebrahimi using namespace vixl::aarch64;
40*f5c631daSSadaf Ebrahimi
41*f5c631daSSadaf Ebrahimi
TEST(custom_disassembler)42*f5c631daSSadaf Ebrahimi TEST(custom_disassembler) { TestCustomDisassembler(); }
43*f5c631daSSadaf Ebrahimi
44*f5c631daSSadaf Ebrahimi
45*f5c631daSSadaf Ebrahimi // The tests below only work with the simulator.
46*f5c631daSSadaf Ebrahimi #ifdef VIXL_INCLUDE_SIMULATOR_AARCH64
47*f5c631daSSadaf Ebrahimi
FactorialC(uint64_t n)48*f5c631daSSadaf Ebrahimi uint64_t FactorialC(uint64_t n) {
49*f5c631daSSadaf Ebrahimi uint64_t result = 1;
50*f5c631daSSadaf Ebrahimi
51*f5c631daSSadaf Ebrahimi while (n != 0) {
52*f5c631daSSadaf Ebrahimi result *= n;
53*f5c631daSSadaf Ebrahimi n--;
54*f5c631daSSadaf Ebrahimi }
55*f5c631daSSadaf Ebrahimi
56*f5c631daSSadaf Ebrahimi return result;
57*f5c631daSSadaf Ebrahimi }
58*f5c631daSSadaf Ebrahimi
59*f5c631daSSadaf Ebrahimi // Multiply two column-major 4x4 matrices of 32 bit floating point values.
60*f5c631daSSadaf Ebrahimi // Return a column-major 4x4 matrix of 32 bit floating point values in 'C'.
MatrixMultiplyC(float C[16],float A[16],float B[16])61*f5c631daSSadaf Ebrahimi void MatrixMultiplyC(float C[16], float A[16], float B[16]) {
62*f5c631daSSadaf Ebrahimi C[0] = A[0] * B[0] + A[4] * B[1] + A[8] * B[2] + A[12] * B[3];
63*f5c631daSSadaf Ebrahimi C[1] = A[1] * B[0] + A[5] * B[1] + A[9] * B[2] + A[13] * B[3];
64*f5c631daSSadaf Ebrahimi C[2] = A[2] * B[0] + A[6] * B[1] + A[10] * B[2] + A[14] * B[3];
65*f5c631daSSadaf Ebrahimi C[3] = A[3] * B[0] + A[7] * B[1] + A[11] * B[2] + A[15] * B[3];
66*f5c631daSSadaf Ebrahimi
67*f5c631daSSadaf Ebrahimi C[4] = A[0] * B[4] + A[4] * B[5] + A[8] * B[6] + A[12] * B[7];
68*f5c631daSSadaf Ebrahimi C[5] = A[1] * B[4] + A[5] * B[5] + A[9] * B[6] + A[13] * B[7];
69*f5c631daSSadaf Ebrahimi C[6] = A[2] * B[4] + A[6] * B[5] + A[10] * B[6] + A[14] * B[7];
70*f5c631daSSadaf Ebrahimi C[7] = A[3] * B[4] + A[7] * B[5] + A[11] * B[6] + A[15] * B[7];
71*f5c631daSSadaf Ebrahimi
72*f5c631daSSadaf Ebrahimi C[8] = A[0] * B[8] + A[4] * B[9] + A[8] * B[10] + A[12] * B[11];
73*f5c631daSSadaf Ebrahimi C[9] = A[1] * B[8] + A[5] * B[9] + A[9] * B[10] + A[13] * B[11];
74*f5c631daSSadaf Ebrahimi C[10] = A[2] * B[8] + A[6] * B[9] + A[10] * B[10] + A[14] * B[11];
75*f5c631daSSadaf Ebrahimi C[11] = A[3] * B[8] + A[7] * B[9] + A[11] * B[10] + A[15] * B[11];
76*f5c631daSSadaf Ebrahimi
77*f5c631daSSadaf Ebrahimi C[12] = A[0] * B[12] + A[4] * B[13] + A[8] * B[14] + A[12] * B[15];
78*f5c631daSSadaf Ebrahimi C[13] = A[1] * B[12] + A[5] * B[13] + A[9] * B[14] + A[13] * B[15];
79*f5c631daSSadaf Ebrahimi C[14] = A[2] * B[12] + A[6] * B[13] + A[10] * B[14] + A[14] * B[15];
80*f5c631daSSadaf Ebrahimi C[15] = A[3] * B[12] + A[7] * B[13] + A[11] * B[14] + A[15] * B[15];
81*f5c631daSSadaf Ebrahimi }
82*f5c631daSSadaf Ebrahimi
Add3DoubleC(double x,double y,double z)83*f5c631daSSadaf Ebrahimi double Add3DoubleC(double x, double y, double z) { return x + y + z; }
84*f5c631daSSadaf Ebrahimi
Add4DoubleC(uint64_t a,double b,uint64_t c,double d)85*f5c631daSSadaf Ebrahimi double Add4DoubleC(uint64_t a, double b, uint64_t c, double d) {
86*f5c631daSSadaf Ebrahimi return static_cast<double>(a) + b + static_cast<double>(c) + d;
87*f5c631daSSadaf Ebrahimi }
88*f5c631daSSadaf Ebrahimi
SumArrayC(uint8_t * array,uint32_t size)89*f5c631daSSadaf Ebrahimi uint32_t SumArrayC(uint8_t* array, uint32_t size) {
90*f5c631daSSadaf Ebrahimi uint32_t result = 0;
91*f5c631daSSadaf Ebrahimi
92*f5c631daSSadaf Ebrahimi for (uint32_t i = 0; i < size; ++i) {
93*f5c631daSSadaf Ebrahimi result += array[i];
94*f5c631daSSadaf Ebrahimi }
95*f5c631daSSadaf Ebrahimi
96*f5c631daSSadaf Ebrahimi return result;
97*f5c631daSSadaf Ebrahimi }
98*f5c631daSSadaf Ebrahimi
99*f5c631daSSadaf Ebrahimi
100*f5c631daSSadaf Ebrahimi #define TEST_FUNCTION(Func) \
101*f5c631daSSadaf Ebrahimi do { \
102*f5c631daSSadaf Ebrahimi /* Record callee-saved registers, so we can check them after the test. */ \
103*f5c631daSSadaf Ebrahimi int64_t saved_xregs[13]; \
104*f5c631daSSadaf Ebrahimi saved_xregs[0] = simulator.ReadXRegister(19); \
105*f5c631daSSadaf Ebrahimi saved_xregs[1] = simulator.ReadXRegister(20); \
106*f5c631daSSadaf Ebrahimi saved_xregs[2] = simulator.ReadXRegister(21); \
107*f5c631daSSadaf Ebrahimi saved_xregs[3] = simulator.ReadXRegister(22); \
108*f5c631daSSadaf Ebrahimi saved_xregs[4] = simulator.ReadXRegister(23); \
109*f5c631daSSadaf Ebrahimi saved_xregs[5] = simulator.ReadXRegister(24); \
110*f5c631daSSadaf Ebrahimi saved_xregs[6] = simulator.ReadXRegister(25); \
111*f5c631daSSadaf Ebrahimi saved_xregs[7] = simulator.ReadXRegister(26); \
112*f5c631daSSadaf Ebrahimi saved_xregs[8] = simulator.ReadXRegister(27); \
113*f5c631daSSadaf Ebrahimi saved_xregs[9] = simulator.ReadXRegister(28); \
114*f5c631daSSadaf Ebrahimi saved_xregs[10] = simulator.ReadXRegister(29); \
115*f5c631daSSadaf Ebrahimi saved_xregs[11] = simulator.ReadXRegister(30); \
116*f5c631daSSadaf Ebrahimi saved_xregs[12] = simulator.ReadXRegister(31); \
117*f5c631daSSadaf Ebrahimi \
118*f5c631daSSadaf Ebrahimi uint64_t saved_dregs[8]; \
119*f5c631daSSadaf Ebrahimi saved_dregs[0] = simulator.ReadDRegisterBits(8); \
120*f5c631daSSadaf Ebrahimi saved_dregs[1] = simulator.ReadDRegisterBits(9); \
121*f5c631daSSadaf Ebrahimi saved_dregs[2] = simulator.ReadDRegisterBits(10); \
122*f5c631daSSadaf Ebrahimi saved_dregs[3] = simulator.ReadDRegisterBits(11); \
123*f5c631daSSadaf Ebrahimi saved_dregs[4] = simulator.ReadDRegisterBits(12); \
124*f5c631daSSadaf Ebrahimi saved_dregs[5] = simulator.ReadDRegisterBits(13); \
125*f5c631daSSadaf Ebrahimi saved_dregs[6] = simulator.ReadDRegisterBits(14); \
126*f5c631daSSadaf Ebrahimi saved_dregs[7] = simulator.ReadDRegisterBits(15); \
127*f5c631daSSadaf Ebrahimi \
128*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(test_function_reg.GetCode(), \
129*f5c631daSSadaf Ebrahimi masm.GetLabelAddress<uint64_t>(&Func)); \
130*f5c631daSSadaf Ebrahimi simulator.RunFrom(masm.GetLabelAddress<Instruction*>(&test)); \
131*f5c631daSSadaf Ebrahimi \
132*f5c631daSSadaf Ebrahimi /* Check that callee-saved regsiters are preserved. */ \
133*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[0] == simulator.ReadXRegister(19)); \
134*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[1] == simulator.ReadXRegister(20)); \
135*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[2] == simulator.ReadXRegister(21)); \
136*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[3] == simulator.ReadXRegister(22)); \
137*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[4] == simulator.ReadXRegister(23)); \
138*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[5] == simulator.ReadXRegister(24)); \
139*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[6] == simulator.ReadXRegister(25)); \
140*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[7] == simulator.ReadXRegister(26)); \
141*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[8] == simulator.ReadXRegister(27)); \
142*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[9] == simulator.ReadXRegister(28)); \
143*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[10] == simulator.ReadXRegister(29)); \
144*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[11] == simulator.ReadXRegister(30)); \
145*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_xregs[12] == simulator.ReadXRegister(31)); \
146*f5c631daSSadaf Ebrahimi \
147*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_dregs[0] == simulator.ReadDRegisterBits(8)); \
148*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_dregs[1] == simulator.ReadDRegisterBits(9)); \
149*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_dregs[2] == simulator.ReadDRegisterBits(10)); \
150*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_dregs[3] == simulator.ReadDRegisterBits(11)); \
151*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_dregs[4] == simulator.ReadDRegisterBits(12)); \
152*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_dregs[5] == simulator.ReadDRegisterBits(13)); \
153*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_dregs[6] == simulator.ReadDRegisterBits(14)); \
154*f5c631daSSadaf Ebrahimi VIXL_CHECK(saved_dregs[7] == simulator.ReadDRegisterBits(15)); \
155*f5c631daSSadaf Ebrahimi \
156*f5c631daSSadaf Ebrahimi } while (0)
157*f5c631daSSadaf Ebrahimi
158*f5c631daSSadaf Ebrahimi #define START() \
159*f5c631daSSadaf Ebrahimi MacroAssembler masm; \
160*f5c631daSSadaf Ebrahimi Decoder decoder; \
161*f5c631daSSadaf Ebrahimi Simulator simulator(&decoder); \
162*f5c631daSSadaf Ebrahimi simulator.SetColouredTrace(Test::coloured_trace()); \
163*f5c631daSSadaf Ebrahimi RegisterDump regs; \
164*f5c631daSSadaf Ebrahimi \
165*f5c631daSSadaf Ebrahimi Register test_function_reg = x15; \
166*f5c631daSSadaf Ebrahimi \
167*f5c631daSSadaf Ebrahimi Label test; \
168*f5c631daSSadaf Ebrahimi masm.Bind(&test); \
169*f5c631daSSadaf Ebrahimi { \
170*f5c631daSSadaf Ebrahimi int trace_parameters = 0; \
171*f5c631daSSadaf Ebrahimi if (Test::trace_reg()) trace_parameters |= LOG_STATE; \
172*f5c631daSSadaf Ebrahimi if (Test::trace_write()) trace_parameters |= LOG_WRITE; \
173*f5c631daSSadaf Ebrahimi if (Test::trace_sim()) trace_parameters |= LOG_DISASM; \
174*f5c631daSSadaf Ebrahimi if (Test::trace_branch()) trace_parameters |= LOG_BRANCH; \
175*f5c631daSSadaf Ebrahimi if (trace_parameters != 0) { \
176*f5c631daSSadaf Ebrahimi masm.Trace(static_cast<TraceParameters>(trace_parameters), \
177*f5c631daSSadaf Ebrahimi TRACE_ENABLE); \
178*f5c631daSSadaf Ebrahimi } \
179*f5c631daSSadaf Ebrahimi } \
180*f5c631daSSadaf Ebrahimi masm.Blr(test_function_reg); \
181*f5c631daSSadaf Ebrahimi masm.Trace(LOG_ALL, TRACE_DISABLE); \
182*f5c631daSSadaf Ebrahimi regs.Dump(&masm); \
183*f5c631daSSadaf Ebrahimi masm.Mov(lr, reinterpret_cast<uint64_t>(Simulator::kEndOfSimAddress)); \
184*f5c631daSSadaf Ebrahimi masm.Ret(); \
185*f5c631daSSadaf Ebrahimi masm.FinalizeCode()
186*f5c631daSSadaf Ebrahimi
187*f5c631daSSadaf Ebrahimi
188*f5c631daSSadaf Ebrahimi #define FACTORIAL_DOTEST(N) \
189*f5c631daSSadaf Ebrahimi do { \
190*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
191*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, N); \
192*f5c631daSSadaf Ebrahimi TEST_FUNCTION(factorial); \
193*f5c631daSSadaf Ebrahimi VIXL_CHECK(static_cast<uint64_t>(regs.xreg(0)) == FactorialC(N)); \
194*f5c631daSSadaf Ebrahimi } while (0)
195*f5c631daSSadaf Ebrahimi
TEST(factorial)196*f5c631daSSadaf Ebrahimi TEST(factorial) {
197*f5c631daSSadaf Ebrahimi START();
198*f5c631daSSadaf Ebrahimi
199*f5c631daSSadaf Ebrahimi Label factorial;
200*f5c631daSSadaf Ebrahimi masm.Bind(&factorial);
201*f5c631daSSadaf Ebrahimi GenerateFactorial(&masm);
202*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
203*f5c631daSSadaf Ebrahimi
204*f5c631daSSadaf Ebrahimi FACTORIAL_DOTEST(0);
205*f5c631daSSadaf Ebrahimi FACTORIAL_DOTEST(1);
206*f5c631daSSadaf Ebrahimi FACTORIAL_DOTEST(5);
207*f5c631daSSadaf Ebrahimi FACTORIAL_DOTEST(10);
208*f5c631daSSadaf Ebrahimi FACTORIAL_DOTEST(20);
209*f5c631daSSadaf Ebrahimi FACTORIAL_DOTEST(25);
210*f5c631daSSadaf Ebrahimi }
211*f5c631daSSadaf Ebrahimi
212*f5c631daSSadaf Ebrahimi
213*f5c631daSSadaf Ebrahimi #define FACTORIAL_REC_DOTEST(N) \
214*f5c631daSSadaf Ebrahimi do { \
215*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
216*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, N); \
217*f5c631daSSadaf Ebrahimi TEST_FUNCTION(factorial_rec); \
218*f5c631daSSadaf Ebrahimi VIXL_CHECK(static_cast<uint64_t>(regs.xreg(0)) == FactorialC(N)); \
219*f5c631daSSadaf Ebrahimi } while (0)
220*f5c631daSSadaf Ebrahimi
TEST(factorial_rec)221*f5c631daSSadaf Ebrahimi TEST(factorial_rec) {
222*f5c631daSSadaf Ebrahimi START();
223*f5c631daSSadaf Ebrahimi
224*f5c631daSSadaf Ebrahimi Label factorial_rec;
225*f5c631daSSadaf Ebrahimi masm.Bind(&factorial_rec);
226*f5c631daSSadaf Ebrahimi GenerateFactorialRec(&masm);
227*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
228*f5c631daSSadaf Ebrahimi
229*f5c631daSSadaf Ebrahimi FACTORIAL_REC_DOTEST(0);
230*f5c631daSSadaf Ebrahimi FACTORIAL_REC_DOTEST(1);
231*f5c631daSSadaf Ebrahimi FACTORIAL_REC_DOTEST(5);
232*f5c631daSSadaf Ebrahimi FACTORIAL_REC_DOTEST(10);
233*f5c631daSSadaf Ebrahimi FACTORIAL_REC_DOTEST(20);
234*f5c631daSSadaf Ebrahimi FACTORIAL_REC_DOTEST(25);
235*f5c631daSSadaf Ebrahimi }
236*f5c631daSSadaf Ebrahimi
TEST(neon_matrix_multiply)237*f5c631daSSadaf Ebrahimi TEST(neon_matrix_multiply) {
238*f5c631daSSadaf Ebrahimi START();
239*f5c631daSSadaf Ebrahimi
240*f5c631daSSadaf Ebrahimi Label neon_matrix_multiply;
241*f5c631daSSadaf Ebrahimi masm.Bind(&neon_matrix_multiply);
242*f5c631daSSadaf Ebrahimi GenerateNEONMatrixMultiply(&masm);
243*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
244*f5c631daSSadaf Ebrahimi
245*f5c631daSSadaf Ebrahimi {
246*f5c631daSSadaf Ebrahimi const int kRowSize = 4;
247*f5c631daSSadaf Ebrahimi const int kColSize = 4;
248*f5c631daSSadaf Ebrahimi const int kLength = kRowSize * kColSize;
249*f5c631daSSadaf Ebrahimi
250*f5c631daSSadaf Ebrahimi float mat1[kLength], mat2[kLength], expected[kLength], output[kLength];
251*f5c631daSSadaf Ebrahimi
252*f5c631daSSadaf Ebrahimi // Fill the two input matrices with some 32 bit floating point values.
253*f5c631daSSadaf Ebrahimi
254*f5c631daSSadaf Ebrahimi mat1[0] = 1.0f;
255*f5c631daSSadaf Ebrahimi mat1[4] = 2.0f;
256*f5c631daSSadaf Ebrahimi mat1[8] = 3.0f;
257*f5c631daSSadaf Ebrahimi mat1[12] = 4.0f;
258*f5c631daSSadaf Ebrahimi mat1[1] = 52.03f;
259*f5c631daSSadaf Ebrahimi mat1[5] = 12.24f;
260*f5c631daSSadaf Ebrahimi mat1[9] = 53.56f;
261*f5c631daSSadaf Ebrahimi mat1[13] = 22.22f;
262*f5c631daSSadaf Ebrahimi mat1[2] = 4.43f;
263*f5c631daSSadaf Ebrahimi mat1[6] = 5.00f;
264*f5c631daSSadaf Ebrahimi mat1[10] = 7.00f;
265*f5c631daSSadaf Ebrahimi mat1[14] = 3.11f;
266*f5c631daSSadaf Ebrahimi mat1[3] = 43.47f;
267*f5c631daSSadaf Ebrahimi mat1[7] = 10.97f;
268*f5c631daSSadaf Ebrahimi mat1[11] = 37.78f;
269*f5c631daSSadaf Ebrahimi mat1[15] = 90.91f;
270*f5c631daSSadaf Ebrahimi
271*f5c631daSSadaf Ebrahimi mat2[0] = 1.0f;
272*f5c631daSSadaf Ebrahimi mat2[4] = 11.24f;
273*f5c631daSSadaf Ebrahimi mat2[8] = 21.00f;
274*f5c631daSSadaf Ebrahimi mat2[12] = 21.31f;
275*f5c631daSSadaf Ebrahimi mat2[1] = 2.0f;
276*f5c631daSSadaf Ebrahimi mat2[5] = 2.24f;
277*f5c631daSSadaf Ebrahimi mat2[9] = 8.56f;
278*f5c631daSSadaf Ebrahimi mat2[13] = 52.03f;
279*f5c631daSSadaf Ebrahimi mat2[2] = 3.0f;
280*f5c631daSSadaf Ebrahimi mat2[6] = 51.00f;
281*f5c631daSSadaf Ebrahimi mat2[10] = 21.00f;
282*f5c631daSSadaf Ebrahimi mat2[14] = 33.11f;
283*f5c631daSSadaf Ebrahimi mat2[3] = 4.0f;
284*f5c631daSSadaf Ebrahimi mat2[7] = 0.00f;
285*f5c631daSSadaf Ebrahimi mat2[11] = 84.00f;
286*f5c631daSSadaf Ebrahimi mat2[15] = 1.97f;
287*f5c631daSSadaf Ebrahimi
288*f5c631daSSadaf Ebrahimi MatrixMultiplyC(expected, mat1, mat2);
289*f5c631daSSadaf Ebrahimi
290*f5c631daSSadaf Ebrahimi simulator.ResetState();
291*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, reinterpret_cast<uintptr_t>(output));
292*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(1, reinterpret_cast<uintptr_t>(mat1));
293*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(2, reinterpret_cast<uintptr_t>(mat2));
294*f5c631daSSadaf Ebrahimi TEST_FUNCTION(neon_matrix_multiply);
295*f5c631daSSadaf Ebrahimi
296*f5c631daSSadaf Ebrahimi // Check that the results match what is expected.
297*f5c631daSSadaf Ebrahimi for (int i = 0; i < kLength; i++) {
298*f5c631daSSadaf Ebrahimi VIXL_CHECK(output[i] == expected[i]);
299*f5c631daSSadaf Ebrahimi }
300*f5c631daSSadaf Ebrahimi }
301*f5c631daSSadaf Ebrahimi }
302*f5c631daSSadaf Ebrahimi
TEST(add2_vectors)303*f5c631daSSadaf Ebrahimi TEST(add2_vectors) {
304*f5c631daSSadaf Ebrahimi START();
305*f5c631daSSadaf Ebrahimi
306*f5c631daSSadaf Ebrahimi // Create and initialize the assembler and the simulator.
307*f5c631daSSadaf Ebrahimi Label add2_vectors;
308*f5c631daSSadaf Ebrahimi masm.Bind(&add2_vectors);
309*f5c631daSSadaf Ebrahimi GenerateAdd2Vectors(&masm);
310*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
311*f5c631daSSadaf Ebrahimi
312*f5c631daSSadaf Ebrahimi // Initialize input data for the example function.
313*f5c631daSSadaf Ebrahimi uint8_t A[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 200};
314*f5c631daSSadaf Ebrahimi uint8_t B[] =
315*f5c631daSSadaf Ebrahimi {16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 50};
316*f5c631daSSadaf Ebrahimi uint8_t D[ARRAY_SIZE(A)];
317*f5c631daSSadaf Ebrahimi uintptr_t A_addr = reinterpret_cast<uintptr_t>(A);
318*f5c631daSSadaf Ebrahimi uintptr_t B_addr = reinterpret_cast<uintptr_t>(B);
319*f5c631daSSadaf Ebrahimi
320*f5c631daSSadaf Ebrahimi // Check whether number of elements in vectors match.
321*f5c631daSSadaf Ebrahimi VIXL_STATIC_ASSERT(ARRAY_SIZE(A) == ARRAY_SIZE(B));
322*f5c631daSSadaf Ebrahimi VIXL_STATIC_ASSERT(ARRAY_SIZE(A) == ARRAY_SIZE(D));
323*f5c631daSSadaf Ebrahimi
324*f5c631daSSadaf Ebrahimi // Compute vector sum for comparison later.
325*f5c631daSSadaf Ebrahimi for (unsigned i = 0; i < ARRAY_SIZE(A); i++) {
326*f5c631daSSadaf Ebrahimi D[i] = A[i] + B[i];
327*f5c631daSSadaf Ebrahimi }
328*f5c631daSSadaf Ebrahimi
329*f5c631daSSadaf Ebrahimi // Set up simulator and run example function.
330*f5c631daSSadaf Ebrahimi simulator.ResetState();
331*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, A_addr);
332*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(1, B_addr);
333*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(2, ARRAY_SIZE(A));
334*f5c631daSSadaf Ebrahimi TEST_FUNCTION(add2_vectors);
335*f5c631daSSadaf Ebrahimi
336*f5c631daSSadaf Ebrahimi // Compare vectors to ensure sums are equal.
337*f5c631daSSadaf Ebrahimi for (unsigned i = 0; i < ARRAY_SIZE(A); i++) {
338*f5c631daSSadaf Ebrahimi VIXL_CHECK(A[i] == D[i]);
339*f5c631daSSadaf Ebrahimi }
340*f5c631daSSadaf Ebrahimi }
341*f5c631daSSadaf Ebrahimi
342*f5c631daSSadaf Ebrahimi #define ADD3_DOUBLE_DOTEST(A, B, C) \
343*f5c631daSSadaf Ebrahimi do { \
344*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
345*f5c631daSSadaf Ebrahimi simulator.WriteDRegister(0, A); \
346*f5c631daSSadaf Ebrahimi simulator.WriteDRegister(1, B); \
347*f5c631daSSadaf Ebrahimi simulator.WriteDRegister(2, C); \
348*f5c631daSSadaf Ebrahimi TEST_FUNCTION(add3_double); \
349*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.dreg(0) == Add3DoubleC(A, B, C)); \
350*f5c631daSSadaf Ebrahimi } while (0)
351*f5c631daSSadaf Ebrahimi
TEST(add3_double)352*f5c631daSSadaf Ebrahimi TEST(add3_double) {
353*f5c631daSSadaf Ebrahimi START();
354*f5c631daSSadaf Ebrahimi
355*f5c631daSSadaf Ebrahimi Label add3_double;
356*f5c631daSSadaf Ebrahimi masm.Bind(&add3_double);
357*f5c631daSSadaf Ebrahimi GenerateAdd3Double(&masm);
358*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
359*f5c631daSSadaf Ebrahimi
360*f5c631daSSadaf Ebrahimi ADD3_DOUBLE_DOTEST(0.0, 0.0, 0.0);
361*f5c631daSSadaf Ebrahimi ADD3_DOUBLE_DOTEST(457.698, 14.36, 2.00025);
362*f5c631daSSadaf Ebrahimi ADD3_DOUBLE_DOTEST(-45.55, -98.9, -0.354);
363*f5c631daSSadaf Ebrahimi ADD3_DOUBLE_DOTEST(.55, .9, .12);
364*f5c631daSSadaf Ebrahimi }
365*f5c631daSSadaf Ebrahimi
366*f5c631daSSadaf Ebrahimi
367*f5c631daSSadaf Ebrahimi #define ADD4_DOUBLE_DOTEST(A, B, C, D) \
368*f5c631daSSadaf Ebrahimi do { \
369*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
370*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, A); \
371*f5c631daSSadaf Ebrahimi simulator.WriteDRegister(0, B); \
372*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(1, C); \
373*f5c631daSSadaf Ebrahimi simulator.WriteDRegister(1, D); \
374*f5c631daSSadaf Ebrahimi TEST_FUNCTION(add4_double); \
375*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.dreg(0) == Add4DoubleC(A, B, C, D)); \
376*f5c631daSSadaf Ebrahimi } while (0)
377*f5c631daSSadaf Ebrahimi
TEST(add4_double)378*f5c631daSSadaf Ebrahimi TEST(add4_double) {
379*f5c631daSSadaf Ebrahimi START();
380*f5c631daSSadaf Ebrahimi
381*f5c631daSSadaf Ebrahimi Label add4_double;
382*f5c631daSSadaf Ebrahimi masm.Bind(&add4_double);
383*f5c631daSSadaf Ebrahimi GenerateAdd4Double(&masm);
384*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
385*f5c631daSSadaf Ebrahimi
386*f5c631daSSadaf Ebrahimi ADD4_DOUBLE_DOTEST(0, 0, 0, 0);
387*f5c631daSSadaf Ebrahimi ADD4_DOUBLE_DOTEST(4, 3.287, 6, 13.48);
388*f5c631daSSadaf Ebrahimi ADD4_DOUBLE_DOTEST(56, 665.368, 0, -4932.4697);
389*f5c631daSSadaf Ebrahimi ADD4_DOUBLE_DOTEST(56, 0, 546, 0);
390*f5c631daSSadaf Ebrahimi ADD4_DOUBLE_DOTEST(0, 0.658, 0, 0.00000011540026);
391*f5c631daSSadaf Ebrahimi }
392*f5c631daSSadaf Ebrahimi
393*f5c631daSSadaf Ebrahimi
394*f5c631daSSadaf Ebrahimi #define SUM_ARRAY_DOTEST(Array) \
395*f5c631daSSadaf Ebrahimi do { \
396*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
397*f5c631daSSadaf Ebrahimi uintptr_t addr = reinterpret_cast<uintptr_t>(Array); \
398*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, addr); \
399*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(1, ARRAY_SIZE(Array)); \
400*f5c631daSSadaf Ebrahimi TEST_FUNCTION(sum_array); \
401*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(0) == SumArrayC(Array, ARRAY_SIZE(Array))); \
402*f5c631daSSadaf Ebrahimi } while (0)
403*f5c631daSSadaf Ebrahimi
TEST(sum_array)404*f5c631daSSadaf Ebrahimi TEST(sum_array) {
405*f5c631daSSadaf Ebrahimi START();
406*f5c631daSSadaf Ebrahimi
407*f5c631daSSadaf Ebrahimi Label sum_array;
408*f5c631daSSadaf Ebrahimi masm.Bind(&sum_array);
409*f5c631daSSadaf Ebrahimi GenerateSumArray(&masm);
410*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
411*f5c631daSSadaf Ebrahimi
412*f5c631daSSadaf Ebrahimi uint8_t data1[] = {4, 9, 13, 3, 2, 6, 5};
413*f5c631daSSadaf Ebrahimi SUM_ARRAY_DOTEST(data1);
414*f5c631daSSadaf Ebrahimi
415*f5c631daSSadaf Ebrahimi uint8_t data2[] = {42};
416*f5c631daSSadaf Ebrahimi SUM_ARRAY_DOTEST(data2);
417*f5c631daSSadaf Ebrahimi
418*f5c631daSSadaf Ebrahimi uint8_t data3[1000];
419*f5c631daSSadaf Ebrahimi for (unsigned int i = 0; i < ARRAY_SIZE(data3); ++i) data3[i] = 255;
420*f5c631daSSadaf Ebrahimi SUM_ARRAY_DOTEST(data3);
421*f5c631daSSadaf Ebrahimi }
422*f5c631daSSadaf Ebrahimi
423*f5c631daSSadaf Ebrahimi
424*f5c631daSSadaf Ebrahimi #define ABS_DOTEST(X) \
425*f5c631daSSadaf Ebrahimi do { \
426*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
427*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, X); \
428*f5c631daSSadaf Ebrahimi TEST_FUNCTION(func_abs); \
429*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(0) == abs(X)); \
430*f5c631daSSadaf Ebrahimi } while (0)
431*f5c631daSSadaf Ebrahimi
TEST(abs)432*f5c631daSSadaf Ebrahimi TEST(abs) {
433*f5c631daSSadaf Ebrahimi START();
434*f5c631daSSadaf Ebrahimi
435*f5c631daSSadaf Ebrahimi Label func_abs;
436*f5c631daSSadaf Ebrahimi masm.Bind(&func_abs);
437*f5c631daSSadaf Ebrahimi GenerateAbs(&masm);
438*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
439*f5c631daSSadaf Ebrahimi
440*f5c631daSSadaf Ebrahimi ABS_DOTEST(-42);
441*f5c631daSSadaf Ebrahimi ABS_DOTEST(0);
442*f5c631daSSadaf Ebrahimi ABS_DOTEST(545);
443*f5c631daSSadaf Ebrahimi ABS_DOTEST(-428751489);
444*f5c631daSSadaf Ebrahimi }
445*f5c631daSSadaf Ebrahimi
446*f5c631daSSadaf Ebrahimi
TEST(crc32)447*f5c631daSSadaf Ebrahimi TEST(crc32) {
448*f5c631daSSadaf Ebrahimi START();
449*f5c631daSSadaf Ebrahimi
450*f5c631daSSadaf Ebrahimi Label crc32;
451*f5c631daSSadaf Ebrahimi masm.Bind(&crc32);
452*f5c631daSSadaf Ebrahimi GenerateCrc32(&masm);
453*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
454*f5c631daSSadaf Ebrahimi
455*f5c631daSSadaf Ebrahimi const char* msg = "Hello World!";
456*f5c631daSSadaf Ebrahimi uintptr_t msg_addr = reinterpret_cast<uintptr_t>(msg);
457*f5c631daSSadaf Ebrahimi size_t msg_size = strlen(msg);
458*f5c631daSSadaf Ebrahimi int64_t chksum = INT64_C(0xe3d6e35c);
459*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, msg_addr);
460*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(1, msg_size);
461*f5c631daSSadaf Ebrahimi TEST_FUNCTION(crc32);
462*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(0) == chksum);
463*f5c631daSSadaf Ebrahimi }
464*f5c631daSSadaf Ebrahimi
465*f5c631daSSadaf Ebrahimi
TEST(swap4)466*f5c631daSSadaf Ebrahimi TEST(swap4) {
467*f5c631daSSadaf Ebrahimi START();
468*f5c631daSSadaf Ebrahimi
469*f5c631daSSadaf Ebrahimi Label swap4;
470*f5c631daSSadaf Ebrahimi masm.Bind(&swap4);
471*f5c631daSSadaf Ebrahimi GenerateSwap4(&masm);
472*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
473*f5c631daSSadaf Ebrahimi
474*f5c631daSSadaf Ebrahimi int64_t a = 15;
475*f5c631daSSadaf Ebrahimi int64_t b = 26;
476*f5c631daSSadaf Ebrahimi int64_t c = 46;
477*f5c631daSSadaf Ebrahimi int64_t d = 79;
478*f5c631daSSadaf Ebrahimi
479*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, a);
480*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(1, b);
481*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(2, c);
482*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(3, d);
483*f5c631daSSadaf Ebrahimi TEST_FUNCTION(swap4);
484*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(0) == d);
485*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(1) == c);
486*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(2) == b);
487*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(3) == a);
488*f5c631daSSadaf Ebrahimi }
489*f5c631daSSadaf Ebrahimi
490*f5c631daSSadaf Ebrahimi
TEST(swap_int32)491*f5c631daSSadaf Ebrahimi TEST(swap_int32) {
492*f5c631daSSadaf Ebrahimi START();
493*f5c631daSSadaf Ebrahimi
494*f5c631daSSadaf Ebrahimi Label swap_int32;
495*f5c631daSSadaf Ebrahimi masm.Bind(&swap_int32);
496*f5c631daSSadaf Ebrahimi GenerateSwapInt32(&masm);
497*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
498*f5c631daSSadaf Ebrahimi
499*f5c631daSSadaf Ebrahimi int32_t x = 168;
500*f5c631daSSadaf Ebrahimi int32_t y = 246;
501*f5c631daSSadaf Ebrahimi simulator.WriteWRegister(0, x);
502*f5c631daSSadaf Ebrahimi simulator.WriteWRegister(1, y);
503*f5c631daSSadaf Ebrahimi TEST_FUNCTION(swap_int32);
504*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.wreg(0) == y);
505*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.wreg(1) == x);
506*f5c631daSSadaf Ebrahimi }
507*f5c631daSSadaf Ebrahimi
508*f5c631daSSadaf Ebrahimi
509*f5c631daSSadaf Ebrahimi #define CHECKBOUNDS_DOTEST(Value, Low, High) \
510*f5c631daSSadaf Ebrahimi do { \
511*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
512*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, Value); \
513*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(1, Low); \
514*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(2, High); \
515*f5c631daSSadaf Ebrahimi TEST_FUNCTION(check_bounds); \
516*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(0) == ((Low <= Value) && (Value <= High))); \
517*f5c631daSSadaf Ebrahimi } while (0)
518*f5c631daSSadaf Ebrahimi
TEST(check_bounds)519*f5c631daSSadaf Ebrahimi TEST(check_bounds) {
520*f5c631daSSadaf Ebrahimi START();
521*f5c631daSSadaf Ebrahimi
522*f5c631daSSadaf Ebrahimi Label check_bounds;
523*f5c631daSSadaf Ebrahimi masm.Bind(&check_bounds);
524*f5c631daSSadaf Ebrahimi GenerateCheckBounds(&masm);
525*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
526*f5c631daSSadaf Ebrahimi
527*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(0, 100, 200);
528*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(58, 100, 200);
529*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(99, 100, 200);
530*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(100, 100, 200);
531*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(101, 100, 200);
532*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(150, 100, 200);
533*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(199, 100, 200);
534*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(200, 100, 200);
535*f5c631daSSadaf Ebrahimi CHECKBOUNDS_DOTEST(201, 100, 200);
536*f5c631daSSadaf Ebrahimi }
537*f5c631daSSadaf Ebrahimi
538*f5c631daSSadaf Ebrahimi
539*f5c631daSSadaf Ebrahimi #define GETTING_STARTED_DOTEST(Value) \
540*f5c631daSSadaf Ebrahimi do { \
541*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
542*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, Value); \
543*f5c631daSSadaf Ebrahimi TEST_FUNCTION(demo_function); \
544*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.xreg(0) == (Value & 0x1122334455667788)); \
545*f5c631daSSadaf Ebrahimi } while (0)
546*f5c631daSSadaf Ebrahimi
TEST(getting_started)547*f5c631daSSadaf Ebrahimi TEST(getting_started) {
548*f5c631daSSadaf Ebrahimi START();
549*f5c631daSSadaf Ebrahimi
550*f5c631daSSadaf Ebrahimi Label demo_function;
551*f5c631daSSadaf Ebrahimi masm.Bind(&demo_function);
552*f5c631daSSadaf Ebrahimi GenerateDemoFunction(&masm);
553*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
554*f5c631daSSadaf Ebrahimi
555*f5c631daSSadaf Ebrahimi GETTING_STARTED_DOTEST(0x8899aabbccddeeff);
556*f5c631daSSadaf Ebrahimi GETTING_STARTED_DOTEST(0x1122334455667788);
557*f5c631daSSadaf Ebrahimi GETTING_STARTED_DOTEST(0x0000000000000000);
558*f5c631daSSadaf Ebrahimi GETTING_STARTED_DOTEST(0xffffffffffffffff);
559*f5c631daSSadaf Ebrahimi GETTING_STARTED_DOTEST(0x5a5a5a5a5a5a5a5a);
560*f5c631daSSadaf Ebrahimi }
561*f5c631daSSadaf Ebrahimi
562*f5c631daSSadaf Ebrahimi
TEST(non_const_visitor)563*f5c631daSSadaf Ebrahimi TEST(non_const_visitor) {
564*f5c631daSSadaf Ebrahimi MacroAssembler masm;
565*f5c631daSSadaf Ebrahimi
566*f5c631daSSadaf Ebrahimi Label code_start, code_end;
567*f5c631daSSadaf Ebrahimi masm.Bind(&code_start);
568*f5c631daSSadaf Ebrahimi GenerateNonConstVisitorTestCode(&masm);
569*f5c631daSSadaf Ebrahimi masm.Bind(&code_end);
570*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
571*f5c631daSSadaf Ebrahimi Instruction* instr_start = masm.GetLabelAddress<Instruction*>(&code_start);
572*f5c631daSSadaf Ebrahimi Instruction* instr_end = masm.GetLabelAddress<Instruction*>(&code_end);
573*f5c631daSSadaf Ebrahimi
574*f5c631daSSadaf Ebrahimi int64_t res_orig = RunNonConstVisitorTestGeneratedCode(instr_start);
575*f5c631daSSadaf Ebrahimi
576*f5c631daSSadaf Ebrahimi ModifyNonConstVisitorTestGeneratedCode(instr_start, instr_end);
577*f5c631daSSadaf Ebrahimi
578*f5c631daSSadaf Ebrahimi int64_t res_mod = RunNonConstVisitorTestGeneratedCode(instr_start);
579*f5c631daSSadaf Ebrahimi VIXL_CHECK(res_orig == -res_mod);
580*f5c631daSSadaf Ebrahimi }
581*f5c631daSSadaf Ebrahimi
582*f5c631daSSadaf Ebrahimi
TEST(literal_example)583*f5c631daSSadaf Ebrahimi TEST(literal_example) {
584*f5c631daSSadaf Ebrahimi VIXL_ASSERT(LiteralExample(1, 2) == 3);
585*f5c631daSSadaf Ebrahimi VIXL_ASSERT(LiteralExample(INT64_C(0x100000000), 0x1) ==
586*f5c631daSSadaf Ebrahimi INT64_C(0x100000001));
587*f5c631daSSadaf Ebrahimi }
588*f5c631daSSadaf Ebrahimi
589*f5c631daSSadaf Ebrahimi
590*f5c631daSSadaf Ebrahimi #ifdef VIXL_HAS_SIMULATED_RUNTIME_CALL_SUPPORT
591*f5c631daSSadaf Ebrahimi
592*f5c631daSSadaf Ebrahimi // This is an approximation of the result that works for the ranges tested
593*f5c631daSSadaf Ebrahimi // below.
594*f5c631daSSadaf Ebrahimi #define RUNTIME_CALLS_EXPECTED(A, B) ((A + B) * 4)
595*f5c631daSSadaf Ebrahimi
596*f5c631daSSadaf Ebrahimi #define RUNTIME_CALLS_DOTEST(A, B) \
597*f5c631daSSadaf Ebrahimi do { \
598*f5c631daSSadaf Ebrahimi simulator.ResetState(); \
599*f5c631daSSadaf Ebrahimi simulator.WriteWRegister(0, A); \
600*f5c631daSSadaf Ebrahimi simulator.WriteWRegister(1, B); \
601*f5c631daSSadaf Ebrahimi TEST_FUNCTION(start); \
602*f5c631daSSadaf Ebrahimi VIXL_CHECK(regs.wreg(0) == RUNTIME_CALLS_EXPECTED(A, B)); \
603*f5c631daSSadaf Ebrahimi } while (0)
604*f5c631daSSadaf Ebrahimi
TEST(runtime_calls)605*f5c631daSSadaf Ebrahimi TEST(runtime_calls) {
606*f5c631daSSadaf Ebrahimi START();
607*f5c631daSSadaf Ebrahimi
608*f5c631daSSadaf Ebrahimi Label start;
609*f5c631daSSadaf Ebrahimi masm.Bind(&start);
610*f5c631daSSadaf Ebrahimi GenerateRuntimeCallExamples(&masm);
611*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
612*f5c631daSSadaf Ebrahimi
613*f5c631daSSadaf Ebrahimi RUNTIME_CALLS_DOTEST(0, 0);
614*f5c631daSSadaf Ebrahimi RUNTIME_CALLS_DOTEST(1, -2);
615*f5c631daSSadaf Ebrahimi RUNTIME_CALLS_DOTEST(123, 456);
616*f5c631daSSadaf Ebrahimi }
617*f5c631daSSadaf Ebrahimi
618*f5c631daSSadaf Ebrahimi #endif // VIXL_HAS_SIMULATED_RUNTIME_CALL_SUPPORT
619*f5c631daSSadaf Ebrahimi
TEST(sve_strlen)620*f5c631daSSadaf Ebrahimi TEST(sve_strlen) {
621*f5c631daSSadaf Ebrahimi START();
622*f5c631daSSadaf Ebrahimi
623*f5c631daSSadaf Ebrahimi CPUFeatures cpu_features(CPUFeatures::kSVE);
624*f5c631daSSadaf Ebrahimi masm.SetCPUFeatures(cpu_features);
625*f5c631daSSadaf Ebrahimi
626*f5c631daSSadaf Ebrahimi Label sve_strlen;
627*f5c631daSSadaf Ebrahimi masm.Bind(&sve_strlen);
628*f5c631daSSadaf Ebrahimi GenerateSVEStrlen(&masm);
629*f5c631daSSadaf Ebrahimi masm.FinalizeCode();
630*f5c631daSSadaf Ebrahimi
631*f5c631daSSadaf Ebrahimi if (CanRun(cpu_features)) {
632*f5c631daSSadaf Ebrahimi const char* inputs[] =
633*f5c631daSSadaf Ebrahimi {"Exactly 15 chrs",
634*f5c631daSSadaf Ebrahimi "Exactly 16 chars",
635*f5c631daSSadaf Ebrahimi "Exactly 17 chars.",
636*f5c631daSSadaf Ebrahimi
637*f5c631daSSadaf Ebrahimi "This string is very long and will require multiple iterations, even "
638*f5c631daSSadaf Ebrahimi "with the maximum VL (256 bytes). This string is very long and will "
639*f5c631daSSadaf Ebrahimi "require multiple iterations, even with the maximum VL (256 bytes). "
640*f5c631daSSadaf Ebrahimi "This string is very long and will require multiple iterations, even "
641*f5c631daSSadaf Ebrahimi "with the maximum VL (256 bytes)."};
642*f5c631daSSadaf Ebrahimi
643*f5c631daSSadaf Ebrahimi for (size_t i = 0; i < ArrayLength(inputs); i++) {
644*f5c631daSSadaf Ebrahimi simulator.ResetState();
645*f5c631daSSadaf Ebrahimi simulator.WriteXRegister(0, reinterpret_cast<uintptr_t>(inputs[i]));
646*f5c631daSSadaf Ebrahimi TEST_FUNCTION(sve_strlen);
647*f5c631daSSadaf Ebrahimi VIXL_CHECK(static_cast<size_t>(regs.xreg(0)) == strlen(inputs[i]));
648*f5c631daSSadaf Ebrahimi }
649*f5c631daSSadaf Ebrahimi }
650*f5c631daSSadaf Ebrahimi }
651*f5c631daSSadaf Ebrahimi
652*f5c631daSSadaf Ebrahimi #endif // VIXL_INCLUDE_SIMULATOR_AARCH64
653