Lines Matching refs:shift_amt
3727 IRTemp shift_amt = newTemp(Ity_I8);
3753 /* shift_amt = shift_expr & MASK, regardless of operation size */
3754 assign( shift_amt, binop(Iop_And8, shift_expr, mkU8(mask)) );
3760 /* res64 = pre64 `shift` shift_amt */
3761 assign( res64, binop(op64, mkexpr(pre64), mkexpr(shift_amt)) );
3763 /* res64ss = pre64 `shift` ((shift_amt - 1) & MASK) */
3769 mkexpr(shift_amt), mkU8(1)),
3773 setFlags_DEP1_DEP2_shift(op64, res64, res64ss, ty, shift_amt);
7898 IRExpr* shift_amt,
7903 /* shift_amt :: Ity_I8 is the amount to shift. shift_amt_txt is used
7962 assign( tmpSH, binop(Iop_And8, shift_amt, mkU8(mask)) );