Lines Matching defs:x4
118 { const u32 x4 = in1[1];
121 { u32 x23; u8/*bool*/ x24 = subborrow_u25(x21, x4, 0x1ffffff, &x23);
353 { u64 x59 = (x48 + (x58 << 0x4));
356 { u64 x62 = (x47 + (x57 << 0x4));
359 { u64 x65 = (x46 + (x56 << 0x4));
362 { u64 x68 = (x45 + (x55 << 0x4));
365 { u64 x71 = (x44 + (x54 << 0x4));
368 { u64 x74 = (x43 + (x53 << 0x4));
371 { u64 x77 = (x42 + (x52 << 0x4));
374 { u64 x80 = (x41 + (x51 << 0x4));
377 { u64 x83 = (x40 + (x50 << 0x4));
454 { const u32 x4 = in1[1];
457 { u64 x20 = ((u64)(0x2 * x2) * x4);
458 { u64 x21 = (0x2 * (((u64)x4 * x4) + ((u64)x2 * x6)));
459 { u64 x22 = (0x2 * (((u64)x4 * x6) + ((u64)x2 * x8)));
460 { u64 x23 = ((((u64)x6 * x6) + ((u64)(0x4 * x4) * x8)) + ((u64)(0x2 * x2) * x10));
461 { u64 x24 = (0x2 * ((((u64)x6 * x8) + ((u64)x4 * x10)) + ((u64)x2 * x12)));
462 { u64 x25 = (0x2 * (((((u64)x8 * x8) + ((u64)x6 * x10)) + ((u64)x2 * x14)) + ((u64)(0x2 * x4) * x12)));
463 { u64 x26 = (0x2 * (((((u64)x8 * x10) + ((u64)x6 * x12)) + ((u64)x4 * x14)) + ((u64)x2 * x16)));
464 { u64 x27 = (((u64)x10 * x10) + (0x2 * ((((u64)x6 * x14) + ((u64)x2 * x18)) + (0x2 * (((u64)x4 * x16) + ((u64)x8 * x12))))));
465 { u64 x28 = (0x2 * ((((((u64)x10 * x12) + ((u64)x8 * x14)) + ((u64)x6 * x16)) + ((u64)x4 * x18)) + ((u64)x2 * x17)));
466 { u64 x29 = (0x2 * (((((u64)x12 * x12) + ((u64)x10 * x14)) + ((u64)x6 * x18)) + (0x2 * (((u64)x8 * x16) + ((u64)x4 * x17)))));
472 { u64 x35 = (((u64)x18 * x18) + ((u64)(0x4 * x16) * x17));
475 { u64 x38 = (x27 + (x37 << 0x4));
478 { u64 x41 = (x26 + (x36 << 0x4));
481 { u64 x44 = (x25 + (x35 << 0x4));
484 { u64 x47 = (x24 + (x34 << 0x4));
487 { u64 x50 = (x23 + (x33 << 0x4));
490 { u64 x53 = (x22 + (x32 << 0x4));
493 { u64 x56 = (x21 + (x31 << 0x4));
496 { u64 x59 = (x20 + (x30 << 0x4));
499 { u64 x62 = (x19 + (x29 << 0x4));
676 { u64 x59 = (x48 + (x58 << 0x4));
679 { u64 x62 = (x47 + (x57 << 0x4));
682 { u64 x65 = (x46 + (x56 << 0x4));
685 { u64 x68 = (x45 + (x55 << 0x4));
688 { u64 x71 = (x44 + (x54 << 0x4));
691 { u64 x74 = (x43 + (x53 << 0x4));
694 { u64 x77 = (x42 + (x52 << 0x4));
697 { u64 x80 = (x41 + (x51 << 0x4));
700 { u64 x83 = (x40 + (x50 << 0x4));