Multiplies two integer values, performs an overflow check, and pushes the result onto the evaluation stack.

• 将两个整数值相乘,执行溢出检查,并将结果推送到计算堆栈上。