Add Yul Optimizer Step to Evaluate Yul constant Functions

libsolidity/interface/OptimiserSettings.h

@@ -47,6 +47,8 @@ struct OptimiserSettings
 		"xa[r]EscLM"                   // Turn into SSA and simplify
 		"Vcul [j]"                     // Reverse SSA
 
+		"k"                            // preprocessing after some simplifications
+
 		// should have good "compilability" property here.
 
 		"Trpeul"                       // Run functional expression inliner

libyul/CMakeLists.txt

@@ -93,6 +93,8 @@ add_library(yul
 	optimiser/ConditionalUnsimplifier.h
 	optimiser/ControlFlowSimplifier.cpp
 	optimiser/ControlFlowSimplifier.h
+	optimiser/ConstantFunctionEvaluator.cpp
+	optimiser/ConstantFunctionEvaluator.h
 	optimiser/DataFlowAnalyzer.cpp
 	optimiser/DataFlowAnalyzer.h
 	optimiser/DeadCodeEliminator.cpp
@@ -192,6 +194,10 @@ add_library(yul
 	optimiser/VarDeclInitializer.h
 	optimiser/VarNameCleaner.cpp
 	optimiser/VarNameCleaner.h
+	tools/interpreter/Interpreter.h
+	tools/interpreter/Interpreter.cpp
+	tools/interpreter/EVMInstructionInterpreter.h
+	tools/interpreter/EVMInstructionInterpreter.cpp
 )
 
 target_link_libraries(yul PUBLIC evmasm solutil langutil smtutil fmt::fmt-header-only)