35a3ccbfac
Move hole check logic from full-codegen into scope analysis, and store the "needs hole check" bit on VariableProxy. This makes it easy to re-use in any backend: it will be trivial to extend the use of this logic in, e.g., full-codegen variable stores. While changing the signatures of the variable loading/storing methods in Ignition, I took the liberty of replacing the verb "Visit" with "Build", since these are not part of AST visiting. BUG=v8:5460 Review-Url: https://chromiumcodereview.appspot.com/2411873004 Cr-Commit-Position: refs/heads/master@{#40479}
123 lines
3.1 KiB
Plaintext
123 lines
3.1 KiB
Plaintext
#
|
|
# Autogenerated by generate-bytecode-expectations.
|
|
#
|
|
|
|
---
|
|
wrap: yes
|
|
|
|
---
|
|
snippet: "
|
|
let x = 10; function f1() {return x;}
|
|
"
|
|
frame size: 2
|
|
parameter count: 1
|
|
bytecode array length: 23
|
|
bytecodes: [
|
|
B(CreateFunctionContext), U8(1),
|
|
B(PushContext), R(1),
|
|
B(LdaTheHole),
|
|
B(StaContextSlot), R(context), U8(4), U8(0),
|
|
B(CreateClosure), U8(0), U8(2),
|
|
B(Star), R(0),
|
|
/* 30 E> */ B(StackCheck),
|
|
/* 42 S> */ B(LdaSmi), U8(10),
|
|
/* 42 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
|
|
B(LdaUndefined),
|
|
/* 72 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
SHARED_FUNCTION_INFO_TYPE,
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
let x = 10; function f1() {return x;} return x;
|
|
"
|
|
frame size: 2
|
|
parameter count: 1
|
|
bytecode array length: 26
|
|
bytecodes: [
|
|
B(CreateFunctionContext), U8(1),
|
|
B(PushContext), R(1),
|
|
B(LdaTheHole),
|
|
B(StaContextSlot), R(context), U8(4), U8(0),
|
|
B(CreateClosure), U8(0), U8(2),
|
|
B(Star), R(0),
|
|
/* 30 E> */ B(StackCheck),
|
|
/* 42 S> */ B(LdaSmi), U8(10),
|
|
/* 42 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
|
|
/* 72 S> */ B(LdaContextSlot), R(context), U8(4), U8(0),
|
|
/* 82 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
SHARED_FUNCTION_INFO_TYPE,
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
let x = (x = 20); function f1() {return x;}
|
|
"
|
|
frame size: 4
|
|
parameter count: 1
|
|
bytecode array length: 46
|
|
bytecodes: [
|
|
B(CreateFunctionContext), U8(1),
|
|
B(PushContext), R(1),
|
|
B(LdaTheHole),
|
|
B(StaContextSlot), R(context), U8(4), U8(0),
|
|
B(CreateClosure), U8(0), U8(2),
|
|
B(Star), R(0),
|
|
/* 30 E> */ B(StackCheck),
|
|
/* 45 S> */ B(LdaSmi), U8(20),
|
|
B(Star), R(2),
|
|
/* 45 E> */ B(LdaContextSlot), R(context), U8(4), U8(0),
|
|
B(JumpIfNotHole), U8(11),
|
|
B(LdaConstant), U8(1),
|
|
B(Star), R(3),
|
|
B(CallRuntime), U16(Runtime::kThrowReferenceError), R(3), U8(1),
|
|
B(Ldar), R(2),
|
|
B(StaContextSlot), R(context), U8(4), U8(0),
|
|
/* 45 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
|
|
B(LdaUndefined),
|
|
/* 78 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
SHARED_FUNCTION_INFO_TYPE,
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["x"],
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
let x = 10; x = 20; function f1() {return x;}
|
|
"
|
|
frame size: 2
|
|
parameter count: 1
|
|
bytecode array length: 29
|
|
bytecodes: [
|
|
B(CreateFunctionContext), U8(1),
|
|
B(PushContext), R(1),
|
|
B(LdaTheHole),
|
|
B(StaContextSlot), R(context), U8(4), U8(0),
|
|
B(CreateClosure), U8(0), U8(2),
|
|
B(Star), R(0),
|
|
/* 30 E> */ B(StackCheck),
|
|
/* 42 S> */ B(LdaSmi), U8(10),
|
|
/* 42 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
|
|
/* 46 S> */ B(LdaSmi), U8(20),
|
|
/* 48 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
|
|
B(LdaUndefined),
|
|
/* 80 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
SHARED_FUNCTION_INFO_TYPE,
|
|
]
|
|
handlers: [
|
|
]
|
|
|