Lines Matching full:num_bytes
13420 IRTemp num_bytes = newTemp(Ity_I64);
13421 assign(num_bytes, binop(Iop_And64,
13425 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len1), mkexpr(num_bytes)));
13432 are guarded (num_bytes == 1, num_bytes == 2, etc) such that only
13441 mkexpr(num_bytes)));
13442 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13458 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
13459 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkexpr(num_bytes)));
13622 IRTemp num_bytes = newTemp(Ity_I64);
13623 assign(num_bytes, binop(Iop_And64,
13627 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len1), mkexpr(num_bytes)));
13634 are guarded (num_bytes == 2 and num_bytes == 4, respectively) such
13646 mkexpr(num_bytes)));
13647 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13659 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
13660 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkexpr(num_bytes)));
13716 IRTemp num_bytes = newTemp(Ity_I64);
13717 assign(num_bytes, binop(Iop_And64,
13721 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len1), mkexpr(num_bytes)));
13728 are guarded (num_bytes == 1, num_bytes == 2, etc) such that only
13737 mkexpr(num_bytes)));
13738 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13750 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
13751 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkexpr(num_bytes)));
13880 IRTemp num_bytes = newTemp(Ity_I64);
13881 assign(num_bytes, binop(Iop_And64,
13885 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len1), mkexpr(num_bytes)));
13893 are guarded (num_bytes == 2 and num_bytes == 4, respectively) such
13905 mkexpr(num_bytes)));
13906 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13922 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
13923 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkexpr(num_bytes)));
