Multiplies two integer values on the stack with an overflow check.

• 将堆栈上的两个整数值相乘,并进行溢出检查。