Lines Matching refs:len3
8678 IRTemp addr1, addr3, addr1_load, addr3_load, len1, len3, single1, single3;
8685 len3 = newTemp(Ity_I64);
8692 assign(len3, get_gpr_dw0(r3 + 1));
8694 /* len1 == 0 and len3 == 0? Exit */
8697 mkexpr(len3)), mkU64(0)),
8709 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
8718 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
8738 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
8743 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
8744 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1))));
8747 amount of bytes. We do that if len1+len3 % 4096 == 0 */
8751 binop(Iop_Add64, mkexpr(len1), mkexpr(len3)),
9482 IRTemp addr1, addr3, addr3_load, len1, len3, single;
9488 len3 = newTemp(Ity_I64);
9494 assign(len3, get_gpr_dw0(r3 + 1));
9497 s390_cc_thunk_put2(S390_CC_OP_UNSIGNED_COMPARE, len1, len3, False);
9505 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
9509 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
9519 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
9524 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
9525 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1))));
9537 s390_cc_thunk_put2(S390_CC_OP_UNSIGNED_COMPARE, len1, len3, False);
