eof: Fix unintentionally reserved EOF identifiers in legacy

Author: rodiazet

libyul/backends/evm/EVMDialect.cpp

@@ -155,14 +155,13 @@ std::set<std::string, std::less<>> createReservedIdentifiers(langutil::EVMVersio
 
 	auto eofIdentifiersException = [&](evmasm::Instruction _instr) -> bool
 	{
-		solAssert(!_eofVersion.has_value() || _evmVersion >= langutil::EVMVersion::prague());
-		return
-			!_eofVersion.has_value() &&
-			(
-				_instr == evmasm::Instruction::EXTCALL ||
-				_instr == evmasm::Instruction::EXTSTATICCALL ||
-				_instr == evmasm::Instruction::EXTDELEGATECALL
-			);
+		solAssert(!_eofVersion.has_value() || (*_eofVersion == 1 && _evmVersion == langutil::EVMVersion::prague()));
+		if (_eofVersion.has_value())
+			// For EOF every instruction is reserved identifier.
+			return false;
+		else
+			return langutil::EVMVersion::prague().hasOpcode(_instr, 1) &&
+				!langutil::EVMVersion::prague().hasOpcode(_instr, std::nullopt);
 	};
 
 	std::set<std::string, std::less<>> reserved;