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

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