Method clearStorageLoop

libsolidity/codegen/ArrayUtils.cpp:581–624

}

void ArrayUtils::clearStorageLoop(Type const* _type) const
{
	solAssert(_type->storageBytes() >= 32, "");
	m_context.callLowLevelFunction(
		"$clearStorageLoop_" + _type->identifier(),
		2,
		0,
		[_type](CompilerContext& _context)
		{
			unsigned stackHeightStart = _context.stackHeight();
			if (_type->category() == Type::Category::Mapping)
			{
				_context << Instruction::POP << Instruction::POP;
				return;
			}
			// stack: start_pos slot_count
			// Initialize loop counter i = 0
			_context << u256(0);
			// stack: start_pos slot_count i
			evmasm::AssemblyItem loopStart = _context.appendJumpToNew();
			_context << loopStart;
			// check for loop condition: !(slot_count > i) = (i >= slot_count)
			_context << Instruction::DUP1 << Instruction::DUP3 << Instruction::GT << Instruction::ISZERO;
			evmasm::AssemblyItem zeroLoopEnd = _context.newTag();
			_context.appendConditionalJumpTo(zeroLoopEnd);
			// stack: start_pos slot_count i
			// compute storage position: start_pos + i
			_context << Instruction::DUP3 << Instruction::DUP2 << Instruction::ADD;
			// stack: start_pos slot_count i (start_pos+i)
			// delete storage slot
			_context << u256(0);
			StorageItem(_context, *_type).setToZero(SourceLocation(), /* _removeReference = */ true);
			// stack: start_pos slot_count i
			// increment counter: i += storageSize
			_context << _type->storageSize() << Instruction::ADD;
			_context.appendJumpTo(loopStart);
			// cleanup
			_context << zeroLoopEnd;
			// stack: start_pos slot_count i
			_context << Instruction::POP << Instruction::POP << Instruction::POP;
			solAssert(_context.stackHeight() == stackHeightStart - 2, "");
		}
	);
}

void ArrayUtils::convertLengthToSize(ArrayType const& _arrayType, bool _pad) const
{