The Tor Browser: js/src/jit/IonMacroAssembler.cpp@6474c204b198 (annotated)

js/src/jit/IonMacroAssembler.cpp@6474c204b198 (annotated)

js/src/jit/IonMacroAssembler.cpp

Wed, 31 Dec 2014 06:09:35 +0100

author: Michael Schloh von Bennewitz <michael@schloh.com>
date: Wed, 31 Dec 2014 06:09:35 +0100
changeset 0: 6474c204b198
permissions: -rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

 /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*-
  * vim: set ts=8 sts=4 et sw=4 tw=99:
  * This Source Code Form is subject to the terms of the Mozilla Public
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 #include "jit/IonMacroAssembler.h"
 #include "jsinfer.h"
 #include "jsprf.h"
 #include "builtin/TypedObject.h"
 #include "jit/Bailouts.h"
 #include "jit/BaselineFrame.h"
 #include "jit/BaselineIC.h"
 #include "jit/BaselineJIT.h"
 #include "jit/Lowering.h"
 #include "jit/MIR.h"
 #include "jit/ParallelFunctions.h"
 #include "vm/ForkJoin.h"
 #include "vm/TraceLogging.h"
 #ifdef JSGC_GENERATIONAL
 # include "jsgcinlines.h"
 #endif
 #include "jsinferinlines.h"
 #include "jsobjinlines.h"
 using namespace js;
 using namespace js::jit;
 using JS::GenericNaN;
 namespace {
 // Emulate a TypeSet logic from a Type object to avoid duplicating the guard
 // logic.
 class TypeWrapper {
     types::Type t_;
   public:
     TypeWrapper(types::Type t) : t_(t) {}
     inline bool unknown() const {
         return t_.isUnknown();
     }
     inline bool hasType(types::Type t) const {
         if (t == types::Type::Int32Type())
             return t == t_ || t_ == types::Type::DoubleType();
         return t == t_;
     }
     inline unsigned getObjectCount() const {
         if (t_.isAnyObject() || t_.isUnknown() || !t_.isObject())
             return 0;
         return 1;
     }
     inline JSObject *getSingleObject(unsigned) const {
         if (t_.isSingleObject())
             return t_.singleObject();
         return nullptr;
     }
     inline types::TypeObject *getTypeObject(unsigned) const {
         if (t_.isTypeObject())
             return t_.typeObject();
         return nullptr;
     }
 };
 } /* anonymous namespace */
 template <typename Source, typename TypeSet> void
 MacroAssembler::guardTypeSet(const Source &address, const TypeSet *types,
                              Register scratch, Label *miss)
 {
     JS_ASSERT(!types->unknown());
     Label matched;
     types::Type tests[7] = {
         types::Type::Int32Type(),
         types::Type::UndefinedType(),
         types::Type::BooleanType(),
         types::Type::StringType(),
         types::Type::NullType(),
         types::Type::MagicArgType(),
         types::Type::AnyObjectType()
     };
     // The double type also implies Int32.
     // So replace the int32 test with the double one.
     if (types->hasType(types::Type::DoubleType())) {
         JS_ASSERT(types->hasType(types::Type::Int32Type()));
         tests[0] = types::Type::DoubleType();
     }
     Register tag = extractTag(address, scratch);
     // Emit all typed tests.
     BranchType lastBranch;
     for (size_t i = 0; i < 7; i++) {
         if (!types->hasType(tests[i]))
             continue;
         if (lastBranch.isInitialized())
             lastBranch.emit(*this);
         lastBranch = BranchType(Equal, tag, tests[i], &matched);
     }
     // If this is the last check, invert the last branch.
     if (types->hasType(types::Type::AnyObjectType()) || !types->getObjectCount()) {
         if (!lastBranch.isInitialized()) {
             jump(miss);
             return;
         }
         lastBranch.invertCondition();
         lastBranch.relink(miss);
         lastBranch.emit(*this);
         bind(&matched);
         return;
     }
     if (lastBranch.isInitialized())
         lastBranch.emit(*this);
     // Test specific objects.
     JS_ASSERT(scratch != InvalidReg);
     branchTestObject(NotEqual, tag, miss);
     Register obj = extractObject(address, scratch);
     guardObjectType(obj, types, scratch, miss);
     bind(&matched);
 }
 template <typename TypeSet> void
 MacroAssembler::guardObjectType(Register obj, const TypeSet *types,
                                 Register scratch, Label *miss)
 {
     JS_ASSERT(!types->unknown());
     JS_ASSERT(!types->hasType(types::Type::AnyObjectType()));
     JS_ASSERT(types->getObjectCount());
     JS_ASSERT(scratch != InvalidReg);
     Label matched;
     BranchGCPtr lastBranch;
     JS_ASSERT(!lastBranch.isInitialized());
     bool hasTypeObjects = false;
     unsigned count = types->getObjectCount();
     for (unsigned i = 0; i < count; i++) {
         if (!types->getSingleObject(i)) {
             hasTypeObjects = hasTypeObjects || types->getTypeObject(i);
             continue;
         }
         if (lastBranch.isInitialized())
             lastBranch.emit(*this);
         JSObject *object = types->getSingleObject(i);
         lastBranch = BranchGCPtr(Equal, obj, ImmGCPtr(object), &matched);
     }
     if (hasTypeObjects) {
         // We are possibly going to overwrite the obj register. So already
         // emit the branch, since branch depends on previous value of obj
         // register and there is definitely a branch following. So no need
         // to invert the condition.
         if (lastBranch.isInitialized())
             lastBranch.emit(*this);
         lastBranch = BranchGCPtr();
         // Note: Some platforms give the same register for obj and scratch.
         // Make sure when writing to scratch, the obj register isn't used anymore!
         loadPtr(Address(obj, JSObject::offsetOfType()), scratch);
         for (unsigned i = 0; i < count; i++) {
             if (!types->getTypeObject(i))
                 continue;
             if (lastBranch.isInitialized())
                 lastBranch.emit(*this);
             types::TypeObject *object = types->getTypeObject(i);
             lastBranch = BranchGCPtr(Equal, scratch, ImmGCPtr(object), &matched);
         }
     }
     if (!lastBranch.isInitialized()) {
         jump(miss);
         return;
     }
     lastBranch.invertCondition();
     lastBranch.relink(miss);
     lastBranch.emit(*this);
     bind(&matched);
     return;
 }
 template <typename Source> void
 MacroAssembler::guardType(const Source &address, types::Type type,
                           Register scratch, Label *miss)
 {
     TypeWrapper wrapper(type);
     guardTypeSet(address, &wrapper, scratch, miss);
 }
 template void MacroAssembler::guardTypeSet(const Address &address, const types::TemporaryTypeSet *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardTypeSet(const ValueOperand &value, const types::TemporaryTypeSet *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardTypeSet(const Address &address, const types::HeapTypeSet *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardTypeSet(const ValueOperand &value, const types::HeapTypeSet *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardTypeSet(const TypedOrValueRegister &reg, const types::HeapTypeSet *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardTypeSet(const Address &address, const types::TypeSet *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardTypeSet(const ValueOperand &value, const types::TypeSet *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardTypeSet(const Address &address, const TypeWrapper *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardTypeSet(const ValueOperand &value, const TypeWrapper *types,
                                            Register scratch, Label *miss);
 template void MacroAssembler::guardObjectType(Register obj, const types::TemporaryTypeSet *types,
                                               Register scratch, Label *miss);
 template void MacroAssembler::guardObjectType(Register obj, const types::TypeSet *types,
                                               Register scratch, Label *miss);
 template void MacroAssembler::guardObjectType(Register obj, const TypeWrapper *types,
                                               Register scratch, Label *miss);
 template void MacroAssembler::guardType(const Address &address, types::Type type,
                                         Register scratch, Label *miss);
 template void MacroAssembler::guardType(const ValueOperand &value, types::Type type,
                                         Register scratch, Label *miss);
 void
 MacroAssembler::branchNurseryPtr(Condition cond, const Address &ptr1, const ImmMaybeNurseryPtr &ptr2,
                                  Label *label)
 {
 #ifdef JSGC_GENERATIONAL
     if (ptr2.value && gc::IsInsideNursery(GetIonContext()->cx->runtime(), (void *)ptr2.value))
         embedsNurseryPointers_ = true;
 #endif
     branchPtr(cond, ptr1, ptr2, label);
 }
 void
 MacroAssembler::moveNurseryPtr(const ImmMaybeNurseryPtr &ptr, Register reg)
 {
 #ifdef JSGC_GENERATIONAL
     if (ptr.value && gc::IsInsideNursery(GetIonContext()->cx->runtime(), (void *)ptr.value))
         embedsNurseryPointers_ = true;
 #endif
     movePtr(ptr, reg);
 }
 template<typename S, typename T>
 static void
 StoreToTypedFloatArray(MacroAssembler &masm, int arrayType, const S &value, const T &dest)
 {
     switch (arrayType) {
       case ScalarTypeDescr::TYPE_FLOAT32:
         if (LIRGenerator::allowFloat32Optimizations()) {
             masm.storeFloat32(value, dest);
         } else {
 #ifdef JS_MORE_DETERMINISTIC
             // See the comment in TypedArrayObjectTemplate::doubleToNative.
             masm.canonicalizeDouble(value);
 #endif
             masm.convertDoubleToFloat32(value, ScratchFloatReg);
             masm.storeFloat32(ScratchFloatReg, dest);
         }
         break;
       case ScalarTypeDescr::TYPE_FLOAT64:
 #ifdef JS_MORE_DETERMINISTIC
         // See the comment in TypedArrayObjectTemplate::doubleToNative.
         masm.canonicalizeDouble(value);
 #endif
         masm.storeDouble(value, dest);
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("Invalid typed array type");
     }
 }
 void
 MacroAssembler::storeToTypedFloatArray(int arrayType, const FloatRegister &value,
                                        const BaseIndex &dest)
 {
     StoreToTypedFloatArray(*this, arrayType, value, dest);
 }
 void
 MacroAssembler::storeToTypedFloatArray(int arrayType, const FloatRegister &value,
                                        const Address &dest)
 {
     StoreToTypedFloatArray(*this, arrayType, value, dest);
 }
 template<typename T>
 void
 MacroAssembler::loadFromTypedArray(int arrayType, const T &src, AnyRegister dest, Register temp,
                                    Label *fail)
 {
     switch (arrayType) {
       case ScalarTypeDescr::TYPE_INT8:
         load8SignExtend(src, dest.gpr());
         break;
       case ScalarTypeDescr::TYPE_UINT8:
       case ScalarTypeDescr::TYPE_UINT8_CLAMPED:
         load8ZeroExtend(src, dest.gpr());
         break;
       case ScalarTypeDescr::TYPE_INT16:
         load16SignExtend(src, dest.gpr());
         break;
       case ScalarTypeDescr::TYPE_UINT16:
         load16ZeroExtend(src, dest.gpr());
         break;
       case ScalarTypeDescr::TYPE_INT32:
         load32(src, dest.gpr());
         break;
       case ScalarTypeDescr::TYPE_UINT32:
         if (dest.isFloat()) {
             load32(src, temp);
             convertUInt32ToDouble(temp, dest.fpu());
         } else {
             load32(src, dest.gpr());
             // Bail out if the value doesn't fit into a signed int32 value. This
             // is what allows MLoadTypedArrayElement to have a type() of
             // MIRType_Int32 for UInt32 array loads.
             branchTest32(Assembler::Signed, dest.gpr(), dest.gpr(), fail);
         }
         break;
       case ScalarTypeDescr::TYPE_FLOAT32:
         if (LIRGenerator::allowFloat32Optimizations()) {
             loadFloat32(src, dest.fpu());
             canonicalizeFloat(dest.fpu());
         } else {
             loadFloatAsDouble(src, dest.fpu());
             canonicalizeDouble(dest.fpu());
         }
         break;
       case ScalarTypeDescr::TYPE_FLOAT64:
         loadDouble(src, dest.fpu());
         canonicalizeDouble(dest.fpu());
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("Invalid typed array type");
     }
 }
 template void MacroAssembler::loadFromTypedArray(int arrayType, const Address &src, AnyRegister dest,
                                                  Register temp, Label *fail);
 template void MacroAssembler::loadFromTypedArray(int arrayType, const BaseIndex &src, AnyRegister dest,
                                                  Register temp, Label *fail);
 template<typename T>
 void
 MacroAssembler::loadFromTypedArray(int arrayType, const T &src, const ValueOperand &dest,
                                    bool allowDouble, Register temp, Label *fail)
 {
     switch (arrayType) {
       case ScalarTypeDescr::TYPE_INT8:
       case ScalarTypeDescr::TYPE_UINT8:
       case ScalarTypeDescr::TYPE_UINT8_CLAMPED:
       case ScalarTypeDescr::TYPE_INT16:
       case ScalarTypeDescr::TYPE_UINT16:
       case ScalarTypeDescr::TYPE_INT32:
         loadFromTypedArray(arrayType, src, AnyRegister(dest.scratchReg()), InvalidReg, nullptr);
         tagValue(JSVAL_TYPE_INT32, dest.scratchReg(), dest);
         break;
       case ScalarTypeDescr::TYPE_UINT32:
         // Don't clobber dest when we could fail, instead use temp.
         load32(src, temp);
         if (allowDouble) {
             // If the value fits in an int32, store an int32 type tag.
             // Else, convert the value to double and box it.
             Label done, isDouble;
             branchTest32(Assembler::Signed, temp, temp, &isDouble);
             {
                 tagValue(JSVAL_TYPE_INT32, temp, dest);
                 jump(&done);
             }
             bind(&isDouble);
             {
                 convertUInt32ToDouble(temp, ScratchFloatReg);
                 boxDouble(ScratchFloatReg, dest);
             }
             bind(&done);
         } else {
             // Bailout if the value does not fit in an int32.
             branchTest32(Assembler::Signed, temp, temp, fail);
             tagValue(JSVAL_TYPE_INT32, temp, dest);
         }
         break;
       case ScalarTypeDescr::TYPE_FLOAT32:
         loadFromTypedArray(arrayType, src, AnyRegister(ScratchFloatReg), dest.scratchReg(),
                            nullptr);
         if (LIRGenerator::allowFloat32Optimizations())
             convertFloat32ToDouble(ScratchFloatReg, ScratchFloatReg);
         boxDouble(ScratchFloatReg, dest);
         break;
       case ScalarTypeDescr::TYPE_FLOAT64:
         loadFromTypedArray(arrayType, src, AnyRegister(ScratchFloatReg), dest.scratchReg(),
                            nullptr);
         boxDouble(ScratchFloatReg, dest);
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("Invalid typed array type");
     }
 }
 template void MacroAssembler::loadFromTypedArray(int arrayType, const Address &src, const ValueOperand &dest,
                                                  bool allowDouble, Register temp, Label *fail);
 template void MacroAssembler::loadFromTypedArray(int arrayType, const BaseIndex &src, const ValueOperand &dest,
                                                  bool allowDouble, Register temp, Label *fail);
 void
 MacroAssembler::newGCThing(Register result, Register temp, gc::AllocKind allocKind, Label *fail,
                            gc::InitialHeap initialHeap /* = gc::DefaultHeap */)
 {
     // Inlined equivalent of js::gc::NewGCThing() without failure case handling.
     int thingSize = int(gc::Arena::thingSize(allocKind));
 #ifdef JS_GC_ZEAL
     // Don't execute the inline path if gcZeal is active.
     branch32(Assembler::NotEqual,
              AbsoluteAddress(GetIonContext()->runtime->addressOfGCZeal()), Imm32(0),
              fail);
 #endif
     // Don't execute the inline path if the compartment has an object metadata callback,
     // as the metadata to use for the object may vary between executions of the op.
     if (GetIonContext()->compartment->hasObjectMetadataCallback())
         jump(fail);
 #ifdef JSGC_GENERATIONAL
     // Always use nursery allocation if it is possible to do so. The jit
     // assumes a nursery pointer is returned to avoid barriers.
     if (allocKind <= gc::FINALIZE_OBJECT_LAST && initialHeap != gc::TenuredHeap) {
         // Inline Nursery::allocate. No explicit check for nursery.isEnabled()
         // is needed, as the comparison with the nursery's end will always fail
         // in such cases.
         const Nursery &nursery = GetIonContext()->runtime->gcNursery();
         loadPtr(AbsoluteAddress(nursery.addressOfPosition()), result);
         computeEffectiveAddress(Address(result, thingSize), temp);
         branchPtr(Assembler::BelowOrEqual, AbsoluteAddress(nursery.addressOfCurrentEnd()), temp, fail);
         storePtr(temp, AbsoluteAddress(nursery.addressOfPosition()));
         return;
     }
 #endif // JSGC_GENERATIONAL
     CompileZone *zone = GetIonContext()->compartment->zone();
     // Inline FreeSpan::allocate.
     // There is always exactly one FreeSpan per allocKind per JSCompartment.
     // If a FreeSpan is replaced, its members are updated in the freeLists table,
     // which the code below always re-reads.
     loadPtr(AbsoluteAddress(zone->addressOfFreeListFirst(allocKind)), result);
     branchPtr(Assembler::BelowOrEqual, AbsoluteAddress(zone->addressOfFreeListLast(allocKind)), result, fail);
     computeEffectiveAddress(Address(result, thingSize), temp);
     storePtr(temp, AbsoluteAddress(zone->addressOfFreeListFirst(allocKind)));
 }
 void
 MacroAssembler::newGCThing(Register result, Register temp, JSObject *templateObject, Label *fail,
                            gc::InitialHeap initialHeap)
 {
     gc::AllocKind allocKind = templateObject->tenuredGetAllocKind();
     JS_ASSERT(allocKind >= gc::FINALIZE_OBJECT0 && allocKind <= gc::FINALIZE_OBJECT_LAST);
     newGCThing(result, temp, allocKind, fail, initialHeap);
 }
 void
 MacroAssembler::newGCString(Register result, Register temp, Label *fail)
 {
     newGCThing(result, temp, js::gc::FINALIZE_STRING, fail);
 }
 void
 MacroAssembler::newGCFatInlineString(Register result, Register temp, Label *fail)
 {
     newGCThing(result, temp, js::gc::FINALIZE_FAT_INLINE_STRING, fail);
 }
 void
 MacroAssembler::newGCThingPar(Register result, Register cx, Register tempReg1, Register tempReg2,
                               gc::AllocKind allocKind, Label *fail)
 {
     // Similar to ::newGCThing(), except that it allocates from a custom
     // Allocator in the ForkJoinContext*, rather than being hardcoded to the
     // compartment allocator.  This requires two temporary registers.
     //
     // Subtle: I wanted to reuse `result` for one of the temporaries, but the
     // register allocator was assigning it to the same register as `cx`.
     // Then we overwrite that register which messed up the OOL code.
     uint32_t thingSize = (uint32_t)gc::Arena::thingSize(allocKind);
     // Load the allocator:
     // tempReg1 = (Allocator*) forkJoinCx->allocator()
     loadPtr(Address(cx, ThreadSafeContext::offsetOfAllocator()),
             tempReg1);
     // Get a pointer to the relevant free list:
     // tempReg1 = (FreeSpan*) &tempReg1->arenas.freeLists[(allocKind)]
     uint32_t offset = (offsetof(Allocator, arenas) +
                        js::gc::ArenaLists::getFreeListOffset(allocKind));
     addPtr(Imm32(offset), tempReg1);
     // Load first item on the list
     // tempReg2 = tempReg1->first
     loadPtr(Address(tempReg1, offsetof(gc::FreeSpan, first)), tempReg2);
     // Check whether list is empty
     // if tempReg1->last <= tempReg2, fail
     branchPtr(Assembler::BelowOrEqual,
               Address(tempReg1, offsetof(gc::FreeSpan, last)),
               tempReg2,
               fail);
     // If not, take first and advance pointer by thingSize bytes.
     // result = tempReg2;
     // tempReg2 += thingSize;
     movePtr(tempReg2, result);
     addPtr(Imm32(thingSize), tempReg2);
     // Update `first`
     // tempReg1->first = tempReg2;
     storePtr(tempReg2, Address(tempReg1, offsetof(gc::FreeSpan, first)));
 }
 void
 MacroAssembler::newGCThingPar(Register result, Register cx, Register tempReg1, Register tempReg2,
                               JSObject *templateObject, Label *fail)
 {
     gc::AllocKind allocKind = templateObject->tenuredGetAllocKind();
     JS_ASSERT(allocKind >= gc::FINALIZE_OBJECT0 && allocKind <= gc::FINALIZE_OBJECT_LAST);
     newGCThingPar(result, cx, tempReg1, tempReg2, allocKind, fail);
 }
 void
 MacroAssembler::newGCStringPar(Register result, Register cx, Register tempReg1, Register tempReg2,
                                Label *fail)
 {
     newGCThingPar(result, cx, tempReg1, tempReg2, js::gc::FINALIZE_STRING, fail);
 }
 void
 MacroAssembler::newGCFatInlineStringPar(Register result, Register cx, Register tempReg1,
                                         Register tempReg2, Label *fail)
 {
     newGCThingPar(result, cx, tempReg1, tempReg2, js::gc::FINALIZE_FAT_INLINE_STRING, fail);
 }
 void
 MacroAssembler::copySlotsFromTemplate(Register obj, Register temp, const JSObject *templateObj,
                                       uint32_t start, uint32_t end)
 {
     uint32_t nfixed = Min(templateObj->numFixedSlots(), end);
     for (unsigned i = start; i < nfixed; i++)
         storeValue(templateObj->getFixedSlot(i), Address(obj, JSObject::getFixedSlotOffset(i)));
 }
 void
 MacroAssembler::fillSlotsWithUndefined(Register obj, Register temp, const JSObject *templateObj,
                                        uint32_t start, uint32_t end)
 {
 #ifdef JS_NUNBOX32
     // We only have a single spare register, so do the initialization as two
     // strided writes of the tag and body.
     jsval_layout jv = JSVAL_TO_IMPL(UndefinedValue());
     uint32_t nfixed = Min(templateObj->numFixedSlots(), end);
     mov(ImmWord(jv.s.tag), temp);
     for (unsigned i = start; i < nfixed; i++)
         store32(temp, ToType(Address(obj, JSObject::getFixedSlotOffset(i))));
     mov(ImmWord(jv.s.payload.i32), temp);
     for (unsigned i = start; i < nfixed; i++)
         store32(temp, ToPayload(Address(obj, JSObject::getFixedSlotOffset(i))));
 #else
     moveValue(UndefinedValue(), temp);
     uint32_t nfixed = Min(templateObj->numFixedSlots(), end);
     for (unsigned i = start; i < nfixed; i++)
         storePtr(temp, Address(obj, JSObject::getFixedSlotOffset(i)));
 #endif
 }
 static uint32_t
 FindStartOfUndefinedSlots(JSObject *templateObj, uint32_t nslots)
 {
     JS_ASSERT(nslots == templateObj->lastProperty()->slotSpan(templateObj->getClass()));
     JS_ASSERT(nslots > 0);
     for (uint32_t first = nslots; first != 0; --first) {
         if (templateObj->getSlot(first - 1) != UndefinedValue())
             return first;
     }
     return 0;
 }
 void
 MacroAssembler::initGCSlots(Register obj, Register temp, JSObject *templateObj)
 {
     // Slots of non-array objects are required to be initialized.
     // Use the values currently in the template object.
     uint32_t nslots = templateObj->lastProperty()->slotSpan(templateObj->getClass());
     if (nslots == 0)
         return;
     // Attempt to group slot writes such that we minimize the amount of
     // duplicated data we need to embed in code and load into registers. In
     // general, most template object slots will be undefined except for any
     // reserved slots. Since reserved slots come first, we split the object
     // logically into independent non-UndefinedValue writes to the head and
     // duplicated writes of UndefinedValue to the tail. For the majority of
     // objects, the "tail" will be the entire slot range.
     uint32_t startOfUndefined = FindStartOfUndefinedSlots(templateObj, nslots);
     copySlotsFromTemplate(obj, temp, templateObj, 0, startOfUndefined);
     fillSlotsWithUndefined(obj, temp, templateObj, startOfUndefined, nslots);
 }
 void
 MacroAssembler::initGCThing(Register obj, Register temp, JSObject *templateObj)
 {
     // Fast initialization of an empty object returned by NewGCThing().
     JS_ASSERT(!templateObj->hasDynamicElements());
     storePtr(ImmGCPtr(templateObj->lastProperty()), Address(obj, JSObject::offsetOfShape()));
     storePtr(ImmGCPtr(templateObj->type()), Address(obj, JSObject::offsetOfType()));
     storePtr(ImmPtr(nullptr), Address(obj, JSObject::offsetOfSlots()));
     if (templateObj->is<ArrayObject>()) {
         JS_ASSERT(!templateObj->getDenseInitializedLength());
         int elementsOffset = JSObject::offsetOfFixedElements();
         computeEffectiveAddress(Address(obj, elementsOffset), temp);
         storePtr(temp, Address(obj, JSObject::offsetOfElements()));
         // Fill in the elements header.
         store32(Imm32(templateObj->getDenseCapacity()),
                 Address(obj, elementsOffset + ObjectElements::offsetOfCapacity()));
         store32(Imm32(templateObj->getDenseInitializedLength()),
                 Address(obj, elementsOffset + ObjectElements::offsetOfInitializedLength()));
         store32(Imm32(templateObj->as<ArrayObject>().length()),
                 Address(obj, elementsOffset + ObjectElements::offsetOfLength()));
         store32(Imm32(templateObj->shouldConvertDoubleElements()
                       ? ObjectElements::CONVERT_DOUBLE_ELEMENTS
                       : 0),
                 Address(obj, elementsOffset + ObjectElements::offsetOfFlags()));
         JS_ASSERT(!templateObj->hasPrivate());
     } else {
         storePtr(ImmPtr(emptyObjectElements), Address(obj, JSObject::offsetOfElements()));
         initGCSlots(obj, temp, templateObj);
         if (templateObj->hasPrivate()) {
             uint32_t nfixed = templateObj->numFixedSlots();
             storePtr(ImmPtr(templateObj->getPrivate()),
                      Address(obj, JSObject::getPrivateDataOffset(nfixed)));
         }
     }
 }
 void
 MacroAssembler::compareStrings(JSOp op, Register left, Register right, Register result,
                                Register temp, Label *fail)
 {
     JS_ASSERT(IsEqualityOp(op));
     Label done;
     Label notPointerEqual;
     // Fast path for identical strings.
     branchPtr(Assembler::NotEqual, left, right, &notPointerEqual);
     move32(Imm32(op == JSOP_EQ || op == JSOP_STRICTEQ), result);
     jump(&done);
     bind(&notPointerEqual);
     loadPtr(Address(left, JSString::offsetOfLengthAndFlags()), result);
     loadPtr(Address(right, JSString::offsetOfLengthAndFlags()), temp);
     Label notAtom;
     // Optimize the equality operation to a pointer compare for two atoms.
     Imm32 atomBit(JSString::ATOM_BIT);
     branchTest32(Assembler::Zero, result, atomBit, &notAtom);
     branchTest32(Assembler::Zero, temp, atomBit, &notAtom);
     cmpPtrSet(JSOpToCondition(MCompare::Compare_String, op), left, right, result);
     jump(&done);
     bind(&notAtom);
     // Strings of different length can never be equal.
     rshiftPtr(Imm32(JSString::LENGTH_SHIFT), result);
     rshiftPtr(Imm32(JSString::LENGTH_SHIFT), temp);
     branchPtr(Assembler::Equal, result, temp, fail);
     move32(Imm32(op == JSOP_NE || op == JSOP_STRICTNE), result);
     bind(&done);
 }
 void
 MacroAssembler::checkInterruptFlagPar(Register tempReg, Label *fail)
 {
 #ifdef JS_THREADSAFE
     movePtr(ImmPtr(GetIonContext()->runtime->addressOfInterruptPar()), tempReg);
     branch32(Assembler::NonZero, Address(tempReg, 0), Imm32(0), fail);
 #else
     MOZ_ASSUME_UNREACHABLE("JSRuntime::interruptPar doesn't exist on non-threadsafe builds.");
 #endif
 }
 static void
 ReportOverRecursed(JSContext *cx)
 {
     js_ReportOverRecursed(cx);
 }
 void
 MacroAssembler::generateBailoutTail(Register scratch, Register bailoutInfo)
 {
     enterExitFrame();
     Label baseline;
     // The return value from Bailout is tagged as:
     // - 0x0: done (enter baseline)
     // - 0x1: error (handle exception)
     // - 0x2: overrecursed
     JS_STATIC_ASSERT(BAILOUT_RETURN_OK == 0);
     JS_STATIC_ASSERT(BAILOUT_RETURN_FATAL_ERROR == 1);
     JS_STATIC_ASSERT(BAILOUT_RETURN_OVERRECURSED == 2);
     branch32(Equal, ReturnReg, Imm32(BAILOUT_RETURN_OK), &baseline);
     branch32(Equal, ReturnReg, Imm32(BAILOUT_RETURN_FATAL_ERROR), exceptionLabel());
     // Fall-through: overrecursed.
     {
         loadJSContext(ReturnReg);
         setupUnalignedABICall(1, scratch);
         passABIArg(ReturnReg);
         callWithABI(JS_FUNC_TO_DATA_PTR(void *, ReportOverRecursed));
         jump(exceptionLabel());
     }
     bind(&baseline);
     {
         // Prepare a register set for use in this case.
         GeneralRegisterSet regs(GeneralRegisterSet::All());
         JS_ASSERT(!regs.has(BaselineStackReg));
         regs.take(bailoutInfo);
         // Reset SP to the point where clobbering starts.
         loadPtr(Address(bailoutInfo, offsetof(BaselineBailoutInfo, incomingStack)),
                 BaselineStackReg);
         Register copyCur = regs.takeAny();
         Register copyEnd = regs.takeAny();
         Register temp = regs.takeAny();
         // Copy data onto stack.
         loadPtr(Address(bailoutInfo, offsetof(BaselineBailoutInfo, copyStackTop)), copyCur);
         loadPtr(Address(bailoutInfo, offsetof(BaselineBailoutInfo, copyStackBottom)), copyEnd);
         {
             Label copyLoop;
             Label endOfCopy;
             bind(&copyLoop);
             branchPtr(Assembler::BelowOrEqual, copyCur, copyEnd, &endOfCopy);
             subPtr(Imm32(4), copyCur);
             subPtr(Imm32(4), BaselineStackReg);
             load32(Address(copyCur, 0), temp);
             store32(temp, Address(BaselineStackReg, 0));
             jump(&copyLoop);
             bind(&endOfCopy);
         }
         // Enter exit frame for the FinishBailoutToBaseline call.
         loadPtr(Address(bailoutInfo, offsetof(BaselineBailoutInfo, resumeFramePtr)), temp);
         load32(Address(temp, BaselineFrame::reverseOffsetOfFrameSize()), temp);
         makeFrameDescriptor(temp, JitFrame_BaselineJS);
         push(temp);
         push(Address(bailoutInfo, offsetof(BaselineBailoutInfo, resumeAddr)));
         enterFakeExitFrame();
         // If monitorStub is non-null, handle resumeAddr appropriately.
         Label noMonitor;
         Label done;
         branchPtr(Assembler::Equal,
                   Address(bailoutInfo, offsetof(BaselineBailoutInfo, monitorStub)),
                   ImmPtr(nullptr),
                   &noMonitor);
         //
         // Resuming into a monitoring stub chain.
         //
         {
             // Save needed values onto stack temporarily.
             pushValue(Address(bailoutInfo, offsetof(BaselineBailoutInfo, valueR0)));
             push(Address(bailoutInfo, offsetof(BaselineBailoutInfo, resumeFramePtr)));
             push(Address(bailoutInfo, offsetof(BaselineBailoutInfo, resumeAddr)));
             push(Address(bailoutInfo, offsetof(BaselineBailoutInfo, monitorStub)));
             // Call a stub to free allocated memory and create arguments objects.
             setupUnalignedABICall(1, temp);
             passABIArg(bailoutInfo);
             callWithABI(JS_FUNC_TO_DATA_PTR(void *, FinishBailoutToBaseline));
             branchTest32(Zero, ReturnReg, ReturnReg, exceptionLabel());
             // Restore values where they need to be and resume execution.
             GeneralRegisterSet enterMonRegs(GeneralRegisterSet::All());
             enterMonRegs.take(R0);
             enterMonRegs.take(BaselineStubReg);
             enterMonRegs.take(BaselineFrameReg);
             enterMonRegs.takeUnchecked(BaselineTailCallReg);
             pop(BaselineStubReg);
             pop(BaselineTailCallReg);
             pop(BaselineFrameReg);
             popValue(R0);
             // Discard exit frame.
             addPtr(Imm32(IonExitFrameLayout::SizeWithFooter()), StackPointer);
 #if defined(JS_CODEGEN_X86) || defined(JS_CODEGEN_X64)
             push(BaselineTailCallReg);
 #endif
             jump(Address(BaselineStubReg, ICStub::offsetOfStubCode()));
         }
         //
         // Resuming into main jitcode.
         //
         bind(&noMonitor);
         {
             // Save needed values onto stack temporarily.
             pushValue(Address(bailoutInfo, offsetof(BaselineBailoutInfo, valueR0)));
             pushValue(Address(bailoutInfo, offsetof(BaselineBailoutInfo, valueR1)));
             push(Address(bailoutInfo, offsetof(BaselineBailoutInfo, resumeFramePtr)));
             push(Address(bailoutInfo, offsetof(BaselineBailoutInfo, resumeAddr)));
             // Call a stub to free allocated memory and create arguments objects.
             setupUnalignedABICall(1, temp);
             passABIArg(bailoutInfo);
             callWithABI(JS_FUNC_TO_DATA_PTR(void *, FinishBailoutToBaseline));
             branchTest32(Zero, ReturnReg, ReturnReg, exceptionLabel());
             // Restore values where they need to be and resume execution.
             GeneralRegisterSet enterRegs(GeneralRegisterSet::All());
             enterRegs.take(R0);
             enterRegs.take(R1);
             enterRegs.take(BaselineFrameReg);
             Register jitcodeReg = enterRegs.takeAny();
             pop(jitcodeReg);
             pop(BaselineFrameReg);
             popValue(R1);
             popValue(R0);
             // Discard exit frame.
             addPtr(Imm32(IonExitFrameLayout::SizeWithFooter()), StackPointer);
             jump(jitcodeReg);
         }
     }
 }
 void
 MacroAssembler::loadBaselineOrIonRaw(Register script, Register dest, ExecutionMode mode,
                                      Label *failure)
 {
     if (mode == SequentialExecution) {
         loadPtr(Address(script, JSScript::offsetOfBaselineOrIonRaw()), dest);
         if (failure)
             branchTestPtr(Assembler::Zero, dest, dest, failure);
     } else {
         loadPtr(Address(script, JSScript::offsetOfParallelIonScript()), dest);
         if (failure)
             branchPtr(Assembler::BelowOrEqual, dest, ImmPtr(ION_COMPILING_SCRIPT), failure);
         loadPtr(Address(dest, IonScript::offsetOfMethod()), dest);
         loadPtr(Address(dest, JitCode::offsetOfCode()), dest);
     }
 }
 void
 MacroAssembler::loadBaselineOrIonNoArgCheck(Register script, Register dest, ExecutionMode mode,
                                             Label *failure)
 {
     if (mode == SequentialExecution) {
         loadPtr(Address(script, JSScript::offsetOfBaselineOrIonSkipArgCheck()), dest);
         if (failure)
             branchTestPtr(Assembler::Zero, dest, dest, failure);
     } else {
         // Find second register to get the offset to skip argument check
         Register offset = script;
         if (script == dest) {
             GeneralRegisterSet regs(GeneralRegisterSet::All());
             regs.take(dest);
             offset = regs.takeAny();
         }
         loadPtr(Address(script, JSScript::offsetOfParallelIonScript()), dest);
         if (failure)
             branchPtr(Assembler::BelowOrEqual, dest, ImmPtr(ION_COMPILING_SCRIPT), failure);
         Push(offset);
         load32(Address(script, IonScript::offsetOfSkipArgCheckEntryOffset()), offset);
         loadPtr(Address(dest, IonScript::offsetOfMethod()), dest);
         loadPtr(Address(dest, JitCode::offsetOfCode()), dest);
         addPtr(offset, dest);
         Pop(offset);
     }
 }
 void
 MacroAssembler::loadBaselineFramePtr(Register framePtr, Register dest)
 {
     if (framePtr != dest)
         movePtr(framePtr, dest);
     subPtr(Imm32(BaselineFrame::Size()), dest);
 }
 void
 MacroAssembler::loadForkJoinContext(Register cx, Register scratch)
 {
     // Load the current ForkJoinContext *. If we need a parallel exit frame,
     // chances are we are about to do something very slow anyways, so just
     // call ForkJoinContextPar again instead of using the cached version.
     setupUnalignedABICall(0, scratch);
     callWithABI(JS_FUNC_TO_DATA_PTR(void *, ForkJoinContextPar));
     if (ReturnReg != cx)
         movePtr(ReturnReg, cx);
 }
 void
 MacroAssembler::loadContext(Register cxReg, Register scratch, ExecutionMode executionMode)
 {
     switch (executionMode) {
       case SequentialExecution:
         // The scratch register is not used for sequential execution.
         loadJSContext(cxReg);
         break;
       case ParallelExecution:
         loadForkJoinContext(cxReg, scratch);
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("No such execution mode");
     }
 }
 void
 MacroAssembler::enterParallelExitFrameAndLoadContext(const VMFunction *f, Register cx,
                                                      Register scratch)
 {
     loadForkJoinContext(cx, scratch);
     // Load the PerThreadData from from the cx.
     loadPtr(Address(cx, offsetof(ForkJoinContext, perThreadData)), scratch);
     linkParallelExitFrame(scratch);
     // Push the ioncode.
     exitCodePatch_ = PushWithPatch(ImmWord(-1));
     // Push the VMFunction pointer, to mark arguments.
     Push(ImmPtr(f));
 }
 void
 MacroAssembler::enterFakeParallelExitFrame(Register cx, Register scratch,
                                            JitCode *codeVal)
 {
     // Load the PerThreadData from from the cx.
     loadPtr(Address(cx, offsetof(ForkJoinContext, perThreadData)), scratch);
     linkParallelExitFrame(scratch);
     Push(ImmPtr(codeVal));
     Push(ImmPtr(nullptr));
 }
 void
 MacroAssembler::enterExitFrameAndLoadContext(const VMFunction *f, Register cxReg, Register scratch,
                                              ExecutionMode executionMode)
 {
     switch (executionMode) {
       case SequentialExecution:
         // The scratch register is not used for sequential execution.
         enterExitFrame(f);
         loadJSContext(cxReg);
         break;
       case ParallelExecution:
         enterParallelExitFrameAndLoadContext(f, cxReg, scratch);
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("No such execution mode");
     }
 }
 void
 MacroAssembler::enterFakeExitFrame(Register cxReg, Register scratch,
                                    ExecutionMode executionMode,
                                    JitCode *codeVal)
 {
     switch (executionMode) {
       case SequentialExecution:
         // The cx and scratch registers are not used for sequential execution.
         enterFakeExitFrame(codeVal);
         break;
       case ParallelExecution:
         enterFakeParallelExitFrame(cxReg, scratch, codeVal);
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("No such execution mode");
     }
 }
 void
 MacroAssembler::handleFailure(ExecutionMode executionMode)
 {
     // Re-entry code is irrelevant because the exception will leave the
     // running function and never come back
     if (sps_)
         sps_->skipNextReenter();
     leaveSPSFrame();
     void *handler;
     switch (executionMode) {
       case SequentialExecution:
         handler = JS_FUNC_TO_DATA_PTR(void *, jit::HandleException);
         break;
       case ParallelExecution:
         handler = JS_FUNC_TO_DATA_PTR(void *, jit::HandleParallelFailure);
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("No such execution mode");
     }
     MacroAssemblerSpecific::handleFailureWithHandler(handler);
     // Doesn't actually emit code, but balances the leave()
     if (sps_)
         sps_->reenter(*this, InvalidReg);
 }
 #ifdef DEBUG
 static inline bool
 IsCompilingAsmJS()
 {
     // asm.js compilation pushes an IonContext with a null JSCompartment.
     IonContext *ictx = MaybeGetIonContext();
     return ictx && ictx->compartment == nullptr;
 }
 static void
 AssumeUnreachable_(const char *output) {
     MOZ_ReportAssertionFailure(output, __FILE__, __LINE__);
 }
 #endif
 void
 MacroAssembler::assumeUnreachable(const char *output)
 {
 #ifdef DEBUG
     RegisterSet regs = RegisterSet::Volatile();
     PushRegsInMask(regs);
     Register temp = regs.takeGeneral();
     // With ASLR, we can't rely on 'output' to point to the
     // same char array after serialization/deserialization.
     // It is not possible until we modify AsmJsImmPtr and
     // the underlying "patching" mechanism.
     if (IsCompilingAsmJS()) {
         setupUnalignedABICall(0, temp);
         callWithABINoProfiling(AsmJSImm_AssumeUnreachable);
     } else {
         setupUnalignedABICall(1, temp);
         movePtr(ImmPtr(output), temp);
         passABIArg(temp);
         callWithABINoProfiling(JS_FUNC_TO_DATA_PTR(void *, AssumeUnreachable_));
     }
     PopRegsInMask(RegisterSet::Volatile());
 #endif
     breakpoint();
 }
 static void
 Printf0_(const char *output) {
     printf("%s", output);
 }
 void
 MacroAssembler::printf(const char *output)
 {
     RegisterSet regs = RegisterSet::Volatile();
     PushRegsInMask(regs);
     Register temp = regs.takeGeneral();
     setupUnalignedABICall(1, temp);
     movePtr(ImmPtr(output), temp);
     passABIArg(temp);
     callWithABINoProfiling(JS_FUNC_TO_DATA_PTR(void *, Printf0_));
     PopRegsInMask(RegisterSet::Volatile());
 }
 static void
 Printf1_(const char *output, uintptr_t value) {
     char *line = JS_sprintf_append(nullptr, output, value);
     printf("%s", line);
     js_free(line);
 }
 void
 MacroAssembler::printf(const char *output, Register value)
 {
     RegisterSet regs = RegisterSet::Volatile();
     PushRegsInMask(regs);
     regs.takeUnchecked(value);
     Register temp = regs.takeGeneral();
     setupUnalignedABICall(2, temp);
     movePtr(ImmPtr(output), temp);
     passABIArg(temp);
     passABIArg(value);
     callWithABINoProfiling(JS_FUNC_TO_DATA_PTR(void *, Printf1_));
     PopRegsInMask(RegisterSet::Volatile());
 }
 #ifdef JS_TRACE_LOGGING
 void
 MacroAssembler::tracelogStart(Register logger, uint32_t textId)
 {
     void (&TraceLogFunc)(TraceLogger*, uint32_t) = TraceLogStartEvent;
     PushRegsInMask(RegisterSet::Volatile());
     RegisterSet regs = RegisterSet::Volatile();
     regs.takeUnchecked(logger);
     Register temp = regs.takeGeneral();
     setupUnalignedABICall(2, temp);
     passABIArg(logger);
     move32(Imm32(textId), temp);
     passABIArg(temp);
     callWithABINoProfiling(JS_FUNC_TO_DATA_PTR(void *, TraceLogFunc));
     PopRegsInMask(RegisterSet::Volatile());
 }
 void
 MacroAssembler::tracelogStart(Register logger, Register textId)
 {
     void (&TraceLogFunc)(TraceLogger*, uint32_t) = TraceLogStartEvent;
     PushRegsInMask(RegisterSet::Volatile());
     RegisterSet regs = RegisterSet::Volatile();
     regs.takeUnchecked(logger);
     regs.takeUnchecked(textId);
     Register temp = regs.takeGeneral();
     setupUnalignedABICall(2, temp);
     passABIArg(logger);
     passABIArg(textId);
     callWithABINoProfiling(JS_FUNC_TO_DATA_PTR(void *, TraceLogFunc));
     regs.add(temp);
     PopRegsInMask(RegisterSet::Volatile());
 }
 void
 MacroAssembler::tracelogStop(Register logger, uint32_t textId)
 {
     void (&TraceLogFunc)(TraceLogger*, uint32_t) = TraceLogStopEvent;
     PushRegsInMask(RegisterSet::Volatile());
     RegisterSet regs = RegisterSet::Volatile();
     regs.takeUnchecked(logger);
     Register temp = regs.takeGeneral();
     setupUnalignedABICall(2, temp);
     passABIArg(logger);
     move32(Imm32(textId), temp);
     passABIArg(temp);
     callWithABINoProfiling(JS_FUNC_TO_DATA_PTR(void *, TraceLogFunc));
     regs.add(temp);
     PopRegsInMask(RegisterSet::Volatile());
 }
 void
 MacroAssembler::tracelogStop(Register logger, Register textId)
 {
 #ifdef DEBUG
     void (&TraceLogFunc)(TraceLogger*, uint32_t) = TraceLogStopEvent;
     PushRegsInMask(RegisterSet::Volatile());
     RegisterSet regs = RegisterSet::Volatile();
     regs.takeUnchecked(logger);
     regs.takeUnchecked(textId);
     Register temp = regs.takeGeneral();
     setupUnalignedABICall(2, temp);
     passABIArg(logger);
     passABIArg(textId);
     callWithABINoProfiling(JS_FUNC_TO_DATA_PTR(void *, TraceLogFunc));
     regs.add(temp);
     PopRegsInMask(RegisterSet::Volatile());
 #else
     tracelogStop(logger);
 #endif
 }
 void
 MacroAssembler::tracelogStop(Register logger)
 {
     void (&TraceLogFunc)(TraceLogger*) = TraceLogStopEvent;
     PushRegsInMask(RegisterSet::Volatile());
     RegisterSet regs = RegisterSet::Volatile();
     regs.takeUnchecked(logger);
     Register temp = regs.takeGeneral();
     setupUnalignedABICall(1, temp);
     passABIArg(logger);
     callWithABINoProfiling(JS_FUNC_TO_DATA_PTR(void *, TraceLogFunc));
     regs.add(temp);
     PopRegsInMask(RegisterSet::Volatile());
 }
 #endif
 void
 MacroAssembler::convertInt32ValueToDouble(const Address &address, Register scratch, Label *done)
 {
     branchTestInt32(Assembler::NotEqual, address, done);
     unboxInt32(address, scratch);
     convertInt32ToDouble(scratch, ScratchFloatReg);
     storeDouble(ScratchFloatReg, address);
 }
 void
 MacroAssembler::convertValueToFloatingPoint(ValueOperand value, FloatRegister output,
                                             Label *fail, MIRType outputType)
 {
     Register tag = splitTagForTest(value);
     Label isDouble, isInt32, isBool, isNull, done;
     branchTestDouble(Assembler::Equal, tag, &isDouble);
     branchTestInt32(Assembler::Equal, tag, &isInt32);
     branchTestBoolean(Assembler::Equal, tag, &isBool);
     branchTestNull(Assembler::Equal, tag, &isNull);
     branchTestUndefined(Assembler::NotEqual, tag, fail);
     // fall-through: undefined
     loadConstantFloatingPoint(GenericNaN(), float(GenericNaN()), output, outputType);
     jump(&done);
     bind(&isNull);
     loadConstantFloatingPoint(0.0, 0.0f, output, outputType);
     jump(&done);
     bind(&isBool);
     boolValueToFloatingPoint(value, output, outputType);
     jump(&done);
     bind(&isInt32);
     int32ValueToFloatingPoint(value, output, outputType);
     jump(&done);
     bind(&isDouble);
     unboxDouble(value, output);
     if (outputType == MIRType_Float32)
         convertDoubleToFloat32(output, output);
     bind(&done);
 }
 bool
 MacroAssembler::convertValueToFloatingPoint(JSContext *cx, const Value &v, FloatRegister output,
                                             Label *fail, MIRType outputType)
 {
     if (v.isNumber() || v.isString()) {
         double d;
         if (v.isNumber())
             d = v.toNumber();
         else if (!StringToNumber(cx, v.toString(), &d))
             return false;
         loadConstantFloatingPoint(d, (float)d, output, outputType);
         return true;
     }
     if (v.isBoolean()) {
         if (v.toBoolean())
             loadConstantFloatingPoint(1.0, 1.0f, output, outputType);
         else
             loadConstantFloatingPoint(0.0, 0.0f, output, outputType);
         return true;
     }
     if (v.isNull()) {
         loadConstantFloatingPoint(0.0, 0.0f, output, outputType);
         return true;
     }
     if (v.isUndefined()) {
         loadConstantFloatingPoint(GenericNaN(), float(GenericNaN()), output, outputType);
         return true;
     }
     JS_ASSERT(v.isObject());
     jump(fail);
     return true;
 }
 void
 MacroAssembler::PushEmptyRooted(VMFunction::RootType rootType)
 {
     switch (rootType) {
       case VMFunction::RootNone:
         MOZ_ASSUME_UNREACHABLE("Handle must have root type");
       case VMFunction::RootObject:
       case VMFunction::RootString:
       case VMFunction::RootPropertyName:
       case VMFunction::RootFunction:
       case VMFunction::RootCell:
         Push(ImmPtr(nullptr));
         break;
       case VMFunction::RootValue:
         Push(UndefinedValue());
         break;
     }
 }
 void
 MacroAssembler::popRooted(VMFunction::RootType rootType, Register cellReg,
                           const ValueOperand &valueReg)
 {
     switch (rootType) {
       case VMFunction::RootNone:
         MOZ_ASSUME_UNREACHABLE("Handle must have root type");
       case VMFunction::RootObject:
       case VMFunction::RootString:
       case VMFunction::RootPropertyName:
       case VMFunction::RootFunction:
       case VMFunction::RootCell:
         Pop(cellReg);
         break;
       case VMFunction::RootValue:
         Pop(valueReg);
         break;
     }
 }
 bool
 MacroAssembler::convertConstantOrRegisterToFloatingPoint(JSContext *cx, ConstantOrRegister src,
                                                          FloatRegister output, Label *fail,
                                                          MIRType outputType)
 {
     if (src.constant())
         return convertValueToFloatingPoint(cx, src.value(), output, fail, outputType);
     convertTypedOrValueToFloatingPoint(src.reg(), output, fail, outputType);
     return true;
 }
 void
 MacroAssembler::convertTypedOrValueToFloatingPoint(TypedOrValueRegister src, FloatRegister output,
                                                    Label *fail, MIRType outputType)
 {
     JS_ASSERT(IsFloatingPointType(outputType));
     if (src.hasValue()) {
         convertValueToFloatingPoint(src.valueReg(), output, fail, outputType);
         return;
     }
     bool outputIsDouble = outputType == MIRType_Double;
     switch (src.type()) {
       case MIRType_Null:
         loadConstantFloatingPoint(0.0, 0.0f, output, outputType);
         break;
       case MIRType_Boolean:
       case MIRType_Int32:
         convertInt32ToFloatingPoint(src.typedReg().gpr(), output, outputType);
         break;
       case MIRType_Float32:
         if (outputIsDouble) {
             convertFloat32ToDouble(src.typedReg().fpu(), output);
         } else {
             if (src.typedReg().fpu() != output)
                 moveFloat32(src.typedReg().fpu(), output);
         }
         break;
       case MIRType_Double:
         if (outputIsDouble) {
             if (src.typedReg().fpu() != output)
                 moveDouble(src.typedReg().fpu(), output);
         } else {
             convertDoubleToFloat32(src.typedReg().fpu(), output);
         }
         break;
       case MIRType_Object:
       case MIRType_String:
         jump(fail);
         break;
       case MIRType_Undefined:
         loadConstantFloatingPoint(GenericNaN(), float(GenericNaN()), output, outputType);
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("Bad MIRType");
     }
 }
 void
 MacroAssembler::convertDoubleToInt(FloatRegister src, Register output, FloatRegister temp,
                                    Label *truncateFail, Label *fail,
                                    IntConversionBehavior behavior)
 {
     switch (behavior) {
       case IntConversion_Normal:
       case IntConversion_NegativeZeroCheck:
         convertDoubleToInt32(src, output, fail, behavior == IntConversion_NegativeZeroCheck);
         break;
       case IntConversion_Truncate:
         branchTruncateDouble(src, output, truncateFail ? truncateFail : fail);
         break;
       case IntConversion_ClampToUint8:
         // Clamping clobbers the input register, so use a temp.
         moveDouble(src, temp);
         clampDoubleToUint8(temp, output);
         break;
     }
 }
 void
 MacroAssembler::convertValueToInt(ValueOperand value, MDefinition *maybeInput,
                                   Label *handleStringEntry, Label *handleStringRejoin,
                                   Label *truncateDoubleSlow,
                                   Register stringReg, FloatRegister temp, Register output,
                                   Label *fail, IntConversionBehavior behavior,
                                   IntConversionInputKind conversion)
 {
     Register tag = splitTagForTest(value);
     bool handleStrings = (behavior == IntConversion_Truncate ||
                           behavior == IntConversion_ClampToUint8) &&
                          handleStringEntry &&
                          handleStringRejoin;
     JS_ASSERT_IF(handleStrings, conversion == IntConversion_Any);
     Label done, isInt32, isBool, isDouble, isNull, isString;
     branchEqualTypeIfNeeded(MIRType_Int32, maybeInput, tag, &isInt32);
     if (conversion == IntConversion_Any || conversion == IntConversion_NumbersOrBoolsOnly)
         branchEqualTypeIfNeeded(MIRType_Boolean, maybeInput, tag, &isBool);
     branchEqualTypeIfNeeded(MIRType_Double, maybeInput, tag, &isDouble);
     if (conversion == IntConversion_Any) {
         // If we are not truncating, we fail for anything that's not
         // null. Otherwise we might be able to handle strings and objects.
         switch (behavior) {
           case IntConversion_Normal:
           case IntConversion_NegativeZeroCheck:
             branchTestNull(Assembler::NotEqual, tag, fail);
             break;
           case IntConversion_Truncate:
           case IntConversion_ClampToUint8:
             branchEqualTypeIfNeeded(MIRType_Null, maybeInput, tag, &isNull);
             if (handleStrings)
                 branchEqualTypeIfNeeded(MIRType_String, maybeInput, tag, &isString);
             branchEqualTypeIfNeeded(MIRType_Object, maybeInput, tag, fail);
             branchTestUndefined(Assembler::NotEqual, tag, fail);
             break;
         }
     } else {
         jump(fail);
     }
     // The value is null or undefined in truncation contexts - just emit 0.
     if (isNull.used())
         bind(&isNull);
     mov(ImmWord(0), output);
     jump(&done);
     // Try converting a string into a double, then jump to the double case.
     if (handleStrings) {
         bind(&isString);
         unboxString(value, stringReg);
         jump(handleStringEntry);
     }
     // Try converting double into integer.
     if (isDouble.used() || handleStrings) {
         if (isDouble.used()) {
             bind(&isDouble);
             unboxDouble(value, temp);
         }
         if (handleStrings)
             bind(handleStringRejoin);
         convertDoubleToInt(temp, output, temp, truncateDoubleSlow, fail, behavior);
         jump(&done);
     }
     // Just unbox a bool, the result is 0 or 1.
     if (isBool.used()) {
         bind(&isBool);
         unboxBoolean(value, output);
         jump(&done);
     }
     // Integers can be unboxed.
     if (isInt32.used()) {
         bind(&isInt32);
         unboxInt32(value, output);
         if (behavior == IntConversion_ClampToUint8)
             clampIntToUint8(output);
     }
     bind(&done);
 }
 bool
 MacroAssembler::convertValueToInt(JSContext *cx, const Value &v, Register output, Label *fail,
                                   IntConversionBehavior behavior)
 {
     bool handleStrings = (behavior == IntConversion_Truncate ||
                           behavior == IntConversion_ClampToUint8);
     if (v.isNumber() || (handleStrings && v.isString())) {
         double d;
         if (v.isNumber())
             d = v.toNumber();
         else if (!StringToNumber(cx, v.toString(), &d))
             return false;
         switch (behavior) {
           case IntConversion_Normal:
           case IntConversion_NegativeZeroCheck: {
             // -0 is checked anyways if we have a constant value.
             int i;
             if (mozilla::NumberIsInt32(d, &i))
                 move32(Imm32(i), output);
             else
                 jump(fail);
             break;
           }
           case IntConversion_Truncate:
             move32(Imm32(js::ToInt32(d)), output);
             break;
           case IntConversion_ClampToUint8:
             move32(Imm32(ClampDoubleToUint8(d)), output);
             break;
         }
         return true;
     }
     if (v.isBoolean()) {
         move32(Imm32(v.toBoolean() ? 1 : 0), output);
         return true;
     }
     if (v.isNull() || v.isUndefined()) {
         move32(Imm32(0), output);
         return true;
     }
     JS_ASSERT(v.isObject());
     jump(fail);
     return true;
 }
 bool
 MacroAssembler::convertConstantOrRegisterToInt(JSContext *cx, ConstantOrRegister src,
                                                FloatRegister temp, Register output,
                                                Label *fail, IntConversionBehavior behavior)
 {
     if (src.constant())
         return convertValueToInt(cx, src.value(), output, fail, behavior);
     convertTypedOrValueToInt(src.reg(), temp, output, fail, behavior);
     return true;
 }
 void
 MacroAssembler::convertTypedOrValueToInt(TypedOrValueRegister src, FloatRegister temp,
                                          Register output, Label *fail,
                                          IntConversionBehavior behavior)
 {
     if (src.hasValue()) {
         convertValueToInt(src.valueReg(), temp, output, fail, behavior);
         return;
     }
     switch (src.type()) {
       case MIRType_Undefined:
       case MIRType_Null:
         move32(Imm32(0), output);
         break;
       case MIRType_Boolean:
       case MIRType_Int32:
         if (src.typedReg().gpr() != output)
             move32(src.typedReg().gpr(), output);
         if (src.type() == MIRType_Int32 && behavior == IntConversion_ClampToUint8)
             clampIntToUint8(output);
         break;
       case MIRType_Double:
         convertDoubleToInt(src.typedReg().fpu(), output, temp, nullptr, fail, behavior);
         break;
       case MIRType_Float32:
         // Conversion to Double simplifies implementation at the expense of performance.
         convertFloat32ToDouble(src.typedReg().fpu(), temp);
         convertDoubleToInt(temp, output, temp, nullptr, fail, behavior);
         break;
       case MIRType_String:
       case MIRType_Object:
         jump(fail);
         break;
       default:
         MOZ_ASSUME_UNREACHABLE("Bad MIRType");
     }
 }
 void
 MacroAssembler::finish()
 {
     if (sequentialFailureLabel_.used()) {
         bind(&sequentialFailureLabel_);
         handleFailure(SequentialExecution);
     }
     if (parallelFailureLabel_.used()) {
         bind(&parallelFailureLabel_);
         handleFailure(ParallelExecution);
     }
     MacroAssemblerSpecific::finish();
 }
 void
 MacroAssembler::branchIfNotInterpretedConstructor(Register fun, Register scratch, Label *label)
 {
     // 16-bit loads are slow and unaligned 32-bit loads may be too so
     // perform an aligned 32-bit load and adjust the bitmask accordingly.
     JS_ASSERT(JSFunction::offsetOfNargs() % sizeof(uint32_t) == 0);
     JS_ASSERT(JSFunction::offsetOfFlags() == JSFunction::offsetOfNargs() + 2);
     JS_STATIC_ASSERT(IS_LITTLE_ENDIAN);
     // Emit code for the following test:
     //
     // bool isInterpretedConstructor() const {
     //     return isInterpreted() && !isFunctionPrototype() && !isArrow() &&
     //         (!isSelfHostedBuiltin() || isSelfHostedConstructor());
     // }
     // First, ensure it's a scripted function.
     load32(Address(fun, JSFunction::offsetOfNargs()), scratch);
     branchTest32(Assembler::Zero, scratch, Imm32(JSFunction::INTERPRETED << 16), label);
     // Common case: if IS_FUN_PROTO, ARROW and SELF_HOSTED are not set,
     // the function is an interpreted constructor and we're done.
     Label done;
     uint32_t bits = (JSFunction::IS_FUN_PROTO | JSFunction::ARROW | JSFunction::SELF_HOSTED) << 16;
     branchTest32(Assembler::Zero, scratch, Imm32(bits), &done);
     {
         // The callee is either Function.prototype, an arrow function or
         // self-hosted. None of these are constructible, except self-hosted
         // constructors, so branch to |label| if SELF_HOSTED_CTOR is not set.
         branchTest32(Assembler::Zero, scratch, Imm32(JSFunction::SELF_HOSTED_CTOR << 16), label);
 #ifdef DEBUG
         // Function.prototype should not have the SELF_HOSTED_CTOR flag.
         branchTest32(Assembler::Zero, scratch, Imm32(JSFunction::IS_FUN_PROTO << 16), &done);
         breakpoint();
 #endif
     }
     bind(&done);
 }
 void
 MacroAssembler::branchEqualTypeIfNeeded(MIRType type, MDefinition *maybeDef, Register tag,
                                         Label *label)
 {
     if (!maybeDef || maybeDef->mightBeType(type)) {
         switch (type) {
           case MIRType_Null:
             branchTestNull(Equal, tag, label);
             break;
           case MIRType_Boolean:
             branchTestBoolean(Equal, tag, label);
             break;
           case MIRType_Int32:
             branchTestInt32(Equal, tag, label);
             break;
           case MIRType_Double:
             branchTestDouble(Equal, tag, label);
             break;
           case MIRType_String:
             branchTestString(Equal, tag, label);
             break;
           case MIRType_Object:
             branchTestObject(Equal, tag, label);
             break;
           default:
             MOZ_ASSUME_UNREACHABLE("Unsupported type");
         }
     }
 }
 // If a pseudostack frame has this as its label, its stack pointer
 // field points to the registers saved on entry to JIT code.  A native
 // stack unwinder could use that information to continue unwinding
 // past that point.
 const char MacroAssembler::enterJitLabel[] = "EnterJIT";
 // Creates an enterJIT pseudostack frame, as described above.  Pushes
 // a word to the stack to indicate whether this was done.  |framePtr| is
 // the pointer to the machine-dependent saved state.
 void
 MacroAssembler::spsMarkJit(SPSProfiler *p, Register framePtr, Register temp)
 {
     Label spsNotEnabled;
     uint32_t *enabledAddr = p->addressOfEnabled();
     load32(AbsoluteAddress(enabledAddr), temp);
     push(temp); // +4: Did we push an sps frame.
     branchTest32(Assembler::Equal, temp, temp, &spsNotEnabled);
     Label stackFull;
     // We always need the "safe" versions, because these are used in trampolines
     // and won't be regenerated when SPS state changes.
     spsProfileEntryAddressSafe(p, 0, temp, &stackFull);
     storePtr(ImmPtr(enterJitLabel), Address(temp, ProfileEntry::offsetOfString()));
     storePtr(framePtr,              Address(temp, ProfileEntry::offsetOfStackAddress()));
     storePtr(ImmWord(uintptr_t(0)), Address(temp, ProfileEntry::offsetOfScript()));
     store32(Imm32(ProfileEntry::NullPCIndex), Address(temp, ProfileEntry::offsetOfPCIdx()));
     /* Always increment the stack size, whether or not we actually pushed. */
     bind(&stackFull);
     loadPtr(AbsoluteAddress(p->addressOfSizePointer()), temp);
     add32(Imm32(1), Address(temp, 0));
     bind(&spsNotEnabled);
 }
 // Pops the word pushed by spsMarkJit and, if spsMarkJit pushed an SPS
 // frame, pops it.
 void
 MacroAssembler::spsUnmarkJit(SPSProfiler *p, Register temp)
 {
     Label spsNotEnabled;
     pop(temp); // -4: Was the profiler enabled.
     branchTest32(Assembler::Equal, temp, temp, &spsNotEnabled);
     spsPopFrameSafe(p, temp);
     bind(&spsNotEnabled);
 }

The Tor Browser / annotate

js/src/jit/IonMacroAssembler.cpp@6474c204b198 (annotated)

js/src/jit/IonMacroAssembler.cpp