Lines Matching defs:rot_amt
3414 IRTemp rot_amt = newTemp(Ity_I8);
3419 /* rot_amt = shift_expr & mask */
3426 assign(rot_amt, mkexpr(rot_amt64));
3428 assign(rot_amt, binop(Iop_And8, mkexpr(rot_amt64), mkU8(8*sz-1)));
3432 /* dst1 = (dst0 << rot_amt) | (dst0 >>u (wordsize-rot_amt)) */
3437 mkexpr(rot_amt)
3441 binop(Iop_Sub8,mkU8(8*sz), mkexpr(rot_amt))
3449 /* dst1 = (dst0 >>u rot_amt) | (dst0 << (wordsize-rot_amt)) */
3454 mkexpr(rot_amt)
3458 binop(Iop_Sub8,mkU8(8*sz), mkexpr(rot_amt))
