sem [ fadds fsubs fmuls fdivs ] { F4(rd, op(F4(rs1),F4(rs2))); schedule(fpu); } where op in [ + - * / ];