[yul] Ensures DataFlowAnalyzer works fine with break/continue statements just like without.

Author: christianparpart

libyul/optimiser/DataFlowAnalyzer.cpp

@@ -130,16 +130,6 @@ void DataFlowAnalyzer::operator()(ForLoop& _for)
 	popScope();
 }
 
-void DataFlowAnalyzer::operator()(Break&)
-{
-	yulAssert(false, "Not implemented yet.");
-}
-
-void DataFlowAnalyzer::operator()(Continue&)
-{
-	yulAssert(false, "Not implemented yet.");
-}
-
 void DataFlowAnalyzer::operator()(Block& _block)
 {
 	size_t numScopes = m_variableScopes.size();

libyul/optimiser/DataFlowAnalyzer.h

@@ -53,8 +53,6 @@ class DataFlowAnalyzer: public ASTModifier
 	void operator()(Switch& _switch) override;
 	void operator()(FunctionDefinition&) override;
 	void operator()(ForLoop&) override;
-	void operator()(Break& _continue) override;
-	void operator()(Continue& _continue) override;
 	void operator()(Block& _block) override;
 
 protected:

test/libyul/yulOptimizerTests/rematerialiser/for_break.yul

@@ -0,0 +1,34 @@
+{
+	let a
+	let b
+	for {let i := 0} lt(i, 10) {i := add(a, b)} {
+		a := origin()
+		b := origin()
+		b := caller()
+		if callvalue() { break }
+		a := caller()
+	}
+}
+// ----
+// rematerialiser
+// {
+//     let a
+//     let b
+//     for {
+//         let i := 0
+//     }
+//     lt(i, 10)
+//     {
+//         i := add(caller(), caller())
+//     }
+//     {
+//         a := origin()
+//         b := origin()
+//         b := caller()
+//         if callvalue()
+//         {
+//             break
+//         }
+//         a := caller()
+//     }
+// }

test/libyul/yulOptimizerTests/rematerialiser/for_continue.yul

@@ -0,0 +1,34 @@
+{
+	let a
+	let b
+	for {let i := 0} lt(i, 10) {i := add(a, b)} {
+		a := origin()
+		b := origin()
+		b := caller()
+		if callvalue() { continue }
+		a := caller()
+	}
+}
+// ----
+// rematerialiser
+// {
+//     let a
+//     let b
+//     for {
+//         let i := 0
+//     }
+//     lt(i, 10)
+//     {
+//         i := add(caller(), caller())
+//     }
+//     {
+//         a := origin()
+//         b := origin()
+//         b := caller()
+//         if callvalue()
+//         {
+//             continue
+//         }
+//         a := caller()
+//     }
+// }