[Yul] Implements break/continue in Interpreter.

Author: christianparpart

test/tools/yulInterpreter/Interpreter.cpp

@@ -106,11 +106,27 @@ void Interpreter::operator()(ForLoop const& _forLoop)
 	while (evaluate(*_forLoop.condition) != 0)
 	{
 		(*this)(_forLoop.body);
+		if (m_state.loopState == LoopState::Break)
+		{
+			m_state.loopState = LoopState::Default;
+			break;
+		}
 		(*this)(_forLoop.post);
+		m_state.loopState = LoopState::Default;
 	}
 	closeScope();
 }
 
+void Interpreter::operator()(Break const& _break)
+{
+	m_state.loopState = LoopState::Break;
+}
+
+void Interpreter::operator()(Continue const& _continue)
+{
+	m_state.loopState = LoopState::Continue;
+}
+
 void Interpreter::operator()(Block const& _block)
 {
 	openScope();
@@ -122,7 +138,14 @@ void Interpreter::operator()(Block const& _block)
 			m_functions[funDef.name] = &funDef;
 			m_scopes.back().insert(funDef.name);
 		}
-	ASTWalker::operator()(_block);
+
+	for (auto const& statement : _block.statements)
+	{
+		visit(statement);
+		if (m_state.loopState != LoopState::Default)
+			break;
+	}
+
 	closeScope();
 }
 

test/tools/yulInterpreter/Interpreter.h

@@ -39,6 +39,12 @@ class InterpreterTerminated: dev::Exception
 {
 };
 
+enum class LoopState {
+	Default,
+	Continue,
+	Break,
+};
+
 struct InterpreterState
 {
 	dev::bytes calldata;
@@ -65,6 +71,7 @@ struct InterpreterState
 	std::vector<std::string> trace;
 	/// This is actually an input parameter that more or less limits the runtime.
 	size_t maxTraceSize = 0;
+	LoopState loopState = LoopState::Default;
 };
 
 /**
@@ -90,6 +97,8 @@ class Interpreter: public ASTWalker
 	void operator()(Switch const& _switch) override;
 	void operator()(FunctionDefinition const&) override;
 	void operator()(ForLoop const&) override;
+	void operator()(Break const&) override;
+	void operator()(Continue const&) override;
 	void operator()(Block const& _block) override;
 
 	std::vector<std::string> const& trace() const { return m_state.trace; }