Fix binary arithmetic bugs.

  * right operand clobbered unexpectedly in some code path.
  * remove some incorrect overflow check. for 64bit platform, x64
    and tilegx, the SMI has full 32 valid bit. So we need to remove
    those SINT31 overflow check.
Fix reg clobber bug for MUL also.