sem [ udiv sdiv ] { val ccr = 0x00; val xx = ((Y?ext(64)<<32) | R4(rs1)?ext(64)); if(i) xx = _div(xx,simm13?sext(32)?ext(64),ccr); else xx = _div(xx,R4(rs2)?ext(64),ccr); Rx(rd,xx); } where _div in [u_div32 s_div32];