| // Copyright 2014 the V8 project authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #include "src/compiler/access-builder.h" |
| #include "src/compiler/common-operator.h" |
| #include "src/compiler/diamond.h" |
| #include "src/compiler/generic-node-inl.h" |
| #include "src/compiler/js-intrinsic-builder.h" |
| #include "src/compiler/js-operator.h" |
| #include "src/compiler/simplified-operator.h" |
| |
| |
| namespace v8 { |
| namespace internal { |
| namespace compiler { |
| |
| ResultAndEffect JSIntrinsicBuilder::BuildGraphFor(Runtime::FunctionId id, |
| const NodeVector& arguments) { |
| switch (id) { |
| case Runtime::kInlineIsSmi: |
| return BuildGraphFor_IsSmi(arguments); |
| case Runtime::kInlineIsNonNegativeSmi: |
| return BuildGraphFor_IsNonNegativeSmi(arguments); |
| case Runtime::kInlineIsArray: |
| return BuildMapCheck(arguments[0], arguments[2], JS_ARRAY_TYPE); |
| case Runtime::kInlineIsRegExp: |
| return BuildMapCheck(arguments[0], arguments[2], JS_REGEXP_TYPE); |
| case Runtime::kInlineIsFunction: |
| return BuildMapCheck(arguments[0], arguments[2], JS_FUNCTION_TYPE); |
| case Runtime::kInlineValueOf: |
| return BuildGraphFor_ValueOf(arguments); |
| default: |
| break; |
| } |
| return ResultAndEffect(); |
| } |
| |
| ResultAndEffect JSIntrinsicBuilder::BuildGraphFor_IsSmi( |
| const NodeVector& arguments) { |
| Node* object = arguments[0]; |
| SimplifiedOperatorBuilder simplified(jsgraph_->zone()); |
| Node* condition = graph()->NewNode(simplified.ObjectIsSmi(), object); |
| |
| return ResultAndEffect(condition, arguments[2]); |
| } |
| |
| |
| ResultAndEffect JSIntrinsicBuilder::BuildGraphFor_IsNonNegativeSmi( |
| const NodeVector& arguments) { |
| Node* object = arguments[0]; |
| SimplifiedOperatorBuilder simplified(jsgraph_->zone()); |
| Node* condition = |
| graph()->NewNode(simplified.ObjectIsNonNegativeSmi(), object); |
| |
| return ResultAndEffect(condition, arguments[2]); |
| } |
| |
| |
| /* |
| * if (_isSmi(object)) { |
| * return false |
| * } else { |
| * return %_GetMapInstanceType(object) == map_type |
| * } |
| */ |
| ResultAndEffect JSIntrinsicBuilder::BuildMapCheck(Node* object, Node* effect, |
| InstanceType map_type) { |
| SimplifiedOperatorBuilder simplified(jsgraph_->zone()); |
| |
| Node* is_smi = graph()->NewNode(simplified.ObjectIsSmi(), object); |
| Diamond d(graph(), common(), is_smi); |
| |
| Node* map = graph()->NewNode(simplified.LoadField(AccessBuilder::ForMap()), |
| object, effect, d.if_false); |
| |
| Node* instance_type = graph()->NewNode( |
| simplified.LoadField(AccessBuilder::ForMapInstanceType()), map, map, |
| d.if_false); |
| |
| Node* has_map_type = |
| graph()->NewNode(jsgraph_->machine()->Word32Equal(), instance_type, |
| jsgraph_->Int32Constant(map_type)); |
| |
| Node* phi = d.Phi(static_cast<MachineType>(kTypeBool | kRepTagged), |
| jsgraph_->FalseConstant(), has_map_type); |
| |
| Node* ephi = d.EffectPhi(effect, instance_type); |
| |
| return ResultAndEffect(phi, ephi); |
| } |
| |
| |
| /* |
| * if (%_isSmi(object)) { |
| * return object; |
| * } else if (%_GetMapInstanceType(object) == JS_VALUE_TYPE) { |
| * return %_LoadValueField(object); |
| * } else { |
| * return object; |
| * } |
| */ |
| ResultAndEffect JSIntrinsicBuilder::BuildGraphFor_ValueOf( |
| const NodeVector& arguments) { |
| Node* object = arguments[0]; |
| Node* effect = arguments[2]; |
| SimplifiedOperatorBuilder simplified(jsgraph_->zone()); |
| |
| Node* is_smi = graph()->NewNode(simplified.ObjectIsSmi(), object); |
| |
| Diamond if_is_smi(graph(), common(), is_smi); |
| |
| Node* map = graph()->NewNode(simplified.LoadField(AccessBuilder::ForMap()), |
| object, effect, if_is_smi.if_false); |
| |
| Node* instance_type = graph()->NewNode( |
| simplified.LoadField(AccessBuilder::ForMapInstanceType()), map, map, |
| if_is_smi.if_false); |
| |
| Node* is_value = |
| graph()->NewNode(jsgraph_->machine()->Word32Equal(), instance_type, |
| jsgraph_->Constant(JS_VALUE_TYPE)); |
| |
| Diamond if_is_value(graph(), common(), is_value); |
| if_is_value.Nest(if_is_smi, false); |
| |
| Node* value = |
| graph()->NewNode(simplified.LoadField(AccessBuilder::ForValue()), object, |
| instance_type, if_is_value.if_true); |
| |
| Node* phi_is_value = if_is_value.Phi(kTypeAny, value, object); |
| |
| Node* phi = if_is_smi.Phi(kTypeAny, object, phi_is_value); |
| |
| Node* ephi = if_is_smi.EffectPhi(effect, instance_type); |
| |
| return ResultAndEffect(phi, ephi); |
| } |
| } |
| } |
| } // namespace v8::internal::compiler |