Move inlined function declarations and support from codegen.* to runtime.*.
[platform/upstream/v8.git] / src / arm / codegen-arm.h
1 // Copyright 2010 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are
4 // met:
5 //
6 //     * Redistributions of source code must retain the above copyright
7 //       notice, this list of conditions and the following disclaimer.
8 //     * Redistributions in binary form must reproduce the above
9 //       copyright notice, this list of conditions and the following
10 //       disclaimer in the documentation and/or other materials provided
11 //       with the distribution.
12 //     * Neither the name of Google Inc. nor the names of its
13 //       contributors may be used to endorse or promote products derived
14 //       from this software without specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28 #ifndef V8_ARM_CODEGEN_ARM_H_
29 #define V8_ARM_CODEGEN_ARM_H_
30
31 #include "ast.h"
32 #include "code-stubs-arm.h"
33 #include "ic-inl.h"
34
35 namespace v8 {
36 namespace internal {
37
38 // Forward declarations
39 class CompilationInfo;
40 class DeferredCode;
41 class JumpTarget;
42 class RegisterAllocator;
43 class RegisterFile;
44
45 enum InitState { CONST_INIT, NOT_CONST_INIT };
46 enum TypeofState { INSIDE_TYPEOF, NOT_INSIDE_TYPEOF };
47 enum GenerateInlineSmi { DONT_GENERATE_INLINE_SMI, GENERATE_INLINE_SMI };
48 enum WriteBarrierCharacter { UNLIKELY_SMI, LIKELY_SMI, NEVER_NEWSPACE };
49
50
51 // -------------------------------------------------------------------------
52 // Reference support
53
54 // A reference is a C++ stack-allocated object that puts a
55 // reference on the virtual frame.  The reference may be consumed
56 // by GetValue, TakeValue, SetValue, and Codegen::UnloadReference.
57 // When the lifetime (scope) of a valid reference ends, it must have
58 // been consumed, and be in state UNLOADED.
59 class Reference BASE_EMBEDDED {
60  public:
61   // The values of the types is important, see size().
62   enum Type { UNLOADED = -2, ILLEGAL = -1, SLOT = 0, NAMED = 1, KEYED = 2 };
63   Reference(CodeGenerator* cgen,
64             Expression* expression,
65             bool persist_after_get = false);
66   ~Reference();
67
68   Expression* expression() const { return expression_; }
69   Type type() const { return type_; }
70   void set_type(Type value) {
71     ASSERT_EQ(ILLEGAL, type_);
72     type_ = value;
73   }
74
75   void set_unloaded() {
76     ASSERT_NE(ILLEGAL, type_);
77     ASSERT_NE(UNLOADED, type_);
78     type_ = UNLOADED;
79   }
80   // The size the reference takes up on the stack.
81   int size() const {
82     return (type_ < SLOT) ? 0 : type_;
83   }
84
85   bool is_illegal() const { return type_ == ILLEGAL; }
86   bool is_slot() const { return type_ == SLOT; }
87   bool is_property() const { return type_ == NAMED || type_ == KEYED; }
88   bool is_unloaded() const { return type_ == UNLOADED; }
89
90   // Return the name.  Only valid for named property references.
91   Handle<String> GetName();
92
93   // Generate code to push the value of the reference on top of the
94   // expression stack.  The reference is expected to be already on top of
95   // the expression stack, and it is consumed by the call unless the
96   // reference is for a compound assignment.
97   // If the reference is not consumed, it is left in place under its value.
98   void GetValue();
99
100   // Generate code to store the value on top of the expression stack in the
101   // reference.  The reference is expected to be immediately below the value
102   // on the expression stack.  The  value is stored in the location specified
103   // by the reference, and is left on top of the stack, after the reference
104   // is popped from beneath it (unloaded).
105   void SetValue(InitState init_state, WriteBarrierCharacter wb);
106
107   // This is in preparation for something that uses the reference on the stack.
108   // If we need this reference afterwards get then dup it now.  Otherwise mark
109   // it as used.
110   inline void DupIfPersist();
111
112  private:
113   CodeGenerator* cgen_;
114   Expression* expression_;
115   Type type_;
116   // Keep the reference on the stack after get, so it can be used by set later.
117   bool persist_after_get_;
118 };
119
120
121 // -------------------------------------------------------------------------
122 // Code generation state
123
124 // The state is passed down the AST by the code generator (and back up, in
125 // the form of the state of the label pair).  It is threaded through the
126 // call stack.  Constructing a state implicitly pushes it on the owning code
127 // generator's stack of states, and destroying one implicitly pops it.
128
129 class CodeGenState BASE_EMBEDDED {
130  public:
131   // Create an initial code generator state.  Destroying the initial state
132   // leaves the code generator with a NULL state.
133   explicit CodeGenState(CodeGenerator* owner);
134
135   // Destroy a code generator state and restore the owning code generator's
136   // previous state.
137   virtual ~CodeGenState();
138
139   virtual JumpTarget* true_target() const { return NULL; }
140   virtual JumpTarget* false_target() const { return NULL; }
141
142  protected:
143   inline CodeGenerator* owner() { return owner_; }
144   inline CodeGenState* previous() const { return previous_; }
145
146  private:
147   CodeGenerator* owner_;
148   CodeGenState* previous_;
149 };
150
151
152 class ConditionCodeGenState : public CodeGenState {
153  public:
154   // Create a code generator state based on a code generator's current
155   // state.  The new state has its own pair of branch labels.
156   ConditionCodeGenState(CodeGenerator* owner,
157                         JumpTarget* true_target,
158                         JumpTarget* false_target);
159
160   virtual JumpTarget* true_target() const { return true_target_; }
161   virtual JumpTarget* false_target() const { return false_target_; }
162
163  private:
164   JumpTarget* true_target_;
165   JumpTarget* false_target_;
166 };
167
168
169 class TypeInfoCodeGenState : public CodeGenState {
170  public:
171   TypeInfoCodeGenState(CodeGenerator* owner,
172                        Slot* slot_number,
173                        TypeInfo info);
174   ~TypeInfoCodeGenState();
175
176   virtual JumpTarget* true_target() const { return previous()->true_target(); }
177   virtual JumpTarget* false_target() const {
178     return previous()->false_target();
179   }
180
181  private:
182   Slot* slot_;
183   TypeInfo old_type_info_;
184 };
185
186
187 // -------------------------------------------------------------------------
188 // Arguments allocation mode
189
190 enum ArgumentsAllocationMode {
191   NO_ARGUMENTS_ALLOCATION,
192   EAGER_ARGUMENTS_ALLOCATION,
193   LAZY_ARGUMENTS_ALLOCATION
194 };
195
196
197 // Different nop operations are used by the code generator to detect certain
198 // states of the generated code.
199 enum NopMarkerTypes {
200   NON_MARKING_NOP = 0,
201   PROPERTY_ACCESS_INLINED
202 };
203
204
205 // -------------------------------------------------------------------------
206 // CodeGenerator
207
208 class CodeGenerator: public AstVisitor {
209  public:
210   // Takes a function literal, generates code for it. This function should only
211   // be called by compiler.cc.
212   static Handle<Code> MakeCode(CompilationInfo* info);
213
214   // Printing of AST, etc. as requested by flags.
215   static void MakeCodePrologue(CompilationInfo* info);
216
217   // Allocate and install the code.
218   static Handle<Code> MakeCodeEpilogue(MacroAssembler* masm,
219                                        Code::Flags flags,
220                                        CompilationInfo* info);
221
222 #ifdef ENABLE_LOGGING_AND_PROFILING
223   static bool ShouldGenerateLog(Expression* type);
224 #endif
225
226   static void SetFunctionInfo(Handle<JSFunction> fun,
227                               FunctionLiteral* lit,
228                               bool is_toplevel,
229                               Handle<Script> script);
230
231   static bool RecordPositions(MacroAssembler* masm,
232                               int pos,
233                               bool right_here = false);
234
235   // Accessors
236   MacroAssembler* masm() { return masm_; }
237   VirtualFrame* frame() const { return frame_; }
238   inline Handle<Script> script();
239
240   bool has_valid_frame() const { return frame_ != NULL; }
241
242   // Set the virtual frame to be new_frame, with non-frame register
243   // reference counts given by non_frame_registers.  The non-frame
244   // register reference counts of the old frame are returned in
245   // non_frame_registers.
246   void SetFrame(VirtualFrame* new_frame, RegisterFile* non_frame_registers);
247
248   void DeleteFrame();
249
250   RegisterAllocator* allocator() const { return allocator_; }
251
252   CodeGenState* state() { return state_; }
253   void set_state(CodeGenState* state) { state_ = state; }
254
255   TypeInfo type_info(Slot* slot) {
256     int index = NumberOfSlot(slot);
257     if (index == kInvalidSlotNumber) return TypeInfo::Unknown();
258     return (*type_info_)[index];
259   }
260
261   TypeInfo set_type_info(Slot* slot, TypeInfo info) {
262     int index = NumberOfSlot(slot);
263     ASSERT(index >= kInvalidSlotNumber);
264     if (index != kInvalidSlotNumber) {
265       TypeInfo previous_value = (*type_info_)[index];
266       (*type_info_)[index] = info;
267       return previous_value;
268     }
269     return TypeInfo::Unknown();
270   }
271
272   void AddDeferred(DeferredCode* code) { deferred_.Add(code); }
273
274   // Constants related to patching of inlined load/store.
275   static int GetInlinedKeyedLoadInstructionsAfterPatch() {
276     return FLAG_debug_code ? 32 : 13;
277   }
278   static const int kInlinedKeyedStoreInstructionsAfterPatch = 5;
279   static int GetInlinedNamedStoreInstructionsAfterPatch() {
280     ASSERT(inlined_write_barrier_size_ != -1);
281     return inlined_write_barrier_size_ + 4;
282   }
283
284   static MemOperand ContextOperand(Register context, int index) {
285     return MemOperand(context, Context::SlotOffset(index));
286   }
287
288  private:
289   // Type of a member function that generates inline code for a native function.
290   typedef void (CodeGenerator::*InlineFunctionGenerator)
291       (ZoneList<Expression*>*);
292
293   static const InlineFunctionGenerator kInlineFunctionGenerators[];
294
295   // Construction/Destruction
296   explicit CodeGenerator(MacroAssembler* masm);
297
298   // Accessors
299   inline bool is_eval();
300   inline Scope* scope();
301
302   // Generating deferred code.
303   void ProcessDeferred();
304
305   static const int kInvalidSlotNumber = -1;
306
307   int NumberOfSlot(Slot* slot);
308
309   // State
310   bool has_cc() const  { return cc_reg_ != al; }
311   JumpTarget* true_target() const  { return state_->true_target(); }
312   JumpTarget* false_target() const  { return state_->false_target(); }
313
314   // Track loop nesting level.
315   int loop_nesting() const { return loop_nesting_; }
316   void IncrementLoopNesting() { loop_nesting_++; }
317   void DecrementLoopNesting() { loop_nesting_--; }
318
319   // Node visitors.
320   void VisitStatements(ZoneList<Statement*>* statements);
321
322 #define DEF_VISIT(type) \
323   void Visit##type(type* node);
324   AST_NODE_LIST(DEF_VISIT)
325 #undef DEF_VISIT
326
327   // Main code generation function
328   void Generate(CompilationInfo* info);
329
330   // Generate the return sequence code.  Should be called no more than
331   // once per compiled function, immediately after binding the return
332   // target (which can not be done more than once).  The return value should
333   // be in r0.
334   void GenerateReturnSequence();
335
336   // Returns the arguments allocation mode.
337   ArgumentsAllocationMode ArgumentsMode();
338
339   // Store the arguments object and allocate it if necessary.
340   void StoreArgumentsObject(bool initial);
341
342   // The following are used by class Reference.
343   void LoadReference(Reference* ref);
344   void UnloadReference(Reference* ref);
345
346   MemOperand SlotOperand(Slot* slot, Register tmp);
347
348   MemOperand ContextSlotOperandCheckExtensions(Slot* slot,
349                                                Register tmp,
350                                                Register tmp2,
351                                                JumpTarget* slow);
352
353   // Expressions
354   static MemOperand GlobalObject()  {
355     return ContextOperand(cp, Context::GLOBAL_INDEX);
356   }
357
358   void LoadCondition(Expression* x,
359                      JumpTarget* true_target,
360                      JumpTarget* false_target,
361                      bool force_cc);
362   void Load(Expression* expr);
363   void LoadGlobal();
364   void LoadGlobalReceiver(Register scratch);
365
366   // Read a value from a slot and leave it on top of the expression stack.
367   void LoadFromSlot(Slot* slot, TypeofState typeof_state);
368   void LoadFromSlotCheckForArguments(Slot* slot, TypeofState state);
369
370   // Store the value on top of the stack to a slot.
371   void StoreToSlot(Slot* slot, InitState init_state);
372
373   // Support for compiling assignment expressions.
374   void EmitSlotAssignment(Assignment* node);
375   void EmitNamedPropertyAssignment(Assignment* node);
376   void EmitKeyedPropertyAssignment(Assignment* node);
377
378   // Load a named property, returning it in r0. The receiver is passed on the
379   // stack, and remains there.
380   void EmitNamedLoad(Handle<String> name, bool is_contextual);
381
382   // Store to a named property. If the store is contextual, value is passed on
383   // the frame and consumed. Otherwise, receiver and value are passed on the
384   // frame and consumed. The result is returned in r0.
385   void EmitNamedStore(Handle<String> name, bool is_contextual);
386
387   // Load a keyed property, leaving it in r0.  The receiver and key are
388   // passed on the stack, and remain there.
389   void EmitKeyedLoad();
390
391   // Store a keyed property. Key and receiver are on the stack and the value is
392   // in r0. Result is returned in r0.
393   void EmitKeyedStore(StaticType* key_type, WriteBarrierCharacter wb_info);
394
395   void LoadFromGlobalSlotCheckExtensions(Slot* slot,
396                                          TypeofState typeof_state,
397                                          JumpTarget* slow);
398
399   // Support for loading from local/global variables and arguments
400   // whose location is known unless they are shadowed by
401   // eval-introduced bindings. Generates no code for unsupported slot
402   // types and therefore expects to fall through to the slow jump target.
403   void EmitDynamicLoadFromSlotFastCase(Slot* slot,
404                                        TypeofState typeof_state,
405                                        JumpTarget* slow,
406                                        JumpTarget* done);
407
408   // Special code for typeof expressions: Unfortunately, we must
409   // be careful when loading the expression in 'typeof'
410   // expressions. We are not allowed to throw reference errors for
411   // non-existing properties of the global object, so we must make it
412   // look like an explicit property access, instead of an access
413   // through the context chain.
414   void LoadTypeofExpression(Expression* x);
415
416   void ToBoolean(JumpTarget* true_target, JumpTarget* false_target);
417
418   // Generate code that computes a shortcutting logical operation.
419   void GenerateLogicalBooleanOperation(BinaryOperation* node);
420
421   void GenericBinaryOperation(Token::Value op,
422                               OverwriteMode overwrite_mode,
423                               GenerateInlineSmi inline_smi,
424                               int known_rhs =
425                                   GenericBinaryOpStub::kUnknownIntValue);
426   void Comparison(Condition cc,
427                   Expression* left,
428                   Expression* right,
429                   bool strict = false);
430
431   void SmiOperation(Token::Value op,
432                     Handle<Object> value,
433                     bool reversed,
434                     OverwriteMode mode);
435
436   void CallWithArguments(ZoneList<Expression*>* arguments,
437                          CallFunctionFlags flags,
438                          int position);
439
440   // An optimized implementation of expressions of the form
441   // x.apply(y, arguments).  We call x the applicand and y the receiver.
442   // The optimization avoids allocating an arguments object if possible.
443   void CallApplyLazy(Expression* applicand,
444                      Expression* receiver,
445                      VariableProxy* arguments,
446                      int position);
447
448   // Control flow
449   void Branch(bool if_true, JumpTarget* target);
450   void CheckStack();
451
452   static InlineFunctionGenerator FindInlineFunctionGenerator(
453       Runtime::FunctionId function_id);
454
455   bool CheckForInlineRuntimeCall(CallRuntime* node);
456
457   static Handle<Code> ComputeLazyCompile(int argc);
458   void ProcessDeclarations(ZoneList<Declaration*>* declarations);
459
460   static Handle<Code> ComputeCallInitialize(int argc, InLoopFlag in_loop);
461
462   static Handle<Code> ComputeKeyedCallInitialize(int argc, InLoopFlag in_loop);
463
464   // Declare global variables and functions in the given array of
465   // name/value pairs.
466   void DeclareGlobals(Handle<FixedArray> pairs);
467
468   // Instantiate the function based on the shared function info.
469   void InstantiateFunction(Handle<SharedFunctionInfo> function_info);
470
471   // Support for type checks.
472   void GenerateIsSmi(ZoneList<Expression*>* args);
473   void GenerateIsNonNegativeSmi(ZoneList<Expression*>* args);
474   void GenerateIsArray(ZoneList<Expression*>* args);
475   void GenerateIsRegExp(ZoneList<Expression*>* args);
476   void GenerateIsObject(ZoneList<Expression*>* args);
477   void GenerateIsSpecObject(ZoneList<Expression*>* args);
478   void GenerateIsFunction(ZoneList<Expression*>* args);
479   void GenerateIsUndetectableObject(ZoneList<Expression*>* args);
480   void GenerateIsStringWrapperSafeForDefaultValueOf(
481       ZoneList<Expression*>* args);
482
483   // Support for construct call checks.
484   void GenerateIsConstructCall(ZoneList<Expression*>* args);
485
486   // Support for arguments.length and arguments[?].
487   void GenerateArgumentsLength(ZoneList<Expression*>* args);
488   void GenerateArguments(ZoneList<Expression*>* args);
489
490   // Support for accessing the class and value fields of an object.
491   void GenerateClassOf(ZoneList<Expression*>* args);
492   void GenerateValueOf(ZoneList<Expression*>* args);
493   void GenerateSetValueOf(ZoneList<Expression*>* args);
494
495   // Fast support for charCodeAt(n).
496   void GenerateStringCharCodeAt(ZoneList<Expression*>* args);
497
498   // Fast support for string.charAt(n) and string[n].
499   void GenerateStringCharFromCode(ZoneList<Expression*>* args);
500
501   // Fast support for string.charAt(n) and string[n].
502   void GenerateStringCharAt(ZoneList<Expression*>* args);
503
504   // Fast support for object equality testing.
505   void GenerateObjectEquals(ZoneList<Expression*>* args);
506
507   void GenerateLog(ZoneList<Expression*>* args);
508
509   // Fast support for Math.random().
510   void GenerateRandomHeapNumber(ZoneList<Expression*>* args);
511
512   // Fast support for StringAdd.
513   void GenerateStringAdd(ZoneList<Expression*>* args);
514
515   // Fast support for SubString.
516   void GenerateSubString(ZoneList<Expression*>* args);
517
518   // Fast support for StringCompare.
519   void GenerateStringCompare(ZoneList<Expression*>* args);
520
521   // Support for direct calls from JavaScript to native RegExp code.
522   void GenerateRegExpExec(ZoneList<Expression*>* args);
523
524   void GenerateRegExpConstructResult(ZoneList<Expression*>* args);
525
526   void GenerateRegExpCloneResult(ZoneList<Expression*>* args);
527
528   // Support for fast native caches.
529   void GenerateGetFromCache(ZoneList<Expression*>* args);
530
531   // Fast support for number to string.
532   void GenerateNumberToString(ZoneList<Expression*>* args);
533
534   // Fast swapping of elements.
535   void GenerateSwapElements(ZoneList<Expression*>* args);
536
537   // Fast call for custom callbacks.
538   void GenerateCallFunction(ZoneList<Expression*>* args);
539
540   // Fast call to math functions.
541   void GenerateMathPow(ZoneList<Expression*>* args);
542   void GenerateMathSin(ZoneList<Expression*>* args);
543   void GenerateMathCos(ZoneList<Expression*>* args);
544   void GenerateMathSqrt(ZoneList<Expression*>* args);
545
546   void GenerateIsRegExpEquivalent(ZoneList<Expression*>* args);
547
548   void GenerateHasCachedArrayIndex(ZoneList<Expression*>* args);
549   void GenerateGetCachedArrayIndex(ZoneList<Expression*>* args);
550
551   // Simple condition analysis.
552   enum ConditionAnalysis {
553     ALWAYS_TRUE,
554     ALWAYS_FALSE,
555     DONT_KNOW
556   };
557   ConditionAnalysis AnalyzeCondition(Expression* cond);
558
559   // Methods used to indicate which source code is generated for. Source
560   // positions are collected by the assembler and emitted with the relocation
561   // information.
562   void CodeForFunctionPosition(FunctionLiteral* fun);
563   void CodeForReturnPosition(FunctionLiteral* fun);
564   void CodeForStatementPosition(Statement* node);
565   void CodeForDoWhileConditionPosition(DoWhileStatement* stmt);
566   void CodeForSourcePosition(int pos);
567
568 #ifdef DEBUG
569   // True if the registers are valid for entry to a block.
570   bool HasValidEntryRegisters();
571 #endif
572
573   List<DeferredCode*> deferred_;
574
575   // Assembler
576   MacroAssembler* masm_;  // to generate code
577
578   CompilationInfo* info_;
579
580   // Code generation state
581   VirtualFrame* frame_;
582   RegisterAllocator* allocator_;
583   Condition cc_reg_;
584   CodeGenState* state_;
585   int loop_nesting_;
586
587   Vector<TypeInfo>* type_info_;
588
589   // Jump targets
590   BreakTarget function_return_;
591
592   // True if the function return is shadowed (ie, jumping to the target
593   // function_return_ does not jump to the true function return, but rather
594   // to some unlinking code).
595   bool function_return_is_shadowed_;
596
597   // Size of inlined write barriers generated by EmitNamedStore.
598   static int inlined_write_barrier_size_;
599
600   friend class VirtualFrame;
601   friend class JumpTarget;
602   friend class Reference;
603   friend class FastCodeGenerator;
604   friend class FullCodeGenerator;
605   friend class FullCodeGenSyntaxChecker;
606
607   DISALLOW_COPY_AND_ASSIGN(CodeGenerator);
608 };
609
610
611 } }  // namespace v8::internal
612
613 #endif  // V8_ARM_CODEGEN_ARM_H_