blob: 7de32c5c9124120cf1441dc06353d7aecad1dad9 [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001// Copyright 2013 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#ifndef V8_COMPILER_CODE_GENERATOR_IMPL_H_
6#define V8_COMPILER_CODE_GENERATOR_IMPL_H_
7
Emily Bernierd0a1eb72015-03-24 16:35:39 -04008#include "src/code-stubs.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +00009#include "src/compiler/code-generator.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000010#include "src/compiler/instruction.h"
11#include "src/compiler/linkage.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000012#include "src/compiler/opcodes.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -040013#include "src/macro-assembler.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000014
15namespace v8 {
16namespace internal {
17namespace compiler {
18
19// Converts InstructionOperands from a given instruction to
20// architecture-specific
21// registers and operands after they have been assigned by the register
22// allocator.
23class InstructionOperandConverter {
24 public:
25 InstructionOperandConverter(CodeGenerator* gen, Instruction* instr)
26 : gen_(gen), instr_(instr) {}
27
Emily Bernierd0a1eb72015-03-24 16:35:39 -040028 // -- Instruction operand accesses with conversions --------------------------
29
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000030 Register InputRegister(size_t index) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000031 return ToRegister(instr_->InputAt(index));
32 }
33
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000034 DoubleRegister InputDoubleRegister(size_t index) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000035 return ToDoubleRegister(instr_->InputAt(index));
36 }
37
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000038 double InputDouble(size_t index) { return ToDouble(instr_->InputAt(index)); }
Ben Murdochb8a8cc12014-11-26 15:28:44 +000039
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000040 float InputFloat32(size_t index) { return ToFloat32(instr_->InputAt(index)); }
41
42 int32_t InputInt32(size_t index) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000043 return ToConstant(instr_->InputAt(index)).ToInt32();
44 }
45
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000046 int64_t InputInt64(size_t index) {
47 return ToConstant(instr_->InputAt(index)).ToInt64();
48 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +000049
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000050 int8_t InputInt8(size_t index) {
51 return static_cast<int8_t>(InputInt32(index));
52 }
53
54 int16_t InputInt16(size_t index) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000055 return static_cast<int16_t>(InputInt32(index));
56 }
57
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000058 uint8_t InputInt5(size_t index) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000059 return static_cast<uint8_t>(InputInt32(index) & 0x1F);
60 }
61
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000062 uint8_t InputInt6(size_t index) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000063 return static_cast<uint8_t>(InputInt32(index) & 0x3F);
64 }
65
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000066 ExternalReference InputExternalReference(size_t index) {
67 return ToExternalReference(instr_->InputAt(index));
68 }
69
70 Handle<HeapObject> InputHeapObject(size_t index) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000071 return ToHeapObject(instr_->InputAt(index));
72 }
73
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000074 Label* InputLabel(size_t index) { return ToLabel(instr_->InputAt(index)); }
Ben Murdochb8a8cc12014-11-26 15:28:44 +000075
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000076 RpoNumber InputRpo(size_t index) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -040077 return ToRpoNumber(instr_->InputAt(index));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000078 }
79
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000080 Register OutputRegister(size_t index = 0) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000081 return ToRegister(instr_->OutputAt(index));
82 }
83
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000084 Register TempRegister(size_t index) {
85 return ToRegister(instr_->TempAt(index));
86 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -040087
Ben Murdochb8a8cc12014-11-26 15:28:44 +000088 DoubleRegister OutputDoubleRegister() {
89 return ToDoubleRegister(instr_->Output());
90 }
91
Emily Bernierd0a1eb72015-03-24 16:35:39 -040092 // -- Conversions for operands -----------------------------------------------
93
94 Label* ToLabel(InstructionOperand* op) {
95 return gen_->GetLabel(ToRpoNumber(op));
96 }
97
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000098 RpoNumber ToRpoNumber(InstructionOperand* op) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -040099 return ToConstant(op).ToRpoNumber();
100 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000101
102 Register ToRegister(InstructionOperand* op) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000103 return LocationOperand::cast(op)->GetRegister();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000104 }
105
106 DoubleRegister ToDoubleRegister(InstructionOperand* op) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000107 return LocationOperand::cast(op)->GetDoubleRegister();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000108 }
109
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400110 Constant ToConstant(InstructionOperand* op) {
111 if (op->IsImmediate()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000112 return gen_->code()->GetImmediate(ImmediateOperand::cast(op));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000113 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000114 return gen_->code()->GetConstant(
115 ConstantOperand::cast(op)->virtual_register());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000116 }
117
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400118 double ToDouble(InstructionOperand* op) { return ToConstant(op).ToFloat64(); }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000119
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000120 float ToFloat32(InstructionOperand* op) { return ToConstant(op).ToFloat32(); }
121
122 ExternalReference ToExternalReference(InstructionOperand* op) {
123 return ToConstant(op).ToExternalReference();
124 }
125
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400126 Handle<HeapObject> ToHeapObject(InstructionOperand* op) {
127 return ToConstant(op).ToHeapObject();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000128 }
129
130 Frame* frame() const { return gen_->frame(); }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000131 FrameAccessState* frame_access_state() const {
132 return gen_->frame_access_state();
133 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000134 Isolate* isolate() const { return gen_->isolate(); }
135 Linkage* linkage() const { return gen_->linkage(); }
136
137 protected:
138 CodeGenerator* gen_;
139 Instruction* instr_;
140};
141
Ben Murdochda12d292016-06-02 14:46:10 +0100142// Eager deoptimization exit.
143class DeoptimizationExit : public ZoneObject {
144 public:
145 explicit DeoptimizationExit(int deoptimization_id)
146 : deoptimization_id_(deoptimization_id) {}
147
148 int deoptimization_id() const { return deoptimization_id_; }
149 Label* label() { return &label_; }
150
151 private:
152 int const deoptimization_id_;
153 Label label_;
154};
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000155
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400156// Generator for out-of-line code that is emitted after the main code is done.
157class OutOfLineCode : public ZoneObject {
158 public:
159 explicit OutOfLineCode(CodeGenerator* gen);
160 virtual ~OutOfLineCode();
161
162 virtual void Generate() = 0;
163
164 Label* entry() { return &entry_; }
165 Label* exit() { return &exit_; }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000166 Frame* frame() const { return frame_; }
167 Isolate* isolate() const { return masm()->isolate(); }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400168 MacroAssembler* masm() const { return masm_; }
169 OutOfLineCode* next() const { return next_; }
170
171 private:
172 Label entry_;
173 Label exit_;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000174 Frame* const frame_;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400175 MacroAssembler* const masm_;
176 OutOfLineCode* const next_;
177};
178
179
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000180// TODO(dcarney): generify this on bleeding_edge and replace this call
181// when merged.
182static inline void FinishCode(MacroAssembler* masm) {
183#if V8_TARGET_ARCH_ARM64 || V8_TARGET_ARCH_ARM
184 masm->CheckConstPool(true, false);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000185#elif V8_TARGET_ARCH_IA32 || V8_TARGET_ARCH_X64
186 masm->ud2();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000187#endif
188}
189
190} // namespace compiler
191} // namespace internal
192} // namespace v8
193
194#endif // V8_COMPILER_CODE_GENERATOR_IMPL_H