| 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/ast-graph-builder.h" | 5 #include "src/compiler/ast-graph-builder.h" |
| 6 | 6 |
| 7 #include "src/ast/compile-time-value.h" | 7 #include "src/ast/compile-time-value.h" |
| 8 #include "src/ast/scopes.h" | 8 #include "src/ast/scopes.h" |
| 9 #include "src/compilation-info.h" | 9 #include "src/compilation-info.h" |
| 10 #include "src/compiler.h" | 10 #include "src/compiler.h" |
| (...skipping 1930 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1941 Node* literal = NewNode(op, closure); | 1941 Node* literal = NewNode(op, closure); |
| 1942 PrepareFrameState(literal, expr->CreateLiteralId(), | 1942 PrepareFrameState(literal, expr->CreateLiteralId(), |
| 1943 OutputFrameStateCombine::Push()); | 1943 OutputFrameStateCombine::Push()); |
| 1944 | 1944 |
| 1945 // The array is expected on the operand stack during computation of the | 1945 // The array is expected on the operand stack during computation of the |
| 1946 // element values. | 1946 // element values. |
| 1947 environment()->Push(literal); | 1947 environment()->Push(literal); |
| 1948 | 1948 |
| 1949 // Create nodes to evaluate all the non-constant subexpressions and to store | 1949 // Create nodes to evaluate all the non-constant subexpressions and to store |
| 1950 // them into the newly cloned array. | 1950 // them into the newly cloned array. |
| 1951 int array_index = 0; | 1951 for (int array_index = 0; array_index < expr->values()->length(); |
| 1952 for (; array_index < expr->values()->length(); array_index++) { | 1952 array_index++) { |
| 1953 Expression* subexpr = expr->values()->at(array_index); | 1953 Expression* subexpr = expr->values()->at(array_index); |
| 1954 DCHECK(!subexpr->IsSpread()); | 1954 DCHECK(!subexpr->IsSpread()); |
| 1955 if (CompileTimeValue::IsCompileTimeValue(subexpr)) continue; | 1955 if (CompileTimeValue::IsCompileTimeValue(subexpr)) continue; |
| 1956 | 1956 |
| 1957 VisitForValue(subexpr); | 1957 VisitForValue(subexpr); |
| 1958 VectorSlotPair pair = CreateVectorSlotPair(expr->LiteralFeedbackSlot()); | 1958 VectorSlotPair pair = CreateVectorSlotPair(expr->LiteralFeedbackSlot()); |
| 1959 Node* value = environment()->Pop(); | 1959 Node* value = environment()->Pop(); |
| 1960 Node* index = jsgraph()->Constant(array_index); | 1960 Node* index = jsgraph()->Constant(array_index); |
| 1961 Node* literal = environment()->Top(); | 1961 Node* literal = environment()->Top(); |
| 1962 Node* store = BuildKeyedStore(literal, index, value, pair); | 1962 Node* store = BuildKeyedStore(literal, index, value, pair); |
| 1963 PrepareFrameState(store, expr->GetIdForElement(array_index), | 1963 PrepareFrameState(store, expr->GetIdForElement(array_index), |
| 1964 OutputFrameStateCombine::Ignore()); | 1964 OutputFrameStateCombine::Ignore()); |
| 1965 } | 1965 } |
| 1966 | 1966 |
| 1967 // In case the array literal contains spread expressions it has two parts. The | |
| 1968 // first part is the "static" array which has a literal index is handled | |
| 1969 // above. The second part is the part after the first spread expression | |
| 1970 // (inclusive) and these elements gets appended to the array. Note that the | |
| 1971 // number elements an iterable produces is unknown ahead of time. | |
| 1972 for (; array_index < expr->values()->length(); array_index++) { | |
| 1973 Expression* subexpr = expr->values()->at(array_index); | |
| 1974 DCHECK(!subexpr->IsSpread()); | |
| 1975 | |
| 1976 VisitForValue(subexpr); | |
| 1977 { | |
| 1978 Node* value = environment()->Pop(); | |
| 1979 Node* array = environment()->Pop(); | |
| 1980 const Operator* op = javascript()->CallRuntime(Runtime::kAppendElement); | |
| 1981 Node* result = NewNode(op, array, value); | |
| 1982 PrepareFrameState(result, expr->GetIdForElement(array_index)); | |
| 1983 environment()->Push(result); | |
| 1984 } | |
| 1985 } | |
| 1986 | |
| 1987 ast_context()->ProduceValue(expr, environment()->Pop()); | 1967 ast_context()->ProduceValue(expr, environment()->Pop()); |
| 1988 } | 1968 } |
| 1989 | 1969 |
| 1990 void AstGraphBuilder::VisitForInAssignment(Expression* expr, Node* value, | 1970 void AstGraphBuilder::VisitForInAssignment(Expression* expr, Node* value, |
| 1991 const VectorSlotPair& feedback, | 1971 const VectorSlotPair& feedback, |
| 1992 BailoutId bailout_id) { | 1972 BailoutId bailout_id) { |
| 1993 DCHECK(expr->IsValidReferenceExpressionOrThis()); | 1973 DCHECK(expr->IsValidReferenceExpressionOrThis()); |
| 1994 | 1974 |
| 1995 // Left-hand side can only be a property, a global or a variable slot. | 1975 // Left-hand side can only be a property, a global or a variable slot. |
| 1996 Property* property = expr->AsProperty(); | 1976 Property* property = expr->AsProperty(); |
| (...skipping 2332 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4329 // Phi does not exist yet, introduce one. | 4309 // Phi does not exist yet, introduce one. |
| 4330 value = NewPhi(inputs, value, control); | 4310 value = NewPhi(inputs, value, control); |
| 4331 value->ReplaceInput(inputs - 1, other); | 4311 value->ReplaceInput(inputs - 1, other); |
| 4332 } | 4312 } |
| 4333 return value; | 4313 return value; |
| 4334 } | 4314 } |
| 4335 | 4315 |
| 4336 } // namespace compiler | 4316 } // namespace compiler |
| 4337 } // namespace internal | 4317 } // namespace internal |
| 4338 } // namespace v8 | 4318 } // namespace v8 |
| OLD | NEW |