Method convertType

libsolidity/codegen/CompilerUtils.cpp:758–1331

}

void CompilerUtils::convertType(
	Type const& _typeOnStack,
	Type const& _targetType,
	bool _cleanupNeeded,
	bool _chopSignBits,
	bool _asPartOfArgumentDecoding
)
{
	// For a type extension, we need to remove all higher-order bits that we might have ignored in
	// previous operations.
	// @todo: store in the AST whether the operand might have "dirty" higher order bits

	if (_typeOnStack == _targetType && !_cleanupNeeded)
		return;
	Type::Category stackTypeCategory = _typeOnStack.category();
	Type::Category targetTypeCategory = _targetType.category();

	if (stackTypeCategory == Type::Category::UserDefinedValueType)
	{
		solAssert(_cleanupNeeded);
		auto& userDefined = dynamic_cast<UserDefinedValueType const&>(_typeOnStack);
		solAssert(_typeOnStack == _targetType || _targetType == userDefined.underlyingType());
		return convertType(
			userDefined.underlyingType(),
			_targetType,
			_cleanupNeeded,
			_chopSignBits,
			_asPartOfArgumentDecoding
		);
	}
	if (targetTypeCategory == Type::Category::UserDefinedValueType)
	{
		solAssert(_cleanupNeeded);
		auto& userDefined = dynamic_cast<UserDefinedValueType const&>(_targetType);
		solAssert(_typeOnStack.isImplicitlyConvertibleTo(userDefined.underlyingType()));
		return convertType(
			_typeOnStack,
			userDefined.underlyingType(),
			_cleanupNeeded,
			_chopSignBits,
			_asPartOfArgumentDecoding
		);
	}

	if (auto contrType = dynamic_cast<ContractType const*>(&_typeOnStack))
		solAssert(!contrType->isSuper(), "Cannot convert magic variable \"super\"");

	bool enumOverflowCheckPending = (targetTypeCategory == Type::Category::Enum || stackTypeCategory == Type::Category::Enum);
	bool chopSignBitsPending = _chopSignBits && targetTypeCategory == Type::Category::Integer;
	if (chopSignBitsPending)
	{
		IntegerType const& targetIntegerType = dynamic_cast<IntegerType const&>(_targetType);
		chopSignBitsPending = targetIntegerType.isSigned();
	}

	if (targetTypeCategory == Type::Category::FixedPoint)
		solUnimplemented("Not yet implemented - FixedPointType.");