Home | History | Annotate | Download | only in priv

Lines Matching full:sdiv32

183 static  Int sdiv32 (  Int x,  Int y ) { return x/y; }
295 vassert(sdiv32(100, 7) == 14);
296 vassert(sdiv32(-100, 7) == -14); /* and not -15 */
297 vassert(sdiv32(100, -7) == -14); /* ditto */
298 vassert(sdiv32(-100, -7) == 14); /* not sure what this proves */