1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
* vim: set ts=8 sts=2 et sw=2 tw=80:
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
#include "frontend/ForInEmitter.h"
#include "frontend/BytecodeEmitter.h"
#include "frontend/EmitterScope.h"
#include "frontend/SourceNotes.h"
#include "vm/Opcodes.h"
#include "vm/Scope.h"
#include "vm/StencilEnums.h" // TryNoteKind
using namespace js;
using namespace js::frontend;
using mozilla::Maybe;
using mozilla::Nothing;
ForInEmitter::ForInEmitter(BytecodeEmitter* bce,
const EmitterScope* headLexicalEmitterScope)
: bce_(bce), headLexicalEmitterScope_(headLexicalEmitterScope) {}
bool ForInEmitter::emitIterated() {
MOZ_ASSERT(state_ == State::Start);
tdzCacheForIteratedValue_.emplace(bce_);
#ifdef DEBUG
state_ = State::Iterated;
#endif
return true;
}
bool ForInEmitter::emitInitialize() {
MOZ_ASSERT(state_ == State::Iterated);
tdzCacheForIteratedValue_.reset();
if (!bce_->emit1(JSOp::Iter)) {
// [stack] ITER
return false;
}
loopInfo_.emplace(bce_, StatementKind::ForInLoop);
if (!loopInfo_->emitLoopHead(bce_, Nothing())) {
// [stack] ITER
return false;
}
if (!bce_->emit1(JSOp::MoreIter)) {
// [stack] ITER NEXTITERVAL?
return false;
}
if (!bce_->emit1(JSOp::IsNoIter)) {
// [stack] ITER NEXTITERVAL? ISNOITER
return false;
}
if (!bce_->emitJump(JSOp::IfNe, &loopInfo_->breaks)) {
// [stack] ITER NEXTITERVAL?
return false;
}
// If the loop had an escaping lexical declaration, reset the declaration's
// bindings to uninitialized to implement TDZ semantics.
if (headLexicalEmitterScope_) {
// The environment chain only includes an environment for the
// for-in loop head *if* a scope binding is captured, thereby
// requiring recreation each iteration. If a lexical scope exists
// for the head, it must be the innermost one. If that scope has
// closed-over bindings inducing an environment, recreate the
// current environment.
MOZ_ASSERT(headLexicalEmitterScope_ == bce_->innermostEmitterScope());
MOZ_ASSERT(headLexicalEmitterScope_->scope(bce_).kind() ==
ScopeKind::Lexical);
if (headLexicalEmitterScope_->hasEnvironment()) {
if (!bce_->emit1(JSOp::RecreateLexicalEnv)) {
// [stack] ITER ITERVAL
return false;
}
}
// For uncaptured bindings, put them back in TDZ.
if (!headLexicalEmitterScope_->deadZoneFrameSlots(bce_)) {
return false;
}
}
#ifdef DEBUG
loopDepth_ = bce_->bytecodeSection().stackDepth();
#endif
MOZ_ASSERT(loopDepth_ >= 2);
#ifdef DEBUG
state_ = State::Initialize;
#endif
return true;
}
bool ForInEmitter::emitBody() {
MOZ_ASSERT(state_ == State::Initialize);
MOZ_ASSERT(bce_->bytecodeSection().stackDepth() == loopDepth_,
"iterator and iterval must be left on the stack");
#ifdef DEBUG
state_ = State::Body;
#endif
return true;
}
bool ForInEmitter::emitEnd(const Maybe<uint32_t>& forPos) {
MOZ_ASSERT(state_ == State::Body);
if (forPos) {
// Make sure this code is attributed to the "for".
if (!bce_->updateSourceCoordNotes(*forPos)) {
return false;
}
}
if (!loopInfo_->emitContinueTarget(bce_)) {
// [stack] ITER ITERVAL
return false;
}
if (!bce_->emit1(JSOp::Pop)) {
// [stack] ITER
return false;
}
if (!loopInfo_->emitLoopEnd(bce_, JSOp::Goto, TryNoteKind::ForIn)) {
// [stack] ITER
return false;
}
// When we leave the loop body and jump to this point, the iteration value is
// still on the stack. Account for that by updating the stack depth manually.
int32_t stackDepth = bce_->bytecodeSection().stackDepth() + 1;
MOZ_ASSERT(stackDepth == loopDepth_);
bce_->bytecodeSection().setStackDepth(stackDepth);
// [stack] ITER ITERVAL
// Pop the value and iterator and close the iterator.
if (!bce_->emit1(JSOp::EndIter)) {
// [stack]
return false;
}
loopInfo_.reset();
#ifdef DEBUG
state_ = State::End;
#endif
return true;
}
|
