Lines Matching defs:oldC

142          /* (argL, argR, oldC) */
145 UInt oldC = cc_dep3;
146 vassert((oldC & ~1) == 0);
147 UInt res = argL + argR + oldC;
152 /* (argL, argR, oldC) */
155 UInt oldC = cc_dep3;
156 vassert((oldC & ~1) == 0);
157 UInt res = argL - argR - (oldC ^ 1);
168 /* (res, unused, oldC:oldV) */
174 /* (resLo32, resHi32, oldC:oldV) */
222 /* (argL, argR, oldC) */
225 UInt oldC = cc_dep3;
226 vassert((oldC & ~1) == 0);
227 UInt res = argL + argR + oldC;
232 /* (argL, argR, oldC) */
235 UInt oldC = cc_dep3;
236 vassert((oldC & ~1) == 0);
237 UInt res = argL - argR - (oldC ^ 1);
248 /* (res, unused, oldC:oldV) */
254 /* (resLo32, resHi32, oldC:oldV) */
302 /* (argL, argR, oldC) */
305 UInt oldC = cc_dep3;
306 vassert((oldC & ~1) == 0);
307 UInt res = argL + argR + oldC;
308 UInt cf = oldC ? (res <= argL) : (res < argL);
312 /* (argL, argR, oldC) */
315 UInt oldC = cc_dep3;
316 vassert((oldC & ~1) == 0);
317 UInt cf = oldC ? (argL >= argR) : (argL > argR);
328 /* (res, unused, oldC:oldV) */
329 UInt oldC = (cc_dep3 >> 1) & 1;
331 UInt cf = oldC;
335 /* (resLo32, resHi32, oldC:oldV) */
336 UInt oldC = (cc_dep3 >> 1) & 1;
338 UInt cf = oldC;
384 /* (argL, argR, oldC) */
387 UInt oldC = cc_dep3;
388 vassert((oldC & ~1) == 0);
389 UInt res = argL + argR + oldC;
394 /* (argL, argR, oldC) */
397 UInt oldC = cc_dep3;
398 vassert((oldC & ~1) == 0);
399 UInt res = argL - argR - (oldC ^ 1);
411 /* (res, unused, oldC:oldV) */
418 /* (resLo32, resHi32, oldC:oldV) */
917 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
919 --> oldC ? (argL >=u argR) : (argL >u argR)
920 --> oldC ? (argR <=u argL) : (argR <u argL)
925 /* case oldC != 0 */
927 /* case oldC == 0 */
1077 bits 31:1 are not allowed. In turn, incoming oldV and oldC
1103 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
1105 --> oldC ? (argL >=u argR) : (argL >u argR)
1106 --> oldC ? (argR <=u argL) : (argR <u argL)
1111 /* case oldC != 0 */
1113 /* case oldC == 0 */
1127 bits 31:1 are not allowed. In turn, incoming oldV and oldC
1164 /* thunk is: (dep1=argL, dep2=argR, ndep=oldC) */
1166 --> let res = argL - argR - (oldC ^ 1)
1176 // argL ^ (argL - argR - (oldC ^ 1))