• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // 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 #include "src/compiler/code-generator.h"
6 
7 #include "src/compiler/code-generator-impl.h"
8 #include "src/compiler/linkage.h"
9 #include "src/compiler/pipeline.h"
10 
11 namespace v8 {
12 namespace internal {
13 namespace compiler {
14 
CodeGenerator(InstructionSequence * code)15 CodeGenerator::CodeGenerator(InstructionSequence* code)
16     : code_(code),
17       current_block_(NULL),
18       current_source_position_(SourcePosition::Invalid()),
19       masm_(code->zone()->isolate(), NULL, 0),
20       resolver_(this),
21       safepoints_(code->zone()),
22       deoptimization_states_(code->zone()),
23       deoptimization_literals_(code->zone()),
24       translations_(code->zone()),
25       last_lazy_deopt_pc_(0) {}
26 
27 
GenerateCode()28 Handle<Code> CodeGenerator::GenerateCode() {
29   CompilationInfo* info = linkage()->info();
30 
31   // Emit a code line info recording start event.
32   PositionsRecorder* recorder = masm()->positions_recorder();
33   LOG_CODE_EVENT(isolate(), CodeStartLinePosInfoRecordEvent(recorder));
34 
35   // Place function entry hook if requested to do so.
36   if (linkage()->GetIncomingDescriptor()->IsJSFunctionCall()) {
37     ProfileEntryHookStub::MaybeCallEntryHook(masm());
38   }
39 
40   // Architecture-specific, linkage-specific prologue.
41   info->set_prologue_offset(masm()->pc_offset());
42   AssemblePrologue();
43 
44   // Assemble all instructions.
45   for (InstructionSequence::const_iterator i = code()->begin();
46        i != code()->end(); ++i) {
47     AssembleInstruction(*i);
48   }
49 
50   FinishCode(masm());
51 
52   // Ensure there is space for lazy deopt.
53   if (!info->IsStub()) {
54     int target_offset = masm()->pc_offset() + Deoptimizer::patch_size();
55     while (masm()->pc_offset() < target_offset) {
56       masm()->nop();
57     }
58   }
59 
60   safepoints()->Emit(masm(), frame()->GetSpillSlotCount());
61 
62   // TODO(titzer): what are the right code flags here?
63   Code::Kind kind = Code::STUB;
64   if (linkage()->GetIncomingDescriptor()->IsJSFunctionCall()) {
65     kind = Code::OPTIMIZED_FUNCTION;
66   }
67   Handle<Code> result = v8::internal::CodeGenerator::MakeCodeEpilogue(
68       masm(), Code::ComputeFlags(kind), info);
69   result->set_is_turbofanned(true);
70   result->set_stack_slots(frame()->GetSpillSlotCount());
71   result->set_safepoint_table_offset(safepoints()->GetCodeOffset());
72 
73   PopulateDeoptimizationData(result);
74 
75   // Emit a code line info recording stop event.
76   void* line_info = recorder->DetachJITHandlerData();
77   LOG_CODE_EVENT(isolate(), CodeEndLinePosInfoRecordEvent(*result, line_info));
78 
79   return result;
80 }
81 
82 
RecordSafepoint(PointerMap * pointers,Safepoint::Kind kind,int arguments,Safepoint::DeoptMode deopt_mode)83 void CodeGenerator::RecordSafepoint(PointerMap* pointers, Safepoint::Kind kind,
84                                     int arguments,
85                                     Safepoint::DeoptMode deopt_mode) {
86   const ZoneList<InstructionOperand*>* operands =
87       pointers->GetNormalizedOperands();
88   Safepoint safepoint =
89       safepoints()->DefineSafepoint(masm(), kind, arguments, deopt_mode);
90   for (int i = 0; i < operands->length(); i++) {
91     InstructionOperand* pointer = operands->at(i);
92     if (pointer->IsStackSlot()) {
93       safepoint.DefinePointerSlot(pointer->index(), zone());
94     } else if (pointer->IsRegister() && (kind & Safepoint::kWithRegisters)) {
95       Register reg = Register::FromAllocationIndex(pointer->index());
96       safepoint.DefinePointerRegister(reg, zone());
97     }
98   }
99 }
100 
101 
AssembleInstruction(Instruction * instr)102 void CodeGenerator::AssembleInstruction(Instruction* instr) {
103   if (instr->IsBlockStart()) {
104     // Bind a label for a block start and handle parallel moves.
105     BlockStartInstruction* block_start = BlockStartInstruction::cast(instr);
106     current_block_ = block_start->block();
107     if (FLAG_code_comments) {
108       // TODO(titzer): these code comments are a giant memory leak.
109       Vector<char> buffer = Vector<char>::New(32);
110       SNPrintF(buffer, "-- B%d start --", block_start->block()->id());
111       masm()->RecordComment(buffer.start());
112     }
113     masm()->bind(block_start->label());
114   }
115   if (instr->IsGapMoves()) {
116     // Handle parallel moves associated with the gap instruction.
117     AssembleGap(GapInstruction::cast(instr));
118   } else if (instr->IsSourcePosition()) {
119     AssembleSourcePosition(SourcePositionInstruction::cast(instr));
120   } else {
121     // Assemble architecture-specific code for the instruction.
122     AssembleArchInstruction(instr);
123 
124     // Assemble branches or boolean materializations after this instruction.
125     FlagsMode mode = FlagsModeField::decode(instr->opcode());
126     FlagsCondition condition = FlagsConditionField::decode(instr->opcode());
127     switch (mode) {
128       case kFlags_none:
129         return;
130       case kFlags_set:
131         return AssembleArchBoolean(instr, condition);
132       case kFlags_branch:
133         return AssembleArchBranch(instr, condition);
134     }
135     UNREACHABLE();
136   }
137 }
138 
139 
AssembleSourcePosition(SourcePositionInstruction * instr)140 void CodeGenerator::AssembleSourcePosition(SourcePositionInstruction* instr) {
141   SourcePosition source_position = instr->source_position();
142   if (source_position == current_source_position_) return;
143   DCHECK(!source_position.IsInvalid());
144   if (!source_position.IsUnknown()) {
145     int code_pos = source_position.raw();
146     masm()->positions_recorder()->RecordPosition(source_position.raw());
147     masm()->positions_recorder()->WriteRecordedPositions();
148     if (FLAG_code_comments) {
149       Vector<char> buffer = Vector<char>::New(256);
150       CompilationInfo* info = linkage()->info();
151       int ln = Script::GetLineNumber(info->script(), code_pos);
152       int cn = Script::GetColumnNumber(info->script(), code_pos);
153       if (info->script()->name()->IsString()) {
154         Handle<String> file(String::cast(info->script()->name()));
155         base::OS::SNPrintF(buffer.start(), buffer.length(), "-- %s:%d:%d --",
156                            file->ToCString().get(), ln, cn);
157       } else {
158         base::OS::SNPrintF(buffer.start(), buffer.length(),
159                            "-- <unknown>:%d:%d --", ln, cn);
160       }
161       masm()->RecordComment(buffer.start());
162     }
163   }
164   current_source_position_ = source_position;
165 }
166 
167 
AssembleGap(GapInstruction * instr)168 void CodeGenerator::AssembleGap(GapInstruction* instr) {
169   for (int i = GapInstruction::FIRST_INNER_POSITION;
170        i <= GapInstruction::LAST_INNER_POSITION; i++) {
171     GapInstruction::InnerPosition inner_pos =
172         static_cast<GapInstruction::InnerPosition>(i);
173     ParallelMove* move = instr->GetParallelMove(inner_pos);
174     if (move != NULL) resolver()->Resolve(move);
175   }
176 }
177 
178 
PopulateDeoptimizationData(Handle<Code> code_object)179 void CodeGenerator::PopulateDeoptimizationData(Handle<Code> code_object) {
180   CompilationInfo* info = linkage()->info();
181   int deopt_count = static_cast<int>(deoptimization_states_.size());
182   if (deopt_count == 0) return;
183   Handle<DeoptimizationInputData> data =
184       DeoptimizationInputData::New(isolate(), deopt_count, TENURED);
185 
186   Handle<ByteArray> translation_array =
187       translations_.CreateByteArray(isolate()->factory());
188 
189   data->SetTranslationByteArray(*translation_array);
190   data->SetInlinedFunctionCount(Smi::FromInt(0));
191   data->SetOptimizationId(Smi::FromInt(info->optimization_id()));
192   // TODO(jarin) The following code was copied over from Lithium, not sure
193   // whether the scope or the IsOptimizing condition are really needed.
194   if (info->IsOptimizing()) {
195     // Reference to shared function info does not change between phases.
196     AllowDeferredHandleDereference allow_handle_dereference;
197     data->SetSharedFunctionInfo(*info->shared_info());
198   } else {
199     data->SetSharedFunctionInfo(Smi::FromInt(0));
200   }
201 
202   Handle<FixedArray> literals = isolate()->factory()->NewFixedArray(
203       static_cast<int>(deoptimization_literals_.size()), TENURED);
204   {
205     AllowDeferredHandleDereference copy_handles;
206     for (unsigned i = 0; i < deoptimization_literals_.size(); i++) {
207       literals->set(i, *deoptimization_literals_[i]);
208     }
209     data->SetLiteralArray(*literals);
210   }
211 
212   // No OSR in Turbofan yet...
213   BailoutId osr_ast_id = BailoutId::None();
214   data->SetOsrAstId(Smi::FromInt(osr_ast_id.ToInt()));
215   data->SetOsrPcOffset(Smi::FromInt(-1));
216 
217   // Populate deoptimization entries.
218   for (int i = 0; i < deopt_count; i++) {
219     DeoptimizationState* deoptimization_state = deoptimization_states_[i];
220     data->SetAstId(i, deoptimization_state->bailout_id());
221     CHECK_NE(NULL, deoptimization_states_[i]);
222     data->SetTranslationIndex(
223         i, Smi::FromInt(deoptimization_states_[i]->translation_id()));
224     data->SetArgumentsStackHeight(i, Smi::FromInt(0));
225     data->SetPc(i, Smi::FromInt(deoptimization_state->pc_offset()));
226   }
227 
228   code_object->set_deoptimization_data(*data);
229 }
230 
231 
AddSafepointAndDeopt(Instruction * instr)232 void CodeGenerator::AddSafepointAndDeopt(Instruction* instr) {
233   CallDescriptor::Flags flags(MiscField::decode(instr->opcode()));
234 
235   bool needs_frame_state = (flags & CallDescriptor::kNeedsFrameState);
236 
237   RecordSafepoint(
238       instr->pointer_map(), Safepoint::kSimple, 0,
239       needs_frame_state ? Safepoint::kLazyDeopt : Safepoint::kNoLazyDeopt);
240 
241   if (flags & CallDescriptor::kNeedsNopAfterCall) {
242     AddNopForSmiCodeInlining();
243   }
244 
245   if (needs_frame_state) {
246     MarkLazyDeoptSite();
247     // If the frame state is present, it starts at argument 1
248     // (just after the code address).
249     InstructionOperandConverter converter(this, instr);
250     // Deoptimization info starts at argument 1
251     size_t frame_state_offset = 1;
252     FrameStateDescriptor* descriptor =
253         GetFrameStateDescriptor(instr, frame_state_offset);
254     int pc_offset = masm()->pc_offset();
255     int deopt_state_id = BuildTranslation(instr, pc_offset, frame_state_offset,
256                                           descriptor->state_combine());
257     // If the pre-call frame state differs from the post-call one, produce the
258     // pre-call frame state, too.
259     // TODO(jarin) We might want to avoid building the pre-call frame state
260     // because it is only used to get locals and arguments (by the debugger and
261     // f.arguments), and those are the same in the pre-call and post-call
262     // states.
263     if (descriptor->state_combine() != kIgnoreOutput) {
264       deopt_state_id =
265           BuildTranslation(instr, -1, frame_state_offset, kIgnoreOutput);
266     }
267 #if DEBUG
268     // Make sure all the values live in stack slots or they are immediates.
269     // (The values should not live in register because registers are clobbered
270     // by calls.)
271     for (size_t i = 0; i < descriptor->size(); i++) {
272       InstructionOperand* op = instr->InputAt(frame_state_offset + 1 + i);
273       CHECK(op->IsStackSlot() || op->IsImmediate());
274     }
275 #endif
276     safepoints()->RecordLazyDeoptimizationIndex(deopt_state_id);
277   }
278 }
279 
280 
DefineDeoptimizationLiteral(Handle<Object> literal)281 int CodeGenerator::DefineDeoptimizationLiteral(Handle<Object> literal) {
282   int result = static_cast<int>(deoptimization_literals_.size());
283   for (unsigned i = 0; i < deoptimization_literals_.size(); ++i) {
284     if (deoptimization_literals_[i].is_identical_to(literal)) return i;
285   }
286   deoptimization_literals_.push_back(literal);
287   return result;
288 }
289 
290 
GetFrameStateDescriptor(Instruction * instr,size_t frame_state_offset)291 FrameStateDescriptor* CodeGenerator::GetFrameStateDescriptor(
292     Instruction* instr, size_t frame_state_offset) {
293   InstructionOperandConverter i(this, instr);
294   InstructionSequence::StateId state_id = InstructionSequence::StateId::FromInt(
295       i.InputInt32(static_cast<int>(frame_state_offset)));
296   return code()->GetFrameStateDescriptor(state_id);
297 }
298 
299 
BuildTranslationForFrameStateDescriptor(FrameStateDescriptor * descriptor,Instruction * instr,Translation * translation,size_t frame_state_offset,OutputFrameStateCombine state_combine)300 void CodeGenerator::BuildTranslationForFrameStateDescriptor(
301     FrameStateDescriptor* descriptor, Instruction* instr,
302     Translation* translation, size_t frame_state_offset,
303     OutputFrameStateCombine state_combine) {
304   // Outer-most state must be added to translation first.
305   if (descriptor->outer_state() != NULL) {
306     BuildTranslationForFrameStateDescriptor(descriptor->outer_state(), instr,
307                                             translation, frame_state_offset,
308                                             kIgnoreOutput);
309   }
310 
311   int id = Translation::kSelfLiteralId;
312   if (!descriptor->jsfunction().is_null()) {
313     id = DefineDeoptimizationLiteral(
314         Handle<Object>::cast(descriptor->jsfunction().ToHandleChecked()));
315   }
316 
317   switch (descriptor->type()) {
318     case JS_FRAME:
319       translation->BeginJSFrame(
320           descriptor->bailout_id(), id,
321           static_cast<unsigned int>(descriptor->GetHeight(state_combine)));
322       break;
323     case ARGUMENTS_ADAPTOR:
324       translation->BeginArgumentsAdaptorFrame(
325           id, static_cast<unsigned int>(descriptor->parameters_count()));
326       break;
327   }
328 
329   frame_state_offset += descriptor->outer_state()->GetTotalSize();
330   for (size_t i = 0; i < descriptor->size(); i++) {
331     AddTranslationForOperand(
332         translation, instr,
333         instr->InputAt(static_cast<int>(frame_state_offset + i)));
334   }
335 
336   switch (state_combine) {
337     case kPushOutput:
338       DCHECK(instr->OutputCount() == 1);
339       AddTranslationForOperand(translation, instr, instr->OutputAt(0));
340       break;
341     case kIgnoreOutput:
342       break;
343   }
344 }
345 
346 
BuildTranslation(Instruction * instr,int pc_offset,size_t frame_state_offset,OutputFrameStateCombine state_combine)347 int CodeGenerator::BuildTranslation(Instruction* instr, int pc_offset,
348                                     size_t frame_state_offset,
349                                     OutputFrameStateCombine state_combine) {
350   FrameStateDescriptor* descriptor =
351       GetFrameStateDescriptor(instr, frame_state_offset);
352   frame_state_offset++;
353 
354   Translation translation(
355       &translations_, static_cast<int>(descriptor->GetFrameCount()),
356       static_cast<int>(descriptor->GetJSFrameCount()), zone());
357   BuildTranslationForFrameStateDescriptor(descriptor, instr, &translation,
358                                           frame_state_offset, state_combine);
359 
360   int deoptimization_id = static_cast<int>(deoptimization_states_.size());
361 
362   deoptimization_states_.push_back(new (zone()) DeoptimizationState(
363       descriptor->bailout_id(), translation.index(), pc_offset));
364 
365   return deoptimization_id;
366 }
367 
368 
AddTranslationForOperand(Translation * translation,Instruction * instr,InstructionOperand * op)369 void CodeGenerator::AddTranslationForOperand(Translation* translation,
370                                              Instruction* instr,
371                                              InstructionOperand* op) {
372   if (op->IsStackSlot()) {
373     translation->StoreStackSlot(op->index());
374   } else if (op->IsDoubleStackSlot()) {
375     translation->StoreDoubleStackSlot(op->index());
376   } else if (op->IsRegister()) {
377     InstructionOperandConverter converter(this, instr);
378     translation->StoreRegister(converter.ToRegister(op));
379   } else if (op->IsDoubleRegister()) {
380     InstructionOperandConverter converter(this, instr);
381     translation->StoreDoubleRegister(converter.ToDoubleRegister(op));
382   } else if (op->IsImmediate()) {
383     InstructionOperandConverter converter(this, instr);
384     Constant constant = converter.ToConstant(op);
385     Handle<Object> constant_object;
386     switch (constant.type()) {
387       case Constant::kInt32:
388         constant_object =
389             isolate()->factory()->NewNumberFromInt(constant.ToInt32());
390         break;
391       case Constant::kFloat64:
392         constant_object = isolate()->factory()->NewNumber(constant.ToFloat64());
393         break;
394       case Constant::kHeapObject:
395         constant_object = constant.ToHeapObject();
396         break;
397       default:
398         UNREACHABLE();
399     }
400     int literal_id = DefineDeoptimizationLiteral(constant_object);
401     translation->StoreLiteral(literal_id);
402   } else {
403     UNREACHABLE();
404   }
405 }
406 
407 
MarkLazyDeoptSite()408 void CodeGenerator::MarkLazyDeoptSite() {
409   last_lazy_deopt_pc_ = masm()->pc_offset();
410 }
411 
412 #if !V8_TURBOFAN_BACKEND
413 
AssembleArchInstruction(Instruction * instr)414 void CodeGenerator::AssembleArchInstruction(Instruction* instr) {
415   UNIMPLEMENTED();
416 }
417 
418 
AssembleArchBranch(Instruction * instr,FlagsCondition condition)419 void CodeGenerator::AssembleArchBranch(Instruction* instr,
420                                        FlagsCondition condition) {
421   UNIMPLEMENTED();
422 }
423 
424 
AssembleArchBoolean(Instruction * instr,FlagsCondition condition)425 void CodeGenerator::AssembleArchBoolean(Instruction* instr,
426                                         FlagsCondition condition) {
427   UNIMPLEMENTED();
428 }
429 
430 
AssembleDeoptimizerCall(int deoptimization_id)431 void CodeGenerator::AssembleDeoptimizerCall(int deoptimization_id) {
432   UNIMPLEMENTED();
433 }
434 
435 
AssemblePrologue()436 void CodeGenerator::AssemblePrologue() { UNIMPLEMENTED(); }
437 
438 
AssembleReturn()439 void CodeGenerator::AssembleReturn() { UNIMPLEMENTED(); }
440 
441 
AssembleMove(InstructionOperand * source,InstructionOperand * destination)442 void CodeGenerator::AssembleMove(InstructionOperand* source,
443                                  InstructionOperand* destination) {
444   UNIMPLEMENTED();
445 }
446 
447 
AssembleSwap(InstructionOperand * source,InstructionOperand * destination)448 void CodeGenerator::AssembleSwap(InstructionOperand* source,
449                                  InstructionOperand* destination) {
450   UNIMPLEMENTED();
451 }
452 
453 
AddNopForSmiCodeInlining()454 void CodeGenerator::AddNopForSmiCodeInlining() { UNIMPLEMENTED(); }
455 
456 #endif  // !V8_TURBOFAN_BACKEND
457 
458 }  // namespace compiler
459 }  // namespace internal
460 }  // namespace v8
461