Method appendArithmeticOperatorCode

libsolidity/codegen/ExpressionCompiler.cpp:2560–2626

}

void ExpressionCompiler::appendArithmeticOperatorCode(Token _operator, Type const& _type)
{
	if (_type.category() == Type::Category::FixedPoint)
		solUnimplemented("Not yet implemented - FixedPointType.");

	IntegerType const& type = dynamic_cast<IntegerType const&>(_type);
	if (m_context.arithmetic() == Arithmetic::Checked)
	{
		std::string functionName;
		switch (_operator)
		{
		case Token::Add:
			functionName = m_context.utilFunctions().overflowCheckedIntAddFunction(type);
			break;
		case Token::Sub:
			functionName = m_context.utilFunctions().overflowCheckedIntSubFunction(type);
			break;
		case Token::Mul:
			functionName = m_context.utilFunctions().overflowCheckedIntMulFunction(type);
			break;
		case Token::Div:
			functionName = m_context.utilFunctions().overflowCheckedIntDivFunction(type);
			break;
		case Token::Mod:
			functionName = m_context.utilFunctions().intModFunction(type);
			break;
		case Token::Exp:
			// EXP is handled in a different function.
		default:
			solAssert(false, "Unknown arithmetic operator.");
		}
		// TODO Maybe we want to force-inline this?
		m_context.callYulFunction(functionName, 2, 1);
	}
	else
	{
		bool const c_isSigned = type.isSigned();

		switch (_operator)
		{
		case Token::Add:
			m_context << Instruction::ADD;
			break;
		case Token::Sub:
			m_context << Instruction::SUB;
			break;
		case Token::Mul:
			m_context << Instruction::MUL;
			break;
		case Token::Div:
		case Token::Mod:
		{
			// Test for division by zero
			m_context << Instruction::DUP2 << Instruction::ISZERO;
			m_context.appendConditionalPanic(util::PanicCode::DivisionByZero);

			if (_operator == Token::Div)
				m_context << (c_isSigned ? Instruction::SDIV : Instruction::DIV);