Lines Matching defs:mkU64
207 mkU64(ULong value)
364 mkU64(guest_IA_curr_instr)));
526 mkIRExprVec_2(mkU64((ULong)text), value));
587 op = mkU64(opc);
589 dep2 = mkU64(0);
590 ndep = mkU64(0);
601 op = mkU64(opc);
604 ndep = mkU64(0);
626 op = mkU64(opc);
649 stmt(IRStmt_Put(dep1_off, mkU64(0)));
651 op = mkU64(opc);
653 dep2 = mkU64(0);
654 ndep = mkU64(0);
673 stmt(IRStmt_Put(dep1_off, mkU64(0)));
675 op = mkU64(opc);
678 ndep = mkU64(0);
691 op = mkU64(opc);
694 ndep = mkU64(0);
707 op = mkU64(opc);
725 op = mkU64(opc);
728 ndep = mkU64(0);
741 op = mkU64(opc);
755 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET),
756 mkU64(val), mkU64(0), mkU64(0));
804 mask = mkU64(m);
805 op = mkU64(opc);
807 args = mkIRExprVec_5(mask, op, dep1, dep2, mkU64(0) /* unused */);
825 mask = mkU64(m);
1909 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :
1910 mkU64(0)));
1927 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :
1928 mkU64(0)));
2173 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :
2174 mkU64(0)));
2190 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2191 mkU64(0)));
2206 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2207 mkU64(0)));
2222 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2223 mkU64(0)));
2238 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2239 mkU64(0)));
2265 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));
2267 mkU64(0)));
2283 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));
2285 mkU64(0)));
2301 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));
2303 mkU64(0)));
2321 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));
2323 mkU64(0)));
2340 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2341 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) :
2342 mkU64(0)));
2354 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2355 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) :
2356 mkU64(0)));
2371 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2372 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) :
2373 mkU64(0)));
2388 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2389 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) :
2390 mkU64(0)));
2405 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2406 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) :
2407 mkU64(0)));
2423 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));
2425 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) :
2426 mkU64(0)));
2442 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));
2444 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) :
2445 mkU64(0)));
2461 assign(d2, mkU64(((ULong)(Long)(Char)dh2 << 12) | ((ULong)dl2)));
2463 b2 != 0 ? get_gpr_dw0(b2) : mkU64(0)), x2 != 0 ? get_gpr_dw0(x2) :
2464 mkU64(0)));
2479 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2480 mkU64(0)));
2495 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :
2496 mkU64(0)));
2512 assign(d1, mkU64(((ULong)(Long)(Char)dh1 << 12) | ((ULong)dl1)));
2514 mkU64(0)));
2530 assign(d1, mkU64(((ULong)(Long)(Char)dh1 << 12) | ((ULong)dl1)));
2532 mkU64(0)));
2548 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :
2549 mkU64(0)));
2550 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2551 mkU64(0)));
2566 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :
2567 mkU64(0)));
2582 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :
2583 mkU64(0)));
2767 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2769 mkU64((ULong)op2)));
2801 assign(result, binop(Iop_Add64, mkU64((ULong)op2), mkexpr(op3)));
2802 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_64, mktemp(Ity_I64, mkU64((ULong)
2835 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2838 mkU64((ULong)op2)));
2901 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2903 mkU64((ULong)op2)));
3128 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2)));
3130 mkU64(op2)));
3272 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2)));
3274 mkU64(op2)));
3306 assign(result, binop(Iop_Add64, mkU64(op2), mkexpr(op3)));
3307 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_64, mktemp(Ity_I64, mkU64(op2)),
3592 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL));
3595 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL));
3599 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 2ULL));
3612 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 4ULL));
3680 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1)));
3682 if_condition_goto_computed(binop(Iop_CmpNE64, get_gpr_dw0(r1), mkU64(0)),
3702 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1)));
3703 if_condition_goto_computed(binop(Iop_CmpNE64, get_gpr_dw0(r1), mkU64(0)),
3764 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 4ULL));
3773 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + 6ULL));
3836 put_gpr_dw0(r1, binop(Iop_Sub64, get_gpr_dw0(r1), mkU64(1)));
3837 if_condition_goto(binop(Iop_CmpNE64, get_gpr_dw0(r1), mkU64(0)),
4009 mkU64((ULong)op2)));
4021 assign(op2, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
4035 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
4049 assign(op2, unop(Iop_32Sto64, load(Ity_I32, mkU64(guest_IA_curr_instr +
4195 mktemp(Ity_I64, mkU64((ULong)op2))));
4244 mktemp(Ity_I64, mkU64((ULong)op2))));
4316 mkU64((ULong)op2)));
4358 mkU64((ULong)op2)));
4370 assign(op2, unop(Iop_16Sto32, load(Ity_I16, mkU64(guest_IA_curr_instr +
4384 assign(op2, unop(Iop_16Sto64, load(Ity_I16, mkU64(guest_IA_curr_instr +
4558 mkU64(op2)));
4614 mkU64(op2)));
4640 assign(op2, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
4654 assign(op2, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
4668 assign(op2, unop(Iop_32Uto64, load(Ity_I32, mkU64(guest_IA_curr_instr +
4682 assign(op2, unop(Iop_16Uto32, load(Ity_I16, mkU64(guest_IA_curr_instr +
4696 assign(op2, unop(Iop_16Uto64, load(Ity_I16, mkU64(guest_IA_curr_instr +
4840 mktemp(Ity_I64, mkU64(op2))));
4889 mktemp(Ity_I64, mkU64(op2))));
4926 mkU64(n)))));
4935 mkU64(n)))));
4944 mkU64(n)))));
4988 mkU64(n)))));
4997 mkU64(n)))));
5006 mkU64(n)))));
5050 mkU64(n)))));
5059 mkU64(n)))));
5068 mkU64(n)))));
5176 assign(result, mkU64(0));
5372 put_gpr_b5(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5377 put_gpr_b6(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5382 put_gpr_b7(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5407 put_gpr_b5(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5412 put_gpr_b6(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5417 put_gpr_b7(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5442 put_gpr_b1(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5447 put_gpr_b2(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5452 put_gpr_b3(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5570 put_gpr_dw0(r1, mkU64((ULong)(Long)(Int)i2));
5578 put_gpr_w1(r1, load(Ity_I32, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
5587 put_gpr_dw0(r1, load(Ity_I64, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)
5596 put_gpr_dw0(r1, unop(Iop_32Sto64, load(Ity_I32, mkU64(guest_IA_curr_instr +
5637 put_gpr_dw0(r1, mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)));
5993 assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2)));
5995 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong)
6010 assign(result, binop(Iop_Sub64, mkU64((ULong)op1), mkexpr(op2)));
6012 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_64, mktemp(Ity_I64, mkU64((ULong)
6069 put_gpr_dw0(r1, mkU64((ULong)(Long)(Short)i2));
6077 put_gpr_w1(r1, unop(Iop_16Sto32, load(Ity_I16, mkU64(guest_IA_curr_instr +
6086 put_gpr_dw0(r1, unop(Iop_16Sto64, load(Ity_I16, mkU64(guest_IA_curr_instr +
6127 put_gpr_dw0(r1, unop(Iop_32Uto64, load(Ity_I32, mkU64(guest_IA_curr_instr +
6208 put_gpr_w1(r1, unop(Iop_16Uto32, load(Ity_I16, mkU64(guest_IA_curr_instr +
6217 put_gpr_dw0(r1, unop(Iop_16Uto64, load(Ity_I16, mkU64(guest_IA_curr_instr +
6234 put_gpr_dw0(r1, mkU64(((ULong)i2) << 32));
6242 put_gpr_dw0(r1, mkU64(((ULong)i2) << 48));
6250 put_gpr_dw0(r1, mkU64(((ULong)i2) << 32));
6258 put_gpr_dw0(r1, mkU64(i2));
6266 put_gpr_dw0(r1, mkU64(((ULong)i2) << 16));
6274 put_gpr_dw0(r1, mkU64(i2));
6319 assign(result, mkite(binop(Iop_CmpLE64S, mkexpr(op2), mkU64(0)), mkexpr(op2),
6320 binop(Iop_Sub64, mkU64(0), mkexpr(op2))));
6334 assign(result, mkite(binop(Iop_CmpLE64S, mkexpr(op2), mkU64(0)), mkexpr(op2),
6335 binop(Iop_Sub64, mkU64(0), mkexpr(op2))));
6382 put_gpr_dw0(r1 + 1, load(Ity_I64, binop(Iop_Add64, mkexpr(op2addr), mkU64(8))
6410 assign(result, mkite(binop(Iop_CmpLT64S, mkexpr(op2), mkU64(0)),
6411 binop(Iop_Sub64, mkU64(0), mkexpr(op2)), mkexpr(op2)));
6425 assign(result, mkite(binop(Iop_CmpLT64S, mkexpr(op2), mkU64(0)),
6426 binop(Iop_Sub64, mkU64(0), mkexpr(op2)), mkexpr(op2)));
6520 put_gpr_b0(r1, unop(Iop_64to8, binop(Iop_And64, mkexpr(op2), mkU64(255))));
6522 mkU8(8)), mkU64(255))));
6524 mkU8(16)), mkU64(255))));
6526 mkU8(24)), mkU64(255))));
6528 mkU8(32)), mkU64(255))));
6530 mkU8(40)), mkU64(255))));
6532 mkU8(48)), mkU64(255))));
6534 mkU8(56)), mkU64(255))));
6558 store(mkexpr(op1addr), mkU64((ULong)(Long)(Short)i2));
7439 assign(amount, binop(Iop_And64, mkexpr(op2addr), mkU64(31)));
7443 binop(Iop_Sub64, mkU64(32), mkexpr(amount))))));
7454 assign(amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));
7458 binop(Iop_Sub64, mkU64(64), mkexpr(amount))))));
7492 ), mkU64(mask)));
7495 mkU64(maskc)), mkexpr(result)));
7531 ), mkU64(mask)));
7534 mkU64(maskc)), mkexpr(result)));
7570 ), mkU64(mask)));
7573 mkU64(maskc)), mkexpr(result)));
7610 mkU64(maskc)), binop(Iop_And64, mkexpr(op2), mkU64(mask))));
7612 put_gpr_dw0(r1, binop(Iop_And64, mkexpr(op2), mkU64(mask)));
7645 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));
7647 unop(Iop_64to8, mkexpr(shift_amount))), mkU64(~sign_mask)),
7648 binop(Iop_And64, mkexpr(op), mkU64(sign_mask))));
7667 mkexpr(op2addr), mkU64(63)))));
7686 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));
7708 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));
7730 assign(shift_amount, binop(Iop_And64, mkexpr(op2addr), mkU64(63)));
7732 unop(Iop_64to8, mkexpr(shift_amount))), mkU64(~sign_mask)),
7733 binop(Iop_And64, mkexpr(uop), mkU64(sign_mask))));
7744 binop(Iop_And64, mkexpr(op2addr), mkU64(63)))));
7753 binop(Iop_And64, mkexpr(op2addr), mkU64(63)))));
7762 binop(Iop_And64, mkexpr(op2addr), mkU64(63)))));
7778 mkexpr(op2addr), mkU64(63)))));
7797 mkexpr(op2addr), mkU64(63)))));
7812 mkexpr(op2addr), mkU64(63)))));
7827 mkexpr(op2addr), mkU64(63)))));
7842 mkexpr(op2addr), mkU64(63)))));
7856 mkexpr(op2addr), mkU64(63)))));
7868 mkexpr(op2addr), mkU64(63)))));
7880 mkexpr(op2addr), mkU64(63)))));
7912 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)),
7921 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)),
7964 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b5(r1));
7968 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b6(r1));
7972 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b7(r1));
7991 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b5(r1));
7995 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b6(r1));
7999 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b7(r1));
8018 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b1(r1));
8022 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b2(r1));
8026 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b3(r1));
8051 store(mkU64(guest_IA_curr_instr + ((ULong)(Long)(Int)i2 << 1)),
8095 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(8)), get_gpr_dw0(r1 + 1));
8104 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1));
8113 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1));
8114 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(2)), get_gpr_b5(r1));
8115 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(3)), get_gpr_b4(r1));
8124 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1));
8125 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(2)), get_gpr_b5(r1));
8126 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(3)), get_gpr_b4(r1));
8127 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(4)), get_gpr_b3(r1));
8128 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(5)), get_gpr_b2(r1));
8129 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(6)), get_gpr_b1(r1));
8130 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(7)), get_gpr_b0(r1));
8513 assign(result, binop(Iop_Sub64, mkexpr(op1), mkU64(op2)));
8515 mkU64(op2)));
8639 assign(sysno, mkU64(i));
10525 mkU64(63)))));
10541 mkU64(63)))));
10557 mkU64(63)))));
10573 mkU64(63)))));
10673 assign(len, mkU64(length));
10714 mkU64(guest_IA_curr_instr), mkexpr(addr1)));
10721 mkU64(guest_IA_curr_instr), mkexpr(addr2)));
10734 binop(Iop_Add64, mkexpr(addr1), mkU64(1))));
10746 binop(Iop_Add64, mkexpr(addr2), mkU64(1))));
10781 mkexpr(len3)), mkU64(0)));
10787 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)),
10788 mkU64(guest_IA_curr_instr), mkexpr(addr1)));
10792 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10793 mkU64(guest_IA_curr_instr), mkexpr(addr3)));
10796 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)),
10801 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10811 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)),
10813 binop(Iop_Add64, mkexpr(addr1), mkU64(1))));
10816 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)),
10817 mkU64(0), binop(Iop_Sub64, mkexpr(len1), mkU64(1))));
10820 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10822 binop(Iop_Add64, mkexpr(addr3), mkU64(1))));
10825 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10826 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1))));
10863 put_counter_dw0(mkU64(0));
10876 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
10878 put_counter_dw0(mkU64(0));
10892 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
10894 put_counter_dw0(mkU64(0));
10914 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
10916 put_counter_dw0(mkU64(0));
10949 assign(cond, binop(Iop_CmpNE64, mkexpr(torun), mkU64(last_execute_target)));
10958 mkU64(guest_IA_curr_instr)));
10959 stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_CMLEN), mkU64(4)));
10963 assign(start1, binop(Iop_Add64, mkU64(ss.dec.d1),
10964 ss.dec.b1 != 0 ? get_gpr_dw0(ss.dec.b1) : mkU64(0)));
10965 assign(start2, binop(Iop_Add64, mkU64(ss.dec.d2),
10966 ss.dec.b2 != 0 ? get_gpr_dw0(ss.dec.b2) : mkU64(0)));
10989 mkU64(guest_IA_curr_instr)));
10990 stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_CMLEN), mkU64(4)));
11045 assign(orperand, mkU64(0));
11054 mkU64(last_execute_target)));
11062 stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_CMSTART), mkU64(guest_IA_curr_instr)));
11063 stmt(IRStmt_Put(S390X_GUEST_OFFSET(guest_CMLEN), mkU64(4)));
11087 assign(addr, mkU64(guest_IA_curr_instr + offset * 2UL));
11116 put_counter_dw0(mkU64(0));
11132 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
11134 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(address), mkU64(1)));
11155 put_counter_dw0(mkU64(0));
11190 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
11191 put_gpr_dw0(r1, binop(Iop_Add64, get_gpr_dw0(r1), mkU64(1)));
11192 put_gpr_dw0(r2, binop(Iop_Add64, get_gpr_dw0(r2), mkU64(1)));
11213 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11248 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11269 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8)));
11290 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11325 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11346 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8)));
11387 put_counter_dw0(mkU64(0));
11409 binop(Iop_Add64, mkU64(d), b != 0 ? get_gpr_dw0(b) : mkU64(0)));
11415 store(binop(Iop_Add64, mkexpr(start), mkU64(i)), mkU8(0));
11430 put_counter_dw0(mkU64(0));
11467 assign(len, mkU64(length));
11526 mkU64(guest_IA_curr_instr), mkexpr(addr2)));
11534 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1)));
11541 binop(Iop_Add64, mkexpr(addr2), mkU64(1))));
11575 next_insn_if(binop(Iop_CmpEQ64,mkexpr(len1), mkU64(0)));
11581 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11582 mkU64(guest_IA_curr_instr), mkexpr(addr3)));
11585 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11590 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1)));
11592 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkU64(1)));
11595 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11597 binop(Iop_Add64, mkexpr(addr3), mkU64(1))));
11600 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11601 mkU64(0), binop(Iop_Sub64, mkexpr(len3), mkU64(1))));
11604 iterate_if(binop(Iop_CmpNE64, mkexpr(len1), mkU64(1)));
11626 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
11632 put_counter_dw0(mkU64(0));
11811 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11846 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
12044 mkU64(0))));
12773 mkU64(1ULL << 63)));
12775 mkU64((1ULL << 63) - 1)));
12863 assign(not_zero, binop(Iop_Or64, mkexpr(input), mkU64(1)));
12867 assign(num, mkite(binop(Iop_CmpEQ64, mkexpr(input), mkU64(0)),
12868 /* == 0 */ mkU64(64),
12883 mkU64(1))));
12886 mkite(binop(Iop_CmpLE64U, mkexpr(input), mkU64(1)),
12887 /* == 0 || == 1*/ mkU64(0),
12896 mktemp(Ity_I64, mkU64(0)), False);
12914 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET),
12915 mkexpr(cc), mkU64(0), mkU64(0));
12934 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET),
12935 mkexpr(cc), mkU64(0), mkU64(0));
12953 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET),
12954 mkexpr(cc), mkU64(0), mkU64(0));
12988 s390_cc_thunk_fill(mkU64(S390_CC_OP_SET), mkexpr(cc), mkU64(0), mkU64(0));
13014 next_insn_if(binop(Iop_CmpEQ64, mkexpr(len), mkU64(0)));
13018 assign(inc, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)),
13019 mkexpr(len), mkU64(4)));
13026 assign(mask, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)),
13035 mkexpr(len), mkU64(3))),
13052 iterate_if(binop(Iop_CmpNE64, mkexpr(len), mkU64(0)));
13079 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13095 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1)));
13096 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(1)));
13097 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(1)));
13126 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13143 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(2)));
13144 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1)));
13145 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(2)));
13174 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13190 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(1)));
13191 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(2)));
13192 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(1)));
13221 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13238 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(2)));
13239 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(2)));
13240 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(2)));
13252 assign(len, mkU64(length));
13278 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13292 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(src_addr), mkU64(1)));
13293 put_gpr_dw0(r1+1, binop(Iop_Sub64, mkexpr(src_len), mkU64(1)));
13331 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(2)));
13349 mkite(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)), mkU32(1), mkU32(0));
13358 IRExpr *low_surrogate_addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13374 binop(Iop_And64, mkexpr(retval), mkU64(0xff));
13377 next_insn_if(binop(Iop_CmpEQ64, invalid_low_surrogate, mkU64(1)));
13384 mkU64(0xff)));
13403 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13414 mkU64(4), mkU64(2)));
13458 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(2)));
13476 mkite(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)), mkU32(1), mkU32(0));
13486 IRExpr *low_surrogate_addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13502 binop(Iop_And64, mkexpr(retval), mkU64(0xff));
13505 next_insn_if(binop(Iop_CmpEQ64, invalid_low_surrogate, mkU64(1)));
13510 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len1), mkU64(4)));
13521 mkU64(4), mkU64(2)));
13526 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(4)));
13527 put_gpr_dw0(r1 + 1, binop(Iop_Sub64, mkexpr(len1), mkU64(4)));
13565 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)));
13577 IRExpr *invalid_character = binop(Iop_And64, mkexpr(retval), mkU64(0xff));
13580 next_insn_if(binop(Iop_CmpEQ64, invalid_character, mkU64(1)));
13586 mkU64(0xff)));
13608 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13616 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkU64(4)));
13617 put_gpr_dw0(r2 + 1, binop(Iop_Sub64, mkexpr(len2), mkU64(4)));
13659 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)));
13671 IRExpr *invalid_character = binop(Iop_And64, mkexpr(retval), mkU64(0xff));
13674 next_insn_if(binop(Iop_CmpEQ64, invalid_character, mkU64(1)));
13680 mkU64(0xff)));
13699 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13707 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkU64(4)));
13708 put_gpr_dw0(r2 + 1, binop(Iop_Sub64, mkexpr(len2), mkU64(4)));
13782 next_insn_if(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(1)));
13791 mkU64(extended_checking)));
13809 cond = binop(Iop_CmpLE64U, mkU64(2), mkexpr(num_src_bytes));
13810 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(1));
13811 byte2 = mkite(cond, unop(Iop_8Uto64, load(Ity_I8, addr)), mkU64(0));
13812 cond = binop(Iop_CmpLE64U, mkU64(3), mkexpr(num_src_bytes));
13813 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13814 byte3 = mkite(cond, unop(Iop_8Uto64, load(Ity_I8, addr)), mkU64(0));
13815 cond = binop(Iop_CmpLE64U, mkU64(4), mkexpr(num_src_bytes));
13816 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(3));
13817 byte4 = mkite(cond, unop(Iop_8Uto64, load(Ity_I8, addr)), mkU64(0));
13824 mkU64(extended_checking));
13844 mkU64(0xff)));
13867 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
16458 mkU64(guest_IA_curr_instr)));
16460 mkU64(guest_IA_next_instr - guest_IA_curr_instr)));