fun u_div32(x1,x2,var ccr : cc) { val xx = x1 / x2?ext(64); if(xx > 1?ext(64)<<32) { xx = 0xffffffff?ext(64); ccr = (ccr?bits(8) | 0x02)?cvt(cc); } return xx; }