Source code
Revision control
Copy as Markdown
Other Tools
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
* vim: set ts=8 sts=2 et sw=2 tw=80:
* 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
#ifndef jit_arm_CodeGenerator_arm_h
#define jit_arm_CodeGenerator_arm_h
#include "jit/arm/Assembler-arm.h"
#include "jit/shared/CodeGenerator-shared.h"
#include "js/ScalarType.h" // js::Scalar::Type
namespace js {
namespace jit {
class CodeGeneratorARM;
class OutOfLineTableSwitch;
using OutOfLineWasmTruncateCheck =
OutOfLineWasmTruncateCheckBase<CodeGeneratorARM>;
class CodeGeneratorARM : public CodeGeneratorShared {
friend class MoveResolverARM;
protected:
CodeGeneratorARM(MIRGenerator* gen, LIRGraph* graph, MacroAssembler* masm,
const wasm::CodeMetadata* wasmCodeMeta);
NonAssertingLabel deoptLabel_;
MoveOperand toMoveOperand(LAllocation a) const;
void bailoutIf(Assembler::Condition condition, LSnapshot* snapshot);
void bailoutFrom(Label* label, LSnapshot* snapshot);
void bailout(LSnapshot* snapshot);
template <typename T1, typename T2>
void bailoutCmpPtr(Assembler::Condition c, T1 lhs, T2 rhs,
LSnapshot* snapshot) {
masm.cmpPtr(lhs, rhs);
bailoutIf(c, snapshot);
}
void bailoutTestPtr(Assembler::Condition c, Register lhs, Register rhs,
LSnapshot* snapshot) {
masm.testPtr(lhs, rhs);
bailoutIf(c, snapshot);
}
template <typename T1, typename T2>
void bailoutCmp32(Assembler::Condition c, T1 lhs, T2 rhs,
LSnapshot* snapshot) {
masm.cmp32(lhs, rhs);
bailoutIf(c, snapshot);
}
template <typename T1, typename T2>
void bailoutTest32(Assembler::Condition c, T1 lhs, T2 rhs,
LSnapshot* snapshot) {
masm.test32(lhs, rhs);
bailoutIf(c, snapshot);
}
void bailoutIfFalseBool(Register reg, LSnapshot* snapshot) {
masm.test32(reg, Imm32(0xFF));
bailoutIf(Assembler::Zero, snapshot);
}
template <class T>
void generateUDivModZeroCheck(Register rhs, Register output, Label* done,
LSnapshot* snapshot, T* mir);
bool generateOutOfLineCode();
// Emits a branch that directs control flow to the true block if |cond| is
// true, and the false block if |cond| is false.
void emitBranch(Assembler::Condition cond, MBasicBlock* ifTrue,
MBasicBlock* ifFalse);
void emitTableSwitchDispatch(MTableSwitch* mir, Register index,
Register base);
void emitBigIntPtrDiv(LBigIntPtrDiv* ins, Register dividend, Register divisor,
Register output);
void emitBigIntPtrMod(LBigIntPtrMod* ins, Register dividend, Register divisor,
Register output);
template <typename T>
void emitWasmLoad(T* ins);
template <typename T>
void emitWasmUnalignedLoad(T* ins);
template <typename T>
void emitWasmStore(T* ins);
template <typename T>
void emitWasmUnalignedStore(T* ins);
void divICommon(MDiv* mir, Register lhs, Register rhs, Register output,
LSnapshot* snapshot, Label& done);
void modICommon(MMod* mir, Register lhs, Register rhs, Register output,
LSnapshot* snapshot, Label& done);
void generateInvalidateEpilogue();
// Generating a result.
template <typename S, typename T>
void atomicBinopToTypedIntArray(AtomicOp op, Scalar::Type arrayType,
const S& value, const T& mem,
Register flagTemp, Register outTemp,
AnyRegister output);
// Generating no result.
template <typename S, typename T>
void atomicBinopToTypedIntArray(AtomicOp op, Scalar::Type arrayType,
const S& value, const T& mem,
Register flagTemp);
public:
void emitBailoutOOL(LSnapshot* snapshot);
void visitOutOfLineTableSwitch(OutOfLineTableSwitch* ool);
void visitOutOfLineWasmTruncateCheck(OutOfLineWasmTruncateCheck* ool);
};
using CodeGeneratorSpecific = CodeGeneratorARM;
} // namespace jit
} // namespace js
#endif /* jit_arm_CodeGenerator_arm_h */