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 "aarch32/test-utils-aarch32.h"
28*f5c631daSSadaf Ebrahimi
29*f5c631daSSadaf Ebrahimi #define __ masm->
30*f5c631daSSadaf Ebrahimi
31*f5c631daSSadaf Ebrahimi namespace vixl {
32*f5c631daSSadaf Ebrahimi namespace aarch32 {
33*f5c631daSSadaf Ebrahimi
34*f5c631daSSadaf Ebrahimi #define VIXL_OFFSET(type, member) offsetof(type, member)
35*f5c631daSSadaf Ebrahimi
Dump(MacroAssembler * masm)36*f5c631daSSadaf Ebrahimi void RegisterDump::Dump(MacroAssembler* masm) {
37*f5c631daSSadaf Ebrahimi UseScratchRegisterScope scratch(masm);
38*f5c631daSSadaf Ebrahimi scratch.ExcludeAll();
39*f5c631daSSadaf Ebrahimi
40*f5c631daSSadaf Ebrahimi // Preserve some temporary registers.
41*f5c631daSSadaf Ebrahimi Register dump_base = r0;
42*f5c631daSSadaf Ebrahimi Register tmp = r1;
43*f5c631daSSadaf Ebrahimi
44*f5c631daSSadaf Ebrahimi // Check that the the dump registers can be used
45*f5c631daSSadaf Ebrahimi VIXL_STATIC_ASSERT(sizeof(dump_.r_[0]) == kRegSizeInBytes);
46*f5c631daSSadaf Ebrahimi VIXL_STATIC_ASSERT(sizeof(dump_.d_[0]) == kDRegSizeInBytes);
47*f5c631daSSadaf Ebrahimi
48*f5c631daSSadaf Ebrahimi // Offsets into the dump_ structure.
49*f5c631daSSadaf Ebrahimi const int r_offset = static_cast<int>(VIXL_OFFSET(dump_t, r_));
50*f5c631daSSadaf Ebrahimi const int d_offset = static_cast<int>(VIXL_OFFSET(dump_t, d_));
51*f5c631daSSadaf Ebrahimi const int flags_offset = static_cast<int>(VIXL_OFFSET(dump_t, flags_));
52*f5c631daSSadaf Ebrahimi
53*f5c631daSSadaf Ebrahimi __ Push(dump_base);
54*f5c631daSSadaf Ebrahimi __ Push(tmp);
55*f5c631daSSadaf Ebrahimi
56*f5c631daSSadaf Ebrahimi // Load the address of the dump_ structure.
57*f5c631daSSadaf Ebrahimi __ Mov(dump_base, Operand::From(&dump_));
58*f5c631daSSadaf Ebrahimi
59*f5c631daSSadaf Ebrahimi // Dump all core registers. Note that the stack pointer and temporary
60*f5c631daSSadaf Ebrahimi // registers will be stored again later after they are restored.
61*f5c631daSSadaf Ebrahimi for (unsigned i = 0; i < kNumberOfRegisters; i++) {
62*f5c631daSSadaf Ebrahimi Register rt(i);
63*f5c631daSSadaf Ebrahimi // In T32 mode, "str pc, [base, #offset]" is not allowed so we cannot store
64*f5c631daSSadaf Ebrahimi // the program counter this way. We could however compute the relative
65*f5c631daSSadaf Ebrahimi // offset from the start of the buffer and store it but it's not very
66*f5c631daSSadaf Ebrahimi // useful. So for now, testing the value of the PC is not supported.
67*f5c631daSSadaf Ebrahimi if (!rt.IsPC()) {
68*f5c631daSSadaf Ebrahimi __ Str(rt, MemOperand(dump_base, r_offset + (i * kRegSizeInBytes)));
69*f5c631daSSadaf Ebrahimi }
70*f5c631daSSadaf Ebrahimi }
71*f5c631daSSadaf Ebrahimi
72*f5c631daSSadaf Ebrahimi for (unsigned i = 0; i < kMaxNumberOfDRegisters; i++) {
73*f5c631daSSadaf Ebrahimi DRegister rt(i);
74*f5c631daSSadaf Ebrahimi __ Vstr(Untyped64,
75*f5c631daSSadaf Ebrahimi rt,
76*f5c631daSSadaf Ebrahimi MemOperand(dump_base, d_offset + (i * kDRegSizeInBytes)));
77*f5c631daSSadaf Ebrahimi }
78*f5c631daSSadaf Ebrahimi
79*f5c631daSSadaf Ebrahimi // Dump the flags.
80*f5c631daSSadaf Ebrahimi __ Mrs(tmp, APSR);
81*f5c631daSSadaf Ebrahimi __ Str(tmp, MemOperand(dump_base, flags_offset));
82*f5c631daSSadaf Ebrahimi
83*f5c631daSSadaf Ebrahimi // We need a new pointer to dump_ in order to dump the temporary registers and
84*f5c631daSSadaf Ebrahimi // the stack pointer.
85*f5c631daSSadaf Ebrahimi Register dump2_base = r2;
86*f5c631daSSadaf Ebrahimi // TODO: Assert that dump_base, dump2_base and tmp are not aliases.
87*f5c631daSSadaf Ebrahimi __ Mov(dump2_base, dump_base);
88*f5c631daSSadaf Ebrahimi
89*f5c631daSSadaf Ebrahimi __ Pop(tmp);
90*f5c631daSSadaf Ebrahimi __ Pop(dump_base);
91*f5c631daSSadaf Ebrahimi
92*f5c631daSSadaf Ebrahimi // Dump tmp, dump_base and the stack pointer.
93*f5c631daSSadaf Ebrahimi __ Str(tmp,
94*f5c631daSSadaf Ebrahimi MemOperand(dump2_base, r_offset + (tmp.GetCode() * kRegSizeInBytes)));
95*f5c631daSSadaf Ebrahimi __ Str(dump_base,
96*f5c631daSSadaf Ebrahimi MemOperand(dump2_base,
97*f5c631daSSadaf Ebrahimi r_offset + (dump_base.GetCode() * kRegSizeInBytes)));
98*f5c631daSSadaf Ebrahimi __ Str(sp, MemOperand(dump2_base, r_offset + (kSPRegNum * kRegSizeInBytes)));
99*f5c631daSSadaf Ebrahimi
100*f5c631daSSadaf Ebrahimi completed_ = true;
101*f5c631daSSadaf Ebrahimi }
102*f5c631daSSadaf Ebrahimi
103*f5c631daSSadaf Ebrahimi
Equal32(uint32_t expected,const RegisterDump *,uint32_t result)104*f5c631daSSadaf Ebrahimi bool Equal32(uint32_t expected, const RegisterDump*, uint32_t result) {
105*f5c631daSSadaf Ebrahimi if (result != expected) {
106*f5c631daSSadaf Ebrahimi printf("Expected 0x%08" PRIx32 "\t Found 0x%08" PRIx32 "\n",
107*f5c631daSSadaf Ebrahimi expected,
108*f5c631daSSadaf Ebrahimi result);
109*f5c631daSSadaf Ebrahimi }
110*f5c631daSSadaf Ebrahimi
111*f5c631daSSadaf Ebrahimi return expected == result;
112*f5c631daSSadaf Ebrahimi }
113*f5c631daSSadaf Ebrahimi
114*f5c631daSSadaf Ebrahimi
Equal32(uint32_t expected,const RegisterDump * core,const Register & reg)115*f5c631daSSadaf Ebrahimi bool Equal32(uint32_t expected, const RegisterDump* core, const Register& reg) {
116*f5c631daSSadaf Ebrahimi if (reg.IsPC()) {
117*f5c631daSSadaf Ebrahimi printf("Testing the value of the program counter is not supported.");
118*f5c631daSSadaf Ebrahimi return false;
119*f5c631daSSadaf Ebrahimi } else {
120*f5c631daSSadaf Ebrahimi return Equal32(expected, core, core->reg(reg.GetCode()));
121*f5c631daSSadaf Ebrahimi }
122*f5c631daSSadaf Ebrahimi }
123*f5c631daSSadaf Ebrahimi
124*f5c631daSSadaf Ebrahimi
Equal32(uint32_t expected,const RegisterDump * core,const SRegister & sreg)125*f5c631daSSadaf Ebrahimi bool Equal32(uint32_t expected,
126*f5c631daSSadaf Ebrahimi const RegisterDump* core,
127*f5c631daSSadaf Ebrahimi const SRegister& sreg) {
128*f5c631daSSadaf Ebrahimi return Equal32(expected, core, core->GetSRegisterBits(sreg.GetCode()));
129*f5c631daSSadaf Ebrahimi }
130*f5c631daSSadaf Ebrahimi
131*f5c631daSSadaf Ebrahimi
Equal64(uint64_t expected,const RegisterDump *,uint64_t result)132*f5c631daSSadaf Ebrahimi bool Equal64(uint64_t expected, const RegisterDump*, uint64_t result) {
133*f5c631daSSadaf Ebrahimi if (result != expected) {
134*f5c631daSSadaf Ebrahimi printf("Expected 0x%016" PRIx64 "\t Found 0x%016" PRIx64 "\n",
135*f5c631daSSadaf Ebrahimi expected,
136*f5c631daSSadaf Ebrahimi result);
137*f5c631daSSadaf Ebrahimi }
138*f5c631daSSadaf Ebrahimi
139*f5c631daSSadaf Ebrahimi return expected == result;
140*f5c631daSSadaf Ebrahimi }
141*f5c631daSSadaf Ebrahimi
142*f5c631daSSadaf Ebrahimi
Equal64(uint64_t expected,const RegisterDump * core,const DRegister & dreg)143*f5c631daSSadaf Ebrahimi bool Equal64(uint64_t expected,
144*f5c631daSSadaf Ebrahimi const RegisterDump* core,
145*f5c631daSSadaf Ebrahimi const DRegister& dreg) {
146*f5c631daSSadaf Ebrahimi return Equal64(expected, core, core->GetDRegisterBits(dreg.GetCode()));
147*f5c631daSSadaf Ebrahimi }
148*f5c631daSSadaf Ebrahimi
149*f5c631daSSadaf Ebrahimi
Equal128(vec128_t expected,const RegisterDump *,vec128_t result)150*f5c631daSSadaf Ebrahimi bool Equal128(vec128_t expected, const RegisterDump*, vec128_t result) {
151*f5c631daSSadaf Ebrahimi if ((result.h != expected.h) || (result.l != expected.l)) {
152*f5c631daSSadaf Ebrahimi printf("Expected 0x%016" PRIx64 "%016" PRIx64
153*f5c631daSSadaf Ebrahimi "\t "
154*f5c631daSSadaf Ebrahimi "Found 0x%016" PRIx64 "%016" PRIx64 "\n",
155*f5c631daSSadaf Ebrahimi expected.h,
156*f5c631daSSadaf Ebrahimi expected.l,
157*f5c631daSSadaf Ebrahimi result.h,
158*f5c631daSSadaf Ebrahimi result.l);
159*f5c631daSSadaf Ebrahimi }
160*f5c631daSSadaf Ebrahimi
161*f5c631daSSadaf Ebrahimi return ((expected.h == result.h) && (expected.l == result.l));
162*f5c631daSSadaf Ebrahimi }
163*f5c631daSSadaf Ebrahimi
164*f5c631daSSadaf Ebrahimi
Equal128(uint64_t expected_h,uint64_t expected_l,const RegisterDump * core,const QRegister & qreg)165*f5c631daSSadaf Ebrahimi bool Equal128(uint64_t expected_h,
166*f5c631daSSadaf Ebrahimi uint64_t expected_l,
167*f5c631daSSadaf Ebrahimi const RegisterDump* core,
168*f5c631daSSadaf Ebrahimi const QRegister& qreg) {
169*f5c631daSSadaf Ebrahimi vec128_t expected = {expected_l, expected_h};
170*f5c631daSSadaf Ebrahimi vec128_t result = core->GetQRegisterBits(qreg.GetCode());
171*f5c631daSSadaf Ebrahimi return Equal128(expected, core, result);
172*f5c631daSSadaf Ebrahimi }
173*f5c631daSSadaf Ebrahimi
174*f5c631daSSadaf Ebrahimi
FlagN(uint32_t flags)175*f5c631daSSadaf Ebrahimi static char FlagN(uint32_t flags) { return (flags & NFlag) ? 'N' : 'n'; }
176*f5c631daSSadaf Ebrahimi
177*f5c631daSSadaf Ebrahimi
FlagZ(uint32_t flags)178*f5c631daSSadaf Ebrahimi static char FlagZ(uint32_t flags) { return (flags & ZFlag) ? 'Z' : 'z'; }
179*f5c631daSSadaf Ebrahimi
180*f5c631daSSadaf Ebrahimi
FlagC(uint32_t flags)181*f5c631daSSadaf Ebrahimi static char FlagC(uint32_t flags) { return (flags & CFlag) ? 'C' : 'c'; }
182*f5c631daSSadaf Ebrahimi
183*f5c631daSSadaf Ebrahimi
FlagV(uint32_t flags)184*f5c631daSSadaf Ebrahimi static char FlagV(uint32_t flags) { return (flags & VFlag) ? 'V' : 'v'; }
185*f5c631daSSadaf Ebrahimi
186*f5c631daSSadaf Ebrahimi
EqualNzcv(uint32_t expected,uint32_t result)187*f5c631daSSadaf Ebrahimi bool EqualNzcv(uint32_t expected, uint32_t result) {
188*f5c631daSSadaf Ebrahimi VIXL_ASSERT((expected & ~NZCVFlag) == 0);
189*f5c631daSSadaf Ebrahimi VIXL_ASSERT((result & ~NZCVFlag) == 0);
190*f5c631daSSadaf Ebrahimi if (result != expected) {
191*f5c631daSSadaf Ebrahimi printf("Expected: %c%c%c%c\t Found: %c%c%c%c\n",
192*f5c631daSSadaf Ebrahimi FlagN(expected),
193*f5c631daSSadaf Ebrahimi FlagZ(expected),
194*f5c631daSSadaf Ebrahimi FlagC(expected),
195*f5c631daSSadaf Ebrahimi FlagV(expected),
196*f5c631daSSadaf Ebrahimi FlagN(result),
197*f5c631daSSadaf Ebrahimi FlagZ(result),
198*f5c631daSSadaf Ebrahimi FlagC(result),
199*f5c631daSSadaf Ebrahimi FlagV(result));
200*f5c631daSSadaf Ebrahimi return false;
201*f5c631daSSadaf Ebrahimi }
202*f5c631daSSadaf Ebrahimi
203*f5c631daSSadaf Ebrahimi return true;
204*f5c631daSSadaf Ebrahimi }
205*f5c631daSSadaf Ebrahimi
206*f5c631daSSadaf Ebrahimi
EqualFP32(float expected,const RegisterDump * core,const SRegister & sreg)207*f5c631daSSadaf Ebrahimi bool EqualFP32(float expected,
208*f5c631daSSadaf Ebrahimi const RegisterDump* core,
209*f5c631daSSadaf Ebrahimi const SRegister& sreg) {
210*f5c631daSSadaf Ebrahimi // Retrieve the corresponding S register
211*f5c631daSSadaf Ebrahimi uint32_t result = core->GetSRegisterBits(sreg.GetCode());
212*f5c631daSSadaf Ebrahimi
213*f5c631daSSadaf Ebrahimi if (FloatToRawbits(expected) == result) {
214*f5c631daSSadaf Ebrahimi return true;
215*f5c631daSSadaf Ebrahimi } else {
216*f5c631daSSadaf Ebrahimi if (IsNaN(expected) || (expected == 0.0)) {
217*f5c631daSSadaf Ebrahimi printf("Expected 0x%08" PRIx32 "\t Found 0x%08" PRIx32 "\n",
218*f5c631daSSadaf Ebrahimi FloatToRawbits(expected),
219*f5c631daSSadaf Ebrahimi result);
220*f5c631daSSadaf Ebrahimi } else {
221*f5c631daSSadaf Ebrahimi printf("Expected %.9f (0x%08" PRIx32
222*f5c631daSSadaf Ebrahimi ")\t "
223*f5c631daSSadaf Ebrahimi "Found %.9f (0x%08" PRIx32 ")\n",
224*f5c631daSSadaf Ebrahimi expected,
225*f5c631daSSadaf Ebrahimi FloatToRawbits(expected),
226*f5c631daSSadaf Ebrahimi RawbitsToFloat(result),
227*f5c631daSSadaf Ebrahimi result);
228*f5c631daSSadaf Ebrahimi }
229*f5c631daSSadaf Ebrahimi return false;
230*f5c631daSSadaf Ebrahimi }
231*f5c631daSSadaf Ebrahimi }
232*f5c631daSSadaf Ebrahimi
233*f5c631daSSadaf Ebrahimi
EqualFP64(double expected,const RegisterDump * core,const DRegister & dreg)234*f5c631daSSadaf Ebrahimi bool EqualFP64(double expected,
235*f5c631daSSadaf Ebrahimi const RegisterDump* core,
236*f5c631daSSadaf Ebrahimi const DRegister& dreg) {
237*f5c631daSSadaf Ebrahimi // Retrieve the corresponding D register
238*f5c631daSSadaf Ebrahimi uint64_t result = core->GetDRegisterBits(dreg.GetCode());
239*f5c631daSSadaf Ebrahimi
240*f5c631daSSadaf Ebrahimi if (DoubleToRawbits(expected) == result) {
241*f5c631daSSadaf Ebrahimi return true;
242*f5c631daSSadaf Ebrahimi }
243*f5c631daSSadaf Ebrahimi
244*f5c631daSSadaf Ebrahimi if (IsNaN(expected) || (expected == 0.0)) {
245*f5c631daSSadaf Ebrahimi printf("Expected 0x%016" PRIx64 "\t Found 0x%016" PRIx64 "\n",
246*f5c631daSSadaf Ebrahimi DoubleToRawbits(expected),
247*f5c631daSSadaf Ebrahimi DoubleToRawbits(result));
248*f5c631daSSadaf Ebrahimi } else {
249*f5c631daSSadaf Ebrahimi printf("Expected %.17f (0x%016" PRIx64
250*f5c631daSSadaf Ebrahimi ")\t "
251*f5c631daSSadaf Ebrahimi "Found %.17f (0x%016" PRIx64 ")\n",
252*f5c631daSSadaf Ebrahimi expected,
253*f5c631daSSadaf Ebrahimi DoubleToRawbits(expected),
254*f5c631daSSadaf Ebrahimi RawbitsToDouble(result),
255*f5c631daSSadaf Ebrahimi result);
256*f5c631daSSadaf Ebrahimi }
257*f5c631daSSadaf Ebrahimi return false;
258*f5c631daSSadaf Ebrahimi }
259*f5c631daSSadaf Ebrahimi
260*f5c631daSSadaf Ebrahimi
261*f5c631daSSadaf Ebrahimi } // namespace aarch32
262*f5c631daSSadaf Ebrahimi } // namespace vixl
263