Lines Matching defs:x1
193 uint32_t x0, x1, x2;
226 FPU_ADDCS(x1, x1, x1); FPU_ADDC(x0, x0, x0); \
230 x0 = (x0 << 1) | (x1 >> 31); x1 = (x1 << 1) | (x2 >> 31); \
242 x1 = x->fp_mant[1];
299 FPU_SUBS(d1, x1, t1);
302 x0 = d0, x1 = d1; /* x -= t */
310 FPU_SUBS(d1, x1, t1);
313 x0 = d0, x1 = d1;
331 FPU_SUBCS(d1, x1, t1);
334 x0 = d0, x1 = d1, x2 = d2;
343 FPU_SUBCS(d1, x1, t1);
346 x0 = d0, x1 = d1, x2 = d2;
359 x->fp_sticky = x0 | x1 | x2;
Indexes created Sun Oct 12 05:10:08 GMT 2025