Merge pull request #14599 from ethereum/introduce-via-ir-syntax-test-option

Introduce ``compileViaYul`` syntax test option

Author: nikola-matic

test/libsolidity/SyntaxTest.cpp

@@ -45,6 +45,11 @@ SyntaxTest::SyntaxTest(
 	CommonSyntaxTest(_filename, _evmVersion),
 	m_minSeverity(_minSeverity)
 {
+	static std::set<std::string> const compileViaYulAllowedValues{"true", "false"};
+
+	m_compileViaYul = m_reader.stringSetting("compileViaYul", "false");
+	if (!util::contains(compileViaYulAllowedValues, m_compileViaYul))
+		BOOST_THROW_EXCEPTION(std::runtime_error("Invalid compileViaYul value: " + m_compileViaYul + "."));
 	m_optimiseYul = m_reader.boolSetting("optimize-yul", true);
 }
 
@@ -58,6 +63,7 @@ void SyntaxTest::setupCompiler(CompilerStack& _compiler)
 		OptimiserSettings::full() :
 		OptimiserSettings::minimal()
 	);
+	_compiler.setViaIR(m_compileViaYul == "true");
 	_compiler.setMetadataFormat(CompilerStack::MetadataFormat::NoMetadata);
 	_compiler.setMetadataHash(CompilerStack::MetadataHash::None);
 }

test/libsolidity/SyntaxTest.h

@@ -53,6 +53,7 @@ class SyntaxTest: public AnalysisFramework, public solidity::test::CommonSyntaxT
 	virtual void filterObtainedErrors();
 
 	bool m_optimiseYul{};
+	std::string m_compileViaYul{};
 	langutil::Error::Severity m_minSeverity{};
 };
 

test/libsolidity/syntaxTests/experimental/parsing_stdlib_import_1.sol

@@ -3,6 +3,7 @@ pragma experimental solidity;
 import std.stub;
 // ====
 // EVMVersion: >=constantinople
+// compileViaYul: true
 // ----
 // Warning 2264: (std.stub:63-92): Experimental features are turned on. Do not use experimental features on live deployments.
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.

test/libsolidity/syntaxTests/experimental/parsing_stdlib_import_2.sol

@@ -3,6 +3,7 @@ pragma experimental solidity;
 import std.stub as stub;
 // ====
 // EVMVersion: >=constantinople
+// compileViaYul: true
 // ----
 // Warning 2264: (std.stub:63-92): Experimental features are turned on. Do not use experimental features on live deployments.
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.

test/libsolidity/syntaxTests/experimental/parsing_stdlib_import_3.sol

@@ -3,6 +3,7 @@ pragma experimental solidity;
 import { identity } from std.stub;
 // ====
 // EVMVersion: >=constantinople
+// compileViaYul: true
 // ----
 // Warning 2264: (std.stub:63-92): Experimental features are turned on. Do not use experimental features on live deployments.
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.

test/libsolidity/syntaxTests/experimental/parsing_stdlib_import_4.sol

@@ -3,6 +3,7 @@ pragma experimental solidity;
 import * as stub from std.stub;
 // ====
 // EVMVersion: >=constantinople
+// compileViaYul: true
 // ----
 // Warning 2264: (std.stub:63-92): Experimental features are turned on. Do not use experimental features on live deployments.
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.