1 // Copyright 2012 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_CODE_STUBS_H_ 29 #define V8_CODE_STUBS_H_ 30 31 #include "allocation.h" 32 #include "globals.h" 33 #include "codegen.h" 34 35 namespace v8 { 36 namespace internal { 37 38 // List of code stubs used on all platforms. 39 #define CODE_STUB_LIST_ALL_PLATFORMS(V) \ 40 V(CallFunction) \ 41 V(CallConstruct) \ 42 V(UnaryOp) \ 43 V(BinaryOp) \ 44 V(StringAdd) \ 45 V(SubString) \ 46 V(StringCompare) \ 47 V(Compare) \ 48 V(CompareIC) \ 49 V(MathPow) \ 50 V(RecordWrite) \ 51 V(StoreBufferOverflow) \ 52 V(RegExpExec) \ 53 V(TranscendentalCache) \ 54 V(Instanceof) \ 55 V(ConvertToDouble) \ 56 V(WriteInt32ToHeapNumber) \ 57 V(StackCheck) \ 58 V(Interrupt) \ 59 V(FastNewClosure) \ 60 V(FastNewContext) \ 61 V(FastNewBlockContext) \ 62 V(FastCloneShallowArray) \ 63 V(FastCloneShallowObject) \ 64 V(ToBoolean) \ 65 V(ToNumber) \ 66 V(ArgumentsAccess) \ 67 V(RegExpConstructResult) \ 68 V(NumberToString) \ 69 V(CEntry) \ 70 V(JSEntry) \ 71 V(KeyedLoadElement) \ 72 V(KeyedStoreElement) \ 73 V(DebuggerStatement) \ 74 V(StringDictionaryLookup) \ 75 V(ElementsTransitionAndStore) \ 76 V(StoreArrayLiteralElement) 77 78 // List of code stubs only used on ARM platforms. 79 #ifdef V8_TARGET_ARCH_ARM 80 #define CODE_STUB_LIST_ARM(V) \ 81 V(GetProperty) \ 82 V(SetProperty) \ 83 V(InvokeBuiltin) \ 84 V(RegExpCEntry) \ 85 V(DirectCEntry) 86 #else 87 #define CODE_STUB_LIST_ARM(V) 88 #endif 89 90 // List of code stubs only used on MIPS platforms. 91 #ifdef V8_TARGET_ARCH_MIPS 92 #define CODE_STUB_LIST_MIPS(V) \ 93 V(RegExpCEntry) \ 94 V(DirectCEntry) 95 #else 96 #define CODE_STUB_LIST_MIPS(V) 97 #endif 98 99 // Combined list of code stubs. 100 #define CODE_STUB_LIST(V) \ 101 CODE_STUB_LIST_ALL_PLATFORMS(V) \ 102 CODE_STUB_LIST_ARM(V) \ 103 CODE_STUB_LIST_MIPS(V) 104 105 // Mode to overwrite BinaryExpression values. 106 enum OverwriteMode { NO_OVERWRITE, OVERWRITE_LEFT, OVERWRITE_RIGHT }; 107 enum UnaryOverwriteMode { UNARY_OVERWRITE, UNARY_NO_OVERWRITE }; 108 109 110 // Stub is base classes of all stubs. 111 class CodeStub BASE_EMBEDDED { 112 public: 113 enum Major { 114 #define DEF_ENUM(name) name, 115 CODE_STUB_LIST(DEF_ENUM) 116 #undef DEF_ENUM 117 NoCache, // marker for stubs that do custom caching 118 NUMBER_OF_IDS 119 }; 120 121 // Retrieve the code for the stub. Generate the code if needed. 122 Handle<Code> GetCode(); 123 MajorKeyFromKey(uint32_t key)124 static Major MajorKeyFromKey(uint32_t key) { 125 return static_cast<Major>(MajorKeyBits::decode(key)); 126 } MinorKeyFromKey(uint32_t key)127 static int MinorKeyFromKey(uint32_t key) { 128 return MinorKeyBits::decode(key); 129 } 130 131 // Gets the major key from a code object that is a code stub or binary op IC. GetMajorKey(Code * code_stub)132 static Major GetMajorKey(Code* code_stub) { 133 return static_cast<Major>(code_stub->major_key()); 134 } 135 136 static const char* MajorName(Major major_key, bool allow_unknown_keys); 137 ~CodeStub()138 virtual ~CodeStub() {} 139 CompilingCallsToThisStubIsGCSafe()140 bool CompilingCallsToThisStubIsGCSafe() { 141 bool is_pregenerated = IsPregenerated(); 142 Code* code = NULL; 143 CHECK(!is_pregenerated || FindCodeInCache(&code)); 144 return is_pregenerated; 145 } 146 147 // See comment above, where Instanceof is defined. IsPregenerated()148 virtual bool IsPregenerated() { return false; } 149 150 static void GenerateStubsAheadOfTime(); 151 static void GenerateFPStubs(); 152 153 // Some stubs put untagged junk on the stack that cannot be scanned by the 154 // GC. This means that we must be statically sure that no GC can occur while 155 // they are running. If that is the case they should override this to return 156 // true, which will cause an assertion if we try to call something that can 157 // GC or if we try to put a stack frame on top of the junk, which would not 158 // result in a traversable stack. SometimesSetsUpAFrame()159 virtual bool SometimesSetsUpAFrame() { return true; } 160 161 // Lookup the code in the (possibly custom) cache. 162 bool FindCodeInCache(Code** code_out); 163 164 protected: 165 static const int kMajorBits = 6; 166 static const int kMinorBits = kBitsPerInt - kSmiTagSize - kMajorBits; 167 168 private: 169 // Nonvirtual wrapper around the stub-specific Generate function. Call 170 // this function to set up the macro assembler and generate the code. 171 void GenerateCode(MacroAssembler* masm); 172 173 // Generates the assembler code for the stub. 174 virtual void Generate(MacroAssembler* masm) = 0; 175 176 // Perform bookkeeping required after code generation when stub code is 177 // initially generated. 178 void RecordCodeGeneration(Code* code, MacroAssembler* masm); 179 180 // Finish the code object after it has been generated. FinishCode(Handle<Code> code)181 virtual void FinishCode(Handle<Code> code) { } 182 183 // Activate newly generated stub. Is called after 184 // registering stub in the stub cache. Activate(Code * code)185 virtual void Activate(Code* code) { } 186 187 // Returns information for computing the number key. 188 virtual Major MajorKey() = 0; 189 virtual int MinorKey() = 0; 190 191 // BinaryOpStub needs to override this. 192 virtual int GetCodeKind(); 193 194 // BinaryOpStub needs to override this. GetICState()195 virtual InlineCacheState GetICState() { 196 return UNINITIALIZED; 197 } 198 199 // Add the code to a specialized cache, specific to an individual 200 // stub type. Please note, this method must add the code object to a 201 // roots object, otherwise we will remove the code during GC. AddToSpecialCache(Handle<Code> new_object)202 virtual void AddToSpecialCache(Handle<Code> new_object) { } 203 204 // Find code in a specialized cache, work is delegated to the specific stub. FindCodeInSpecialCache(Code ** code_out)205 virtual bool FindCodeInSpecialCache(Code** code_out) { return false; } 206 207 // If a stub uses a special cache override this. UseSpecialCache()208 virtual bool UseSpecialCache() { return false; } 209 210 // Returns a name for logging/debugging purposes. 211 SmartArrayPointer<const char> GetName(); 212 virtual void PrintName(StringStream* stream); 213 214 // Returns whether the code generated for this stub needs to be allocated as 215 // a fixed (non-moveable) code object. NeedsImmovableCode()216 virtual bool NeedsImmovableCode() { return false; } 217 218 // Computes the key based on major and minor. GetKey()219 uint32_t GetKey() { 220 ASSERT(static_cast<int>(MajorKey()) < NUMBER_OF_IDS); 221 return MinorKeyBits::encode(MinorKey()) | 222 MajorKeyBits::encode(MajorKey()); 223 } 224 225 class MajorKeyBits: public BitField<uint32_t, 0, kMajorBits> {}; 226 class MinorKeyBits: public BitField<uint32_t, kMajorBits, kMinorBits> {}; 227 228 friend class BreakPointIterator; 229 }; 230 231 232 // Helper interface to prepare to/restore after making runtime calls. 233 class RuntimeCallHelper { 234 public: ~RuntimeCallHelper()235 virtual ~RuntimeCallHelper() {} 236 237 virtual void BeforeCall(MacroAssembler* masm) const = 0; 238 239 virtual void AfterCall(MacroAssembler* masm) const = 0; 240 241 protected: RuntimeCallHelper()242 RuntimeCallHelper() {} 243 244 private: 245 DISALLOW_COPY_AND_ASSIGN(RuntimeCallHelper); 246 }; 247 248 } } // namespace v8::internal 249 250 #if V8_TARGET_ARCH_IA32 251 #include "ia32/code-stubs-ia32.h" 252 #elif V8_TARGET_ARCH_X64 253 #include "x64/code-stubs-x64.h" 254 #elif V8_TARGET_ARCH_ARM 255 #include "arm/code-stubs-arm.h" 256 #elif V8_TARGET_ARCH_MIPS 257 #include "mips/code-stubs-mips.h" 258 #else 259 #error Unsupported target architecture. 260 #endif 261 262 namespace v8 { 263 namespace internal { 264 265 266 // RuntimeCallHelper implementation used in stubs: enters/leaves a 267 // newly created internal frame before/after the runtime call. 268 class StubRuntimeCallHelper : public RuntimeCallHelper { 269 public: StubRuntimeCallHelper()270 StubRuntimeCallHelper() {} 271 272 virtual void BeforeCall(MacroAssembler* masm) const; 273 274 virtual void AfterCall(MacroAssembler* masm) const; 275 }; 276 277 278 // Trivial RuntimeCallHelper implementation. 279 class NopRuntimeCallHelper : public RuntimeCallHelper { 280 public: NopRuntimeCallHelper()281 NopRuntimeCallHelper() {} 282 BeforeCall(MacroAssembler * masm)283 virtual void BeforeCall(MacroAssembler* masm) const {} 284 AfterCall(MacroAssembler * masm)285 virtual void AfterCall(MacroAssembler* masm) const {} 286 }; 287 288 289 class StackCheckStub : public CodeStub { 290 public: StackCheckStub()291 StackCheckStub() { } 292 293 void Generate(MacroAssembler* masm); 294 295 private: MajorKey()296 Major MajorKey() { return StackCheck; } MinorKey()297 int MinorKey() { return 0; } 298 }; 299 300 301 class InterruptStub : public CodeStub { 302 public: InterruptStub()303 InterruptStub() { } 304 305 void Generate(MacroAssembler* masm); 306 307 private: MajorKey()308 Major MajorKey() { return Interrupt; } MinorKey()309 int MinorKey() { return 0; } 310 }; 311 312 313 class ToNumberStub: public CodeStub { 314 public: ToNumberStub()315 ToNumberStub() { } 316 317 void Generate(MacroAssembler* masm); 318 319 private: MajorKey()320 Major MajorKey() { return ToNumber; } MinorKey()321 int MinorKey() { return 0; } 322 }; 323 324 325 class FastNewClosureStub : public CodeStub { 326 public: FastNewClosureStub(LanguageMode language_mode)327 explicit FastNewClosureStub(LanguageMode language_mode) 328 : language_mode_(language_mode) { } 329 330 void Generate(MacroAssembler* masm); 331 332 private: MajorKey()333 Major MajorKey() { return FastNewClosure; } MinorKey()334 int MinorKey() { return language_mode_ == CLASSIC_MODE 335 ? kNonStrictMode : kStrictMode; } 336 337 LanguageMode language_mode_; 338 }; 339 340 341 class FastNewContextStub : public CodeStub { 342 public: 343 static const int kMaximumSlots = 64; 344 FastNewContextStub(int slots)345 explicit FastNewContextStub(int slots) : slots_(slots) { 346 ASSERT(slots_ > 0 && slots_ <= kMaximumSlots); 347 } 348 349 void Generate(MacroAssembler* masm); 350 351 private: 352 int slots_; 353 MajorKey()354 Major MajorKey() { return FastNewContext; } MinorKey()355 int MinorKey() { return slots_; } 356 }; 357 358 359 class FastNewBlockContextStub : public CodeStub { 360 public: 361 static const int kMaximumSlots = 64; 362 FastNewBlockContextStub(int slots)363 explicit FastNewBlockContextStub(int slots) : slots_(slots) { 364 ASSERT(slots_ > 0 && slots_ <= kMaximumSlots); 365 } 366 367 void Generate(MacroAssembler* masm); 368 369 private: 370 int slots_; 371 MajorKey()372 Major MajorKey() { return FastNewBlockContext; } MinorKey()373 int MinorKey() { return slots_; } 374 }; 375 376 377 class FastCloneShallowArrayStub : public CodeStub { 378 public: 379 // Maximum length of copied elements array. 380 static const int kMaximumClonedLength = 8; 381 382 enum Mode { 383 CLONE_ELEMENTS, 384 CLONE_DOUBLE_ELEMENTS, 385 COPY_ON_WRITE_ELEMENTS, 386 CLONE_ANY_ELEMENTS 387 }; 388 FastCloneShallowArrayStub(Mode mode,int length)389 FastCloneShallowArrayStub(Mode mode, int length) 390 : mode_(mode), 391 length_((mode == COPY_ON_WRITE_ELEMENTS) ? 0 : length) { 392 ASSERT_GE(length_, 0); 393 ASSERT_LE(length_, kMaximumClonedLength); 394 } 395 396 void Generate(MacroAssembler* masm); 397 398 private: 399 Mode mode_; 400 int length_; 401 MajorKey()402 Major MajorKey() { return FastCloneShallowArray; } MinorKey()403 int MinorKey() { 404 ASSERT(mode_ == 0 || mode_ == 1 || mode_ == 2 || mode_ == 3); 405 return length_ * 4 + mode_; 406 } 407 }; 408 409 410 class FastCloneShallowObjectStub : public CodeStub { 411 public: 412 // Maximum number of properties in copied object. 413 static const int kMaximumClonedProperties = 6; 414 FastCloneShallowObjectStub(int length)415 explicit FastCloneShallowObjectStub(int length) : length_(length) { 416 ASSERT_GE(length_, 0); 417 ASSERT_LE(length_, kMaximumClonedProperties); 418 } 419 420 void Generate(MacroAssembler* masm); 421 422 private: 423 int length_; 424 MajorKey()425 Major MajorKey() { return FastCloneShallowObject; } MinorKey()426 int MinorKey() { return length_; } 427 }; 428 429 430 class InstanceofStub: public CodeStub { 431 public: 432 enum Flags { 433 kNoFlags = 0, 434 kArgsInRegisters = 1 << 0, 435 kCallSiteInlineCheck = 1 << 1, 436 kReturnTrueFalseObject = 1 << 2 437 }; 438 InstanceofStub(Flags flags)439 explicit InstanceofStub(Flags flags) : flags_(flags) { } 440 441 static Register left(); 442 static Register right(); 443 444 void Generate(MacroAssembler* masm); 445 446 private: MajorKey()447 Major MajorKey() { return Instanceof; } MinorKey()448 int MinorKey() { return static_cast<int>(flags_); } 449 HasArgsInRegisters()450 bool HasArgsInRegisters() const { 451 return (flags_ & kArgsInRegisters) != 0; 452 } 453 HasCallSiteInlineCheck()454 bool HasCallSiteInlineCheck() const { 455 return (flags_ & kCallSiteInlineCheck) != 0; 456 } 457 ReturnTrueFalseObject()458 bool ReturnTrueFalseObject() const { 459 return (flags_ & kReturnTrueFalseObject) != 0; 460 } 461 462 virtual void PrintName(StringStream* stream); 463 464 Flags flags_; 465 }; 466 467 468 class MathPowStub: public CodeStub { 469 public: 470 enum ExponentType { INTEGER, DOUBLE, TAGGED, ON_STACK}; 471 MathPowStub(ExponentType exponent_type)472 explicit MathPowStub(ExponentType exponent_type) 473 : exponent_type_(exponent_type) { } 474 virtual void Generate(MacroAssembler* masm); 475 476 private: MajorKey()477 virtual CodeStub::Major MajorKey() { return MathPow; } MinorKey()478 virtual int MinorKey() { return exponent_type_; } 479 480 ExponentType exponent_type_; 481 }; 482 483 484 class ICCompareStub: public CodeStub { 485 public: ICCompareStub(Token::Value op,CompareIC::State state)486 ICCompareStub(Token::Value op, CompareIC::State state) 487 : op_(op), state_(state) { 488 ASSERT(Token::IsCompareOp(op)); 489 } 490 491 virtual void Generate(MacroAssembler* masm); 492 set_known_map(Handle<Map> map)493 void set_known_map(Handle<Map> map) { known_map_ = map; } 494 495 private: 496 class OpField: public BitField<int, 0, 3> { }; 497 class StateField: public BitField<int, 3, 5> { }; 498 FinishCode(Handle<Code> code)499 virtual void FinishCode(Handle<Code> code) { 500 code->set_compare_state(state_); 501 } 502 MajorKey()503 virtual CodeStub::Major MajorKey() { return CompareIC; } 504 virtual int MinorKey(); 505 GetCodeKind()506 virtual int GetCodeKind() { return Code::COMPARE_IC; } 507 508 void GenerateSmis(MacroAssembler* masm); 509 void GenerateHeapNumbers(MacroAssembler* masm); 510 void GenerateSymbols(MacroAssembler* masm); 511 void GenerateStrings(MacroAssembler* masm); 512 void GenerateObjects(MacroAssembler* masm); 513 void GenerateMiss(MacroAssembler* masm); 514 void GenerateKnownObjects(MacroAssembler* masm); 515 strict()516 bool strict() const { return op_ == Token::EQ_STRICT; } GetCondition()517 Condition GetCondition() const { return CompareIC::ComputeCondition(op_); } 518 519 virtual void AddToSpecialCache(Handle<Code> new_object); 520 virtual bool FindCodeInSpecialCache(Code** code_out); UseSpecialCache()521 virtual bool UseSpecialCache() { return state_ == CompareIC::KNOWN_OBJECTS; } 522 523 Token::Value op_; 524 CompareIC::State state_; 525 Handle<Map> known_map_; 526 }; 527 528 529 // Flags that control the compare stub code generation. 530 enum CompareFlags { 531 NO_COMPARE_FLAGS = 0, 532 NO_SMI_COMPARE_IN_STUB = 1 << 0, 533 NO_NUMBER_COMPARE_IN_STUB = 1 << 1, 534 CANT_BOTH_BE_NAN = 1 << 2 535 }; 536 537 538 enum NaNInformation { 539 kBothCouldBeNaN, 540 kCantBothBeNaN 541 }; 542 543 544 class CompareStub: public CodeStub { 545 public: CompareStub(Condition cc,bool strict,CompareFlags flags,Register lhs,Register rhs)546 CompareStub(Condition cc, 547 bool strict, 548 CompareFlags flags, 549 Register lhs, 550 Register rhs) : 551 cc_(cc), 552 strict_(strict), 553 never_nan_nan_((flags & CANT_BOTH_BE_NAN) != 0), 554 include_number_compare_((flags & NO_NUMBER_COMPARE_IN_STUB) == 0), 555 include_smi_compare_((flags & NO_SMI_COMPARE_IN_STUB) == 0), 556 lhs_(lhs), 557 rhs_(rhs) { } 558 CompareStub(Condition cc,bool strict,CompareFlags flags)559 CompareStub(Condition cc, 560 bool strict, 561 CompareFlags flags) : 562 cc_(cc), 563 strict_(strict), 564 never_nan_nan_((flags & CANT_BOTH_BE_NAN) != 0), 565 include_number_compare_((flags & NO_NUMBER_COMPARE_IN_STUB) == 0), 566 include_smi_compare_((flags & NO_SMI_COMPARE_IN_STUB) == 0), 567 lhs_(no_reg), 568 rhs_(no_reg) { } 569 570 void Generate(MacroAssembler* masm); 571 572 private: 573 Condition cc_; 574 bool strict_; 575 // Only used for 'equal' comparisons. Tells the stub that we already know 576 // that at least one side of the comparison is not NaN. This allows the 577 // stub to use object identity in the positive case. We ignore it when 578 // generating the minor key for other comparisons to avoid creating more 579 // stubs. 580 bool never_nan_nan_; 581 // Do generate the number comparison code in the stub. Stubs without number 582 // comparison code is used when the number comparison has been inlined, and 583 // the stub will be called if one of the operands is not a number. 584 bool include_number_compare_; 585 586 // Generate the comparison code for two smi operands in the stub. 587 bool include_smi_compare_; 588 589 // Register holding the left hand side of the comparison if the stub gives 590 // a choice, no_reg otherwise. 591 592 Register lhs_; 593 // Register holding the right hand side of the comparison if the stub gives 594 // a choice, no_reg otherwise. 595 Register rhs_; 596 597 // Encoding of the minor key in 16 bits. 598 class StrictField: public BitField<bool, 0, 1> {}; 599 class NeverNanNanField: public BitField<bool, 1, 1> {}; 600 class IncludeNumberCompareField: public BitField<bool, 2, 1> {}; 601 class IncludeSmiCompareField: public BitField<bool, 3, 1> {}; 602 class RegisterField: public BitField<bool, 4, 1> {}; 603 class ConditionField: public BitField<int, 5, 11> {}; 604 MajorKey()605 Major MajorKey() { return Compare; } 606 607 int MinorKey(); 608 GetCodeKind()609 virtual int GetCodeKind() { return Code::COMPARE_IC; } FinishCode(Handle<Code> code)610 virtual void FinishCode(Handle<Code> code) { 611 code->set_compare_state(CompareIC::GENERIC); 612 } 613 614 // Branch to the label if the given object isn't a symbol. 615 void BranchIfNonSymbol(MacroAssembler* masm, 616 Label* label, 617 Register object, 618 Register scratch); 619 620 // Unfortunately you have to run without snapshots to see most of these 621 // names in the profile since most compare stubs end up in the snapshot. 622 virtual void PrintName(StringStream* stream); 623 }; 624 625 626 class CEntryStub : public CodeStub { 627 public: 628 explicit CEntryStub(int result_size, 629 SaveFPRegsMode save_doubles = kDontSaveFPRegs) result_size_(result_size)630 : result_size_(result_size), save_doubles_(save_doubles) { } 631 632 void Generate(MacroAssembler* masm); 633 634 // The version of this stub that doesn't save doubles is generated ahead of 635 // time, so it's OK to call it from other stubs that can't cope with GC during 636 // their code generation. On machines that always have gp registers (x64) we 637 // can generate both variants ahead of time. 638 virtual bool IsPregenerated(); 639 static void GenerateAheadOfTime(); 640 641 private: 642 void GenerateCore(MacroAssembler* masm, 643 Label* throw_normal_exception, 644 Label* throw_termination_exception, 645 Label* throw_out_of_memory_exception, 646 bool do_gc, 647 bool always_allocate_scope); 648 649 // Number of pointers/values returned. 650 const int result_size_; 651 SaveFPRegsMode save_doubles_; 652 MajorKey()653 Major MajorKey() { return CEntry; } 654 int MinorKey(); 655 656 bool NeedsImmovableCode(); 657 }; 658 659 660 class JSEntryStub : public CodeStub { 661 public: JSEntryStub()662 JSEntryStub() { } 663 Generate(MacroAssembler * masm)664 void Generate(MacroAssembler* masm) { GenerateBody(masm, false); } 665 666 protected: 667 void GenerateBody(MacroAssembler* masm, bool is_construct); 668 669 private: MajorKey()670 Major MajorKey() { return JSEntry; } MinorKey()671 int MinorKey() { return 0; } 672 673 virtual void FinishCode(Handle<Code> code); 674 675 int handler_offset_; 676 }; 677 678 679 class JSConstructEntryStub : public JSEntryStub { 680 public: JSConstructEntryStub()681 JSConstructEntryStub() { } 682 Generate(MacroAssembler * masm)683 void Generate(MacroAssembler* masm) { GenerateBody(masm, true); } 684 685 private: MinorKey()686 int MinorKey() { return 1; } 687 PrintName(StringStream * stream)688 virtual void PrintName(StringStream* stream) { 689 stream->Add("JSConstructEntryStub"); 690 } 691 }; 692 693 694 class ArgumentsAccessStub: public CodeStub { 695 public: 696 enum Type { 697 READ_ELEMENT, 698 NEW_NON_STRICT_FAST, 699 NEW_NON_STRICT_SLOW, 700 NEW_STRICT 701 }; 702 ArgumentsAccessStub(Type type)703 explicit ArgumentsAccessStub(Type type) : type_(type) { } 704 705 private: 706 Type type_; 707 MajorKey()708 Major MajorKey() { return ArgumentsAccess; } MinorKey()709 int MinorKey() { return type_; } 710 711 void Generate(MacroAssembler* masm); 712 void GenerateReadElement(MacroAssembler* masm); 713 void GenerateNewStrict(MacroAssembler* masm); 714 void GenerateNewNonStrictFast(MacroAssembler* masm); 715 void GenerateNewNonStrictSlow(MacroAssembler* masm); 716 717 virtual void PrintName(StringStream* stream); 718 }; 719 720 721 class RegExpExecStub: public CodeStub { 722 public: RegExpExecStub()723 RegExpExecStub() { } 724 725 private: MajorKey()726 Major MajorKey() { return RegExpExec; } MinorKey()727 int MinorKey() { return 0; } 728 729 void Generate(MacroAssembler* masm); 730 }; 731 732 733 class RegExpConstructResultStub: public CodeStub { 734 public: RegExpConstructResultStub()735 RegExpConstructResultStub() { } 736 737 private: MajorKey()738 Major MajorKey() { return RegExpConstructResult; } MinorKey()739 int MinorKey() { return 0; } 740 741 void Generate(MacroAssembler* masm); 742 }; 743 744 745 class CallFunctionStub: public CodeStub { 746 public: CallFunctionStub(int argc,CallFunctionFlags flags)747 CallFunctionStub(int argc, CallFunctionFlags flags) 748 : argc_(argc), flags_(flags) { } 749 750 void Generate(MacroAssembler* masm); 751 FinishCode(Handle<Code> code)752 virtual void FinishCode(Handle<Code> code) { 753 code->set_has_function_cache(RecordCallTarget()); 754 } 755 ExtractArgcFromMinorKey(int minor_key)756 static int ExtractArgcFromMinorKey(int minor_key) { 757 return ArgcBits::decode(minor_key); 758 } 759 760 private: 761 int argc_; 762 CallFunctionFlags flags_; 763 764 virtual void PrintName(StringStream* stream); 765 766 // Minor key encoding in 32 bits with Bitfield <Type, shift, size>. 767 class FlagBits: public BitField<CallFunctionFlags, 0, 2> {}; 768 class ArgcBits: public BitField<unsigned, 2, 32 - 2> {}; 769 MajorKey()770 Major MajorKey() { return CallFunction; } MinorKey()771 int MinorKey() { 772 // Encode the parameters in a unique 32 bit value. 773 return FlagBits::encode(flags_) | ArgcBits::encode(argc_); 774 } 775 ReceiverMightBeImplicit()776 bool ReceiverMightBeImplicit() { 777 return (flags_ & RECEIVER_MIGHT_BE_IMPLICIT) != 0; 778 } 779 RecordCallTarget()780 bool RecordCallTarget() { 781 return (flags_ & RECORD_CALL_TARGET) != 0; 782 } 783 }; 784 785 786 class CallConstructStub: public CodeStub { 787 public: CallConstructStub(CallFunctionFlags flags)788 explicit CallConstructStub(CallFunctionFlags flags) : flags_(flags) {} 789 790 void Generate(MacroAssembler* masm); 791 FinishCode(Handle<Code> code)792 virtual void FinishCode(Handle<Code> code) { 793 code->set_has_function_cache(RecordCallTarget()); 794 } 795 796 private: 797 CallFunctionFlags flags_; 798 799 virtual void PrintName(StringStream* stream); 800 MajorKey()801 Major MajorKey() { return CallConstruct; } MinorKey()802 int MinorKey() { return flags_; } 803 RecordCallTarget()804 bool RecordCallTarget() { 805 return (flags_ & RECORD_CALL_TARGET) != 0; 806 } 807 }; 808 809 810 enum StringIndexFlags { 811 // Accepts smis or heap numbers. 812 STRING_INDEX_IS_NUMBER, 813 814 // Accepts smis or heap numbers that are valid array indices 815 // (ECMA-262 15.4). Invalid indices are reported as being out of 816 // range. 817 STRING_INDEX_IS_ARRAY_INDEX 818 }; 819 820 821 // Generates code implementing String.prototype.charCodeAt. 822 // 823 // Only supports the case when the receiver is a string and the index 824 // is a number (smi or heap number) that is a valid index into the 825 // string. Additional index constraints are specified by the 826 // flags. Otherwise, bails out to the provided labels. 827 // 828 // Register usage: |object| may be changed to another string in a way 829 // that doesn't affect charCodeAt/charAt semantics, |index| is 830 // preserved, |scratch| and |result| are clobbered. 831 class StringCharCodeAtGenerator { 832 public: StringCharCodeAtGenerator(Register object,Register index,Register result,Label * receiver_not_string,Label * index_not_number,Label * index_out_of_range,StringIndexFlags index_flags)833 StringCharCodeAtGenerator(Register object, 834 Register index, 835 Register result, 836 Label* receiver_not_string, 837 Label* index_not_number, 838 Label* index_out_of_range, 839 StringIndexFlags index_flags) 840 : object_(object), 841 index_(index), 842 result_(result), 843 receiver_not_string_(receiver_not_string), 844 index_not_number_(index_not_number), 845 index_out_of_range_(index_out_of_range), 846 index_flags_(index_flags) { 847 ASSERT(!result_.is(object_)); 848 ASSERT(!result_.is(index_)); 849 } 850 851 // Generates the fast case code. On the fallthrough path |result| 852 // register contains the result. 853 void GenerateFast(MacroAssembler* masm); 854 855 // Generates the slow case code. Must not be naturally 856 // reachable. Expected to be put after a ret instruction (e.g., in 857 // deferred code). Always jumps back to the fast case. 858 void GenerateSlow(MacroAssembler* masm, 859 const RuntimeCallHelper& call_helper); 860 861 private: 862 Register object_; 863 Register index_; 864 Register result_; 865 866 Label* receiver_not_string_; 867 Label* index_not_number_; 868 Label* index_out_of_range_; 869 870 StringIndexFlags index_flags_; 871 872 Label call_runtime_; 873 Label index_not_smi_; 874 Label got_smi_index_; 875 Label exit_; 876 877 DISALLOW_COPY_AND_ASSIGN(StringCharCodeAtGenerator); 878 }; 879 880 881 // Generates code for creating a one-char string from a char code. 882 class StringCharFromCodeGenerator { 883 public: StringCharFromCodeGenerator(Register code,Register result)884 StringCharFromCodeGenerator(Register code, 885 Register result) 886 : code_(code), 887 result_(result) { 888 ASSERT(!code_.is(result_)); 889 } 890 891 // Generates the fast case code. On the fallthrough path |result| 892 // register contains the result. 893 void GenerateFast(MacroAssembler* masm); 894 895 // Generates the slow case code. Must not be naturally 896 // reachable. Expected to be put after a ret instruction (e.g., in 897 // deferred code). Always jumps back to the fast case. 898 void GenerateSlow(MacroAssembler* masm, 899 const RuntimeCallHelper& call_helper); 900 901 private: 902 Register code_; 903 Register result_; 904 905 Label slow_case_; 906 Label exit_; 907 908 DISALLOW_COPY_AND_ASSIGN(StringCharFromCodeGenerator); 909 }; 910 911 912 // Generates code implementing String.prototype.charAt. 913 // 914 // Only supports the case when the receiver is a string and the index 915 // is a number (smi or heap number) that is a valid index into the 916 // string. Additional index constraints are specified by the 917 // flags. Otherwise, bails out to the provided labels. 918 // 919 // Register usage: |object| may be changed to another string in a way 920 // that doesn't affect charCodeAt/charAt semantics, |index| is 921 // preserved, |scratch1|, |scratch2|, and |result| are clobbered. 922 class StringCharAtGenerator { 923 public: StringCharAtGenerator(Register object,Register index,Register scratch,Register result,Label * receiver_not_string,Label * index_not_number,Label * index_out_of_range,StringIndexFlags index_flags)924 StringCharAtGenerator(Register object, 925 Register index, 926 Register scratch, 927 Register result, 928 Label* receiver_not_string, 929 Label* index_not_number, 930 Label* index_out_of_range, 931 StringIndexFlags index_flags) 932 : char_code_at_generator_(object, 933 index, 934 scratch, 935 receiver_not_string, 936 index_not_number, 937 index_out_of_range, 938 index_flags), 939 char_from_code_generator_(scratch, result) {} 940 941 // Generates the fast case code. On the fallthrough path |result| 942 // register contains the result. 943 void GenerateFast(MacroAssembler* masm); 944 945 // Generates the slow case code. Must not be naturally 946 // reachable. Expected to be put after a ret instruction (e.g., in 947 // deferred code). Always jumps back to the fast case. 948 void GenerateSlow(MacroAssembler* masm, 949 const RuntimeCallHelper& call_helper); 950 951 private: 952 StringCharCodeAtGenerator char_code_at_generator_; 953 StringCharFromCodeGenerator char_from_code_generator_; 954 955 DISALLOW_COPY_AND_ASSIGN(StringCharAtGenerator); 956 }; 957 958 959 class AllowStubCallsScope { 960 public: AllowStubCallsScope(MacroAssembler * masm,bool allow)961 AllowStubCallsScope(MacroAssembler* masm, bool allow) 962 : masm_(masm), previous_allow_(masm->allow_stub_calls()) { 963 masm_->set_allow_stub_calls(allow); 964 } ~AllowStubCallsScope()965 ~AllowStubCallsScope() { 966 masm_->set_allow_stub_calls(previous_allow_); 967 } 968 969 private: 970 MacroAssembler* masm_; 971 bool previous_allow_; 972 973 DISALLOW_COPY_AND_ASSIGN(AllowStubCallsScope); 974 }; 975 976 977 class KeyedLoadElementStub : public CodeStub { 978 public: KeyedLoadElementStub(ElementsKind elements_kind)979 explicit KeyedLoadElementStub(ElementsKind elements_kind) 980 : elements_kind_(elements_kind) 981 { } 982 MajorKey()983 Major MajorKey() { return KeyedLoadElement; } MinorKey()984 int MinorKey() { return elements_kind_; } 985 986 void Generate(MacroAssembler* masm); 987 988 private: 989 ElementsKind elements_kind_; 990 991 DISALLOW_COPY_AND_ASSIGN(KeyedLoadElementStub); 992 }; 993 994 995 class KeyedStoreElementStub : public CodeStub { 996 public: KeyedStoreElementStub(bool is_js_array,ElementsKind elements_kind,KeyedAccessGrowMode grow_mode)997 KeyedStoreElementStub(bool is_js_array, 998 ElementsKind elements_kind, 999 KeyedAccessGrowMode grow_mode) 1000 : is_js_array_(is_js_array), 1001 elements_kind_(elements_kind), 1002 grow_mode_(grow_mode) { } 1003 MajorKey()1004 Major MajorKey() { return KeyedStoreElement; } MinorKey()1005 int MinorKey() { 1006 return ElementsKindBits::encode(elements_kind_) | 1007 IsJSArrayBits::encode(is_js_array_) | 1008 GrowModeBits::encode(grow_mode_); 1009 } 1010 1011 void Generate(MacroAssembler* masm); 1012 1013 private: 1014 class ElementsKindBits: public BitField<ElementsKind, 0, 8> {}; 1015 class GrowModeBits: public BitField<KeyedAccessGrowMode, 8, 1> {}; 1016 class IsJSArrayBits: public BitField<bool, 9, 1> {}; 1017 1018 bool is_js_array_; 1019 ElementsKind elements_kind_; 1020 KeyedAccessGrowMode grow_mode_; 1021 1022 DISALLOW_COPY_AND_ASSIGN(KeyedStoreElementStub); 1023 }; 1024 1025 1026 class ToBooleanStub: public CodeStub { 1027 public: 1028 enum Type { 1029 UNDEFINED, 1030 BOOLEAN, 1031 NULL_TYPE, 1032 SMI, 1033 SPEC_OBJECT, 1034 STRING, 1035 HEAP_NUMBER, 1036 NUMBER_OF_TYPES 1037 }; 1038 1039 // At most 8 different types can be distinguished, because the Code object 1040 // only has room for a single byte to hold a set of these types. :-P 1041 STATIC_ASSERT(NUMBER_OF_TYPES <= 8); 1042 1043 class Types { 1044 public: Types()1045 Types() {} Types(byte bits)1046 explicit Types(byte bits) : set_(bits) {} 1047 IsEmpty()1048 bool IsEmpty() const { return set_.IsEmpty(); } Contains(Type type)1049 bool Contains(Type type) const { return set_.Contains(type); } Add(Type type)1050 void Add(Type type) { set_.Add(type); } ToByte()1051 byte ToByte() const { return set_.ToIntegral(); } 1052 void Print(StringStream* stream) const; 1053 void TraceTransition(Types to) const; 1054 bool Record(Handle<Object> object); 1055 bool NeedsMap() const; 1056 bool CanBeUndetectable() const; 1057 1058 private: 1059 EnumSet<Type, byte> set_; 1060 }; 1061 no_types()1062 static Types no_types() { return Types(); } all_types()1063 static Types all_types() { return Types((1 << NUMBER_OF_TYPES) - 1); } 1064 1065 explicit ToBooleanStub(Register tos, Types types = Types()) tos_(tos)1066 : tos_(tos), types_(types) { } 1067 1068 void Generate(MacroAssembler* masm); GetCodeKind()1069 virtual int GetCodeKind() { return Code::TO_BOOLEAN_IC; } 1070 virtual void PrintName(StringStream* stream); 1071 SometimesSetsUpAFrame()1072 virtual bool SometimesSetsUpAFrame() { return false; } 1073 1074 private: MajorKey()1075 Major MajorKey() { return ToBoolean; } MinorKey()1076 int MinorKey() { return (tos_.code() << NUMBER_OF_TYPES) | types_.ToByte(); } 1077 FinishCode(Handle<Code> code)1078 virtual void FinishCode(Handle<Code> code) { 1079 code->set_to_boolean_state(types_.ToByte()); 1080 } 1081 1082 void CheckOddball(MacroAssembler* masm, 1083 Type type, 1084 Heap::RootListIndex value, 1085 bool result); 1086 void GenerateTypeTransition(MacroAssembler* masm); 1087 1088 Register tos_; 1089 Types types_; 1090 }; 1091 1092 1093 class ElementsTransitionAndStoreStub : public CodeStub { 1094 public: ElementsTransitionAndStoreStub(ElementsKind from,ElementsKind to,bool is_jsarray,StrictModeFlag strict_mode,KeyedAccessGrowMode grow_mode)1095 ElementsTransitionAndStoreStub(ElementsKind from, 1096 ElementsKind to, 1097 bool is_jsarray, 1098 StrictModeFlag strict_mode, 1099 KeyedAccessGrowMode grow_mode) 1100 : from_(from), 1101 to_(to), 1102 is_jsarray_(is_jsarray), 1103 strict_mode_(strict_mode), 1104 grow_mode_(grow_mode) {} 1105 1106 private: 1107 class FromBits: public BitField<ElementsKind, 0, 8> {}; 1108 class ToBits: public BitField<ElementsKind, 8, 8> {}; 1109 class IsJSArrayBits: public BitField<bool, 16, 1> {}; 1110 class StrictModeBits: public BitField<StrictModeFlag, 17, 1> {}; 1111 class GrowModeBits: public BitField<KeyedAccessGrowMode, 18, 1> {}; 1112 MajorKey()1113 Major MajorKey() { return ElementsTransitionAndStore; } MinorKey()1114 int MinorKey() { 1115 return FromBits::encode(from_) | 1116 ToBits::encode(to_) | 1117 IsJSArrayBits::encode(is_jsarray_) | 1118 StrictModeBits::encode(strict_mode_) | 1119 GrowModeBits::encode(grow_mode_); 1120 } 1121 1122 void Generate(MacroAssembler* masm); 1123 1124 ElementsKind from_; 1125 ElementsKind to_; 1126 bool is_jsarray_; 1127 StrictModeFlag strict_mode_; 1128 KeyedAccessGrowMode grow_mode_; 1129 1130 DISALLOW_COPY_AND_ASSIGN(ElementsTransitionAndStoreStub); 1131 }; 1132 1133 1134 class StoreArrayLiteralElementStub : public CodeStub { 1135 public: StoreArrayLiteralElementStub()1136 explicit StoreArrayLiteralElementStub() {} 1137 1138 private: MajorKey()1139 Major MajorKey() { return StoreArrayLiteralElement; } MinorKey()1140 int MinorKey() { return 0; } 1141 1142 void Generate(MacroAssembler* masm); 1143 1144 DISALLOW_COPY_AND_ASSIGN(StoreArrayLiteralElementStub); 1145 }; 1146 1147 } } // namespace v8::internal 1148 1149 #endif // V8_CODE_STUBS_H_ 1150