Lines Matching refs:oldC
157 /* (argL, argR, oldC) */
160 UInt oldC = cc_dep3;
161 vassert((oldC & ~1) == 0);
162 UInt res = argL + argR + oldC;
167 /* (argL, argR, oldC) */
170 ULong oldC = cc_dep3;
171 vassert((oldC & ~1) == 0);
172 ULong res = argL + argR + oldC;
177 /* (argL, argR, oldC) */
180 UInt oldC = cc_dep3;
181 vassert((oldC & ~1) == 0);
182 UInt res = argL - argR - (oldC ^ 1);
187 /* (argL, argR, oldC) */
190 ULong oldC = cc_dep3;
191 vassert((oldC & ~1) == 0);
192 ULong res = argL - argR - (oldC ^ 1);
209 //ZZ /* (res, unused, oldC:oldV) */
215 //ZZ /* (resLo32, resHi32, oldC:oldV) */
275 /* (argL, argR, oldC) */
278 UInt oldC = cc_dep3;
279 vassert((oldC & ~1) == 0);
280 UInt res = argL + argR + oldC;
285 /* (argL, argR, oldC) */
288 ULong oldC = cc_dep3;
289 vassert((oldC & ~1) == 0);
290 ULong res = argL + argR + oldC;
295 /* (argL, argR, oldC) */
298 UInt oldC = cc_dep3;
299 vassert((oldC & ~1) == 0);
300 UInt res = argL - argR - (oldC ^ 1);
305 /* (argL, argR, oldC) */
308 ULong oldC = cc_dep3;
309 vassert((oldC & ~1) == 0);
310 ULong res = argL - argR - (oldC ^ 1);
327 //ZZ /* (res, unused, oldC:oldV) */
333 //ZZ /* (resLo32, resHi32, oldC:oldV) */
392 /* (argL, argR, oldC) */
395 UInt oldC = cc_dep3;
396 vassert((oldC & ~1) == 0);
397 UInt res = argL + argR + oldC;
398 ULong cf = oldC ? (res <= argL) : (res < argL);
402 /* (argL, argR, oldC) */
405 ULong oldC = cc_dep3;
406 vassert((oldC & ~1) == 0);
407 ULong res = argL + argR + oldC;
408 ULong cf = oldC ? (res <= argL) : (res < argL);
412 /* (argL, argR, oldC) */
415 UInt oldC = cc_dep3;
416 vassert((oldC & ~1) == 0);
417 ULong cf = oldC ? (argL >= argR) : (argL > argR);
421 /* (argL, argR, oldC) */
424 ULong oldC = cc_dep3;
425 vassert((oldC & ~1) == 0);
426 ULong cf = oldC ? (argL >= argR) : (argL > argR);
435 //ZZ /* (res, unused, oldC:oldV) */
436 //ZZ UInt oldC = (cc_dep3 >> 1) & 1;
438 //ZZ UInt cf = oldC;
442 //ZZ /* (resLo32, resHi32, oldC:oldV) */
443 //ZZ UInt oldC = (cc_dep3 >> 1) & 1;
445 //ZZ UInt cf = oldC;
504 /* (argL, argR, oldC) */
507 UInt oldC = cc_dep3;
508 vassert((oldC & ~1) == 0);
509 UInt res = argL + argR + oldC;
514 /* (argL, argR, oldC) */
517 ULong oldC = cc_dep3;
518 vassert((oldC
519 ULong res = argL + argR + oldC;
524 /* (argL, argR, oldC) */
527 UInt oldC = cc_dep3;
528 vassert((oldC & ~1) == 0);
529 UInt res = argL - argR - (oldC ^ 1);
534 /* (argL, argR, oldC) */
537 ULong oldC = cc_dep3;
538 vassert((oldC & ~1) == 0);
539 ULong res = argL - argR - (oldC ^ 1);
549 //ZZ /* (res, unused, oldC:oldV) */
556 //ZZ /* (resLo32, resHi32, oldC:oldV) */
896 //ZZ /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
898 //ZZ --> oldC ? (argL >=u argR) : (argL >u argR)
899 //ZZ --> oldC ? (argR <=u argL) : (argR <u argL)
904 //ZZ /* case oldC != 0 */
906 //ZZ /* case oldC == 0 */
1013 //ZZ bits 31:1 are not allowed. In turn, incoming oldV and oldC
1039 //ZZ /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
1041 //ZZ --> oldC ? (argL >=u argR) : (argL >u argR)
1042 //ZZ --> oldC ? (argR <=u argL) : (argR <u argL)
1047 //ZZ /* case oldC != 0 */
1049 //ZZ /* case oldC == 0 */
1063 //ZZ bits 31:1 are not allowed. In turn, incoming oldV and oldC
1100 //ZZ /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
1102 //ZZ --> let res = argL - argR - (oldC ^ 1)
1112 //ZZ // argL ^ (argL - argR - (oldC ^ 1))