t1 4813 src/dps8/dps8_ins.c int64_t t1 = SIGNEXT36_64 (cpu.CY & DMASK); t1 4815 src/dps8/dps8_ins.c __int128_t prod = (__int128_t) t0 * (__int128_t) t1;