source: webkit/trunk/JavaScriptCore/assembler/MacroAssemblerARMv7.h@ 44514

Last change on this file since 44514 was 44514, checked in by [email protected], 16 years ago

2009-06-08 Gavin Barraclough <[email protected]>

Reviewed by Geoff Garen.

Add (incomplete) support to YARR for running with the jit enabled
on Arm thumb2 platforms. Adds new Assembler/MacroAssembler classes,
along with cache flushing support, tweaks to MacroAssemblerCodePtr
to support decorated thumb code pointers, and new enter/exit code
to YARR jit for the platform.

Support for this platform is still under development - the assembler
currrently only supports planting and linking jumps with a 16Mb range.
As such, initially commiting in a disabled state.

Add new assembler files.

  • assembler/ARMv7Assembler.h: Added.

Add new Assembler.

  • assembler/AbstractMacroAssembler.h:

Tweaks to ensure sizes of pointer values planted in JIT code do not change.

  • assembler/MacroAssembler.h:

On ARMv7 platforms use MacroAssemblerARMv7.

  • assembler/MacroAssemblerARMv7.h: Added.

Add new MacroAssembler.

  • assembler/MacroAssemblerCodeRef.h: (JSC::FunctionPtr::FunctionPtr):

Add better ASSERT.

(JSC::ReturnAddressPtr::ReturnAddressPtr):

Add better ASSERT.

(JSC::MacroAssemblerCodePtr::MacroAssemblerCodePtr):

On ARMv7, MacroAssemblerCodePtr's mush be 'decorated' with a low bit set,
to indicate to the processor that the code is thumb code, not traditional
32-bit ARM.

(JSC::MacroAssemblerCodePtr::dataLocation):

On ARMv7, decoration must be removed.

  • jit/ExecutableAllocator.h: (JSC::ExecutableAllocator::makeWritable):

Reformatted, no change.

(JSC::ExecutableAllocator::makeExecutable):

When marking code executable also cache flush it, where necessary.

(JSC::ExecutableAllocator::MakeWritable::MakeWritable):

Only use the null implementation of this class if both !ASSEMBLER_WX_EXCLUSIVE
and running on x86(_64) - on other platforms we may also need ensure that
makeExecutable is called at the end to flush caches.

(JSC::ExecutableAllocator::reprotectRegion):

Reformatted, no change.

(JSC::ExecutableAllocator::cacheFlush):

Cache flush a region of memory, or platforms where this is necessary.

  • wtf/Platform.h:

Add changes necessary to allow YARR jit to build on this platform, disabled.

  • yarr/RegexJIT.cpp: (JSC::Yarr::RegexGenerator::generateEnter): (JSC::Yarr::RegexGenerator::generateReturn):

Add support to these methods for ARMv7.

File size: 32.2 KB
Line 
1/*
2 * Copyright (C) 2008 Apple Inc. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 * 1. Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution.
12 *
13 * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
17 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24 */
25
26#ifndef MacroAssemblerARMv7_h
27#define MacroAssemblerARMv7_h
28
29#include <wtf/Platform.h>
30
31#if ENABLE(ASSEMBLER)
32
33#include "ARMv7Assembler.h"
34#include "AbstractMacroAssembler.h"
35
36namespace JSC {
37
38class MacroAssemblerARMv7 : public AbstractMacroAssembler<ARMv7Assembler> {
39 // FIXME: switch dataTempRegister & addressTempRegister, or possibly use r7?
40 // - dTR is likely used more than aTR, and we'll get better instruction
41 // encoding if it's in the low 8 registers.
42 static const ARM::RegisterID dataTempRegister = ARM::ip;
43 static const RegisterID addressTempRegister = ARM::r3;
44 static const FPRegisterID fpTempRegister = ARM::d7;
45
46 struct ArmAddress {
47 enum AddressType {
48 HasOffset,
49 HasIndex,
50 } type;
51 RegisterID base;
52 union {
53 int32_t offset;
54 struct {
55 RegisterID index;
56 Scale scale;
57 };
58 } u;
59
60 explicit ArmAddress(RegisterID base, int32_t offset = 0)
61 : type(HasOffset)
62 , base(base)
63 {
64 u.offset = offset;
65 }
66
67 explicit ArmAddress(RegisterID base, RegisterID index, Scale scale = TimesOne)
68 : type(HasIndex)
69 , base(base)
70 {
71 u.index = index;
72 u.scale = scale;
73 }
74 };
75
76public:
77
78 static const Scale ScalePtr = TimesFour;
79
80 enum Condition {
81 Equal = ARMv7Assembler::ConditionEQ,
82 NotEqual = ARMv7Assembler::ConditionNE,
83 Above = ARMv7Assembler::ConditionHI,
84 AboveOrEqual = ARMv7Assembler::ConditionHS,
85 Below = ARMv7Assembler::ConditionLO,
86 BelowOrEqual = ARMv7Assembler::ConditionLS,
87 GreaterThan = ARMv7Assembler::ConditionGT,
88 GreaterThanOrEqual = ARMv7Assembler::ConditionGE,
89 LessThan = ARMv7Assembler::ConditionLT,
90 LessThanOrEqual = ARMv7Assembler::ConditionLE,
91 Overflow = ARMv7Assembler::ConditionVS,
92 Signed = ARMv7Assembler::ConditionMI,
93 Zero = ARMv7Assembler::ConditionEQ,
94 NonZero = ARMv7Assembler::ConditionNE
95 };
96
97 enum DoubleCondition {
98 DoubleEqual = ARMv7Assembler::ConditionEQ,
99 DoubleGreaterThan = ARMv7Assembler::ConditionGT,
100 DoubleGreaterThanOrEqual = ARMv7Assembler::ConditionGE,
101 DoubleLessThan = ARMv7Assembler::ConditionLO,
102 DoubleLessThanOrEqual = ARMv7Assembler::ConditionLS,
103 };
104
105 static const RegisterID stackPointerRegister = ARM::sp;
106 static const RegisterID linkRegister = ARM::lr;
107
108 // Integer arithmetic operations:
109 //
110 // Operations are typically two operand - operation(source, srcDst)
111 // For many operations the source may be an Imm32, the srcDst operand
112 // may often be a memory location (explictly described using an Address
113 // object).
114
115 void add32(RegisterID src, RegisterID dest)
116 {
117 m_assembler.add(dest, dest, src);
118 }
119
120 void add32(Imm32 imm, RegisterID dest)
121 {
122 add32(imm, dest, dest);
123 }
124
125 void add32(Imm32 imm, RegisterID src, RegisterID dest)
126 {
127 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12OrEncodedImm(imm.m_value);
128 if (armImm.isValid())
129 m_assembler.add(dest, src, armImm);
130 else {
131 move(imm, dataTempRegister);
132 m_assembler.add(dest, src, dataTempRegister);
133 }
134 }
135
136 void add32(Imm32 imm, Address address)
137 {
138 load32(address, dataTempRegister);
139
140 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12OrEncodedImm(imm.m_value);
141 if (armImm.isValid())
142 m_assembler.add(dataTempRegister, dataTempRegister, armImm);
143 else {
144 // Hrrrm, since dataTempRegister holds the data loaded,
145 // use addressTempRegister to hold the immediate.
146 move(imm, addressTempRegister);
147 m_assembler.add(dataTempRegister, dataTempRegister, addressTempRegister);
148 }
149
150 store32(dataTempRegister, address);
151 }
152
153 void add32(Address src, RegisterID dest)
154 {
155 load32(src, dataTempRegister);
156 add32(dataTempRegister, dest);
157 }
158
159 void add32(Imm32 imm, AbsoluteAddress address)
160 {
161 load32(address.m_ptr, dataTempRegister);
162
163 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12OrEncodedImm(imm.m_value);
164 if (armImm.isValid())
165 m_assembler.add(dataTempRegister, dataTempRegister, armImm);
166 else {
167 // Hrrrm, since dataTempRegister holds the data loaded,
168 // use addressTempRegister to hold the immediate.
169 move(imm, addressTempRegister);
170 m_assembler.add(dataTempRegister, dataTempRegister, addressTempRegister);
171 }
172
173 store32(dataTempRegister, address.m_ptr);
174 }
175
176 void and32(RegisterID src, RegisterID dest)
177 {
178 m_assembler.ARM_and(dest, dest, src);
179 }
180
181 void and32(Imm32 imm, RegisterID dest)
182 {
183 ARMThumbImmediate armImm = ARMThumbImmediate::makeEncodedImm(imm.m_value);
184 if (armImm.isValid())
185 m_assembler.ARM_and(dest, dest, armImm);
186 else {
187 move(imm, dataTempRegister);
188 m_assembler.ARM_and(dest, dest, dataTempRegister);
189 }
190 }
191
192 void lshift32(Imm32 imm, RegisterID dest)
193 {
194 m_assembler.lsl(dest, dest, imm.m_value);
195 }
196
197 void lshift32(RegisterID shift_amount, RegisterID dest)
198 {
199 m_assembler.lsl(dest, dest, shift_amount);
200 }
201
202 void mul32(RegisterID src, RegisterID dest)
203 {
204 m_assembler.smull(dest, dataTempRegister, dest, src);
205 }
206
207 void mul32(Imm32 imm, RegisterID src, RegisterID dest)
208 {
209 move(imm, dataTempRegister);
210 m_assembler.smull(dest, dataTempRegister, src, dataTempRegister);
211 }
212
213 void not32(RegisterID srcDest)
214 {
215 m_assembler.mvn(srcDest, srcDest);
216 }
217
218 void or32(RegisterID src, RegisterID dest)
219 {
220 m_assembler.orr(dest, dest, src);
221 }
222
223 void or32(Imm32 imm, RegisterID dest)
224 {
225 ARMThumbImmediate armImm = ARMThumbImmediate::makeEncodedImm(imm.m_value);
226 if (armImm.isValid())
227 m_assembler.orr(dest, dest, armImm);
228 else {
229 move(imm, dataTempRegister);
230 m_assembler.orr(dest, dest, dataTempRegister);
231 }
232 }
233
234 void rshift32(RegisterID shift_amount, RegisterID dest)
235 {
236 m_assembler.asr(dest, dest, shift_amount);
237 }
238
239 void rshift32(Imm32 imm, RegisterID dest)
240 {
241 m_assembler.asr(dest, dest, imm.m_value);
242 }
243
244 void sub32(RegisterID src, RegisterID dest)
245 {
246 m_assembler.sub(dest, dest, src);
247 }
248
249 void sub32(Imm32 imm, RegisterID dest)
250 {
251 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12OrEncodedImm(imm.m_value);
252 if (armImm.isValid())
253 m_assembler.sub(dest, dest, armImm);
254 else {
255 move(imm, dataTempRegister);
256 m_assembler.sub(dest, dest, dataTempRegister);
257 }
258 }
259
260 void sub32(Imm32 imm, Address address)
261 {
262 load32(address, dataTempRegister);
263
264 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12OrEncodedImm(imm.m_value);
265 if (armImm.isValid())
266 m_assembler.sub(dataTempRegister, dataTempRegister, armImm);
267 else {
268 // Hrrrm, since dataTempRegister holds the data loaded,
269 // use addressTempRegister to hold the immediate.
270 move(imm, addressTempRegister);
271 m_assembler.sub(dataTempRegister, dataTempRegister, addressTempRegister);
272 }
273
274 store32(dataTempRegister, address);
275 }
276
277 void sub32(Address src, RegisterID dest)
278 {
279 load32(src, dataTempRegister);
280 sub32(dataTempRegister, dest);
281 }
282
283 void sub32(Imm32 imm, AbsoluteAddress address)
284 {
285 load32(address.m_ptr, dataTempRegister);
286
287 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12OrEncodedImm(imm.m_value);
288 if (armImm.isValid())
289 m_assembler.sub(dataTempRegister, dataTempRegister, armImm);
290 else {
291 // Hrrrm, since dataTempRegister holds the data loaded,
292 // use addressTempRegister to hold the immediate.
293 move(imm, addressTempRegister);
294 m_assembler.sub(dataTempRegister, dataTempRegister, addressTempRegister);
295 }
296
297 store32(dataTempRegister, address.m_ptr);
298 }
299
300 void xor32(RegisterID src, RegisterID dest)
301 {
302 m_assembler.eor(dest, dest, src);
303 }
304
305 void xor32(Imm32 imm, RegisterID dest)
306 {
307 ARMThumbImmediate armImm = ARMThumbImmediate::makeEncodedImm(imm.m_value);
308 if (armImm.isValid())
309 m_assembler.eor(dest, dest, armImm);
310 else {
311 move(imm, dataTempRegister);
312 m_assembler.eor(dest, dest, dataTempRegister);
313 }
314 }
315
316
317 // Memory access operations:
318 //
319 // Loads are of the form load(address, destination) and stores of the form
320 // store(source, address). The source for a store may be an Imm32. Address
321 // operand objects to loads and store will be implicitly constructed if a
322 // register is passed.
323
324private:
325 void load32(ArmAddress address, RegisterID dest)
326 {
327 if (address.type == ArmAddress::HasIndex)
328 m_assembler.ldr(dest, address.base, address.u.index, address.u.scale);
329 else if (address.u.offset >= 0) {
330 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12(address.u.offset);
331 ASSERT(armImm.isValid());
332 m_assembler.ldr(dest, address.base, armImm);
333 } else {
334 ASSERT(address.u.offset >= -255);
335 m_assembler.ldr(dest, address.base, address.u.offset, true, false);
336 }
337 }
338
339 void load16(ArmAddress address, RegisterID dest)
340 {
341 if (address.type == ArmAddress::HasIndex)
342 m_assembler.ldrh(dest, address.base, address.u.index, address.u.scale);
343 else if (address.u.offset >= 0) {
344 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12(address.u.offset);
345 ASSERT(armImm.isValid());
346 m_assembler.ldrh(dest, address.base, armImm);
347 } else {
348 ASSERT(address.u.offset >= -255);
349 m_assembler.ldrh(dest, address.base, address.u.offset, true, false);
350 }
351 }
352
353 void store32(RegisterID src, ArmAddress address)
354 {
355 if (address.type == ArmAddress::HasIndex)
356 m_assembler.str(src, address.base, address.u.index, address.u.scale);
357 else if (address.u.offset >= 0) {
358 ARMThumbImmediate armImm = ARMThumbImmediate::makeUInt12(address.u.offset);
359 ASSERT(armImm.isValid());
360 m_assembler.str(src, address.base, armImm);
361 } else {
362 ASSERT(address.u.offset >= -255);
363 m_assembler.str(src, address.base, address.u.offset, true, false);
364 }
365 }
366
367public:
368 void load32(ImplicitAddress address, RegisterID dest)
369 {
370 load32(setupArmAddress(address), dest);
371 }
372
373 void load32(BaseIndex address, RegisterID dest)
374 {
375 load32(setupArmAddress(address), dest);
376 }
377
378 void load32(void* address, RegisterID dest)
379 {
380 move(Imm32(reinterpret_cast<intptr_t>(address)), addressTempRegister);
381 m_assembler.ldr(dest, addressTempRegister, ARMThumbImmediate::makeUInt16(0));
382 }
383
384 DataLabel32 load32WithAddressOffsetPatch(Address address, RegisterID dest)
385 {
386 DataLabel32 label = moveWithPatch(Imm32(address.offset), dataTempRegister);
387 load32(ArmAddress(address.base, dataTempRegister), dest);
388 return label;
389 }
390
391 void load16(BaseIndex address, RegisterID dest)
392 {
393 m_assembler.ldrh(dest, makeBaseIndexBase(address), address.index, address.scale);
394 }
395
396 DataLabel32 store32WithAddressOffsetPatch(RegisterID src, Address address)
397 {
398 DataLabel32 label = moveWithPatch(Imm32(address.offset), dataTempRegister);
399 store32(src, ArmAddress(address.base, dataTempRegister));
400 return label;
401 }
402
403 void store32(RegisterID src, ImplicitAddress address)
404 {
405 store32(src, setupArmAddress(address));
406 }
407
408 void store32(RegisterID src, BaseIndex address)
409 {
410 store32(src, setupArmAddress(address));
411 }
412
413 void store32(Imm32 imm, ImplicitAddress address)
414 {
415 move(imm, dataTempRegister);
416 store32(dataTempRegister, setupArmAddress(address));
417 }
418
419 void store32(RegisterID src, void* address)
420 {
421 move(Imm32(reinterpret_cast<intptr_t>(address)), addressTempRegister);
422 m_assembler.str(src, addressTempRegister, ARMThumbImmediate::makeUInt16(0));
423 }
424
425 void store32(Imm32 imm, void* address)
426 {
427 move(imm, dataTempRegister);
428 store32(dataTempRegister, address);
429 }
430
431
432 // Floating-point operations:
433
434 bool supportsFloatingPoint() const { return false; }
435
436 void loadDouble(ImplicitAddress, FPRegisterID)
437 {
438 ASSERT_NOT_REACHED();
439 }
440
441 void storeDouble(FPRegisterID, ImplicitAddress)
442 {
443 ASSERT_NOT_REACHED();
444 }
445
446 void addDouble(FPRegisterID, FPRegisterID)
447 {
448 ASSERT_NOT_REACHED();
449 }
450
451 void addDouble(Address, FPRegisterID)
452 {
453 ASSERT_NOT_REACHED();
454 }
455
456 void subDouble(FPRegisterID, FPRegisterID)
457 {
458 ASSERT_NOT_REACHED();
459 }
460
461 void subDouble(Address, FPRegisterID)
462 {
463 ASSERT_NOT_REACHED();
464 }
465
466 void mulDouble(FPRegisterID, FPRegisterID)
467 {
468 ASSERT_NOT_REACHED();
469 }
470
471 void mulDouble(Address, FPRegisterID)
472 {
473 ASSERT_NOT_REACHED();
474 }
475
476 void convertInt32ToDouble(RegisterID, FPRegisterID)
477 {
478 ASSERT_NOT_REACHED();
479 }
480
481 Jump branchDouble(DoubleCondition, FPRegisterID, FPRegisterID)
482 {
483 ASSERT_NOT_REACHED();
484 }
485
486 Jump branchTruncateDoubleToInt32(FPRegisterID, RegisterID)
487 {
488 ASSERT_NOT_REACHED();
489 }
490
491
492 // Stack manipulation operations:
493 //
494 // The ABI is assumed to provide a stack abstraction to memory,
495 // containing machine word sized units of data. Push and pop
496 // operations add and remove a single register sized unit of data
497 // to or from the stack. Peek and poke operations read or write
498 // values on the stack, without moving the current stack position.
499
500 void pop(RegisterID dest)
501 {
502 // store postindexed with writeback
503 m_assembler.ldr(dest, ARM::sp, sizeof(void*), false, true);
504 }
505
506 void push(RegisterID src)
507 {
508 // store preindexed with writeback
509 m_assembler.str(src, ARM::sp, -sizeof(void*), true, true);
510 }
511
512 void push(Address address)
513 {
514 load32(address, dataTempRegister);
515 push(dataTempRegister);
516 }
517
518 void push(Imm32 imm)
519 {
520 move(imm, dataTempRegister);
521 push(dataTempRegister);
522 }
523
524 // Register move operations:
525 //
526 // Move values in registers.
527
528 void move(Imm32 imm, RegisterID dest)
529 {
530 uint32_t value = imm.m_value;
531
532 if (imm.m_isPointer) {
533 m_assembler.mov(dest, ARMThumbImmediate::makeUInt16(value));
534 m_assembler.movt(dest, ARMThumbImmediate::makeUInt16(value >> 16));
535 } else {
536 ARMThumbImmediate armImm = ARMThumbImmediate::makeEncodedImm(value);
537
538 if (armImm.isValid())
539 m_assembler.mov(dest, armImm);
540 else if ((armImm = ARMThumbImmediate::makeEncodedImm(~value)).isValid())
541 m_assembler.mvn(dest, armImm);
542 else {
543 m_assembler.mov(dest, ARMThumbImmediate::makeUInt16(value));
544 if (value & 0xffff0000)
545 m_assembler.movt(dest, ARMThumbImmediate::makeUInt16(value >> 16));
546 }
547 }
548 }
549
550 void move(RegisterID src, RegisterID dest)
551 {
552 m_assembler.mov(dest, src);
553 }
554
555 void move(ImmPtr imm, RegisterID dest)
556 {
557 move(Imm32(imm), dest);
558 }
559
560 void swap(RegisterID reg1, RegisterID reg2)
561 {
562 move(reg1, dataTempRegister);
563 move(reg2, reg1);
564 move(dataTempRegister, reg2);
565 }
566
567 void signExtend32ToPtr(RegisterID src, RegisterID dest)
568 {
569 if (src != dest)
570 move(src, dest);
571 }
572
573 void zeroExtend32ToPtr(RegisterID src, RegisterID dest)
574 {
575 if (src != dest)
576 move(src, dest);
577 }
578
579
580 // Forwards / external control flow operations:
581 //
582 // This set of jump and conditional branch operations return a Jump
583 // object which may linked at a later point, allow forwards jump,
584 // or jumps that will require external linkage (after the code has been
585 // relocated).
586 //
587 // For branches, signed <, >, <= and >= are denoted as l, g, le, and ge
588 // respecitvely, for unsigned comparisons the names b, a, be, and ae are
589 // used (representing the names 'below' and 'above').
590 //
591 // Operands to the comparision are provided in the expected order, e.g.
592 // jle32(reg1, Imm32(5)) will branch if the value held in reg1, when
593 // treated as a signed 32bit value, is less than or equal to 5.
594 //
595 // jz and jnz test whether the first operand is equal to zero, and take
596 // an optional second operand of a mask under which to perform the test.
597private:
598
599 // Should we be using TEQ for equal/not-equal?
600 void compare32(RegisterID left, Imm32 right)
601 {
602 int32_t imm = right.m_value;
603 if (!imm)
604 m_assembler.tst(left, left);
605 else {
606 ARMThumbImmediate armImm = ARMThumbImmediate::makeEncodedImm(imm);
607 if (armImm.isValid())
608 m_assembler.cmp(left, armImm);
609 if ((armImm = ARMThumbImmediate::makeEncodedImm(-imm)).isValid())
610 m_assembler.cmn(left, armImm);
611 else {
612 move(Imm32(imm), dataTempRegister);
613 m_assembler.cmp(left, dataTempRegister);
614 }
615 }
616 }
617
618 void test32(RegisterID reg, Imm32 mask)
619 {
620 int32_t imm = mask.m_value;
621
622 if (imm == -1)
623 m_assembler.tst(reg, reg);
624 else {
625 ARMThumbImmediate armImm = ARMThumbImmediate::makeEncodedImm(imm);
626 if (armImm.isValid())
627 m_assembler.tst(reg, armImm);
628 else {
629 move(mask, dataTempRegister);
630 m_assembler.tst(reg, dataTempRegister);
631 }
632 }
633 }
634
635public:
636 Jump branch32(Condition cond, RegisterID left, RegisterID right)
637 {
638 m_assembler.cmp(left, right);
639 return Jump(makeBranch(cond));
640 }
641
642 Jump branch32(Condition cond, RegisterID left, Imm32 right)
643 {
644 compare32(left, right);
645 return Jump(makeBranch(cond));
646 }
647
648 Jump branch32(Condition cond, RegisterID left, Address right)
649 {
650 load32(right, dataTempRegister);
651 return branch32(cond, left, dataTempRegister);
652 }
653
654 Jump branch32(Condition cond, Address left, RegisterID right)
655 {
656 load32(left, dataTempRegister);
657 return branch32(cond, dataTempRegister, right);
658 }
659
660 Jump branch32(Condition cond, Address left, Imm32 right)
661 {
662 // use addressTempRegister incase the branch32 we call uses dataTempRegister. :-/
663 load32(left, addressTempRegister);
664 return branch32(cond, addressTempRegister, right);
665 }
666
667 Jump branch32(Condition cond, BaseIndex left, Imm32 right)
668 {
669 // use addressTempRegister incase the branch32 we call uses dataTempRegister. :-/
670 load32(left, addressTempRegister);
671 return branch32(cond, addressTempRegister, right);
672 }
673
674 Jump branch32(Condition cond, AbsoluteAddress left, RegisterID right)
675 {
676 load32(left.m_ptr, dataTempRegister);
677 return branch32(cond, dataTempRegister, right);
678 }
679
680 Jump branch32(Condition cond, AbsoluteAddress left, Imm32 right)
681 {
682 // use addressTempRegister incase the branch32 we call uses dataTempRegister. :-/
683 load32(left.m_ptr, addressTempRegister);
684 return branch32(cond, addressTempRegister, right);
685 }
686
687 Jump branch16(Condition cond, BaseIndex left, RegisterID right)
688 {
689 load16(left, dataTempRegister);
690 m_assembler.lsl(addressTempRegister, right, 16);
691 m_assembler.lsl(dataTempRegister, dataTempRegister, 16);
692 return branch32(cond, dataTempRegister, addressTempRegister);
693 }
694
695 Jump branch16(Condition cond, BaseIndex left, Imm32 right)
696 {
697 // use addressTempRegister incase the branch32 we call uses dataTempRegister. :-/
698 load16(left, addressTempRegister);
699 m_assembler.lsl(addressTempRegister, addressTempRegister, 16);
700 return branch32(cond, addressTempRegister, Imm32(right.m_value << 16));
701 }
702
703 Jump branchTest32(Condition cond, RegisterID reg, RegisterID mask)
704 {
705 ASSERT((cond == Zero) || (cond == NonZero));
706 m_assembler.tst(reg, mask);
707 return Jump(makeBranch(cond));
708 }
709
710 Jump branchTest32(Condition cond, RegisterID reg, Imm32 mask = Imm32(-1))
711 {
712 ASSERT((cond == Zero) || (cond == NonZero));
713 test32(reg, mask);
714 return Jump(makeBranch(cond));
715 }
716
717 Jump branchTest32(Condition cond, Address address, Imm32 mask = Imm32(-1))
718 {
719 ASSERT((cond == Zero) || (cond == NonZero));
720 // use addressTempRegister incase the branchTest32 we call uses dataTempRegister. :-/
721 load32(address, addressTempRegister);
722 return branchTest32(cond, addressTempRegister, mask);
723 }
724
725 Jump branchTest32(Condition cond, BaseIndex address, Imm32 mask = Imm32(-1))
726 {
727 ASSERT((cond == Zero) || (cond == NonZero));
728 // use addressTempRegister incase the branchTest32 we call uses dataTempRegister. :-/
729 load32(address, addressTempRegister);
730 return branchTest32(cond, addressTempRegister, mask);
731 }
732
733 Jump jump()
734 {
735 return Jump(makeJump());
736 }
737
738 void jump(RegisterID target)
739 {
740 m_assembler.bx(target);
741 }
742
743 // Address is a memory location containing the address to jump to
744 void jump(Address address)
745 {
746 load32(address, dataTempRegister);
747 m_assembler.bx(dataTempRegister);
748 }
749
750
751 // Arithmetic control flow operations:
752 //
753 // This set of conditional branch operations branch based
754 // on the result of an arithmetic operation. The operation
755 // is performed as normal, storing the result.
756 //
757 // * jz operations branch if the result is zero.
758 // * jo operations branch if the (signed) arithmetic
759 // operation caused an overflow to occur.
760
761 Jump branchAdd32(Condition cond, RegisterID src, RegisterID dest)
762 {
763 ASSERT((cond == Overflow) || (cond == Signed) || (cond == Zero) || (cond == NonZero));
764 m_assembler.add_S(dest, dest, src);
765 return Jump(makeBranch(cond));
766 }
767
768 Jump branchAdd32(Condition cond, Imm32 imm, RegisterID dest)
769 {
770 ASSERT((cond == Overflow) || (cond == Signed) || (cond == Zero) || (cond == NonZero));
771 ARMThumbImmediate armImm = ARMThumbImmediate::makeEncodedImm(imm.m_value);
772 if (armImm.isValid())
773 m_assembler.add_S(dest, dest, armImm);
774 else {
775 move(imm, dataTempRegister);
776 m_assembler.add_S(dest, dest, dataTempRegister);
777 }
778 return Jump(makeBranch(cond));
779 }
780
781 Jump branchMul32(Condition cond, RegisterID src, RegisterID dest)
782 {
783 ASSERT(cond == Overflow);
784 m_assembler.smull(dest, dataTempRegister, dest, src);
785 m_assembler.asr(addressTempRegister, dest, 31);
786 return branch32(NotEqual, addressTempRegister, dataTempRegister);
787 }
788
789 Jump branchMul32(Condition cond, Imm32 imm, RegisterID src, RegisterID dest)
790 {
791 ASSERT(cond == Overflow);
792 move(imm, dataTempRegister);
793 m_assembler.smull(dest, dataTempRegister, src, dataTempRegister);
794 m_assembler.asr(addressTempRegister, dest, 31);
795 return branch32(NotEqual, addressTempRegister, dataTempRegister);
796 }
797
798 Jump branchSub32(Condition cond, RegisterID src, RegisterID dest)
799 {
800 ASSERT((cond == Overflow) || (cond == Signed) || (cond == Zero) || (cond == NonZero));
801 m_assembler.sub_S(dest, dest, src);
802 return Jump(makeBranch(cond));
803 }
804
805 Jump branchSub32(Condition cond, Imm32 imm, RegisterID dest)
806 {
807 ASSERT((cond == Overflow) || (cond == Signed) || (cond == Zero) || (cond == NonZero));
808 ARMThumbImmediate armImm = ARMThumbImmediate::makeEncodedImm(imm.m_value);
809 if (armImm.isValid())
810 m_assembler.sub_S(dest, dest, armImm);
811 else {
812 move(imm, dataTempRegister);
813 m_assembler.sub_S(dest, dest, dataTempRegister);
814 }
815 return Jump(makeBranch(cond));
816 }
817
818
819 // Miscellaneous operations:
820
821 void breakpoint()
822 {
823 m_assembler.bkpt();
824 }
825
826 Call nearCall()
827 {
828 m_assembler.movT3(dataTempRegister, ARMThumbImmediate::makeUInt16(0));
829 m_assembler.movt(dataTempRegister, ARMThumbImmediate::makeUInt16(0));
830 return Call(m_assembler.blx(dataTempRegister), Call::LinkableNear);
831 }
832
833 Call call()
834 {
835 m_assembler.movT3(dataTempRegister, ARMThumbImmediate::makeUInt16(0));
836 m_assembler.movt(dataTempRegister, ARMThumbImmediate::makeUInt16(0));
837 return Call(m_assembler.blx(dataTempRegister), Call::Linkable);
838 }
839
840 Call call(RegisterID target)
841 {
842 return Call(m_assembler.blx(target), Call::None);
843 }
844
845 Call call(Address address)
846 {
847 load32(address, dataTempRegister);
848 return Call(m_assembler.blx(dataTempRegister), Call::None);
849 }
850
851 void ret()
852 {
853 m_assembler.bx(linkRegister);
854 }
855
856 void set32(Condition cond, RegisterID left, RegisterID right, RegisterID dest)
857 {
858 m_assembler.cmp(left, right);
859 m_assembler.it(armV7Condition(cond), false);
860 m_assembler.mov(dest, ARMThumbImmediate::makeUInt16(1));
861 m_assembler.mov(dest, ARMThumbImmediate::makeUInt16(0));
862 }
863
864 void set32(Condition cond, RegisterID left, Imm32 right, RegisterID dest)
865 {
866 compare32(left, right);
867 m_assembler.it(armV7Condition(cond), false);
868 m_assembler.mov(dest, ARMThumbImmediate::makeUInt16(1));
869 m_assembler.mov(dest, ARMThumbImmediate::makeUInt16(0));
870 }
871
872 // FIXME:
873 // The mask should be optional... paerhaps the argument order should be
874 // dest-src, operations always have a dest? ... possibly not true, considering
875 // asm ops like test, or pseudo ops like pop().
876 void setTest32(Condition cond, Address address, Imm32 mask, RegisterID dest)
877 {
878 load32(address, dataTempRegister);
879 test32(dataTempRegister, mask);
880 m_assembler.it(armV7Condition(cond), false);
881 m_assembler.mov(dest, ARMThumbImmediate::makeUInt16(1));
882 m_assembler.mov(dest, ARMThumbImmediate::makeUInt16(0));
883 }
884
885
886 DataLabel32 moveWithPatch(Imm32 imm, RegisterID dst)
887 {
888 uint32_t value = imm.m_value;
889 m_assembler.movT3(dst, ARMThumbImmediate::makeUInt16(value & 0xffff));
890 m_assembler.movt(dst, ARMThumbImmediate::makeUInt16(value >> 16));
891 return DataLabel32(this);
892 }
893
894 DataLabelPtr moveWithPatch(ImmPtr imm, RegisterID dst)
895 {
896 uint32_t value = imm.asIntptr();
897 m_assembler.movT3(dst, ARMThumbImmediate::makeUInt16(value & 0xffff));
898 m_assembler.movt(dst, ARMThumbImmediate::makeUInt16(value >> 16));
899 return DataLabelPtr(this);
900 }
901
902 Jump branchPtrWithPatch(Condition cond, RegisterID left, DataLabelPtr& dataLabel, ImmPtr initialRightValue = ImmPtr(0))
903 {
904 dataLabel = moveWithPatch(initialRightValue, dataTempRegister);
905 return branch32(cond, left, dataTempRegister);
906 }
907
908 Jump branchPtrWithPatch(Condition cond, Address left, DataLabelPtr& dataLabel, ImmPtr initialRightValue = ImmPtr(0))
909 {
910 load32(left, addressTempRegister);
911 dataLabel = moveWithPatch(initialRightValue, dataTempRegister);
912 return branch32(cond, addressTempRegister, dataTempRegister);
913 }
914
915 DataLabelPtr storePtrWithPatch(ImmPtr initialValue, ImplicitAddress address)
916 {
917 DataLabelPtr label = moveWithPatch(initialValue, dataTempRegister);
918 store32(dataTempRegister, address);
919 return label;
920 }
921 DataLabelPtr storePtrWithPatch(ImplicitAddress address) { return storePtrWithPatch(ImmPtr(0), address); }
922
923
924 Call tailRecursiveCall()
925 {
926 // Like a normal call, but don't link.
927 m_assembler.movT3(dataTempRegister, ARMThumbImmediate::makeUInt16(0));
928 m_assembler.movt(dataTempRegister, ARMThumbImmediate::makeUInt16(0));
929 return Call(m_assembler.bx(dataTempRegister), Call::Linkable);
930 }
931
932 Call makeTailRecursiveCall(Jump oldJump)
933 {
934 oldJump.link(this);
935 return tailRecursiveCall();
936 }
937
938
939protected:
940 ARMv7Assembler::JmpSrc makeJump()
941 {
942 return m_assembler.b();
943 }
944
945 ARMv7Assembler::JmpSrc makeBranch(ARMv7Assembler::Condition cond)
946 {
947 m_assembler.it(cond);
948 return m_assembler.b();
949 }
950 ARMv7Assembler::JmpSrc makeBranch(Condition cond) { return makeBranch(armV7Condition(cond)); }
951 ARMv7Assembler::JmpSrc makeBranch(DoubleCondition cond) { return makeBranch(armV7Condition(cond)); }
952
953 ArmAddress setupArmAddress(BaseIndex address)
954 {
955 if (address.offset) {
956 ARMThumbImmediate imm = ARMThumbImmediate::makeUInt12OrEncodedImm(address.offset);
957 if (imm.isValid())
958 m_assembler.add(addressTempRegister, address.base, imm);
959 else {
960 move(Imm32(address.offset), addressTempRegister);
961 m_assembler.add(addressTempRegister, addressTempRegister, address.base);
962 }
963
964 return ArmAddress(addressTempRegister, address.index, address.scale);
965 } else
966 return ArmAddress(address.base, address.index, address.scale);
967 }
968
969 ArmAddress setupArmAddress(Address address)
970 {
971 if ((address.offset >= -0xff) && (address.offset <= 0xfff))
972 return ArmAddress(address.base, address.offset);
973
974 move(Imm32(address.offset), addressTempRegister);
975 return ArmAddress(address.base, addressTempRegister);
976 }
977
978 ArmAddress setupArmAddress(ImplicitAddress address)
979 {
980 if ((address.offset >= -0xff) && (address.offset <= 0xfff))
981 return ArmAddress(address.base, address.offset);
982
983 move(Imm32(address.offset), addressTempRegister);
984 return ArmAddress(address.base, addressTempRegister);
985 }
986
987 RegisterID makeBaseIndexBase(BaseIndex address)
988 {
989 if (!address.offset)
990 return address.base;
991
992 ARMThumbImmediate imm = ARMThumbImmediate::makeUInt12OrEncodedImm(address.offset);
993 if (imm.isValid())
994 m_assembler.add(addressTempRegister, address.base, imm);
995 else {
996 move(Imm32(address.offset), addressTempRegister);
997 m_assembler.add(addressTempRegister, addressTempRegister, address.base);
998 }
999
1000 return addressTempRegister;
1001 }
1002
1003 ARMv7Assembler::Condition armV7Condition(Condition cond)
1004 {
1005 return static_cast<ARMv7Assembler::Condition>(cond);
1006 }
1007
1008 ARMv7Assembler::Condition armV7Condition(DoubleCondition cond)
1009 {
1010 return static_cast<ARMv7Assembler::Condition>(cond);
1011 }
1012};
1013
1014} // namespace JSC
1015
1016#endif // ENABLE(ASSEMBLER)
1017
1018#endif // MacroAssemblerARMv7_h
Note: See TracBrowser for help on using the repository browser.