Home | History | Annotate | Download | only in priv

Lines Matching defs:rot_amt

2494       IRTemp rot_amt   = newTemp(Ity_I8);
2498 /* rot_amt = shift_expr & mask */
2505 assign(rot_amt, mkexpr(rot_amt32));
2507 assign(rot_amt, binop(Iop_And8, mkexpr(rot_amt32), mkU8(8*sz-1)));
2511 /* dst1 = (dst0 << rot_amt) | (dst0 >>u (wordsize-rot_amt)) */
2516 mkexpr(rot_amt)
2520 binop(Iop_Sub8,mkU8(8*sz), mkexpr(rot_amt))
2528 /* dst1 = (dst0 >>u rot_amt) | (dst0 << (wordsize-rot_amt)) */
2533 mkexpr(rot_amt)
2537 binop(Iop_Sub8,mkU8(8*sz), mkexpr(rot_amt))