Lines Matching defs:oldC
141 /* (argL, argR, oldC) */
144 UInt oldC = cc_dep3;
145 vassert((oldC & ~1) == 0);
146 UInt res = argL + argR + oldC;
151 /* (argL, argR, oldC) */
154 UInt oldC = cc_dep3;
155 vassert((oldC & ~1) == 0);
156 UInt res = argL - argR - (oldC ^ 1);
167 /* (res, unused, oldC:oldV) */
173 /* (resLo32, resHi32, oldC:oldV) */
221 /* (argL, argR, oldC) */
224 UInt oldC = cc_dep3;
225 vassert((oldC & ~1) == 0);
226 UInt res = argL + argR + oldC;
231 /* (argL, argR, oldC) */
234 UInt oldC = cc_dep3;
235 vassert((oldC & ~1) == 0);
236 UInt res = argL - argR - (oldC ^ 1);
247 /* (res, unused, oldC:oldV) */
253 /* (resLo32, resHi32, oldC:oldV) */
301 /* (argL, argR, oldC) */
304 UInt oldC = cc_dep3;
305 vassert((oldC & ~1) == 0);
306 UInt res = argL + argR + oldC;
307 UInt cf = oldC ? (res <= argL) : (res < argL);
311 /* (argL, argR, oldC) */
314 UInt oldC = cc_dep3;
315 vassert((oldC & ~1) == 0);
316 UInt cf = oldC ? (argL >= argR) : (argL > argR);
327 /* (res, unused, oldC:oldV) */
328 UInt oldC = (cc_dep3 >> 1) & 1;
330 UInt cf = oldC;
334 /* (resLo32, resHi32, oldC:oldV) */
335 UInt oldC = (cc_dep3 >> 1) & 1;
337 UInt cf = oldC;
383 /* (argL, argR, oldC) */
386 UInt oldC = cc_dep3;
387 vassert((oldC & ~1) == 0);
388 UInt res = argL + argR + oldC;
393 /* (argL, argR, oldC) */
396 UInt oldC = cc_dep3;
397 vassert((oldC & ~1) == 0);
398 UInt res = argL - argR - (oldC ^ 1);
410 /* (res, unused, oldC:oldV) */
417 /* (resLo32, resHi32, oldC:oldV) */
658 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
660 --> oldC ? (argL >=u argR) : (argL >u argR)
661 --> oldC ? (argR <=u argL) : (argR <u argL)
666 /* case oldC != 0 */
668 /* case oldC == 0 */
768 bits 31:1 are not allowed. In turn, incoming oldV and oldC
794 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
796 --> oldC ? (argL >=u argR) : (argL >u argR)
797 --> oldC ? (argR <=u argL) : (argR <u argL)
802 /* case oldC != 0 */
804 /* case oldC == 0 */
818 bits 31:1 are not allowed. In turn, incoming oldV and oldC
855 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
857 --> let res = argL - argR - (oldC ^ 1)
867 // argL ^ (argL - argR - (oldC ^ 1))
