mirror of
https://github.com/Samsung/escargot.git
synced 2026-06-22 10:01:50 +00:00
7e2b3292fd
Issue #1571: Labeled continue in while loops with allocated blocks - Proper morphing for labeled continues crossing block boundaries - Fixes environment record consistency in labeled loops - Applies fix pattern to all loop statement types Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Signed-off-by: Seonghyun Kim <sh8281.kim@samsung.com>
111 lines
4.3 KiB
C++
111 lines
4.3 KiB
C++
/*
|
|
* Copyright (c) 2016-present Samsung Electronics Co., Ltd
|
|
*
|
|
* This library is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
* License as published by the Free Software Foundation; either
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
*
|
|
* This library is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Lesser General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
* License along with this library; if not, write to the Free Software
|
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301
|
|
* USA
|
|
*/
|
|
|
|
#ifndef WhileStatementNode_h
|
|
#define WhileStatementNode_h
|
|
|
|
#include "ExpressionNode.h"
|
|
#include "StatementNode.h"
|
|
|
|
namespace Escargot {
|
|
|
|
class WhileStatementNode : public StatementNode {
|
|
public:
|
|
WhileStatementNode(Node* test, Node* body)
|
|
: StatementNode()
|
|
, m_test(test)
|
|
, m_body(body)
|
|
{
|
|
}
|
|
|
|
virtual ASTNodeType type() override { return ASTNodeType::WhileStatement; }
|
|
virtual void generateStatementByteCode(ByteCodeBlock* codeBlock, ByteCodeGenerateContext* context) override
|
|
{
|
|
#ifdef ESCARGOT_DEBUGGER
|
|
insertBreakpoint(context);
|
|
#endif /* ESCARGOT_DEBUGGER */
|
|
|
|
if (context->shouldCareScriptExecutionResult()) {
|
|
// IterationStatement : while ( Expression ) Statement
|
|
// 1. Let V = undefined.
|
|
codeBlock->pushCode(LoadLiteral(ByteCodeLOC(m_loc.index), 0, Value()), context, this->m_loc.index);
|
|
}
|
|
|
|
ByteCodeGenerateContext newContext(*context);
|
|
|
|
newContext.getRegister(); // ExeuctionResult of m_body should not be overwritten by m_test
|
|
|
|
size_t whileStart = codeBlock->currentCodeSize();
|
|
size_t testPos = SIZE_MAX;
|
|
if (m_test->isLiteral() && m_test->asLiteral()->value().toBoolean()) {
|
|
// skip generate code
|
|
} else {
|
|
if (m_test->isRelationOperation()) {
|
|
m_test->generateExpressionByteCode(codeBlock, &newContext, REGISTER_LIMIT);
|
|
testPos = codeBlock->lastCodePosition<JumpIfNotFulfilled>();
|
|
} else if (m_test->isEqualityOperation()) {
|
|
m_test->generateExpressionByteCode(codeBlock, &newContext, REGISTER_LIMIT);
|
|
testPos = codeBlock->lastCodePosition<JumpIfEqual>();
|
|
} else {
|
|
ByteCodeRegisterIndex testR = m_test->getRegister(codeBlock, &newContext);
|
|
m_test->generateExpressionByteCode(codeBlock, &newContext, testR);
|
|
codeBlock->pushCode(JumpIfFalse(ByteCodeLOC(m_loc.index), testR), &newContext, this->m_loc.index);
|
|
testPos = codeBlock->lastCodePosition<JumpIfFalse>();
|
|
newContext.giveUpRegister();
|
|
}
|
|
}
|
|
|
|
newContext.giveUpRegister();
|
|
|
|
#ifdef ESCARGOT_DEBUGGER
|
|
insertEmptyStatementBreakpoint(context, m_body);
|
|
#endif /* ESCARGOT_DEBUGGER */
|
|
m_body->generateStatementByteCode(codeBlock, &newContext);
|
|
|
|
codeBlock->pushCode(Jump(ByteCodeLOC(m_loc.index), whileStart), &newContext, this->m_loc.index);
|
|
newContext.consumeContinuePositions(codeBlock, whileStart, newContext.tryCatchWithBlockStatementCount());
|
|
|
|
// Consume labeled continues targeting THIS loop with proper morphing (Issue #1571)
|
|
if (context->m_currentLoopLabel) {
|
|
newContext.consumeLabelledContinuePositions(codeBlock, whileStart, context->m_currentLoopLabel, newContext.tryCatchWithBlockStatementCount());
|
|
}
|
|
|
|
size_t whileEnd = codeBlock->currentCodeSize();
|
|
newContext.consumeBreakPositions(codeBlock, whileEnd, newContext.tryCatchWithBlockStatementCount());
|
|
if (testPos != SIZE_MAX)
|
|
codeBlock->peekCode<Jump>(testPos)->m_jumpPosition = whileEnd;
|
|
newContext.m_positionToContinue = context->m_positionToContinue;
|
|
newContext.propagateInformationTo(*context);
|
|
}
|
|
|
|
virtual void iterateChildren(const std::function<void(Node* node)>& fn) override
|
|
{
|
|
fn(this);
|
|
|
|
m_test->iterateChildren(fn);
|
|
m_body->iterateChildren(fn);
|
|
}
|
|
|
|
private:
|
|
Node* m_test;
|
|
Node* m_body;
|
|
};
|
|
} // namespace Escargot
|
|
|
|
#endif
|