eof: Support DATALOADN (EIP-7480)

libevmasm/Assembly.cpp

@@ -717,6 +717,11 @@ AssemblyItem Assembly::newImmutableAssignment(std::string const& _identifier)
 	return AssemblyItem{AssignImmutable, h};
 }
 
+AssemblyItem Assembly::newAuxDataLoadN(size_t _offset)
+{
+	return AssemblyItem{AuxDataLoadN, _offset};
+}
+
 Assembly& Assembly::optimise(OptimiserSettings const& _settings)
 {
 	optimiseInternal(_settings, {});
@@ -1348,6 +1353,23 @@ std::map<uint16_t, uint16_t> Assembly::findReferencedContainers() const
 	return replacements;
 }
 
+std::optional<uint16_t> Assembly::findMaxAuxDataLoadNOffset() const
+{
+	std::optional<unsigned> result = std::nullopt;
+	for (auto&& codeSection: m_codeSections)
+		for (AssemblyItem const& i: codeSection.items)
+			if (i.type() == AuxDataLoadN)
+			{
+				solAssert(i.data() <= std::numeric_limits<uint16_t>::max(), "Invalid auxdataloadn index value.");
+				auto const offset = static_cast<unsigned>(i.data());
+				if (!result.has_value() || offset > result.value())
+					result = offset;
+
+			}
+
+	return result;
+}
+
 LinkerObject const& Assembly::assembleEOF() const
 {
 	solAssert(m_eofVersion.has_value() && m_eofVersion == 1);
@@ -1362,11 +1384,14 @@ LinkerObject const& Assembly::assembleEOF() const
 		"Expected the first code section to have zero inputs and be non-returning."
 	);
 
+	auto const maxAuxDataLoadNOffset = findMaxAuxDataLoadNOffset();
+
 	// Insert EOF1 header.
 	auto [headerBytecode, codeSectionSizeOffsets, dataSectionSizeOffset] = createEOFHeader(referencedSubIds);
 	ret.bytecode = headerBytecode;
 
 	m_tagPositionsInBytecode = std::vector<size_t>(m_usedTags, std::numeric_limits<size_t>::max());
+	std::map<size_t, uint16_t> dataSectionRef;
 
 	for (auto&& [codeSectionIndex, codeSection]: m_codeSections | ranges::views::enumerate)
 	{
@@ -1380,6 +1405,7 @@ LinkerObject const& Assembly::assembleEOF() const
 			switch (item.type())
 			{
 			case Operation:
+				solAssert(item.instruction() != Instruction::DATALOADN);
 				solAssert(!(item.instruction() >= Instruction::PUSH0 && item.instruction() <= Instruction::PUSH32));
 				ret.bytecode += assembleOperation(item);
 				break;
@@ -1402,6 +1428,14 @@ LinkerObject const& Assembly::assembleEOF() const
 			case Tag:
 				ret.bytecode += assembleTag(item, ret.bytecode.size(), false);
 				break;
+			case AuxDataLoadN:
+			{
+				assertThrow(item.data() <= std::numeric_limits<uint16_t>::max(), AssemblyException, "Invalid auxdataloadn position.");
+				ret.bytecode.push_back(uint8_t(Instruction::DATALOADN));
+				dataSectionRef[ret.bytecode.size()] = static_cast<uint16_t>(item.data());
+				appendBigEndianUint16(ret.bytecode, item.data());
+				break;
+			}
 			default:
 				solThrow(InvalidOpcode, "Unexpected opcode while assembling.");
 			}
@@ -1423,7 +1457,15 @@ LinkerObject const& Assembly::assembleEOF() const
 
 	ret.bytecode += m_auxiliaryData;
 
-	auto dataLength = ret.bytecode.size() - dataStart;
+	auto appendedDataAndAuxDataSize = ret.bytecode.size() - dataStart;
+
+	// If some data was already added to data section we need to update data section refs accordigly
+	if (appendedDataAndAuxDataSize > 0)
+		for (auto [pos, val] : dataSectionRef)
+			setBigEndian(ret.bytecode, pos, 2, val + appendedDataAndAuxDataSize);
+
+	auto dataLength = appendedDataAndAuxDataSize + (maxAuxDataLoadNOffset.has_value() ? (maxAuxDataLoadNOffset.value() + 32u) : 0u);
+
 	setBigEndianUint16(ret.bytecode, dataSectionSizeOffset, dataLength);
 
 	return ret;

libevmasm/Assembly.h

@@ -79,6 +79,7 @@ class Assembly
 	AssemblyItem newPushLibraryAddress(std::string const& _identifier);
 	AssemblyItem newPushImmutable(std::string const& _identifier);
 	AssemblyItem newImmutableAssignment(std::string const& _identifier);
+	AssemblyItem newAuxDataLoadN(size_t offset);
 
 	AssemblyItem const& append(AssemblyItem _i);
 	AssemblyItem const& append(bytes const& _data) { return append(newData(_data)); }
@@ -91,6 +92,7 @@ class Assembly
 	void appendLibraryAddress(std::string const& _identifier) { append(newPushLibraryAddress(_identifier)); }
 	void appendImmutable(std::string const& _identifier) { append(newPushImmutable(_identifier)); }
 	void appendImmutableAssignment(std::string const& _identifier) { append(newImmutableAssignment(_identifier)); }
+	void appendAuxDataLoadN(size_t offset) { append(newAuxDataLoadN(offset));}
 
 	void appendVerbatim(bytes _data, size_t _arguments, size_t _returnVariables)
 	{
@@ -240,6 +242,9 @@ class Assembly
 
 	/// Returns map from m_subs to an index of subcontainer in the final EOF bytecode
 	std::map<uint16_t, uint16_t> findReferencedContainers() const;
+	/// Returns max AuxDataLoadN offset for the assembly.
+	/// TODO: Can and should be merged with findReferencedContainers to avoid additional run
+	std::optional<uint16_t> findMaxAuxDataLoadNOffset() const;
 
 	/// Assemble bytecode for AssemblyItem type.
 	[[nodiscard]] bytes assembleOperation(AssemblyItem const& _item) const;

libevmasm/AssemblyItem.cpp

@@ -161,6 +161,8 @@ size_t AssemblyItem::bytesRequired(size_t _addressLength, langutil::EVMVersion _
 	}
 	case VerbatimBytecode:
 		return std::get<2>(*m_verbatimBytecode).size();
+	case AuxDataLoadN:
+		return 1 + 2;
 	default:
 		break;
 	}
@@ -203,6 +205,8 @@ size_t AssemblyItem::returnValues() const
 		return 0;
 	case VerbatimBytecode:
 		return std::get<1>(*m_verbatimBytecode);
+	case AuxDataLoadN:
+		return 1;
 	default:
 		break;
 	}
@@ -327,6 +331,9 @@ std::string AssemblyItem::toAssemblyText(Assembly const& _assembly) const
 	case VerbatimBytecode:
 		text = std::string("verbatimbytecode_") + util::toHex(std::get<2>(*m_verbatimBytecode));
 		break;
+	case AuxDataLoadN:
+		text = "auxdataloadn(" +  std::to_string(static_cast<size_t>(data())) + ")";
+		break;
 	default:
 		assertThrow(false, InvalidOpcode, "");
 	}

libevmasm/AssemblyItem.h

@@ -51,6 +51,10 @@ enum AssemblyItemType
 	PushDeployTimeAddress, ///< Push an address to be filled at deploy time. Should not be touched by the optimizer.
 	PushImmutable, ///< Push the currently unknown value of an immutable variable. The actual value will be filled in by the constructor.
 	AssignImmutable, ///< Assigns the current value on the stack to an immutable variable. Only valid during creation code.
+
+	/// Loads 32 bytes from static auxiliary data of EOF data section. The offset does *not* have to be always from the beginning
+	/// of the data EOF section. More details here: https://github.com/ipsilon/eof/blob/main/spec/eof.md#data-section-lifecycle
+	AuxDataLoadN,
 	VerbatimBytecode ///< Contains data that is inserted into the bytecode code section without modification.
 };
 

libevmasm/Instruction.cpp

@@ -168,6 +168,7 @@ std::map<std::string, Instruction> const solidity::evmasm::c_instructions =
 	{ "LOG2", Instruction::LOG2 },
 	{ "LOG3", Instruction::LOG3 },
 	{ "LOG4", Instruction::LOG4 },
+	{ "DATALOADN", Instruction::DATALOADN },
 	{ "CREATE", Instruction::CREATE },
 	{ "CALL", Instruction::CALL },
 	{ "CALLCODE", Instruction::CALLCODE },
@@ -252,6 +253,7 @@ static std::map<Instruction, InstructionInfo> const c_instructionInfo =
 	{Instruction::MSIZE,          {"MSIZE",           0,  0,   1,  false,      Tier::Base}},
 	{Instruction::GAS,            {"GAS",             0,  0,   1,  false,      Tier::Base}},
 	{Instruction::JUMPDEST,       {"JUMPDEST",        0,  0,   0,  true,       Tier::Special}},
+	{Instruction::DATALOADN,      {"DATALOADN",       2,  0,   1,  true,       Tier::Low}},
 	{Instruction::PUSH0,          {"PUSH0",           0,  0,   1,  false,      Tier::Base}},
 	{Instruction::PUSH1,          {"PUSH1",           1,  0,   1,  false,      Tier::VeryLow}},
 	{Instruction::PUSH2,          {"PUSH2",           2,  0,   1,  false,      Tier::VeryLow}},

libevmasm/Instruction.h

@@ -182,6 +182,7 @@ enum class Instruction: uint8_t
 	LOG3,                     ///< Makes a log entry; 3 topics.
 	LOG4,                     ///< Makes a log entry; 4 topics.
 
+	DATALOADN = 0xd1,         ///< load data from EOF data section
 	CREATE = 0xf0,            ///< create a new account with associated code
 	CALL,                     ///< message-call into an account
 	CALLCODE,                 ///< message-call with another account's code only

liblangutil/EVMVersion.cpp

@@ -76,6 +76,9 @@ bool EVMVersion::hasOpcode(Instruction _opcode, std::optional<uint8_t> _eofVersi
 	case Instruction::EXTCODECOPY:
 	case Instruction::GAS:
 		return !_eofVersion.has_value();
+	// Instructions below available only in EOF
+	case Instruction::DATALOADN:
+		return _eofVersion.has_value() && this->m_version >= prague();
 	default:
 		return true;
 	}

libyul/backends/evm/AbstractAssembly.h

@@ -112,6 +112,9 @@ class AbstractAssembly
 	/// Appends an assignment to an immutable variable.
 	virtual void appendImmutableAssignment(std::string const& _identifier) = 0;
 
+	/// Appends 32 bytes data load from EOF data section in dataOffset pos
+	virtual void appendAuxDataLoadN(size_t _dataOffset) = 0;
+
 	/// Appends data to the very end of the bytecode. Repeated calls concatenate.
 	virtual void appendToAuxiliaryData(bytes const& _data) = 0;
 

libyul/backends/evm/EVMDialect.cpp

@@ -199,6 +199,7 @@ std::map<YulName, BuiltinFunctionForEVM> createBuiltins(langutil::EVMVersion _ev
 			opcode != evmasm::Instruction::JUMP &&
 			opcode != evmasm::Instruction::JUMPI &&
 			opcode != evmasm::Instruction::JUMPDEST &&
+			opcode != evmasm::Instruction::DATALOADN &&
 			_evmVersion.hasOpcode(opcode, _eofVersion) &&
 			!prevRandaoException(name)
 		)
@@ -342,6 +343,25 @@ std::map<YulName, BuiltinFunctionForEVM> createBuiltins(langutil::EVMVersion _ev
 				_assembly.appendImmutable(formatLiteral(std::get<Literal>(_call.arguments.front())));
 			}
 		));
+
+		if (_eofVersion.has_value())
+		{
+			builtins.emplace(createFunction(
+				"auxdataloadn",
+				1,
+				1,
+				SideEffects{},
+				{LiteralKind::String},
+				[](
+					FunctionCall const& _call,
+					AbstractAssembly& _assembly,
+					BuiltinContext&
+				) {
+					yulAssert(_call.arguments.size() == 1, "");
+					_assembly.appendAuxDataLoadN(std::stoul(formatLiteral(std::get<Literal>(_call.arguments.front()))));
+				}
+			));
+		}
 	}
 	return builtins;
 }

libyul/backends/evm/EthAssemblyAdapter.cpp

@@ -175,6 +175,11 @@ void EthAssemblyAdapter::appendImmutableAssignment(std::string const& _identifie
 	m_assembly.appendImmutableAssignment(_identifier);
 }
 
+void EthAssemblyAdapter::appendAuxDataLoadN(size_t _dataOffset)
+{
+	m_assembly.appendAuxDataLoadN(_dataOffset);
+}
+
 void EthAssemblyAdapter::markAsInvalid()
 {
 	m_assembly.markAsInvalid();

libyul/backends/evm/EthAssemblyAdapter.h

@@ -65,6 +65,8 @@ class EthAssemblyAdapter: public AbstractAssembly
 	void appendImmutable(std::string const& _identifier) override;
 	void appendImmutableAssignment(std::string const& _identifier) override;
 
+	void appendAuxDataLoadN(size_t dataOffset) override;
+
 	void markAsInvalid() override;
 
 	langutil::EVMVersion evmVersion() const override;

libyul/backends/evm/NoOutputAssembly.cpp

@@ -129,6 +129,11 @@ void NoOutputAssembly::appendImmutableAssignment(std::string const&)
 	yulAssert(false, "setimmutable not implemented.");
 }
 
+void NoOutputAssembly::appendAuxDataLoadN(size_t)
+{
+	yulAssert(false, "auxdataloadn not implemented.");
+}
+
 NoOutputEVMDialect::NoOutputEVMDialect(EVMDialect const& _copyFrom):
 	EVMDialect(_copyFrom.evmVersion(), _copyFrom.eofVersion(), _copyFrom.providesObjectAccess())
 {

libyul/backends/evm/NoOutputAssembly.h

@@ -75,6 +75,8 @@ class NoOutputAssembly: public AbstractAssembly
 	void appendImmutable(std::string const& _identifier) override;
 	void appendImmutableAssignment(std::string const& _identifier) override;
 
+	void appendAuxDataLoadN(size_t) override;
+
 	void markAsInvalid() override {}
 
 	langutil::EVMVersion evmVersion() const override { return m_evmVersion; }

test/cmdlineTests/strict_asm_eof_dataloadn_prague/args

@@ -0,0 +1 @@
+ --strict-assembly --experimental-eof-version 1 --evm-version prague --asm --ir-optimized --bin --debug-info none

test/cmdlineTests/strict_asm_eof_dataloadn_prague/input.yul

@@ -0,0 +1,9 @@
+object "a" {
+  code {
+    mstore(0, auxdataloadn("0"))
+    return(0, 32)
+  }
+
+  data "data1" "Hello, World!"
+}
+

test/cmdlineTests/strict_asm_eof_dataloadn_prague/output

@@ -0,0 +1,27 @@
+
+======= strict_asm_eof_dataloadn_prague/input.yul (EVM) =======
+
+Pretty printed source:
+object "a" {
+    code {
+        {
+            mstore(0, auxdataloadn("0"))
+            return(0, 32)
+        }
+    }
+    data "data1" hex"48656c6c6f2c20576f726c6421"
+}
+
+
+Binary representation:
+ef0001010004020001000904002d000080ffffd1000d5f5260205ff348656c6c6f2c20576f726c6421
+
+Text representation:
+  auxdataloadn(0)
+  0x00
+  mstore
+  0x20
+  0x00
+  return
+stop
+data_acaf3289d7b601cbd114fb36c4d29c85bbfd5e133f14cb355c3fd8d99367964f 48656c6c6f2c20576f726c6421

test/tools/yulInterpreter/EVMInstructionInterpreter.cpp

@@ -487,6 +487,8 @@ u256 EVMInstructionInterpreter::eval(
 	case Instruction::SWAP14:
 	case Instruction::SWAP15:
 	case Instruction::SWAP16:
+		// TODO: Not sure about it.
+	case Instruction::DATALOADN:
 	{
 		yulAssert(false, "");
 		return 0;