dmulu
res.s.low = dmulu(aa.s.low, bb.s.low);
res.s.high += dmulu(aa.s.high, bb.s.low);
res.s.high += dmulu(aa.s.low, bb.s.high);
emit(ctx, dmulu, dst, dst, src);