/* Signed shift by 31 or greater saturates by definition. */
if (arg2 >= 31)
- if (arg1 > 0)
- return (SI) 0x7fffffff;
- else
- return (SI) 0x80000000;
+ {
+ if (arg1 > 0)
+ return (SI) 0x7fffffff;
+ else
+ return (SI) 0x80000000;
+ }
/* OK, arg2 is between 1 and 31. */
neg_arg1 = (arg1 < 0);