Lines Matching full: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 & ~1) == 0);
519 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) */
881 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
883 --> oldC ? (argL >=u argR) : (argL >u argR)
884 --> oldC ? (argR <=u argL) : (argR <u argL)
889 /* case oldC != 0 */
891 /* case oldC == 0 */
900 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
902 --> oldC ? (argL >=u argR) : (argL >u argR)
903 --> oldC ? (argR <=u argL) : (argR <u argL)
908 /* case oldC != 0 */
911 /* case oldC == 0 */
1019 //ZZ bits 31:1 are not allowed. In turn, incoming oldV and oldC
1045 //ZZ /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
1047 //ZZ --> oldC ? (argL >=u argR) : (argL >u argR)
1048 //ZZ --> oldC ? (argR <=u argL) : (argR <u argL)
1053 //ZZ /* case oldC != 0 */
1055 //ZZ /* case oldC == 0 */
1069 //ZZ bits 31:1 are not allowed. In turn, incoming oldV and oldC
1106 //ZZ /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
1108 //ZZ --> let res = argL - argR - (oldC ^ 1)
1118 //ZZ // argL ^ (argL - argR - (oldC ^ 1))
