Home | History | Annotate | Download | only in priv

Lines Matching defs:len3

10762    IRTemp addr1, addr3, addr1_load, addr3_load, len1, len3, single1, single3;
10769 len3 = newTemp(Ity_I64);
10776 assign(len3, get_gpr_dw0(r3 + 1));
10778 /* len1 == 0 and len3 == 0? Exit */
10781 mkexpr(len3)), mkU64(0)));
10792 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10801 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10820 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10825 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10826 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1))));
11559 IRTemp addr1, addr3, addr3_load, len1, len3, single;
11565 len3 = newTemp(Ity_I64);
11571 assign(len3, get_gpr_dw0(r3 + 1));
11574 s390_cc_thunk_put2(S390_CC_OP_UNSIGNED_COMPARE, len1, len3, False);
11581 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11585 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11595 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11600 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11601 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1))));
11603 s390_cc_thunk_put2(S390_CC_OP_UNSIGNED_COMPARE, len1, len3, False);