45   r1 = abs r1;      /* now both positive, r3.30 means "negate result",
48   cc = r0 < r1;
50   r2 = r1 >> 15;
53   r2 = r1 << 16;
76   r1 = r3 >> 31;    /* add overflow issue back in */  define
77   r0 = r0 + r1;
78   r1 = -r0;  define
80   if cc r0 = r1;
138   r1 = r3 >> 31;  define
139   r2 = r2 + r1;
188   r1 = r3 >> 31;  define
189   r0 = r0 + r1;