V8 Project
ic-compiler-mips64.cc
Go to the documentation of this file.
1 // Copyright 2014 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/v8.h"
6 
7 #if V8_TARGET_ARCH_MIPS64
8 
9 #include "src/ic/ic.h"
10 #include "src/ic/ic-compiler.h"
11 
12 namespace v8 {
13 namespace internal {
14 
15 #define __ ACCESS_MASM(masm())
16 
17 
19  CodeHandleList* handlers,
20  Handle<Name> name,
21  Code::StubType type,
22  IcCheckType check) {
23  Label miss;
24 
25  if (check == PROPERTY &&
26  (kind() == Code::KEYED_LOAD_IC || kind() == Code::KEYED_STORE_IC)) {
27  // In case we are compiling an IC for dictionary loads and stores, just
28  // check whether the name is unique.
29  if (name.is_identical_to(isolate()->factory()->normal_ic_symbol())) {
30  Register tmp = scratch1();
31  __ JumpIfSmi(this->name(), &miss);
32  __ ld(tmp, FieldMemOperand(this->name(), HeapObject::kMapOffset));
34  __ JumpIfNotUniqueNameInstanceType(tmp, &miss);
35  } else {
36  __ Branch(&miss, ne, this->name(), Operand(name));
37  }
38  }
39 
40  Label number_case;
41  Register match = scratch2();
42  Label* smi_target = IncludesNumberType(types) ? &number_case : &miss;
43  __ JumpIfSmi(receiver(), smi_target, match); // Reg match is 0 if Smi.
44 
45  // Polymorphic keyed stores may use the map register
46  Register map_reg = scratch1();
47  DCHECK(kind() != Code::KEYED_STORE_IC ||
49 
50  int receiver_count = types->length();
51  int number_of_handled_maps = 0;
52  __ ld(map_reg, FieldMemOperand(receiver(), HeapObject::kMapOffset));
53  for (int current = 0; current < receiver_count; ++current) {
54  Handle<HeapType> type = types->at(current);
55  Handle<Map> map = IC::TypeToMap(*type, isolate());
56  if (!map->is_deprecated()) {
57  number_of_handled_maps++;
58  // Check map and tail call if there's a match.
59  // Separate compare from branch, to provide path for above JumpIfSmi().
60  __ Dsubu(match, map_reg, Operand(map));
61  if (type->Is(HeapType::Number())) {
62  DCHECK(!number_case.is_unused());
63  __ bind(&number_case);
64  }
65  __ Jump(handlers->at(current), RelocInfo::CODE_TARGET, eq, match,
66  Operand(zero_reg));
67  }
68  }
69  DCHECK(number_of_handled_maps != 0);
70 
71  __ bind(&miss);
72  TailCallBuiltin(masm(), MissBuiltin(kind()));
73 
74  // Return the generated code.
75  InlineCacheState state =
76  number_of_handled_maps > 1 ? POLYMORPHIC : MONOMORPHIC;
77  return GetCode(kind(), type, name, state);
78 }
79 
80 
82  MapHandleList* receiver_maps, CodeHandleList* handler_stubs,
83  MapHandleList* transitioned_maps) {
84  Label miss;
85  __ JumpIfSmi(receiver(), &miss);
86 
87  int receiver_count = receiver_maps->length();
88  __ ld(scratch1(), FieldMemOperand(receiver(), HeapObject::kMapOffset));
89  for (int i = 0; i < receiver_count; ++i) {
90  if (transitioned_maps->at(i).is_null()) {
91  __ Jump(handler_stubs->at(i), RelocInfo::CODE_TARGET, eq, scratch1(),
92  Operand(receiver_maps->at(i)));
93  } else {
94  Label next_map;
95  __ Branch(&next_map, ne, scratch1(), Operand(receiver_maps->at(i)));
96  __ li(transition_map(), Operand(transitioned_maps->at(i)));
97  __ Jump(handler_stubs->at(i), RelocInfo::CODE_TARGET);
98  __ bind(&next_map);
99  }
100  }
101 
102  __ bind(&miss);
103  TailCallBuiltin(masm(), MissBuiltin(kind()));
104 
105  // Return the generated code.
106  return GetCode(kind(), Code::NORMAL, factory()->empty_string(), POLYMORPHIC);
107 }
108 
109 
110 #undef __
111 #define __ ACCESS_MASM(masm)
112 
113 
114 void PropertyICCompiler::GenerateRuntimeSetProperty(MacroAssembler* masm,
115  StrictMode strict_mode) {
118 
119  __ li(a0, Operand(Smi::FromInt(strict_mode)));
120  __ Push(a0);
121 
122  // Do tail-call to runtime routine.
123  __ TailCallRuntime(Runtime::kSetProperty, 4, 1);
124 }
125 
126 
127 #undef __
128 }
129 } // namespace v8::internal
130 
131 #endif // V8_TARGET_ARCH_MIPS64
static const int kMapOffset
Definition: objects.h:1427
static Handle< Map > TypeToMap(HeapType *type, Isolate *isolate)
Definition: ic.cc:719
static const int kInstanceTypeOffset
Definition: objects.h:6229
Handle< Code > GetCode(Code::Kind kind, Code::StubType type, Handle< Name > name, InlineCacheState state=MONOMORPHIC)
Definition: ic-compiler.cc:360
Handle< Code > CompileKeyedStorePolymorphic(MapHandleList *receiver_maps, KeyedAccessStoreMode store_mode)
Definition: ic-compiler.cc:372
bool IncludesNumberType(TypeHandleList *types)
Definition: ic-compiler.cc:28
static void GenerateRuntimeSetProperty(MacroAssembler *masm, StrictMode strict_mode)
Handle< Code > CompilePolymorphic(TypeHandleList *types, CodeHandleList *handlers, Handle< Name > name, Code::StubType type, IcCheckType check)
static Smi * FromInt(int value)
Definition: objects-inl.h:1321
static const Register ReceiverRegister()
static const Register NameRegister()
static const Register ValueRegister()
#define __
enable harmony numeric enable harmony object literal extensions Optimize object Array DOM strings and string trace pretenuring decisions of HAllocate instructions Enables optimizations which favor memory size over execution speed maximum source size in bytes considered for a single inlining maximum cumulative number of AST nodes considered for inlining trace the tracking of allocation sites deoptimize every n garbage collections perform array bounds checks elimination analyze liveness of environment slots and zap dead values flushes the cache of optimized code for closures on every GC allow uint32 values on optimize frames if they are used only in safe operations track concurrent recompilation artificial compilation delay in ms do not emit check maps for constant values that have a leaf map
enable harmony numeric enable harmony object literal extensions Optimize object Array DOM strings and string trace pretenuring decisions of HAllocate instructions Enables optimizations which favor memory size over execution speed maximum source size in bytes considered for a single inlining maximum cumulative number of AST nodes considered for inlining trace the tracking of allocation sites deoptimize every n garbage collections perform array bounds checks elimination analyze liveness of environment slots and zap dead values flushes the cache of optimized code for closures on every GC allow uint32 values on optimize frames if they are used only in safe operations track concurrent recompilation artificial compilation delay in ms do not emit check maps for constant values that have a leaf deoptimize the optimized code if the layout of the maps changes enable context specialization in TurboFan execution budget before interrupt is triggered max percentage of megamorphic generic ICs to allow optimization enable use of SAHF instruction if enable use of VFP3 instructions if available enable use of NEON instructions if enable use of SDIV and UDIV instructions if enable use of MLS instructions if enable loading bit constant by means of movw movt instruction enable unaligned accesses for enable use of d16 d31 registers on ARM this requires VFP3 force all emitted branches to be in long enable alignment of csp to bytes on platforms which prefer the register to always be expose gc extension under the specified name show built in functions in stack traces use random jit cookie to mask large constants minimum length for automatic enable preparsing CPU profiler sampling interval in microseconds trace out of bounds accesses to external arrays default size of stack region v8 is allowed to maximum length of function source code printed in a stack trace min size of a semi the new space consists of two semi spaces print one trace line following each garbage collection do not print trace line after scavenger collection print cumulative GC statistics in name
#define DCHECK(condition)
Definition: logging.h:205
static int Push(SpecialRPOStackFrame *stack, int depth, BasicBlock *child, int unvisited)
Definition: scheduler.cc:773
List< Handle< Code > > CodeHandleList
Definition: list.h:199
MemOperand FieldMemOperand(Register object, int offset)
List< Handle< Map > > MapHandleList
Definition: list.h:197
List< Handle< HeapType > > TypeHandleList
Definition: list.h:198
Debugger support for the V8 JavaScript engine.
Definition: accessors.cc:20