Lines Matching refs:oldC
140 /* (argL, argR, oldC) */
143 UInt oldC = cc_dep3;
144 vassert((oldC & ~1) == 0);
145 UInt res = argL + argR + oldC;
150 /* (argL, argR, oldC) */
153 UInt oldC = cc_dep3;
154 vassert((oldC & ~1) == 0);
155 UInt res = argL - argR - (oldC ^ 1);
166 /* (res, unused, oldC:oldV) */
172 /* (resLo32, resHi32, oldC:oldV) */
220 /* (argL, argR, oldC) */
223 UInt oldC = cc_dep3;
224 vassert((oldC & ~1) == 0);
225 UInt res = argL + argR + oldC;
230 /* (argL, argR, oldC) */
233 UInt oldC = cc_dep3;
234 vassert((oldC & ~1) == 0);
235 UInt res = argL - argR - (oldC ^ 1);
246 /* (res, unused, oldC:oldV) */
252 /* (resLo32, resHi32, oldC:oldV) */
300 /* (argL, argR, oldC) */
303 UInt oldC = cc_dep3;
304 vassert((oldC & ~1) == 0);
305 UInt res = argL + argR + oldC;
306 UInt cf = oldC ? (res <= argL) : (res < argL);
310 /* (argL, argR, oldC) */
313 UInt oldC = cc_dep3;
314 vassert((oldC & ~1) == 0);
315 UInt cf = oldC ? (argL >= argR) : (argL > argR);
326 /* (res, unused, oldC:oldV) */
327 UInt oldC = (cc_dep3 >> 1) & 1;
329 UInt cf = oldC;
333 /* (resLo32, resHi32, oldC:oldV) */
334 UInt oldC = (cc_dep3 >> 1) & 1;
336 UInt cf = oldC;
382 /* (argL, argR, oldC) */
385 UInt oldC = cc_dep3;
386 vassert((oldC & ~1) == 0);
387 UInt res = argL + argR + oldC;
392 /* (argL, argR, oldC) */
395 UInt oldC = cc_dep3;
396 vassert((oldC & ~1) == 0);
397 UInt res = argL - argR - (oldC ^ 1);
409 /* (res, unused, oldC:oldV) */
416 /* (resLo32, resHi32, oldC:oldV) */
657 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
659 --> oldC ? (argL >=u argR) : (argL >u argR)
660 --> oldC ? (argR <=u argL) : (argR <u argL)
665 /* case oldC == 0 */
667 /* case oldC != 0 */
767 bits 31:1 are not allowed. In turn, incoming oldV and oldC
793 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
795 --> oldC ? (argL >=u argR) : (argL >u argR)
796 --> oldC ? (argR <=u argL) : (argR <u argL)
801 /* case oldC == 0 */
803 /* case oldC != 0 */
817 bits 31:1 are not allowed. In turn, incoming oldV and oldC
854 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
856 --> let res = argL - argR - (oldC ^ 1)
866 // argL ^ (argL - argR - (oldC ^ 1))
