Add %GetCallerJSFunction intrinsic

src/compiler/js-intrinsic-lowering.cc

 // Copyright 2015 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/js-intrinsic-lowering.h"
 
 #include <stack>
 
 #include "src/compiler/access-builder.h"
 #include "src/compiler/js-graph.h"
@@ skipping 66 matching lines @@
     case Runtime::kInlineUnlikely:
       return ReduceUnLikely(node, BranchHint::kFalse);
     case Runtime::kInlineValueOf:
       return ReduceValueOf(node);
     case Runtime::kInlineIsMinusZero:
       return ReduceIsMinusZero(node);
     case Runtime::kInlineFixedArraySet:
       return ReduceFixedArraySet(node);
     case Runtime::kInlineGetTypeFeedbackVector:
       return ReduceGetTypeFeedbackVector(node);
+    case Runtime::kInlineGetCallerJSFunction:
+      return ReduceGetCallerJSFunction(node);
     default:
       break;
   }
   return NoChange();
 }
 
 
 Reduction JSIntrinsicLowering::ReduceConstructDouble(Node* node) {
   Node* high = NodeProperties::GetValueInput(node, 0);
   Node* low = NodeProperties::GetValueInput(node, 1);
@@ skipping 351 matching lines @@
   Node* effect = NodeProperties::GetEffectInput(node);
   Node* control = NodeProperties::GetControlInput(node);
   FieldAccess access = AccessBuilder::ForJSFunctionSharedFunctionInfo();
   Node* load =
       graph()->NewNode(simplified()->LoadField(access), func, effect, control);
   access = AccessBuilder::ForSharedFunctionInfoTypeFeedbackVector();
   return Change(node, simplified()->LoadField(access), load, load, control);
 }
 
 
+Reduction JSIntrinsicLowering::ReduceGetCallerJSFunction(Node* node) {
+  Node* effect = NodeProperties::GetEffectInput(node);
+  Node* control = NodeProperties::GetControlInput(node);
+
+  if (FLAG_turbo_deoptimization) {
+    Node* const frame_state = NodeProperties::GetFrameStateInput(node, 0);
+    Node* const outer_frame = frame_state->InputAt(kFrameStateOuterStateInput);
+    if (outer_frame->opcode() == IrOpcode::kFrameState) {
+      // The intrinsic is inlined, return the function from the outer frame.
+      Node* outer_function = outer_frame->InputAt(kFrameStateFunctionInput);
+      NodeProperties::ReplaceWithValue(node, outer_frame, effect, control);

[Michael Starzinger, 2015/05/20 14:25:18]

nit: Please use AdvancedReducer::ReplaceWithValue here, I am currently switching
the reducers over to this method, the old NodeProperties::ReplaceWithValue is
deprecated.

[danno, 2015/05/22 11:21:35]

Done.

+      return Changed(outer_function);
+    }
+  }
+
+  // TODO(danno): If FLAG_turbo_deoptimization is false then this intrinsic
+  // always returns the JSFunction from the caller's frame, regardless of
+  // inlining depth, which isn't correct. This implementation also forces
+  // intrinsic lowering to happen after inlining, which is fine for now, but
+  // eventually the frame-querying logic probably should go later, e.g. in
+  // instruction selection, so that there is no phase-ordering dependency.
+  FieldAccess access = AccessBuilder::ForFrameCallerFramePtr();
+  Node* fp = graph()->NewNode(machine()->LoadFramePointer());
+  Node* next_fp =
+      graph()->NewNode(simplified()->LoadField(access), fp, effect, control);
+
+  access = AccessBuilder::ForFrameMarker();

[Michael Starzinger, 2015/05/20 14:25:18]

Does this work with arguments adapter frames and construct frames? Can we have
tests for those?

[danno, 2015/05/22 11:21:35]

Now it does :-)

+  return Change(node, simplified()->LoadField(access), next_fp, effect,
+                control);
+}
+
+
 Reduction JSIntrinsicLowering::Change(Node* node, const Operator* op, Node* a,
                                       Node* b) {
   node->set_op(op);
   node->ReplaceInput(0, a);
   node->ReplaceInput(1, b);
   node->TrimInputCount(2);
   RelaxControls(node);
   return Changed(node);
 }
 
@@ skipping 24 matching lines @@
 }
 
 
 MachineOperatorBuilder* JSIntrinsicLowering::machine() const {
   return jsgraph()->machine();
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8