w.s.high += ((USItype) uu.s.low * (USItype) vv.s.high + (USItype) uu.s.high * (USItype) vv.s.low); 
w.s.high += ((u32) uu.s.low * (u32) vv.s.high + (u32) uu.s.high * (u32) vv.s.low); 
__muldi3 (DItype u, DItype v){  DIunion w;  DIunion uu, vv;  uu.ll = u,  vv.ll = v;  w.ll = __umulsidi3 (uu.s.low, vv.s.low);  w.s.high += ((USItype) uu.s.low * (USItype) vv.s.high               + (USItype) uu.s.high * (USItype) vv.s.low);  return w.ll;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f29481c0e7e55efc25598c1a6c503015cfe45245/muldi3.c/clean/arch/arm/lib/muldi3.c