| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 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 | 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/js-graph.h" | 5 #include "src/compiler/js-graph.h" |
| 6 #include "src/compiler/linkage.h" | 6 #include "src/compiler/linkage.h" |
| 7 #include "src/compiler/liveness-analyzer.h" | 7 #include "src/compiler/liveness-analyzer.h" |
| 8 #include "src/compiler/node-matchers.h" | 8 #include "src/compiler/node-matchers.h" |
| 9 #include "src/compiler/state-values-utils.h" | 9 #include "src/compiler/state-values-utils.h" |
| 10 #include "test/unittests/compiler/graph-unittest.h" | 10 #include "test/unittests/compiler/graph-unittest.h" |
| (...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 50 | 50 |
| 51 const Operator* locals_op = common()->StateValues(locals_count_); | 51 const Operator* locals_op = common()->StateValues(locals_count_); |
| 52 | 52 |
| 53 ZoneVector<Node*> local_inputs(locals_count_, nullptr, zone()); | 53 ZoneVector<Node*> local_inputs(locals_count_, nullptr, zone()); |
| 54 for (int i = 0; i < locals_count_; i++) { | 54 for (int i = 0; i < locals_count_; i++) { |
| 55 local_inputs[i] = jsgraph()->Int32Constant(i + first_const); | 55 local_inputs[i] = jsgraph()->Int32Constant(i + first_const); |
| 56 } | 56 } |
| 57 Node* locals = | 57 Node* locals = |
| 58 graph()->NewNode(locals_op, locals_count_, &local_inputs.front()); | 58 graph()->NewNode(locals_op, locals_count_, &local_inputs.front()); |
| 59 | 59 |
| 60 const FrameStateFunctionInfo* state_info = |
| 61 common()->CreateFrameStateFunctionInfo( |
| 62 FrameStateType::kJavaScriptFunction, 0, locals_count_, |
| 63 Handle<SharedFunctionInfo>()); |
| 64 |
| 60 const Operator* op = common()->FrameState( | 65 const Operator* op = common()->FrameState( |
| 61 JS_FRAME, BailoutId(ast_num), OutputFrameStateCombine::Ignore()); | 66 BailoutId(ast_num), OutputFrameStateCombine::Ignore(), state_info); |
| 62 Node* result = graph()->NewNode(op, empty_values_, locals, empty_values_, | 67 Node* result = graph()->NewNode(op, empty_values_, locals, empty_values_, |
| 63 jsgraph()->UndefinedConstant(), | 68 jsgraph()->UndefinedConstant(), |
| 64 jsgraph()->UndefinedConstant()); | 69 jsgraph()->UndefinedConstant()); |
| 65 | 70 |
| 66 current_block_->Checkpoint(result); | 71 current_block_->Checkpoint(result); |
| 67 return result; | 72 return result; |
| 68 } | 73 } |
| 69 | 74 |
| 70 void Bind(int var) { current_block()->Bind(var); } | 75 void Bind(int var) { current_block()->Bind(var); } |
| 71 void Lookup(int var) { current_block()->Lookup(var); } | 76 void Lookup(int var) { current_block()->Lookup(var); } |
| (...skipping 14 matching lines...) Expand all Loading... |
| 86 } | 91 } |
| 87 | 92 |
| 88 bool MatchAndExplain(Node* frame_state, | 93 bool MatchAndExplain(Node* frame_state, |
| 89 MatchResultListener* listener) const override { | 94 MatchResultListener* listener) const override { |
| 90 if (frame_state == NULL) { | 95 if (frame_state == NULL) { |
| 91 *listener << "which is NULL"; | 96 *listener << "which is NULL"; |
| 92 return false; | 97 return false; |
| 93 } | 98 } |
| 94 DCHECK(frame_state->opcode() == IrOpcode::kFrameState); | 99 DCHECK(frame_state->opcode() == IrOpcode::kFrameState); |
| 95 | 100 |
| 96 FrameStateCallInfo state_info = | 101 FrameStateInfo state_info = OpParameter<FrameStateInfo>(frame_state); |
| 97 OpParameter<FrameStateCallInfo>(frame_state); | |
| 98 int ast_num = state_info.bailout_id().ToInt(); | 102 int ast_num = state_info.bailout_id().ToInt(); |
| 99 int first_const = intconst_from_bailout_id(ast_num, locals_count_); | 103 int first_const = intconst_from_bailout_id(ast_num, locals_count_); |
| 100 | 104 |
| 101 if (empty_values_ != frame_state->InputAt(0)) { | 105 if (empty_values_ != frame_state->InputAt(0)) { |
| 102 *listener << "whose parameters are " << frame_state->InputAt(0) | 106 *listener << "whose parameters are " << frame_state->InputAt(0) |
| 103 << " but should have been " << empty_values_ << " (empty)"; | 107 << " but should have been " << empty_values_ << " (empty)"; |
| 104 return false; | 108 return false; |
| 105 } | 109 } |
| 106 if (empty_values_ != frame_state->InputAt(2)) { | 110 if (empty_values_ != frame_state->InputAt(2)) { |
| 107 *listener << "whose expression stack is " << frame_state->InputAt(2) | 111 *listener << "whose expression stack is " << frame_state->InputAt(2) |
| (...skipping 256 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 364 EXPECT_THAT(c1_in_loop, IsCheckpointModuloLiveness(".L.L")); | 368 EXPECT_THAT(c1_in_loop, IsCheckpointModuloLiveness(".L.L")); |
| 365 EXPECT_THAT(c2_in_loop, IsCheckpointModuloLiveness("LL.L")); | 369 EXPECT_THAT(c2_in_loop, IsCheckpointModuloLiveness("LL.L")); |
| 366 | 370 |
| 367 EXPECT_THAT(c1_end, IsCheckpointModuloLiveness(".LL.")); | 371 EXPECT_THAT(c1_end, IsCheckpointModuloLiveness(".LL.")); |
| 368 EXPECT_THAT(c2_end, IsCheckpointModuloLiveness("....")); | 372 EXPECT_THAT(c2_end, IsCheckpointModuloLiveness("....")); |
| 369 } | 373 } |
| 370 | 374 |
| 371 } // namespace compiler | 375 } // namespace compiler |
| 372 } // namespace internal | 376 } // namespace internal |
| 373 } // namespace v8 | 377 } // namespace v8 |
| OLD | NEW |