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/interpreter/bytecode-generator.h" | 5 #include "src/interpreter/bytecode-generator.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/builtins/builtins-constructor.h" | 9 #include "src/builtins/builtins-constructor.h" |
10 #include "src/code-stubs.h" | 10 #include "src/code-stubs.h" |
(...skipping 1965 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1976 | 1976 |
1977 void BytecodeGenerator::BuildThrowIfHole(Handle<String> name) { | 1977 void BytecodeGenerator::BuildThrowIfHole(Handle<String> name) { |
1978 // TODO(interpreter): Can the parser reduce the number of checks | 1978 // TODO(interpreter): Can the parser reduce the number of checks |
1979 // performed? Or should there be a ThrowIfHole bytecode. | 1979 // performed? Or should there be a ThrowIfHole bytecode. |
1980 BytecodeLabel no_reference_error; | 1980 BytecodeLabel no_reference_error; |
1981 builder()->JumpIfNotHole(&no_reference_error); | 1981 builder()->JumpIfNotHole(&no_reference_error); |
1982 BuildThrowReferenceError(name); | 1982 BuildThrowReferenceError(name); |
1983 builder()->Bind(&no_reference_error); | 1983 builder()->Bind(&no_reference_error); |
1984 } | 1984 } |
1985 | 1985 |
1986 void BytecodeGenerator::BuildThrowIfNotHole(Handle<String> name) { | |
1987 // TODO(interpreter): Can the parser reduce the number of checks | |
1988 // performed? Or should there be a ThrowIfNotHole bytecode. | |
1989 BytecodeLabel no_reference_error, reference_error; | |
1990 builder() | |
1991 ->JumpIfNotHole(&reference_error) | |
1992 .Jump(&no_reference_error) | |
1993 .Bind(&reference_error); | |
1994 BuildThrowReferenceError(name); | |
1995 builder()->Bind(&no_reference_error); | |
1996 } | |
1997 | |
1998 void BytecodeGenerator::BuildHoleCheckForVariableAssignment(Variable* variable, | 1986 void BytecodeGenerator::BuildHoleCheckForVariableAssignment(Variable* variable, |
1999 Token::Value op) { | 1987 Token::Value op) { |
2000 if (variable->is_this() && variable->mode() == CONST && op == Token::INIT) { | 1988 if (variable->is_this() && variable->mode() == CONST && op == Token::INIT) { |
2001 // Perform an initialization check for 'this'. 'this' variable is the | 1989 // Perform an initialization check for 'this'. 'this' variable is the |
2002 // only variable able to trigger bind operations outside the TDZ | 1990 // only variable able to trigger bind operations outside the TDZ |
2003 // via 'super' calls. | 1991 // via 'super' calls. |
2004 BuildThrowIfNotHole(variable->name()); | 1992 BytecodeLabel no_reference_error, reference_error; |
| 1993 builder() |
| 1994 ->JumpIfNotHole(&reference_error) |
| 1995 .Jump(&no_reference_error) |
| 1996 .Bind(&reference_error) |
| 1997 .CallRuntime(Runtime::kThrowSuperAlreadyCalledError) |
| 1998 .Bind(&no_reference_error); |
2005 } else { | 1999 } else { |
2006 // Perform an initialization check for let/const declared variables. | 2000 // Perform an initialization check for let/const declared variables. |
2007 // E.g. let x = (x = 20); is not allowed. | 2001 // E.g. let x = (x = 20); is not allowed. |
2008 DCHECK(IsLexicalVariableMode(variable->mode())); | 2002 DCHECK(IsLexicalVariableMode(variable->mode())); |
2009 BuildThrowIfHole(variable->name()); | 2003 BuildThrowIfHole(variable->name()); |
2010 } | 2004 } |
2011 } | 2005 } |
2012 | 2006 |
2013 void BytecodeGenerator::BuildVariableAssignment(Variable* variable, | 2007 void BytecodeGenerator::BuildVariableAssignment(Variable* variable, |
2014 Token::Value op, | 2008 Token::Value op, |
(...skipping 1316 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3331 } | 3325 } |
3332 | 3326 |
3333 Runtime::FunctionId BytecodeGenerator::StoreKeyedToSuperRuntimeId() { | 3327 Runtime::FunctionId BytecodeGenerator::StoreKeyedToSuperRuntimeId() { |
3334 return is_strict(language_mode()) ? Runtime::kStoreKeyedToSuper_Strict | 3328 return is_strict(language_mode()) ? Runtime::kStoreKeyedToSuper_Strict |
3335 : Runtime::kStoreKeyedToSuper_Sloppy; | 3329 : Runtime::kStoreKeyedToSuper_Sloppy; |
3336 } | 3330 } |
3337 | 3331 |
3338 } // namespace interpreter | 3332 } // namespace interpreter |
3339 } // namespace internal | 3333 } // namespace internal |
3340 } // namespace v8 | 3334 } // namespace v8 |
OLD | NEW |