Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/compiler/code-assembler.h" | 5 #include "src/compiler/code-assembler.h" |
| 6 | 6 |
| 7 #include <ostream> | 7 #include <ostream> |
| 8 | 8 |
| 9 #include "src/code-factory.h" | 9 #include "src/code-factory.h" |
| 10 #include "src/compiler/graph.h" | 10 #include "src/compiler/graph.h" |
| 11 #include "src/compiler/instruction-selector.h" | 11 #include "src/compiler/instruction-selector.h" |
| 12 #include "src/compiler/linkage.h" | 12 #include "src/compiler/linkage.h" |
| 13 #include "src/compiler/node-matchers.h" | 13 #include "src/compiler/node-matchers.h" |
| 14 #include "src/compiler/pipeline.h" | 14 #include "src/compiler/pipeline.h" |
| 15 #include "src/compiler/raw-machine-assembler.h" | 15 #include "src/compiler/raw-machine-assembler.h" |
| 16 #include "src/compiler/schedule.h" | 16 #include "src/compiler/schedule.h" |
| 17 #include "src/frames.h" | 17 #include "src/frames.h" |
| 18 #include "src/interface-descriptors.h" | 18 #include "src/interface-descriptors.h" |
| 19 #include "src/interpreter/bytecodes.h" | 19 #include "src/interpreter/bytecodes.h" |
| 20 #include "src/machine-type.h" | 20 #include "src/machine-type.h" |
| 21 #include "src/macro-assembler.h" | 21 #include "src/macro-assembler.h" |
| 22 #include "src/utils.h" | 22 #include "src/utils.h" |
| 23 #include "src/zone/zone.h" | 23 #include "src/zone/zone.h" |
| 24 | 24 |
| 25 namespace v8 { | 25 namespace v8 { |
| 26 namespace internal { | 26 namespace internal { |
| 27 namespace compiler { | 27 namespace compiler { |
| 28 | 28 |
| 29 CodeAssembler::CodeAssembler(Isolate* isolate, Zone* zone, | 29 CodeAssemblerState::CodeAssemblerState( |
| 30 const CallInterfaceDescriptor& descriptor, | 30 Isolate* isolate, Zone* zone, const CallInterfaceDescriptor& descriptor, |
| 31 Code::Flags flags, const char* name, | 31 Code::Flags flags, const char* name, size_t result_size) |
| 32 size_t result_size) | 32 : CodeAssemblerState( |
| 33 : CodeAssembler( | |
| 34 isolate, zone, | 33 isolate, zone, |
| 35 Linkage::GetStubCallDescriptor( | 34 Linkage::GetStubCallDescriptor( |
| 36 isolate, zone, descriptor, descriptor.GetStackParameterCount(), | 35 isolate, zone, descriptor, descriptor.GetStackParameterCount(), |
| 37 CallDescriptor::kNoFlags, Operator::kNoProperties, | 36 CallDescriptor::kNoFlags, Operator::kNoProperties, |
| 38 MachineType::AnyTagged(), result_size), | 37 MachineType::AnyTagged(), result_size), |
| 39 flags, name) {} | 38 flags, name) {} |
| 40 | 39 |
| 41 CodeAssembler::CodeAssembler(Isolate* isolate, Zone* zone, int parameter_count, | 40 CodeAssemblerState::CodeAssemblerState(Isolate* isolate, Zone* zone, |
| 42 Code::Flags flags, const char* name) | 41 int parameter_count, Code::Flags flags, |
| 43 : CodeAssembler(isolate, zone, | 42 const char* name) |
| 44 Linkage::GetJSCallDescriptor( | 43 : CodeAssemblerState(isolate, zone, |
| 45 zone, false, parameter_count, | 44 Linkage::GetJSCallDescriptor( |
| 46 Code::ExtractKindFromFlags(flags) == Code::BUILTIN | 45 zone, false, parameter_count, |
| 47 ? CallDescriptor::kPushArgumentCount | 46 Code::ExtractKindFromFlags(flags) == Code::BUILTIN |
| 48 : CallDescriptor::kNoFlags), | 47 ? CallDescriptor::kPushArgumentCount |
| 49 flags, name) {} | 48 : CallDescriptor::kNoFlags), |
| 49 flags, name) {} | |
| 50 | 50 |
| 51 CodeAssembler::CodeAssembler(Isolate* isolate, Zone* zone, | 51 CodeAssemblerState::CodeAssemblerState(Isolate* isolate, Zone* zone, |
| 52 CallDescriptor* call_descriptor, Code::Flags flags, | 52 CallDescriptor* call_descriptor, |
| 53 const char* name) | 53 Code::Flags flags, const char* name) |
| 54 : raw_assembler_(new RawMachineAssembler( | 54 : raw_assembler_(new RawMachineAssembler( |
| 55 isolate, new (zone) Graph(zone), call_descriptor, | 55 isolate, new (zone) Graph(zone), call_descriptor, |
| 56 MachineType::PointerRepresentation(), | 56 MachineType::PointerRepresentation(), |
| 57 InstructionSelector::SupportedMachineOperatorFlags(), | 57 InstructionSelector::SupportedMachineOperatorFlags(), |
| 58 InstructionSelector::AlignmentRequirements())), | 58 InstructionSelector::AlignmentRequirements())), |
| 59 flags_(flags), | 59 flags_(flags), |
| 60 name_(name), | 60 name_(name), |
| 61 code_generated_(false), | 61 code_generated_(false), |
| 62 variables_(zone) {} | 62 variables_(zone) {} |
| 63 | 63 |
| 64 Handle<Code> CodeAssemblerState::GenerateCode() { | |
| 65 DCHECK(!code_generated_); | |
| 66 | |
| 67 Schedule* schedule = raw_assembler_->Export(); | |
| 68 Handle<Code> code = Pipeline::GenerateCodeForCodeStub( | |
| 69 raw_assembler_->isolate(), raw_assembler_->call_descriptor(), | |
| 70 raw_assembler_->graph(), schedule, flags_, name_); | |
| 71 | |
| 72 code_generated_ = true; | |
| 73 return code; | |
| 74 } | |
| 75 | |
| 76 CodeAssemblerState::~CodeAssemblerState() {} | |
| 77 | |
| 64 CodeAssembler::~CodeAssembler() {} | 78 CodeAssembler::~CodeAssembler() {} |
| 65 | 79 |
| 66 void CodeAssembler::CallPrologue() {} | 80 void CodeAssembler::CallPrologue() {} |
| 67 | 81 |
| 68 void CodeAssembler::CallEpilogue() {} | 82 void CodeAssembler::CallEpilogue() {} |
| 69 | 83 |
| 70 Handle<Code> CodeAssembler::GenerateCode() { | 84 bool CodeAssembler::Is64() const { return raw_assembler()->machine()->Is64(); } |
| 71 DCHECK(!code_generated_); | |
| 72 | |
| 73 Schedule* schedule = raw_assembler_->Export(); | |
| 74 Handle<Code> code = Pipeline::GenerateCodeForCodeStub( | |
| 75 isolate(), raw_assembler_->call_descriptor(), raw_assembler_->graph(), | |
| 76 schedule, flags_, name_); | |
| 77 | |
| 78 code_generated_ = true; | |
| 79 return code; | |
| 80 } | |
| 81 | |
| 82 bool CodeAssembler::Is64() const { return raw_assembler_->machine()->Is64(); } | |
| 83 | 85 |
| 84 bool CodeAssembler::IsFloat64RoundUpSupported() const { | 86 bool CodeAssembler::IsFloat64RoundUpSupported() const { |
| 85 return raw_assembler_->machine()->Float64RoundUp().IsSupported(); | 87 return raw_assembler()->machine()->Float64RoundUp().IsSupported(); |
| 86 } | 88 } |
| 87 | 89 |
| 88 bool CodeAssembler::IsFloat64RoundDownSupported() const { | 90 bool CodeAssembler::IsFloat64RoundDownSupported() const { |
| 89 return raw_assembler_->machine()->Float64RoundDown().IsSupported(); | 91 return raw_assembler()->machine()->Float64RoundDown().IsSupported(); |
| 90 } | 92 } |
| 91 | 93 |
| 92 bool CodeAssembler::IsFloat64RoundTruncateSupported() const { | 94 bool CodeAssembler::IsFloat64RoundTruncateSupported() const { |
| 93 return raw_assembler_->machine()->Float64RoundTruncate().IsSupported(); | 95 return raw_assembler()->machine()->Float64RoundTruncate().IsSupported(); |
| 94 } | 96 } |
| 95 | 97 |
| 96 Node* CodeAssembler::Int32Constant(int32_t value) { | 98 Node* CodeAssembler::Int32Constant(int32_t value) { |
| 97 return raw_assembler_->Int32Constant(value); | 99 return raw_assembler()->Int32Constant(value); |
| 98 } | 100 } |
| 99 | 101 |
| 100 Node* CodeAssembler::Int64Constant(int64_t value) { | 102 Node* CodeAssembler::Int64Constant(int64_t value) { |
| 101 return raw_assembler_->Int64Constant(value); | 103 return raw_assembler()->Int64Constant(value); |
| 102 } | 104 } |
| 103 | 105 |
| 104 Node* CodeAssembler::IntPtrConstant(intptr_t value) { | 106 Node* CodeAssembler::IntPtrConstant(intptr_t value) { |
| 105 return raw_assembler_->IntPtrConstant(value); | 107 return raw_assembler()->IntPtrConstant(value); |
| 106 } | 108 } |
| 107 | 109 |
| 108 Node* CodeAssembler::NumberConstant(double value) { | 110 Node* CodeAssembler::NumberConstant(double value) { |
| 109 return raw_assembler_->NumberConstant(value); | 111 return raw_assembler()->NumberConstant(value); |
| 110 } | 112 } |
| 111 | 113 |
| 112 Node* CodeAssembler::SmiConstant(Smi* value) { | 114 Node* CodeAssembler::SmiConstant(Smi* value) { |
| 113 return BitcastWordToTaggedSigned(IntPtrConstant(bit_cast<intptr_t>(value))); | 115 return BitcastWordToTaggedSigned(IntPtrConstant(bit_cast<intptr_t>(value))); |
| 114 } | 116 } |
| 115 | 117 |
| 116 Node* CodeAssembler::SmiConstant(int value) { | 118 Node* CodeAssembler::SmiConstant(int value) { |
| 117 return SmiConstant(Smi::FromInt(value)); | 119 return SmiConstant(Smi::FromInt(value)); |
| 118 } | 120 } |
| 119 | 121 |
| 120 Node* CodeAssembler::HeapConstant(Handle<HeapObject> object) { | 122 Node* CodeAssembler::HeapConstant(Handle<HeapObject> object) { |
| 121 return raw_assembler_->HeapConstant(object); | 123 return raw_assembler()->HeapConstant(object); |
| 122 } | 124 } |
| 123 | 125 |
| 124 Node* CodeAssembler::BooleanConstant(bool value) { | 126 Node* CodeAssembler::BooleanConstant(bool value) { |
| 125 return raw_assembler_->BooleanConstant(value); | 127 return raw_assembler()->BooleanConstant(value); |
| 126 } | 128 } |
| 127 | 129 |
| 128 Node* CodeAssembler::ExternalConstant(ExternalReference address) { | 130 Node* CodeAssembler::ExternalConstant(ExternalReference address) { |
| 129 return raw_assembler_->ExternalConstant(address); | 131 return raw_assembler()->ExternalConstant(address); |
| 130 } | 132 } |
| 131 | 133 |
| 132 Node* CodeAssembler::Float64Constant(double value) { | 134 Node* CodeAssembler::Float64Constant(double value) { |
| 133 return raw_assembler_->Float64Constant(value); | 135 return raw_assembler()->Float64Constant(value); |
| 134 } | 136 } |
| 135 | 137 |
| 136 Node* CodeAssembler::NaNConstant() { | 138 Node* CodeAssembler::NaNConstant() { |
| 137 return LoadRoot(Heap::kNanValueRootIndex); | 139 return LoadRoot(Heap::kNanValueRootIndex); |
| 138 } | 140 } |
| 139 | 141 |
| 140 bool CodeAssembler::ToInt32Constant(Node* node, int32_t& out_value) { | 142 bool CodeAssembler::ToInt32Constant(Node* node, int32_t& out_value) { |
| 141 Int64Matcher m(node); | 143 Int64Matcher m(node); |
| 142 if (m.HasValue() && | 144 if (m.HasValue() && |
| 143 m.IsInRange(std::numeric_limits<int32_t>::min(), | 145 m.IsInRange(std::numeric_limits<int32_t>::min(), |
| (...skipping 25 matching lines...) Expand all Loading... | |
| 169 return false; | 171 return false; |
| 170 } | 172 } |
| 171 | 173 |
| 172 bool CodeAssembler::ToIntPtrConstant(Node* node, intptr_t& out_value) { | 174 bool CodeAssembler::ToIntPtrConstant(Node* node, intptr_t& out_value) { |
| 173 IntPtrMatcher m(node); | 175 IntPtrMatcher m(node); |
| 174 if (m.HasValue()) out_value = m.Value(); | 176 if (m.HasValue()) out_value = m.Value(); |
| 175 return m.HasValue(); | 177 return m.HasValue(); |
| 176 } | 178 } |
| 177 | 179 |
| 178 Node* CodeAssembler::Parameter(int value) { | 180 Node* CodeAssembler::Parameter(int value) { |
| 179 return raw_assembler_->Parameter(value); | 181 return raw_assembler()->Parameter(value); |
| 180 } | 182 } |
| 181 | 183 |
| 182 void CodeAssembler::Return(Node* value) { | 184 void CodeAssembler::Return(Node* value) { |
| 183 return raw_assembler_->Return(value); | 185 return raw_assembler()->Return(value); |
| 184 } | 186 } |
| 185 | 187 |
| 186 void CodeAssembler::PopAndReturn(Node* pop, Node* value) { | 188 void CodeAssembler::PopAndReturn(Node* pop, Node* value) { |
| 187 return raw_assembler_->PopAndReturn(pop, value); | 189 return raw_assembler()->PopAndReturn(pop, value); |
| 188 } | 190 } |
| 189 | 191 |
| 190 void CodeAssembler::DebugBreak() { raw_assembler_->DebugBreak(); } | 192 void CodeAssembler::DebugBreak() { raw_assembler()->DebugBreak(); } |
| 191 | 193 |
| 192 void CodeAssembler::Comment(const char* format, ...) { | 194 void CodeAssembler::Comment(const char* format, ...) { |
| 193 if (!FLAG_code_comments) return; | 195 if (!FLAG_code_comments) return; |
| 194 char buffer[4 * KB]; | 196 char buffer[4 * KB]; |
| 195 StringBuilder builder(buffer, arraysize(buffer)); | 197 StringBuilder builder(buffer, arraysize(buffer)); |
| 196 va_list arguments; | 198 va_list arguments; |
| 197 va_start(arguments, format); | 199 va_start(arguments, format); |
| 198 builder.AddFormattedList(format, arguments); | 200 builder.AddFormattedList(format, arguments); |
| 199 va_end(arguments); | 201 va_end(arguments); |
| 200 | 202 |
| 201 // Copy the string before recording it in the assembler to avoid | 203 // Copy the string before recording it in the assembler to avoid |
| 202 // issues when the stack allocated buffer goes out of scope. | 204 // issues when the stack allocated buffer goes out of scope. |
| 203 const int prefix_len = 2; | 205 const int prefix_len = 2; |
| 204 int length = builder.position() + 1; | 206 int length = builder.position() + 1; |
| 205 char* copy = reinterpret_cast<char*>(malloc(length + prefix_len)); | 207 char* copy = reinterpret_cast<char*>(malloc(length + prefix_len)); |
| 206 MemCopy(copy + prefix_len, builder.Finalize(), length); | 208 MemCopy(copy + prefix_len, builder.Finalize(), length); |
| 207 copy[0] = ';'; | 209 copy[0] = ';'; |
| 208 copy[1] = ' '; | 210 copy[1] = ' '; |
| 209 raw_assembler_->Comment(copy); | 211 raw_assembler()->Comment(copy); |
| 210 } | 212 } |
| 211 | 213 |
| 212 void CodeAssembler::Bind(CodeAssembler::Label* label) { return label->Bind(); } | 214 void CodeAssembler::Bind(CodeAssembler::Label* label) { return label->Bind(); } |
| 213 | 215 |
| 214 Node* CodeAssembler::LoadFramePointer() { | 216 Node* CodeAssembler::LoadFramePointer() { |
| 215 return raw_assembler_->LoadFramePointer(); | 217 return raw_assembler()->LoadFramePointer(); |
| 216 } | 218 } |
| 217 | 219 |
| 218 Node* CodeAssembler::LoadParentFramePointer() { | 220 Node* CodeAssembler::LoadParentFramePointer() { |
| 219 return raw_assembler_->LoadParentFramePointer(); | 221 return raw_assembler()->LoadParentFramePointer(); |
| 220 } | 222 } |
| 221 | 223 |
| 222 Node* CodeAssembler::LoadStackPointer() { | 224 Node* CodeAssembler::LoadStackPointer() { |
| 223 return raw_assembler_->LoadStackPointer(); | 225 return raw_assembler()->LoadStackPointer(); |
| 224 } | 226 } |
| 225 | 227 |
| 226 #define DEFINE_CODE_ASSEMBLER_BINARY_OP(name) \ | 228 #define DEFINE_CODE_ASSEMBLER_BINARY_OP(name) \ |
| 227 Node* CodeAssembler::name(Node* a, Node* b) { \ | 229 Node* CodeAssembler::name(Node* a, Node* b) { \ |
| 228 return raw_assembler_->name(a, b); \ | 230 return raw_assembler()->name(a, b); \ |
| 229 } | 231 } |
| 230 CODE_ASSEMBLER_BINARY_OP_LIST(DEFINE_CODE_ASSEMBLER_BINARY_OP) | 232 CODE_ASSEMBLER_BINARY_OP_LIST(DEFINE_CODE_ASSEMBLER_BINARY_OP) |
| 231 #undef DEFINE_CODE_ASSEMBLER_BINARY_OP | 233 #undef DEFINE_CODE_ASSEMBLER_BINARY_OP |
| 232 | 234 |
| 233 Node* CodeAssembler::WordShl(Node* value, int shift) { | 235 Node* CodeAssembler::WordShl(Node* value, int shift) { |
| 234 return (shift != 0) ? raw_assembler_->WordShl(value, IntPtrConstant(shift)) | 236 return (shift != 0) ? raw_assembler()->WordShl(value, IntPtrConstant(shift)) |
| 235 : value; | 237 : value; |
| 236 } | 238 } |
| 237 | 239 |
| 238 Node* CodeAssembler::WordShr(Node* value, int shift) { | 240 Node* CodeAssembler::WordShr(Node* value, int shift) { |
| 239 return (shift != 0) ? raw_assembler_->WordShr(value, IntPtrConstant(shift)) | 241 return (shift != 0) ? raw_assembler()->WordShr(value, IntPtrConstant(shift)) |
| 240 : value; | 242 : value; |
| 241 } | 243 } |
| 242 | 244 |
| 243 Node* CodeAssembler::Word32Shr(Node* value, int shift) { | 245 Node* CodeAssembler::Word32Shr(Node* value, int shift) { |
| 244 return (shift != 0) ? raw_assembler_->Word32Shr(value, Int32Constant(shift)) | 246 return (shift != 0) ? raw_assembler()->Word32Shr(value, Int32Constant(shift)) |
| 245 : value; | 247 : value; |
| 246 } | 248 } |
| 247 | 249 |
| 248 Node* CodeAssembler::ChangeUint32ToWord(Node* value) { | 250 Node* CodeAssembler::ChangeUint32ToWord(Node* value) { |
| 249 if (raw_assembler_->machine()->Is64()) { | 251 if (raw_assembler()->machine()->Is64()) { |
| 250 value = raw_assembler_->ChangeUint32ToUint64(value); | 252 value = raw_assembler()->ChangeUint32ToUint64(value); |
| 251 } | 253 } |
| 252 return value; | 254 return value; |
| 253 } | 255 } |
| 254 | 256 |
| 255 Node* CodeAssembler::ChangeInt32ToIntPtr(Node* value) { | 257 Node* CodeAssembler::ChangeInt32ToIntPtr(Node* value) { |
| 256 if (raw_assembler_->machine()->Is64()) { | 258 if (raw_assembler()->machine()->Is64()) { |
| 257 value = raw_assembler_->ChangeInt32ToInt64(value); | 259 value = raw_assembler()->ChangeInt32ToInt64(value); |
| 258 } | 260 } |
| 259 return value; | 261 return value; |
| 260 } | 262 } |
| 261 | 263 |
| 262 Node* CodeAssembler::RoundIntPtrToFloat64(Node* value) { | 264 Node* CodeAssembler::RoundIntPtrToFloat64(Node* value) { |
| 263 if (raw_assembler_->machine()->Is64()) { | 265 if (raw_assembler()->machine()->Is64()) { |
| 264 return raw_assembler_->RoundInt64ToFloat64(value); | 266 return raw_assembler()->RoundInt64ToFloat64(value); |
| 265 } | 267 } |
| 266 return raw_assembler_->ChangeInt32ToFloat64(value); | 268 return raw_assembler()->ChangeInt32ToFloat64(value); |
| 267 } | 269 } |
| 268 | 270 |
| 269 #define DEFINE_CODE_ASSEMBLER_UNARY_OP(name) \ | 271 #define DEFINE_CODE_ASSEMBLER_UNARY_OP(name) \ |
| 270 Node* CodeAssembler::name(Node* a) { return raw_assembler_->name(a); } | 272 Node* CodeAssembler::name(Node* a) { return raw_assembler()->name(a); } |
| 271 CODE_ASSEMBLER_UNARY_OP_LIST(DEFINE_CODE_ASSEMBLER_UNARY_OP) | 273 CODE_ASSEMBLER_UNARY_OP_LIST(DEFINE_CODE_ASSEMBLER_UNARY_OP) |
| 272 #undef DEFINE_CODE_ASSEMBLER_UNARY_OP | 274 #undef DEFINE_CODE_ASSEMBLER_UNARY_OP |
| 273 | 275 |
| 274 Node* CodeAssembler::Load(MachineType rep, Node* base) { | 276 Node* CodeAssembler::Load(MachineType rep, Node* base) { |
| 275 return raw_assembler_->Load(rep, base); | 277 return raw_assembler()->Load(rep, base); |
| 276 } | 278 } |
| 277 | 279 |
| 278 Node* CodeAssembler::Load(MachineType rep, Node* base, Node* index) { | 280 Node* CodeAssembler::Load(MachineType rep, Node* base, Node* index) { |
| 279 return raw_assembler_->Load(rep, base, index); | 281 return raw_assembler()->Load(rep, base, index); |
| 280 } | 282 } |
| 281 | 283 |
| 282 Node* CodeAssembler::AtomicLoad(MachineType rep, Node* base, Node* index) { | 284 Node* CodeAssembler::AtomicLoad(MachineType rep, Node* base, Node* index) { |
| 283 return raw_assembler_->AtomicLoad(rep, base, index); | 285 return raw_assembler()->AtomicLoad(rep, base, index); |
| 284 } | 286 } |
| 285 | 287 |
| 286 Node* CodeAssembler::LoadRoot(Heap::RootListIndex root_index) { | 288 Node* CodeAssembler::LoadRoot(Heap::RootListIndex root_index) { |
| 287 if (isolate()->heap()->RootCanBeTreatedAsConstant(root_index)) { | 289 if (isolate()->heap()->RootCanBeTreatedAsConstant(root_index)) { |
| 288 Handle<Object> root = isolate()->heap()->root_handle(root_index); | 290 Handle<Object> root = isolate()->heap()->root_handle(root_index); |
| 289 if (root->IsSmi()) { | 291 if (root->IsSmi()) { |
| 290 return SmiConstant(Smi::cast(*root)); | 292 return SmiConstant(Smi::cast(*root)); |
| 291 } else { | 293 } else { |
| 292 return HeapConstant(Handle<HeapObject>::cast(root)); | 294 return HeapConstant(Handle<HeapObject>::cast(root)); |
| 293 } | 295 } |
| 294 } | 296 } |
| 295 | 297 |
| 296 Node* roots_array_start = | 298 Node* roots_array_start = |
| 297 ExternalConstant(ExternalReference::roots_array_start(isolate())); | 299 ExternalConstant(ExternalReference::roots_array_start(isolate())); |
| 298 return Load(MachineType::AnyTagged(), roots_array_start, | 300 return Load(MachineType::AnyTagged(), roots_array_start, |
| 299 IntPtrConstant(root_index * kPointerSize)); | 301 IntPtrConstant(root_index * kPointerSize)); |
| 300 } | 302 } |
| 301 | 303 |
| 302 Node* CodeAssembler::Store(MachineRepresentation rep, Node* base, Node* value) { | 304 Node* CodeAssembler::Store(MachineRepresentation rep, Node* base, Node* value) { |
| 303 return raw_assembler_->Store(rep, base, value, kFullWriteBarrier); | 305 return raw_assembler()->Store(rep, base, value, kFullWriteBarrier); |
| 304 } | 306 } |
| 305 | 307 |
| 306 Node* CodeAssembler::Store(MachineRepresentation rep, Node* base, Node* index, | 308 Node* CodeAssembler::Store(MachineRepresentation rep, Node* base, Node* index, |
| 307 Node* value) { | 309 Node* value) { |
| 308 return raw_assembler_->Store(rep, base, index, value, kFullWriteBarrier); | 310 return raw_assembler()->Store(rep, base, index, value, kFullWriteBarrier); |
| 309 } | 311 } |
| 310 | 312 |
| 311 Node* CodeAssembler::StoreNoWriteBarrier(MachineRepresentation rep, Node* base, | 313 Node* CodeAssembler::StoreNoWriteBarrier(MachineRepresentation rep, Node* base, |
| 312 Node* value) { | 314 Node* value) { |
| 313 return raw_assembler_->Store(rep, base, value, kNoWriteBarrier); | 315 return raw_assembler()->Store(rep, base, value, kNoWriteBarrier); |
| 314 } | 316 } |
| 315 | 317 |
| 316 Node* CodeAssembler::StoreNoWriteBarrier(MachineRepresentation rep, Node* base, | 318 Node* CodeAssembler::StoreNoWriteBarrier(MachineRepresentation rep, Node* base, |
| 317 Node* index, Node* value) { | 319 Node* index, Node* value) { |
| 318 return raw_assembler_->Store(rep, base, index, value, kNoWriteBarrier); | 320 return raw_assembler()->Store(rep, base, index, value, kNoWriteBarrier); |
| 319 } | 321 } |
| 320 | 322 |
| 321 Node* CodeAssembler::AtomicStore(MachineRepresentation rep, Node* base, | 323 Node* CodeAssembler::AtomicStore(MachineRepresentation rep, Node* base, |
| 322 Node* index, Node* value) { | 324 Node* index, Node* value) { |
| 323 return raw_assembler_->AtomicStore(rep, base, index, value); | 325 return raw_assembler()->AtomicStore(rep, base, index, value); |
| 324 } | 326 } |
| 325 | 327 |
| 326 Node* CodeAssembler::StoreRoot(Heap::RootListIndex root_index, Node* value) { | 328 Node* CodeAssembler::StoreRoot(Heap::RootListIndex root_index, Node* value) { |
| 327 DCHECK(Heap::RootCanBeWrittenAfterInitialization(root_index)); | 329 DCHECK(Heap::RootCanBeWrittenAfterInitialization(root_index)); |
| 328 Node* roots_array_start = | 330 Node* roots_array_start = |
| 329 ExternalConstant(ExternalReference::roots_array_start(isolate())); | 331 ExternalConstant(ExternalReference::roots_array_start(isolate())); |
| 330 return StoreNoWriteBarrier(MachineRepresentation::kTagged, roots_array_start, | 332 return StoreNoWriteBarrier(MachineRepresentation::kTagged, roots_array_start, |
| 331 IntPtrConstant(root_index * kPointerSize), value); | 333 IntPtrConstant(root_index * kPointerSize), value); |
| 332 } | 334 } |
| 333 | 335 |
| 334 Node* CodeAssembler::Retain(Node* value) { | 336 Node* CodeAssembler::Retain(Node* value) { |
| 335 return raw_assembler_->Retain(value); | 337 return raw_assembler()->Retain(value); |
| 336 } | 338 } |
| 337 | 339 |
| 338 Node* CodeAssembler::Projection(int index, Node* value) { | 340 Node* CodeAssembler::Projection(int index, Node* value) { |
| 339 return raw_assembler_->Projection(index, value); | 341 return raw_assembler()->Projection(index, value); |
| 340 } | 342 } |
| 341 | 343 |
| 342 void CodeAssembler::GotoIfException(Node* node, Label* if_exception, | 344 void CodeAssembler::GotoIfException(Node* node, Label* if_exception, |
| 343 Variable* exception_var) { | 345 Variable* exception_var) { |
| 344 Label success(this), exception(this, Label::kDeferred); | 346 Label success(this), exception(this, Label::kDeferred); |
| 345 success.MergeVariables(); | 347 success.MergeVariables(); |
| 346 exception.MergeVariables(); | 348 exception.MergeVariables(); |
| 347 DCHECK(!node->op()->HasProperty(Operator::kNoThrow)); | 349 DCHECK(!node->op()->HasProperty(Operator::kNoThrow)); |
| 348 | 350 |
| 349 raw_assembler_->Continuations(node, success.label_, exception.label_); | 351 raw_assembler()->Continuations(node, success.label_, exception.label_); |
| 350 | 352 |
| 351 Bind(&exception); | 353 Bind(&exception); |
| 352 const Operator* op = raw_assembler_->common()->IfException(); | 354 const Operator* op = raw_assembler()->common()->IfException(); |
| 353 Node* exception_value = raw_assembler_->AddNode(op, node, node); | 355 Node* exception_value = raw_assembler()->AddNode(op, node, node); |
| 354 if (exception_var != nullptr) { | 356 if (exception_var != nullptr) { |
| 355 exception_var->Bind(exception_value); | 357 exception_var->Bind(exception_value); |
| 356 } | 358 } |
| 357 Goto(if_exception); | 359 Goto(if_exception); |
| 358 | 360 |
| 359 Bind(&success); | 361 Bind(&success); |
| 360 } | 362 } |
| 361 | 363 |
| 362 Node* CodeAssembler::CallN(CallDescriptor* descriptor, Node* code_target, | 364 Node* CodeAssembler::CallN(CallDescriptor* descriptor, Node* code_target, |
| 363 Node** args) { | 365 Node** args) { |
| 364 CallPrologue(); | 366 CallPrologue(); |
| 365 Node* return_value = raw_assembler_->CallN(descriptor, code_target, args); | 367 Node* return_value = raw_assembler()->CallN(descriptor, code_target, args); |
| 366 CallEpilogue(); | 368 CallEpilogue(); |
| 367 return return_value; | 369 return return_value; |
| 368 } | 370 } |
| 369 | 371 |
| 370 Node* CodeAssembler::TailCallN(CallDescriptor* descriptor, Node* code_target, | 372 Node* CodeAssembler::TailCallN(CallDescriptor* descriptor, Node* code_target, |
| 371 Node** args) { | 373 Node** args) { |
| 372 return raw_assembler_->TailCallN(descriptor, code_target, args); | 374 return raw_assembler()->TailCallN(descriptor, code_target, args); |
| 373 } | 375 } |
| 374 | 376 |
| 375 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, | 377 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, |
| 376 Node* context) { | 378 Node* context) { |
| 377 CallPrologue(); | 379 CallPrologue(); |
| 378 Node* return_value = raw_assembler_->CallRuntime0(function_id, context); | 380 Node* return_value = raw_assembler()->CallRuntime0(function_id, context); |
| 379 CallEpilogue(); | 381 CallEpilogue(); |
| 380 return return_value; | 382 return return_value; |
| 381 } | 383 } |
| 382 | 384 |
| 383 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, Node* context, | 385 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, Node* context, |
| 384 Node* arg1) { | 386 Node* arg1) { |
| 385 CallPrologue(); | 387 CallPrologue(); |
| 386 Node* return_value = raw_assembler_->CallRuntime1(function_id, arg1, context); | 388 Node* return_value = |
| 389 raw_assembler()->CallRuntime1(function_id, arg1, context); | |
| 387 CallEpilogue(); | 390 CallEpilogue(); |
| 388 return return_value; | 391 return return_value; |
| 389 } | 392 } |
| 390 | 393 |
| 391 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, Node* context, | 394 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, Node* context, |
| 392 Node* arg1, Node* arg2) { | 395 Node* arg1, Node* arg2) { |
| 393 CallPrologue(); | 396 CallPrologue(); |
| 394 Node* return_value = | 397 Node* return_value = |
| 395 raw_assembler_->CallRuntime2(function_id, arg1, arg2, context); | 398 raw_assembler()->CallRuntime2(function_id, arg1, arg2, context); |
| 396 CallEpilogue(); | 399 CallEpilogue(); |
| 397 return return_value; | 400 return return_value; |
| 398 } | 401 } |
| 399 | 402 |
| 400 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, Node* context, | 403 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, Node* context, |
| 401 Node* arg1, Node* arg2, Node* arg3) { | 404 Node* arg1, Node* arg2, Node* arg3) { |
| 402 CallPrologue(); | 405 CallPrologue(); |
| 403 Node* return_value = | 406 Node* return_value = |
| 404 raw_assembler_->CallRuntime3(function_id, arg1, arg2, arg3, context); | 407 raw_assembler()->CallRuntime3(function_id, arg1, arg2, arg3, context); |
| 405 CallEpilogue(); | 408 CallEpilogue(); |
| 406 return return_value; | 409 return return_value; |
| 407 } | 410 } |
| 408 | 411 |
| 409 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, Node* context, | 412 Node* CodeAssembler::CallRuntime(Runtime::FunctionId function_id, Node* context, |
| 410 Node* arg1, Node* arg2, Node* arg3, | 413 Node* arg1, Node* arg2, Node* arg3, |
| 411 Node* arg4) { | 414 Node* arg4) { |
| 412 CallPrologue(); | 415 CallPrologue(); |
| 413 Node* return_value = raw_assembler_->CallRuntime4(function_id, arg1, arg2, | 416 Node* return_value = raw_assembler()->CallRuntime4(function_id, arg1, arg2, |
| 414 arg3, arg4, context); | 417 arg3, arg4, context); |
| 415 CallEpilogue(); | 418 CallEpilogue(); |
| 416 return return_value; | 419 return return_value; |
| 417 } | 420 } |
| 418 | 421 |
| 419 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, | 422 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, |
| 420 Node* context) { | 423 Node* context) { |
| 421 return raw_assembler_->TailCallRuntime0(function_id, context); | 424 return raw_assembler()->TailCallRuntime0(function_id, context); |
| 422 } | 425 } |
| 423 | 426 |
| 424 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, | 427 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, |
| 425 Node* context, Node* arg1) { | 428 Node* context, Node* arg1) { |
| 426 return raw_assembler_->TailCallRuntime1(function_id, arg1, context); | 429 return raw_assembler()->TailCallRuntime1(function_id, arg1, context); |
| 427 } | 430 } |
| 428 | 431 |
| 429 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, | 432 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, |
| 430 Node* context, Node* arg1, Node* arg2) { | 433 Node* context, Node* arg1, Node* arg2) { |
| 431 return raw_assembler_->TailCallRuntime2(function_id, arg1, arg2, context); | 434 return raw_assembler()->TailCallRuntime2(function_id, arg1, arg2, context); |
| 432 } | 435 } |
| 433 | 436 |
| 434 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, | 437 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, |
| 435 Node* context, Node* arg1, Node* arg2, | 438 Node* context, Node* arg1, Node* arg2, |
| 436 Node* arg3) { | 439 Node* arg3) { |
| 437 return raw_assembler_->TailCallRuntime3(function_id, arg1, arg2, arg3, | 440 return raw_assembler()->TailCallRuntime3(function_id, arg1, arg2, arg3, |
| 438 context); | 441 context); |
| 439 } | 442 } |
| 440 | 443 |
| 441 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, | 444 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, |
| 442 Node* context, Node* arg1, Node* arg2, | 445 Node* context, Node* arg1, Node* arg2, |
| 443 Node* arg3, Node* arg4) { | 446 Node* arg3, Node* arg4) { |
| 444 return raw_assembler_->TailCallRuntime4(function_id, arg1, arg2, arg3, arg4, | 447 return raw_assembler()->TailCallRuntime4(function_id, arg1, arg2, arg3, arg4, |
| 445 context); | 448 context); |
| 446 } | 449 } |
| 447 | 450 |
| 448 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, | 451 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, |
| 449 Node* context, Node* arg1, Node* arg2, | 452 Node* context, Node* arg1, Node* arg2, |
| 450 Node* arg3, Node* arg4, Node* arg5) { | 453 Node* arg3, Node* arg4, Node* arg5) { |
| 451 return raw_assembler_->TailCallRuntime5(function_id, arg1, arg2, arg3, arg4, | 454 return raw_assembler()->TailCallRuntime5(function_id, arg1, arg2, arg3, arg4, |
| 452 arg5, context); | 455 arg5, context); |
| 453 } | 456 } |
| 454 | 457 |
| 455 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, | 458 Node* CodeAssembler::TailCallRuntime(Runtime::FunctionId function_id, |
| 456 Node* context, Node* arg1, Node* arg2, | 459 Node* context, Node* arg1, Node* arg2, |
| 457 Node* arg3, Node* arg4, Node* arg5, | 460 Node* arg3, Node* arg4, Node* arg5, |
| 458 Node* arg6) { | 461 Node* arg6) { |
| 459 return raw_assembler_->TailCallRuntime6(function_id, arg1, arg2, arg3, arg4, | 462 return raw_assembler()->TailCallRuntime6(function_id, arg1, arg2, arg3, arg4, |
| 460 arg5, arg6, context); | 463 arg5, arg6, context); |
| 461 } | 464 } |
| 462 | 465 |
| 463 Node* CodeAssembler::CallStub(Callable const& callable, Node* context, | 466 Node* CodeAssembler::CallStub(Callable const& callable, Node* context, |
| 464 Node* arg1, size_t result_size) { | 467 Node* arg1, size_t result_size) { |
| 465 Node* target = HeapConstant(callable.code()); | 468 Node* target = HeapConstant(callable.code()); |
| 466 return CallStub(callable.descriptor(), target, context, arg1, result_size); | 469 return CallStub(callable.descriptor(), target, context, arg1, result_size); |
| 467 } | 470 } |
| 468 | 471 |
| 469 Node* CodeAssembler::CallStub(Callable const& callable, Node* context, | 472 Node* CodeAssembler::CallStub(Callable const& callable, Node* context, |
| 470 Node* arg1, Node* arg2, size_t result_size) { | 473 Node* arg1, Node* arg2, size_t result_size) { |
| (...skipping 264 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 735 size_t result_size) { | 738 size_t result_size) { |
| 736 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( | 739 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( |
| 737 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), | 740 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), |
| 738 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, | 741 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, |
| 739 MachineType::AnyTagged(), result_size); | 742 MachineType::AnyTagged(), result_size); |
| 740 | 743 |
| 741 Node** args = zone()->NewArray<Node*>(2); | 744 Node** args = zone()->NewArray<Node*>(2); |
| 742 args[0] = arg1; | 745 args[0] = arg1; |
| 743 args[1] = context; | 746 args[1] = context; |
| 744 | 747 |
| 745 return raw_assembler_->TailCallN(call_descriptor, target, args); | 748 return raw_assembler()->TailCallN(call_descriptor, target, args); |
| 746 } | 749 } |
| 747 | 750 |
| 748 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, | 751 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, |
| 749 Node* target, Node* context, Node* arg1, | 752 Node* target, Node* context, Node* arg1, |
| 750 Node* arg2, size_t result_size) { | 753 Node* arg2, size_t result_size) { |
| 751 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( | 754 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( |
| 752 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), | 755 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), |
| 753 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, | 756 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, |
| 754 MachineType::AnyTagged(), result_size); | 757 MachineType::AnyTagged(), result_size); |
| 755 | 758 |
| 756 Node** args = zone()->NewArray<Node*>(3); | 759 Node** args = zone()->NewArray<Node*>(3); |
| 757 args[0] = arg1; | 760 args[0] = arg1; |
| 758 args[1] = arg2; | 761 args[1] = arg2; |
| 759 args[2] = context; | 762 args[2] = context; |
| 760 | 763 |
| 761 return raw_assembler_->TailCallN(call_descriptor, target, args); | 764 return raw_assembler()->TailCallN(call_descriptor, target, args); |
| 762 } | 765 } |
| 763 | 766 |
| 764 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, | 767 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, |
| 765 Node* target, Node* context, Node* arg1, | 768 Node* target, Node* context, Node* arg1, |
| 766 Node* arg2, Node* arg3, size_t result_size) { | 769 Node* arg2, Node* arg3, size_t result_size) { |
| 767 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( | 770 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( |
| 768 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), | 771 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), |
| 769 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, | 772 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, |
| 770 MachineType::AnyTagged(), result_size); | 773 MachineType::AnyTagged(), result_size); |
| 771 | 774 |
| 772 Node** args = zone()->NewArray<Node*>(4); | 775 Node** args = zone()->NewArray<Node*>(4); |
| 773 args[0] = arg1; | 776 args[0] = arg1; |
| 774 args[1] = arg2; | 777 args[1] = arg2; |
| 775 args[2] = arg3; | 778 args[2] = arg3; |
| 776 args[3] = context; | 779 args[3] = context; |
| 777 | 780 |
| 778 return raw_assembler_->TailCallN(call_descriptor, target, args); | 781 return raw_assembler()->TailCallN(call_descriptor, target, args); |
| 779 } | 782 } |
| 780 | 783 |
| 781 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, | 784 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, |
| 782 Node* target, Node* context, Node* arg1, | 785 Node* target, Node* context, Node* arg1, |
| 783 Node* arg2, Node* arg3, Node* arg4, | 786 Node* arg2, Node* arg3, Node* arg4, |
| 784 size_t result_size) { | 787 size_t result_size) { |
| 785 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( | 788 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( |
| 786 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), | 789 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), |
| 787 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, | 790 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, |
| 788 MachineType::AnyTagged(), result_size); | 791 MachineType::AnyTagged(), result_size); |
| 789 | 792 |
| 790 Node** args = zone()->NewArray<Node*>(5); | 793 Node** args = zone()->NewArray<Node*>(5); |
| 791 args[0] = arg1; | 794 args[0] = arg1; |
| 792 args[1] = arg2; | 795 args[1] = arg2; |
| 793 args[2] = arg3; | 796 args[2] = arg3; |
| 794 args[3] = arg4; | 797 args[3] = arg4; |
| 795 args[4] = context; | 798 args[4] = context; |
| 796 | 799 |
| 797 return raw_assembler_->TailCallN(call_descriptor, target, args); | 800 return raw_assembler()->TailCallN(call_descriptor, target, args); |
| 798 } | 801 } |
| 799 | 802 |
| 800 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, | 803 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, |
| 801 Node* target, Node* context, Node* arg1, | 804 Node* target, Node* context, Node* arg1, |
| 802 Node* arg2, Node* arg3, Node* arg4, | 805 Node* arg2, Node* arg3, Node* arg4, |
| 803 Node* arg5, size_t result_size) { | 806 Node* arg5, size_t result_size) { |
| 804 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( | 807 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( |
| 805 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), | 808 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), |
| 806 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, | 809 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, |
| 807 MachineType::AnyTagged(), result_size); | 810 MachineType::AnyTagged(), result_size); |
| 808 | 811 |
| 809 Node** args = zone()->NewArray<Node*>(6); | 812 Node** args = zone()->NewArray<Node*>(6); |
| 810 args[0] = arg1; | 813 args[0] = arg1; |
| 811 args[1] = arg2; | 814 args[1] = arg2; |
| 812 args[2] = arg3; | 815 args[2] = arg3; |
| 813 args[3] = arg4; | 816 args[3] = arg4; |
| 814 args[4] = arg5; | 817 args[4] = arg5; |
| 815 args[5] = context; | 818 args[5] = context; |
| 816 | 819 |
| 817 return raw_assembler_->TailCallN(call_descriptor, target, args); | 820 return raw_assembler()->TailCallN(call_descriptor, target, args); |
| 818 } | 821 } |
| 819 | 822 |
| 820 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, | 823 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, |
| 821 Node* target, Node* context, Node* arg1, | 824 Node* target, Node* context, Node* arg1, |
| 822 Node* arg2, Node* arg3, Node* arg4, | 825 Node* arg2, Node* arg3, Node* arg4, |
| 823 Node* arg5, Node* arg6, size_t result_size) { | 826 Node* arg5, Node* arg6, size_t result_size) { |
| 824 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( | 827 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( |
| 825 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), | 828 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), |
| 826 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, | 829 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, |
| 827 MachineType::AnyTagged(), result_size); | 830 MachineType::AnyTagged(), result_size); |
| 828 | 831 |
| 829 Node** args = zone()->NewArray<Node*>(7); | 832 Node** args = zone()->NewArray<Node*>(7); |
| 830 args[0] = arg1; | 833 args[0] = arg1; |
| 831 args[1] = arg2; | 834 args[1] = arg2; |
| 832 args[2] = arg3; | 835 args[2] = arg3; |
| 833 args[3] = arg4; | 836 args[3] = arg4; |
| 834 args[4] = arg5; | 837 args[4] = arg5; |
| 835 args[5] = arg6; | 838 args[5] = arg6; |
| 836 args[6] = context; | 839 args[6] = context; |
| 837 | 840 |
| 838 return raw_assembler_->TailCallN(call_descriptor, target, args); | 841 return raw_assembler()->TailCallN(call_descriptor, target, args); |
| 839 } | 842 } |
| 840 | 843 |
| 841 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, | 844 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, |
| 842 Node* target, Node* context, const Arg& arg1, | 845 Node* target, Node* context, const Arg& arg1, |
| 843 const Arg& arg2, const Arg& arg3, | 846 const Arg& arg2, const Arg& arg3, |
| 844 const Arg& arg4, size_t result_size) { | 847 const Arg& arg4, size_t result_size) { |
| 845 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( | 848 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( |
| 846 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), | 849 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), |
| 847 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, | 850 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, |
| 848 MachineType::AnyTagged(), result_size); | 851 MachineType::AnyTagged(), result_size); |
| 849 | 852 |
| 850 const int kArgsCount = 5; | 853 const int kArgsCount = 5; |
| 851 Node** args = zone()->NewArray<Node*>(kArgsCount); | 854 Node** args = zone()->NewArray<Node*>(kArgsCount); |
| 852 DCHECK((std::fill(&args[0], &args[kArgsCount], nullptr), true)); | 855 DCHECK((std::fill(&args[0], &args[kArgsCount], nullptr), true)); |
| 853 args[arg1.index] = arg1.value; | 856 args[arg1.index] = arg1.value; |
| 854 args[arg2.index] = arg2.value; | 857 args[arg2.index] = arg2.value; |
| 855 args[arg3.index] = arg3.value; | 858 args[arg3.index] = arg3.value; |
| 856 args[arg4.index] = arg4.value; | 859 args[arg4.index] = arg4.value; |
| 857 args[kArgsCount - 1] = context; | 860 args[kArgsCount - 1] = context; |
| 858 DCHECK_EQ(0, std::count(&args[0], &args[kArgsCount], nullptr)); | 861 DCHECK_EQ(0, std::count(&args[0], &args[kArgsCount], nullptr)); |
| 859 | 862 |
| 860 return raw_assembler_->TailCallN(call_descriptor, target, args); | 863 return raw_assembler()->TailCallN(call_descriptor, target, args); |
| 861 } | 864 } |
| 862 | 865 |
| 863 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, | 866 Node* CodeAssembler::TailCallStub(const CallInterfaceDescriptor& descriptor, |
| 864 Node* target, Node* context, const Arg& arg1, | 867 Node* target, Node* context, const Arg& arg1, |
| 865 const Arg& arg2, const Arg& arg3, | 868 const Arg& arg2, const Arg& arg3, |
| 866 const Arg& arg4, const Arg& arg5, | 869 const Arg& arg4, const Arg& arg5, |
| 867 size_t result_size) { | 870 size_t result_size) { |
| 868 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( | 871 CallDescriptor* call_descriptor = Linkage::GetStubCallDescriptor( |
| 869 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), | 872 isolate(), zone(), descriptor, descriptor.GetStackParameterCount(), |
| 870 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, | 873 CallDescriptor::kSupportsTailCalls, Operator::kNoProperties, |
| 871 MachineType::AnyTagged(), result_size); | 874 MachineType::AnyTagged(), result_size); |
| 872 | 875 |
| 873 const int kArgsCount = 6; | 876 const int kArgsCount = 6; |
| 874 Node** args = zone()->NewArray<Node*>(kArgsCount); | 877 Node** args = zone()->NewArray<Node*>(kArgsCount); |
| 875 DCHECK((std::fill(&args[0], &args[kArgsCount], nullptr), true)); | 878 DCHECK((std::fill(&args[0], &args[kArgsCount], nullptr), true)); |
| 876 args[arg1.index] = arg1.value; | 879 args[arg1.index] = arg1.value; |
| 877 args[arg2.index] = arg2.value; | 880 args[arg2.index] = arg2.value; |
| 878 args[arg3.index] = arg3.value; | 881 args[arg3.index] = arg3.value; |
| 879 args[arg4.index] = arg4.value; | 882 args[arg4.index] = arg4.value; |
| 880 args[arg5.index] = arg5.value; | 883 args[arg5.index] = arg5.value; |
| 881 args[kArgsCount - 1] = context; | 884 args[kArgsCount - 1] = context; |
| 882 DCHECK_EQ(0, std::count(&args[0], &args[kArgsCount], nullptr)); | 885 DCHECK_EQ(0, std::count(&args[0], &args[kArgsCount], nullptr)); |
| 883 | 886 |
| 884 return raw_assembler_->TailCallN(call_descriptor, target, args); | 887 return raw_assembler()->TailCallN(call_descriptor, target, args); |
| 885 } | 888 } |
| 886 | 889 |
| 887 Node* CodeAssembler::TailCallBytecodeDispatch( | 890 Node* CodeAssembler::TailCallBytecodeDispatch( |
| 888 const CallInterfaceDescriptor& interface_descriptor, | 891 const CallInterfaceDescriptor& interface_descriptor, |
| 889 Node* code_target_address, Node** args) { | 892 Node* code_target_address, Node** args) { |
| 890 CallDescriptor* descriptor = Linkage::GetBytecodeDispatchCallDescriptor( | 893 CallDescriptor* descriptor = Linkage::GetBytecodeDispatchCallDescriptor( |
| 891 isolate(), zone(), interface_descriptor, | 894 isolate(), zone(), interface_descriptor, |
| 892 interface_descriptor.GetStackParameterCount()); | 895 interface_descriptor.GetStackParameterCount()); |
| 893 return raw_assembler_->TailCallN(descriptor, code_target_address, args); | 896 return raw_assembler()->TailCallN(descriptor, code_target_address, args); |
| 894 } | 897 } |
| 895 | 898 |
| 896 Node* CodeAssembler::CallJS(Callable const& callable, Node* context, | 899 Node* CodeAssembler::CallJS(Callable const& callable, Node* context, |
| 897 Node* function, Node* receiver, | 900 Node* function, Node* receiver, |
| 898 size_t result_size) { | 901 size_t result_size) { |
| 899 const int argc = 0; | 902 const int argc = 0; |
| 900 Node* target = HeapConstant(callable.code()); | 903 Node* target = HeapConstant(callable.code()); |
| 901 | 904 |
| 902 Node** args = zone()->NewArray<Node*>(argc + 4); | 905 Node** args = zone()->NewArray<Node*>(argc + 4); |
| 903 args[0] = function; | 906 args[0] = function; |
| (...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 956 args[5] = arg3; | 959 args[5] = arg3; |
| 957 args[6] = context; | 960 args[6] = context; |
| 958 | 961 |
| 959 return CallStubN(callable.descriptor(), argc + 1, target, args, result_size); | 962 return CallStubN(callable.descriptor(), argc + 1, target, args, result_size); |
| 960 } | 963 } |
| 961 | 964 |
| 962 Node* CodeAssembler::CallCFunction2(MachineType return_type, | 965 Node* CodeAssembler::CallCFunction2(MachineType return_type, |
| 963 MachineType arg0_type, | 966 MachineType arg0_type, |
| 964 MachineType arg1_type, Node* function, | 967 MachineType arg1_type, Node* function, |
| 965 Node* arg0, Node* arg1) { | 968 Node* arg0, Node* arg1) { |
| 966 return raw_assembler_->CallCFunction2(return_type, arg0_type, arg1_type, | 969 return raw_assembler()->CallCFunction2(return_type, arg0_type, arg1_type, |
| 967 function, arg0, arg1); | 970 function, arg0, arg1); |
| 968 } | 971 } |
| 969 | 972 |
| 970 void CodeAssembler::Goto(CodeAssembler::Label* label) { | 973 void CodeAssembler::Goto(CodeAssembler::Label* label) { |
| 971 label->MergeVariables(); | 974 label->MergeVariables(); |
| 972 raw_assembler_->Goto(label->label_); | 975 raw_assembler()->Goto(label->label_); |
| 973 } | 976 } |
| 974 | 977 |
| 975 void CodeAssembler::GotoIf(Node* condition, Label* true_label) { | 978 void CodeAssembler::GotoIf(Node* condition, Label* true_label) { |
| 976 Label false_label(this); | 979 Label false_label(this); |
| 977 Branch(condition, true_label, &false_label); | 980 Branch(condition, true_label, &false_label); |
| 978 Bind(&false_label); | 981 Bind(&false_label); |
| 979 } | 982 } |
| 980 | 983 |
| 981 void CodeAssembler::GotoUnless(Node* condition, Label* false_label) { | 984 void CodeAssembler::GotoUnless(Node* condition, Label* false_label) { |
| 982 Label true_label(this); | 985 Label true_label(this); |
| 983 Branch(condition, &true_label, false_label); | 986 Branch(condition, &true_label, false_label); |
| 984 Bind(&true_label); | 987 Bind(&true_label); |
| 985 } | 988 } |
| 986 | 989 |
| 987 void CodeAssembler::Branch(Node* condition, CodeAssembler::Label* true_label, | 990 void CodeAssembler::Branch(Node* condition, CodeAssembler::Label* true_label, |
| 988 CodeAssembler::Label* false_label) { | 991 CodeAssembler::Label* false_label) { |
| 989 true_label->MergeVariables(); | 992 true_label->MergeVariables(); |
| 990 false_label->MergeVariables(); | 993 false_label->MergeVariables(); |
| 991 return raw_assembler_->Branch(condition, true_label->label_, | 994 return raw_assembler()->Branch(condition, true_label->label_, |
| 992 false_label->label_); | 995 false_label->label_); |
| 993 } | 996 } |
| 994 | 997 |
| 995 void CodeAssembler::Switch(Node* index, Label* default_label, | 998 void CodeAssembler::Switch(Node* index, Label* default_label, |
| 996 const int32_t* case_values, Label** case_labels, | 999 const int32_t* case_values, Label** case_labels, |
| 997 size_t case_count) { | 1000 size_t case_count) { |
| 998 RawMachineLabel** labels = | 1001 RawMachineLabel** labels = |
| 999 new (zone()->New(sizeof(RawMachineLabel*) * case_count)) | 1002 new (zone()->New(sizeof(RawMachineLabel*) * case_count)) |
| 1000 RawMachineLabel*[case_count]; | 1003 RawMachineLabel*[case_count]; |
| 1001 for (size_t i = 0; i < case_count; ++i) { | 1004 for (size_t i = 0; i < case_count; ++i) { |
| 1002 labels[i] = case_labels[i]->label_; | 1005 labels[i] = case_labels[i]->label_; |
| 1003 case_labels[i]->MergeVariables(); | 1006 case_labels[i]->MergeVariables(); |
| 1004 default_label->MergeVariables(); | 1007 default_label->MergeVariables(); |
| 1005 } | 1008 } |
| 1006 return raw_assembler_->Switch(index, default_label->label_, case_values, | 1009 return raw_assembler()->Switch(index, default_label->label_, case_values, |
| 1007 labels, case_count); | 1010 labels, case_count); |
| 1008 } | 1011 } |
| 1009 | 1012 |
| 1010 Node* CodeAssembler::Select(Node* condition, Node* true_value, | 1013 Node* CodeAssembler::Select(Node* condition, Node* true_value, |
| 1011 Node* false_value, MachineRepresentation rep) { | 1014 Node* false_value, MachineRepresentation rep) { |
| 1012 Variable value(this, rep); | 1015 Variable value(this, rep); |
| 1013 Label vtrue(this), vfalse(this), end(this); | 1016 Label vtrue(this), vfalse(this), end(this); |
| 1014 Branch(condition, &vtrue, &vfalse); | 1017 Branch(condition, &vtrue, &vfalse); |
| 1015 | 1018 |
| 1016 Bind(&vtrue); | 1019 Bind(&vtrue); |
| 1017 { | 1020 { |
| 1018 value.Bind(true_value); | 1021 value.Bind(true_value); |
| 1019 Goto(&end); | 1022 Goto(&end); |
| 1020 } | 1023 } |
| 1021 Bind(&vfalse); | 1024 Bind(&vfalse); |
| 1022 { | 1025 { |
| 1023 value.Bind(false_value); | 1026 value.Bind(false_value); |
| 1024 Goto(&end); | 1027 Goto(&end); |
| 1025 } | 1028 } |
| 1026 | 1029 |
| 1027 Bind(&end); | 1030 Bind(&end); |
| 1028 return value.value(); | 1031 return value.value(); |
| 1029 } | 1032 } |
| 1030 | 1033 |
| 1031 // RawMachineAssembler delegate helpers: | 1034 // RawMachineAssembler delegate helpers: |
| 1032 Isolate* CodeAssembler::isolate() const { return raw_assembler_->isolate(); } | 1035 Isolate* CodeAssembler::isolate() const { return raw_assembler()->isolate(); } |
| 1033 | 1036 |
| 1034 Factory* CodeAssembler::factory() const { return isolate()->factory(); } | 1037 Factory* CodeAssembler::factory() const { return isolate()->factory(); } |
| 1035 | 1038 |
| 1036 Zone* CodeAssembler::zone() const { return raw_assembler_->zone(); } | 1039 Zone* CodeAssembler::zone() const { return raw_assembler()->zone(); } |
| 1040 | |
| 1041 RawMachineAssembler* CodeAssembler::raw_assembler() const { | |
| 1042 return state_->raw_assembler_.get(); | |
| 1043 } | |
| 1037 | 1044 |
| 1038 // The core implementation of Variable is stored through an indirection so | 1045 // The core implementation of Variable is stored through an indirection so |
| 1039 // that it can outlive the often block-scoped Variable declarations. This is | 1046 // that it can outlive the often block-scoped Variable declarations. This is |
| 1040 // needed to ensure that variable binding and merging through phis can | 1047 // needed to ensure that variable binding and merging through phis can |
| 1041 // properly be verified. | 1048 // properly be verified. |
| 1042 class CodeAssembler::Variable::Impl : public ZoneObject { | 1049 class CodeAssembler::Variable::Impl : public ZoneObject { |
| 1043 public: | 1050 public: |
| 1044 explicit Impl(MachineRepresentation rep) : value_(nullptr), rep_(rep) {} | 1051 explicit Impl(MachineRepresentation rep) : value_(nullptr), rep_(rep) {} |
| 1045 Node* value_; | 1052 Node* value_; |
| 1046 MachineRepresentation rep_; | 1053 MachineRepresentation rep_; |
| 1047 }; | 1054 }; |
| 1048 | 1055 |
| 1049 CodeAssembler::Variable::Variable(CodeAssembler* assembler, | 1056 CodeAssembler::Variable::Variable(CodeAssembler* assembler, |
| 1050 MachineRepresentation rep) | 1057 MachineRepresentation rep) |
| 1051 : impl_(new (assembler->zone()) Impl(rep)), assembler_(assembler) { | 1058 : impl_(new (assembler->zone()) Impl(rep)), assembler_(assembler) { |
| 1052 assembler->variables_.insert(impl_); | 1059 assembler->state_->variables_.insert(impl_); |
|
Igor Sheludko
2016/11/15 13:06:35
It looks like we need CodeAssemblerState instead o
Jakob Kummerow
2016/11/15 13:40:31
Done.
| |
| 1053 } | 1060 } |
| 1054 | 1061 |
| 1055 CodeAssembler::Variable::~Variable() { assembler_->variables_.erase(impl_); } | 1062 CodeAssembler::Variable::~Variable() { |
| 1063 assembler_->state_->variables_.erase(impl_); | |
| 1064 } | |
| 1056 | 1065 |
| 1057 void CodeAssembler::Variable::Bind(Node* value) { impl_->value_ = value; } | 1066 void CodeAssembler::Variable::Bind(Node* value) { impl_->value_ = value; } |
| 1058 | 1067 |
| 1059 Node* CodeAssembler::Variable::value() const { | 1068 Node* CodeAssembler::Variable::value() const { |
| 1060 DCHECK_NOT_NULL(impl_->value_); | 1069 DCHECK_NOT_NULL(impl_->value_); |
| 1061 return impl_->value_; | 1070 return impl_->value_; |
| 1062 } | 1071 } |
| 1063 | 1072 |
| 1064 MachineRepresentation CodeAssembler::Variable::rep() const { | 1073 MachineRepresentation CodeAssembler::Variable::rep() const { |
| 1065 return impl_->rep_; | 1074 return impl_->rep_; |
| (...skipping 10 matching lines...) Expand all Loading... | |
| 1076 label_ = new (buffer) | 1085 label_ = new (buffer) |
| 1077 RawMachineLabel(type == kDeferred ? RawMachineLabel::kDeferred | 1086 RawMachineLabel(type == kDeferred ? RawMachineLabel::kDeferred |
| 1078 : RawMachineLabel::kNonDeferred); | 1087 : RawMachineLabel::kNonDeferred); |
| 1079 for (size_t i = 0; i < vars_count; ++i) { | 1088 for (size_t i = 0; i < vars_count; ++i) { |
| 1080 variable_phis_[vars[i]->impl_] = nullptr; | 1089 variable_phis_[vars[i]->impl_] = nullptr; |
| 1081 } | 1090 } |
| 1082 } | 1091 } |
| 1083 | 1092 |
| 1084 void CodeAssembler::Label::MergeVariables() { | 1093 void CodeAssembler::Label::MergeVariables() { |
| 1085 ++merge_count_; | 1094 ++merge_count_; |
| 1086 for (auto var : assembler_->variables_) { | 1095 for (auto var : assembler_->state_->variables_) { |
|
Igor Sheludko
2016/11/15 13:06:35
Same here.
Jakob Kummerow
2016/11/15 13:40:31
Done.
| |
| 1087 size_t count = 0; | 1096 size_t count = 0; |
| 1088 Node* node = var->value_; | 1097 Node* node = var->value_; |
| 1089 if (node != nullptr) { | 1098 if (node != nullptr) { |
| 1090 auto i = variable_merges_.find(var); | 1099 auto i = variable_merges_.find(var); |
| 1091 if (i != variable_merges_.end()) { | 1100 if (i != variable_merges_.end()) { |
| 1092 i->second.push_back(node); | 1101 i->second.push_back(node); |
| 1093 count = i->second.size(); | 1102 count = i->second.size(); |
| 1094 } else { | 1103 } else { |
| 1095 count = 1; | 1104 count = 1; |
| 1096 variable_merges_[var] = std::vector<Node*>(1, node); | 1105 variable_merges_[var] = std::vector<Node*>(1, node); |
| 1097 } | 1106 } |
| 1098 } | 1107 } |
| 1099 // If the following asserts, then you've jumped to a label without a bound | 1108 // If the following asserts, then you've jumped to a label without a bound |
| 1100 // variable along that path that expects to merge its value into a phi. | 1109 // variable along that path that expects to merge its value into a phi. |
| 1101 DCHECK(variable_phis_.find(var) == variable_phis_.end() || | 1110 DCHECK(variable_phis_.find(var) == variable_phis_.end() || |
| 1102 count == merge_count_); | 1111 count == merge_count_); |
| 1103 USE(count); | 1112 USE(count); |
| 1104 | 1113 |
| 1105 // If the label is already bound, we already know the set of variables to | 1114 // If the label is already bound, we already know the set of variables to |
| 1106 // merge and phi nodes have already been created. | 1115 // merge and phi nodes have already been created. |
| 1107 if (bound_) { | 1116 if (bound_) { |
| 1108 auto phi = variable_phis_.find(var); | 1117 auto phi = variable_phis_.find(var); |
| 1109 if (phi != variable_phis_.end()) { | 1118 if (phi != variable_phis_.end()) { |
| 1110 DCHECK_NOT_NULL(phi->second); | 1119 DCHECK_NOT_NULL(phi->second); |
| 1111 assembler_->raw_assembler_->AppendPhiInput(phi->second, node); | 1120 assembler_->raw_assembler()->AppendPhiInput(phi->second, node); |
| 1112 } else { | 1121 } else { |
| 1113 auto i = variable_merges_.find(var); | 1122 auto i = variable_merges_.find(var); |
| 1114 if (i != variable_merges_.end()) { | 1123 if (i != variable_merges_.end()) { |
| 1115 // If the following assert fires, then you've declared a variable that | 1124 // If the following assert fires, then you've declared a variable that |
| 1116 // has the same bound value along all paths up until the point you | 1125 // has the same bound value along all paths up until the point you |
| 1117 // bound this label, but then later merged a path with a new value for | 1126 // bound this label, but then later merged a path with a new value for |
| 1118 // the variable after the label bind (it's not possible to add phis to | 1127 // the variable after the label bind (it's not possible to add phis to |
| 1119 // the bound label after the fact, just make sure to list the variable | 1128 // the bound label after the fact, just make sure to list the variable |
| 1120 // in the label's constructor's list of merged variables). | 1129 // in the label's constructor's list of merged variables). |
| 1121 DCHECK(find_if(i->second.begin(), i->second.end(), | 1130 DCHECK(find_if(i->second.begin(), i->second.end(), |
| 1122 [node](Node* e) -> bool { return node != e; }) == | 1131 [node](Node* e) -> bool { return node != e; }) == |
| 1123 i->second.end()); | 1132 i->second.end()); |
| 1124 } | 1133 } |
| 1125 } | 1134 } |
| 1126 } | 1135 } |
| 1127 } | 1136 } |
| 1128 } | 1137 } |
| 1129 | 1138 |
| 1130 void CodeAssembler::Label::Bind() { | 1139 void CodeAssembler::Label::Bind() { |
| 1131 DCHECK(!bound_); | 1140 DCHECK(!bound_); |
| 1132 assembler_->raw_assembler_->Bind(label_); | 1141 assembler_->raw_assembler()->Bind(label_); |
| 1133 | 1142 |
| 1134 // Make sure that all variables that have changed along any path up to this | 1143 // Make sure that all variables that have changed along any path up to this |
| 1135 // point are marked as merge variables. | 1144 // point are marked as merge variables. |
| 1136 for (auto var : assembler_->variables_) { | 1145 for (auto var : assembler_->state_->variables_) { |
| 1137 Node* shared_value = nullptr; | 1146 Node* shared_value = nullptr; |
| 1138 auto i = variable_merges_.find(var); | 1147 auto i = variable_merges_.find(var); |
| 1139 if (i != variable_merges_.end()) { | 1148 if (i != variable_merges_.end()) { |
| 1140 for (auto value : i->second) { | 1149 for (auto value : i->second) { |
| 1141 DCHECK(value != nullptr); | 1150 DCHECK(value != nullptr); |
| 1142 if (value != shared_value) { | 1151 if (value != shared_value) { |
| 1143 if (shared_value == nullptr) { | 1152 if (shared_value == nullptr) { |
| 1144 shared_value = value; | 1153 shared_value = value; |
| 1145 } else { | 1154 } else { |
| 1146 variable_phis_[var] = nullptr; | 1155 variable_phis_[var] = nullptr; |
| 1147 } | 1156 } |
| 1148 } | 1157 } |
| 1149 } | 1158 } |
| 1150 } | 1159 } |
| 1151 } | 1160 } |
| 1152 | 1161 |
| 1153 for (auto var : variable_phis_) { | 1162 for (auto var : variable_phis_) { |
| 1154 CodeAssembler::Variable::Impl* var_impl = var.first; | 1163 CodeAssembler::Variable::Impl* var_impl = var.first; |
| 1155 auto i = variable_merges_.find(var_impl); | 1164 auto i = variable_merges_.find(var_impl); |
| 1156 // If the following assert fires, then a variable that has been marked as | 1165 // If the following assert fires, then a variable that has been marked as |
| 1157 // being merged at the label--either by explicitly marking it so in the | 1166 // being merged at the label--either by explicitly marking it so in the |
| 1158 // label constructor or by having seen different bound values at branches | 1167 // label constructor or by having seen different bound values at branches |
| 1159 // into the label--doesn't have a bound value along all of the paths that | 1168 // into the label--doesn't have a bound value along all of the paths that |
| 1160 // have been merged into the label up to this point. | 1169 // have been merged into the label up to this point. |
| 1161 DCHECK(i != variable_merges_.end() && i->second.size() == merge_count_); | 1170 DCHECK(i != variable_merges_.end() && i->second.size() == merge_count_); |
| 1162 Node* phi = assembler_->raw_assembler_->Phi( | 1171 Node* phi = assembler_->raw_assembler()->Phi( |
| 1163 var.first->rep_, static_cast<int>(merge_count_), &(i->second[0])); | 1172 var.first->rep_, static_cast<int>(merge_count_), &(i->second[0])); |
| 1164 variable_phis_[var_impl] = phi; | 1173 variable_phis_[var_impl] = phi; |
| 1165 } | 1174 } |
| 1166 | 1175 |
| 1167 // Bind all variables to a merge phi, the common value along all paths or | 1176 // Bind all variables to a merge phi, the common value along all paths or |
| 1168 // null. | 1177 // null. |
| 1169 for (auto var : assembler_->variables_) { | 1178 for (auto var : assembler_->state_->variables_) { |
| 1170 auto i = variable_phis_.find(var); | 1179 auto i = variable_phis_.find(var); |
| 1171 if (i != variable_phis_.end()) { | 1180 if (i != variable_phis_.end()) { |
| 1172 var->value_ = i->second; | 1181 var->value_ = i->second; |
| 1173 } else { | 1182 } else { |
| 1174 auto j = variable_merges_.find(var); | 1183 auto j = variable_merges_.find(var); |
| 1175 if (j != variable_merges_.end() && j->second.size() == merge_count_) { | 1184 if (j != variable_merges_.end() && j->second.size() == merge_count_) { |
| 1176 var->value_ = j->second.back(); | 1185 var->value_ = j->second.back(); |
| 1177 } else { | 1186 } else { |
| 1178 var->value_ = nullptr; | 1187 var->value_ = nullptr; |
| 1179 } | 1188 } |
| 1180 } | 1189 } |
| 1181 } | 1190 } |
| 1182 | 1191 |
| 1183 bound_ = true; | 1192 bound_ = true; |
| 1184 } | 1193 } |
| 1185 | 1194 |
| 1186 } // namespace compiler | 1195 } // namespace compiler |
| 1187 } // namespace internal | 1196 } // namespace internal |
| 1188 } // namespace v8 | 1197 } // namespace v8 |
| OLD | NEW |