Lines Matching refs:mkU32
200 mkU32(UInt value)
488 emulation_failure_with_expr(mkU32(fail_kind));
505 emulation_warning_with_expr(mkU32(warn_kind));
1539 assign(fpc_bits, binop(Iop_And32, get_fpc_w0(), mkU32(7)));
1551 IRExpr *rm_s390 = mkite(binop(Iop_CmpLE32S, mkexpr(fpc_bits), mkU32(3)),
1553 mkU32(S390_FPC_BFP_ROUND_NEAREST_EVEN));
1556 return binop(Iop_And32, binop(Iop_Sub32, mkU32(4), rm_s390), mkU32(3));
1575 case S390_BFP_ROUND_NEAREST_EVEN: rm = mkU32(Irrm_NEAREST); break;
1576 case S390_BFP_ROUND_ZERO: rm = mkU32(Irrm_ZERO); break;
1577 case S390_BFP_ROUND_POSINF: rm = mkU32(Irrm_PosINF); break;
1578 case S390_BFP_ROUND_NEGINF: rm = mkU32(Irrm_NegINF); break;
1610 binop(Iop_And32, get_fpc_w0(), mkU32(0x70)),
1619 mkU32(2)));
1635 rm = mkU32(Irrm_NEAREST); break;
1638 rm = mkU32(Irrm_NEAREST_TIE_AWAY_0); break;
1641 rm = mkU32(Irrm_PREPARE_SHORTER); break;
1644 rm = mkU32(Irrm_ZERO ); break;
1647 rm = mkU32(Irrm_PosINF); break;
1650 rm = mkU32(Irrm_NegINF); break;
1652 rm = mkU32(Irrm_NEAREST_TIE_TOWARD_0); break;
1654 rm = mkU32(Irrm_AWAY_FROM_ZERO); break;
1696 assign(b0, binop(Iop_And32, mkexpr(vex_cc), mkU32(1)));
1698 mkU32(1)));
1700 mkU32(1)));
1705 binop(Iop_Sub32, mkU32(1), mkexpr(b0)), /* ~b0 */
1706 binop(Iop_Sub32, mkU32(1), mkexpr(b6)) /* ~b6 */
2319 next_insn_if(binop(Iop_CmpEQ32, s390_call_calculate_cond(m3), mkU32(0)));
2750 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2752 mkU32((UInt)op2)));
2784 assign(result, binop(Iop_Add32, mkU32((UInt)op2), mkexpr(op3)));
2785 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, mktemp(Ity_I32, mkU32((UInt)
2818 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2821 mkU32((UInt)op2)));
2884 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2886 mkU32((UInt)op2)));
2950 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2952 mkU32((UInt)op2)));
3111 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
3113 mkU32(op2)));
3255 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
3257 mkU32(op2)));
3289 assign(result, binop(Iop_Add32, mkU32(op2), mkexpr(op3)));
3290 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_32, mktemp(Ity_I32, mkU32(op2)),
3323 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
3325 mkU32(op2)));
3340 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
3499 assign(result, binop(Iop_And32, mkexpr(op1), mkU32(op2)));
3547 assign(result, binop(Iop_And32, mkexpr(op1), mkU32(op2)));
3634 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3655 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3668 put_gpr_w1(r1, binop(Iop_Sub32, get_gpr_w1(r1), mkU32(1)));
3670 if_condition_goto_computed(binop(Iop_CmpNE32, get_gpr_w1(r1), mkU32(0)),
3692 put_gpr_w1(r1, binop(Iop_Sub32, get_gpr_w1(r1), mkU32(1)));
3693 if_condition_goto_computed(binop(Iop_CmpNE32, get_gpr_w1(r1), mkU32(0)),
3791 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3813 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3826 put_gpr_w1(r1, binop(Iop_Sub32, get_gpr_w1(r1), mkU32(1)));
3827 if_condition_goto(binop(Iop_CmpNE32, get_gpr_w1(r1), mkU32(0)),
3995 mkU32((UInt)op2)));
4073 mkU32(0)), mkexpr(op4addr));
4097 mkU32(0)), mkexpr(op4addr));
4121 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4147 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4171 mktemp(Ity_I32, mkU32((UInt)op2))));
4172 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4196 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4219 mktemp(Ity_I32, mkU32((UInt)op2))));
4220 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4245 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4302 mkU32((UInt)op2)));
4344 mkU32((UInt)op2)));
4439 mkU32((UInt)op2)));
4544 mkU32(op2)));
4600 mkU32(op2)));
4719 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4743 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4767 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4792 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4816 mktemp(Ity_I32, mkU32(op2))));
4817 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4841 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4864 mktemp(Ity_I32, mkU32(op2))));
4865 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4890 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4920 assign(b0, mkU32(0));
4921 assign(c0, mkU32(0));
4929 assign(b1, mkU32(0));
4930 assign(c1, mkU32(0));
4938 assign(b2, mkU32(0));
4939 assign(c2, mkU32(0));
4947 assign(b3, mkU32(0));
4948 assign(c3, mkU32(0));
4982 assign(b0, mkU32(0));
4983 assign(c0, mkU32(0));
4991 assign(b1, mkU32(0));
4992 assign(c1, mkU32(0));
5000 assign(b2, mkU32(0));
5001 assign(c2, mkU32(0));
5009 assign(b3, mkU32(0));
5010 assign(c3, mkU32(0));
5044 assign(b0, mkU32(0));
5045 assign(c0, mkU32(0));
5053 assign(b1, mkU32(0));
5054 assign(c1, mkU32(0));
5062 assign(b2, mkU32(0));
5063 assign(c2, mkU32(0));
5071 assign(b3, mkU32(0));
5072 assign(c3, mkU32(0));
5133 mkU32(op2)));
5156 assign(result, mkU32(0));
5309 assign(result, binop(Iop_Xor32, mkexpr(op1), mkU32(op2)));
5325 assign(result, binop(Iop_Xor32, mkexpr(op1), mkU32(op2)));
5388 mkU32(mask)));
5423 mkU32(mask)));
5458 mkU32(mask)));
5466 put_gpr_w0(r1, mkU32(i2));
5490 put_gpr_w1(r1, mkU32(i2));
5976 assign(result, binop(Iop_Sub32, mkU32((UInt)op1), mkexpr(op2)));
5978 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_32, mktemp(Ity_I32, mkU32((UInt)
6061 put_gpr_w1(r1, mkU32((UInt)(Int)(Short)i2));
6283 mkU32(2147483647))));
6292 mkexpr(op2addr)), mkU32(2147483647))));
6304 assign(result, mkite(binop(Iop_CmpLE32S, mkexpr(op2), mkU32(0)), mkexpr(op2),
6305 binop(Iop_Sub32, mkU32(0), mkexpr(op2))));
6345 next_insn_if(binop(Iop_CmpEQ32, s390_call_calculate_cond(m3), mkU32(0)));
6354 next_insn_if(binop(Iop_CmpEQ32, s390_call_calculate_cond(m3), mkU32(0)));
6395 assign(result, mkite(binop(Iop_CmpLT32S, mkexpr(op2), mkU32(0)),
6396 binop(Iop_Sub32, mkU32(0), mkexpr(op2)), mkexpr(op2)));
6503 put_gpr_b4(r1, unop(Iop_32to8, binop(Iop_And32, mkexpr(op2), mkU32(255))));
6505 mkU8(8)), mkU32(255))));
6507 mkU8(16)), mkU32(255))));
6509 mkU8(24)), mkU32(255))));
6550 store(mkexpr(op1addr), mkU32((UInt)(Int)(Short)i2));
6871 assign(result, binop(Iop_MullS32, mkexpr(op1), mkU32((UInt)op2)));
6886 assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_32Sto64, mkU32((UInt)
7046 assign(result, binop(Iop_Or32, mkexpr(op1), mkU32(op2)));
7094 assign(result, binop(Iop_Or32, mkexpr(op1), mkU32(op2)));
7156 assign(rm_bits, binop(Iop_And32, get_gpr_w1(0), mkU32(0xf)));
7158 irrm = mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0x1)),
7160 mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0x8)),
7162 mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0x9)),
7164 mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0xa)),
7166 mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0xb)),
7168 mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0xc)),
7171 mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0xd)),
7174 mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0xe)),
7177 mkite(binop(Iop_CmpEQ32, s390rm, mkU32(0xf)),
7255 mkU32(0x7fffff)));
7258 mkU32(0x1)));
7269 put_gpr_w1(1, mkU32(0x0));
7270 next_insn_if(binop(Iop_CmpEQ32, mkexpr(test_bit), mkU32(0x1)));
7278 binop(Iop_CmpNE32, mkexpr(ef), mkU32(EmNote_NONE)),
7289 put_gpr_w1(1, mkU32(0x0));
7291 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F32_TO_D32)));
7297 put_gpr_w1(1, mkU32(0x0));
7299 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F32_TO_D64)));
7305 put_gpr_w1(1, mkU32(0x0));
7307 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F32_TO_D128)));
7313 put_gpr_w1(1, mkU32(0x0));
7315 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F64_TO_D32)));
7321 put_gpr_w1(1, mkU32(0x0));
7323 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F64_TO_D64)));
7329 put_gpr_w1(1, mkU32(0x0));
7331 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F64_TO_D128)));
7337 put_gpr_w1(1, mkU32(0x0));
7339 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F128_TO_D32)));
7345 put_gpr_w1(1, mkU32(0x0));
7347 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F128_TO_D64)));
7353 put_gpr_w1(1, mkU32(0x0));
7355 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_F128_TO_D128)));
7361 put_gpr_w1(1, mkU32(0x0));
7363 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D32_TO_F32)));
7369 put_gpr_w1(1, mkU32(0x0));
7371 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D32_TO_F64)));
7377 put_gpr_w1(1, mkU32(0x0));
7379 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D32_TO_F128)));
7385 put_gpr_w1(1, mkU32(0x0));
7387 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D64_TO_F32)));
7393 put_gpr_w1(1, mkU32(0x0));
7395 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D64_TO_F64)));
7401 put_gpr_w1(1, mkU32(0x0));
7403 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D64_TO_F128)));
7409 put_gpr_w1(1, mkU32(0x0));
7411 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D128_TO_F32)));
7417 put_gpr_w1(1, mkU32(0x0));
7419 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D128_TO_F64)));
7425 put_gpr_w1(1, mkU32(0x0));
7427 next_insn_if(binop(Iop_CmpEQ32, mkexpr(fn), mkU32(S390_PFPO_D128_TO_F128)));
7688 unop(Iop_64to8, mkexpr(shift_amount))), mkU32(~sign_mask)),
7689 binop(Iop_And32, mkexpr(uop), mkU32(sign_mask))));
7710 unop(Iop_64to8, mkexpr(shift_amount))), mkU32(~sign_mask)),
7711 binop(Iop_And32, mkexpr(uop), mkU32(sign_mask))));
8496 assign(result, binop(Iop_Sub32, mkexpr(op1), mkU32(op2)));
8498 mkU32(op2)));
8563 assign(borrow_in, binop(Iop_Sub32, mkU32(1), binop(Iop_Shr32,
8583 assign(borrow_in, unop(Iop_32Uto64, binop(Iop_Sub32, mkU32(1),
8603 assign(borrow_in, binop(Iop_Sub32, mkU32(1), binop(Iop_Shr32,
8623 assign(borrow_in, unop(Iop_32Uto64, binop(Iop_Sub32, mkU32(1),
8839 binop(Iop_And32, get_fpc_w0(), mkU32(~fpc_mask)),
8841 mkU32(input_mask))));
8854 binop(Iop_And32, get_fpc_w0(), mkU32(~fpc_mask)),
8856 mkU32(input_mask))));
8889 put_fpc_w0(binop(Iop_Or32, binop(Iop_And32, get_fpc_w0(), mkU32(~fpc_mask)),
8892 mkU32(input_mask)), mkU8(4))));
10696 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
10699 assign(len2, binop(Iop_And32, mkexpr(r2p1), mkU32(0x00ffffff)));
10705 mkexpr(len2)), mkU32(0)));
10713 mkite(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)),
10716 mkite(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)),
10720 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
10723 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
10732 mkite(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)),
10738 mkite(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)),
10739 binop(Iop_And32, mkexpr(r1p1), mkU32(0xFF000000u)),
10740 binop(Iop_Sub32, mkexpr(r1p1), mkU32(1))));
10744 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
10750 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
10751 binop(Iop_And32, mkexpr(r2p1), mkU32(0xFF000000u)),
10752 binop(Iop_Sub32, mkexpr(r2p1), mkU32(1))));
11096 put_gpr_b4(r1, unop(Iop_32to8, binop(Iop_Or32, mkU32(0 /* program mask */),
11383 put_counter_w0(binop(Iop_Add32, mkexpr(counter), mkU32(1)));
11395 assign(len, mkU32(length));
11426 put_counter_w0(binop(Iop_Add32, mkexpr(counter), mkU32(1)));
11427 iterate_if(binop(Iop_CmpNE32, mkexpr(counter), mkU32(length)));
11433 s390_cc_thunk_put1(S390_CC_OP_BITWISE, mktemp(Ity_I32, mkU32(0)), False);
11444 assign(len, mkU32(length));
11455 assign(len, mkU32(length));
11488 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
11491 assign(len2, binop(Iop_And32, mkexpr(r2p1), mkU32(0x00ffffff)));
11496 next_insn_if(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)));
11520 mkU32(1)));
11525 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
11528 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
11535 put_gpr_w1(r1 + 1, binop(Iop_Sub32, mkexpr(r1p1), mkU32(1)));
11539 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
11545 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
11546 binop(Iop_And32, mkexpr(r2p1), mkU32(0xFF000000u)),
11547 binop(Iop_Sub32, mkexpr(r2p1), mkU32(1))));
11550 iterate_if(binop(Iop_CmpNE32, mkexpr(len1), mkU32(1)));
11896 assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));
11944 assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));
11984 mkU32(0))));
11990 assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));
12050 assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));
13068 binop(Iop_Shl32, mkU32(0xffffffff),
13070 binop(Iop_Sub32, mkU32(32),
13076 mkU32(0xffffffff)));
13084 binop(Iop_Add32, mkexpr(result), mkU32(1)),
13379 IRExpr *flag1 = mkite(binop(Iop_CmpLE32U, mkU32(0xd800), mkexpr(srcval)),
13380 mkU32(1), mkU32(0));
13381 IRExpr *flag2 = mkite(binop(Iop_CmpLE32U, mkexpr(srcval), mkU32(0xdbff)),
13382 mkU32(1), mkU32(0));
13388 mkite(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)), mkU32(1), mkU32(0));
13392 not_enough_bytes), mkU32(1)));
13400 mkite(binop(Iop_CmpEQ32, mkexpr(is_high_surrogate), mkU32(1)),
13402 mkU32(0))); // any value is fine; it will not be used
13452 mkite(binop(Iop_CmpEQ32, mkexpr(is_high_surrogate), mkU32(1)),
13506 IRExpr *flag1 = mkite(binop(Iop_CmpLE32U, mkU32(0xd800), mkexpr(srcval)),
13507 mkU32(1), mkU32(0));
13508 IRExpr *flag2 = mkite(binop(Iop_CmpLE32U, mkexpr(srcval), mkU32(0xdbff)),
13509 mkU32(1), mkU32(0));
13515 mkite(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)), mkU32(1), mkU32(0));
13520 mkU32(1)));
13528 mkite(binop(Iop_CmpEQ32, mkexpr(is_high_surrogate), mkU32(1)),
13530 mkU32(0))); // any value is fine; it will not be used
13559 mkite(binop(Iop_CmpEQ32, mkexpr(is_high_surrogate), mkU32(1)),