Lines Matching refs:mkU32
205 mkU32(UInt value)
1898 next_insn_if(binop(Iop_CmpEQ32, s390_call_calculate_cond(m3), mkU32(0)));
2329 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2331 mkU32((UInt)op2)));
2363 assign(result, binop(Iop_Add32, mkU32((UInt)op2), mkexpr(op3)));
2364 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_ADD_32, mktemp(Ity_I32, mkU32((UInt)
2397 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2400 mkU32((UInt)op2)));
2463 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2465 mkU32((UInt)op2)));
2529 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32((UInt)op2)));
2531 mkU32((UInt)op2)));
2690 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
2692 mkU32(op2)));
2834 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
2836 mkU32(op2)));
2868 assign(result, binop(Iop_Add32, mkU32(op2), mkexpr(op3)));
2869 s390_cc_thunk_putZZ(S390_CC_OP_UNSIGNED_ADD_32, mktemp(Ity_I32, mkU32(op2)),
2902 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
2904 mkU32(op2)));
2919 assign(result, binop(Iop_Add32, mkexpr(op1), mkU32(op2)));
3078 assign(result, binop(Iop_And32, mkexpr(op1), mkU32(op2)));
3126 assign(result, binop(Iop_And32, mkexpr(op1), mkU32(op2)));
3213 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3234 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3247 put_gpr_w1(r1, binop(Iop_Sub32, get_gpr_w1(r1), mkU32(1)));
3249 if_condition_goto_computed(binop(Iop_CmpNE32, get_gpr_w1(r1), mkU32(0)),
3271 put_gpr_w1(r1, binop(Iop_Sub32, get_gpr_w1(r1), mkU32(1)));
3272 if_condition_goto_computed(binop(Iop_CmpNE32, get_gpr_w1(r1), mkU32(0)),
3370 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3392 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3405 put_gpr_w1(r1, binop(Iop_Sub32, get_gpr_w1(r1), mkU32(1)));
3406 if_condition_goto(binop(Iop_CmpNE32, get_gpr_w1(r1), mkU32(0)),
3574 mkU32((UInt)op2)));
3652 mkU32(0)), mkexpr(op4addr));
3676 mkU32(0)), mkexpr(op4addr));
3700 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3726 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3750 mktemp(Ity_I32, mkU32((UInt)op2))));
3751 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3775 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3798 mktemp(Ity_I32, mkU32((UInt)op2))));
3799 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3824 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
3881 mkU32((UInt)op2)));
3923 mkU32((UInt)op2)));
4018 mkU32((UInt)op2)));
4123 mkU32(op2)));
4179 mkU32(op2)));
4298 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4322 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4346 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4371 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4395 mktemp(Ity_I32, mkU32(op2))));
4396 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4420 if_condition_goto_computed(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4443 mktemp(Ity_I32, mkU32(op2))));
4444 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4469 if_condition_goto(binop(Iop_CmpNE32, mkexpr(cond), mkU32(0)),
4499 assign(b0, mkU32(0));
4500 assign(c0, mkU32(0));
4508 assign(b1, mkU32(0));
4509 assign(c1, mkU32(0));
4517 assign(b2, mkU32(0));
4518 assign(c2, mkU32(0));
4526 assign(b3, mkU32(0));
4527 assign(c3, mkU32(0));
4561 assign(b0, mkU32(0));
4562 assign(c0, mkU32(0));
4570 assign(b1, mkU32(0));
4571 assign(c1, mkU32(0));
4579 assign(b2, mkU32(0));
4580 assign(c2, mkU32(0));
4588 assign(b3, mkU32(0));
4589 assign(c3, mkU32(0));
4623 assign(b0, mkU32(0));
4624 assign(c0, mkU32(0));
4632 assign(b1, mkU32(0));
4633 assign(c1, mkU32(0));
4641 assign(b2, mkU32(0));
4642 assign(c2, mkU32(0));
4650 assign(b3, mkU32(0));
4651 assign(c3, mkU32(0));
4712 mkU32(op2)));
4735 assign(result, mkU32(0));
4888 assign(result, binop(Iop_Xor32, mkexpr(op1), mkU32(op2)));
4904 assign(result, binop(Iop_Xor32, mkexpr(op1), mkU32(op2)));
4967 mkU32(mask)));
5002 mkU32(mask)));
5037 mkU32(mask)));
5045 put_gpr_w0(r1, mkU32(i2));
5069 put_gpr_w1(r1, mkU32(i2));
5512 assign(result, binop(Iop_Sub32, mkU32((UInt)op1), mkexpr(op2)));
5514 s390_cc_thunk_putSS(S390_CC_OP_SIGNED_SUB_32, mktemp(Ity_I32, mkU32((UInt)
5597 put_gpr_w1(r1, mkU32((UInt)(Int)(Short)i2));
5819 mkU32(2147483647))));
5828 mkexpr(op2addr)), mkU32(2147483647))));
5840 assign(result, mkite(binop(Iop_CmpLE32S, mkexpr(op2), mkU32(0)), mkexpr(op2),
5841 binop(Iop_Sub32, mkU32(0), mkexpr(op2))));
5881 next_insn_if(binop(Iop_CmpEQ32, s390_call_calculate_cond(m3), mkU32(0)));
5890 next_insn_if(binop(Iop_CmpEQ32, s390_call_calculate_cond(m3), mkU32(0)));
5931 assign(result, mkite(binop(Iop_CmpLT32S, mkexpr(op2), mkU32(0)),
5932 binop(Iop_Sub32, mkU32(0), mkexpr(op2)), mkexpr(op2)));
6039 put_gpr_b4(r1, unop(Iop_32to8, binop(Iop_And32, mkexpr(op2), mkU32(255))));
6041 mkU8(8)), mkU32(255))));
6043 mkU8(16)), mkU32(255))));
6045 mkU8(24)), mkU32(255))));
6086 store(mkexpr(op1addr), mkU32((UInt)(Int)(Short)i2));
6407 assign(result, binop(Iop_MullS32, mkexpr(op1), mkU32((UInt)op2)));
6422 assign(result, binop(Iop_MullS64, mkexpr(op1), unop(Iop_32Sto64, mkU32((UInt)
6582 assign(result, binop(Iop_Or32, mkexpr(op1), mkU32(op2)));
6630 assign(result, binop(Iop_Or32, mkexpr(op1), mkU32(op2)));
6938 unop(Iop_64to8, mkexpr(shift_amount))), mkU32(~sign_mask)),
6939 binop(Iop_And32, mkexpr(uop), mkU32(sign_mask))));
6960 unop(Iop_64to8, mkexpr(shift_amount))), mkU32(~sign_mask)),
6961 binop(Iop_And32, mkexpr(uop), mkU32(sign_mask))));
7746 assign(result, binop(Iop_Sub32, mkexpr(op1), mkU32(op2)));
7748 mkU32(op2)));
7813 assign(borrow_in, binop(Iop_Sub32, mkU32(1), binop(Iop_Shr32,
7833 assign(borrow_in, unop(Iop_32Uto64, binop(Iop_Sub32, mkU32(1),
7853 assign(borrow_in, binop(Iop_Sub32, mkU32(1), binop(Iop_Shr32,
7873 assign(borrow_in, unop(Iop_32Uto64, binop(Iop_Sub32, mkU32(1),
8086 put_fpc_w0(binop(Iop_Or32, binop(Iop_And32, get_fpc_w0(), mkU32(~mask)),
8087 binop(Iop_And32, unop(Iop_64to32, mkexpr(op2addr)), mkU32(mask)))
8150 assign(result, triop(Iop_AddF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8167 assign(result, triop(Iop_AddF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8184 assign(result, triop(Iop_AddF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8201 assign(result, triop(Iop_AddF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8215 put_fpr_w0(r1, binop(Iop_I32StoF32, mkU32(Irrm_NEAREST), mkexpr(op2)));
8237 put_fpr_w0(r1, binop(Iop_I64StoF32, mkU32(Irrm_NEAREST), mkexpr(op2)));
8248 put_fpr_dw0(r1, binop(Iop_I64StoF64, mkU32(Irrm_NEAREST), mkexpr(op2)));
8260 assign(result, binop(Iop_F32toI32S, mkU32(encode_rounding_mode(r3)),
8275 assign(result, binop(Iop_F64toI32S, mkU32(encode_rounding_mode(r3)),
8290 assign(result, binop(Iop_F32toI64S, mkU32(encode_rounding_mode(r3)),
8305 assign(result, binop(Iop_F64toI64S, mkU32(encode_rounding_mode(r3)),
8322 assign(result, triop(Iop_DivF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8338 assign(result, triop(Iop_DivF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8354 assign(result, triop(Iop_DivF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8370 assign(result, triop(Iop_DivF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8453 put_fpr_w0(r1, binop(Iop_F64toF32, mkU32(Irrm_NEAREST), mkexpr(op)));
8467 assign(result, triop(Iop_MulF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8483 assign(result, triop(Iop_MulF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8499 assign(result, triop(Iop_MulF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8515 assign(result, triop(Iop_MulF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8531 assign(result, triop(Iop_SubF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8548 assign(result, triop(Iop_SubF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8565 assign(result, triop(Iop_SubF32, mkU32(Irrm_NEAREST), mkexpr(op1),
8582 assign(result, triop(Iop_SubF64, mkU32(Irrm_NEAREST), mkexpr(op1),
8619 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
8622 assign(len2, binop(Iop_And32, mkexpr(r2p1), mkU32(0x00ffffff)));
8628 mkexpr(len2)), mkU32(0)));
8636 mkite(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)),
8639 mkite(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)),
8643 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
8646 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
8655 mkite(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)),
8661 mkite(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)),
8662 binop(Iop_And32, mkexpr(r1p1), mkU32(0xFF000000u)),
8663 binop(Iop_Sub32, mkexpr(r1p1), mkU32(1))));
8667 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
8673 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
8674 binop(Iop_And32, mkexpr(r2p1), mkU32(0xFF000000u)),
8675 binop(Iop_Sub32, mkexpr(r2p1), mkU32(1))));
9019 put_gpr_b4(r1, unop(Iop_32to8, binop(Iop_Or32, mkU32(0 /* program mask */),
9306 put_counter_w0(binop(Iop_Add32, mkexpr(counter), mkU32(1)));
9318 assign(len, mkU32(length));
9349 put_counter_w0(binop(Iop_Add32, mkexpr(counter), mkU32(1)));
9350 iterate_if(binop(Iop_CmpNE32, mkexpr(counter), mkU32(length)));
9356 s390_cc_thunk_put1(S390_CC_OP_BITWISE, mktemp(Ity_I32, mkU32(0)), False);
9367 assign(len, mkU32(length));
9378 assign(len, mkU32(length));
9411 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
9414 assign(len2, binop(Iop_And32, mkexpr(r2p1), mkU32(0x00ffffff)));
9419 next_insn_if(binop(Iop_CmpEQ32, mkexpr(len1), mkU32(0)));
9443 mkU32(1)));
9448 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
9451 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
9458 put_gpr_w1(r1 + 1, binop(Iop_Sub32, mkexpr(r1p1), mkU32(1)));
9462 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
9468 mkite(binop(Iop_CmpEQ32, mkexpr(len2), mkU32(0)),
9469 binop(Iop_And32, mkexpr(r2p1), mkU32(0xFF000000u)),
9470 binop(Iop_Sub32, mkexpr(r2p1), mkU32(1))));
9473 iterate_if(binop(Iop_CmpNE32, mkexpr(len1), mkU32(1)));
9819 assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));
9867 assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));
9907 mkU32(0))));
9913 assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));
9973 assign(nequal, binop(Iop_CmpNE32, s390_call_calculate_cc(), mkU32(0)));
9993 assign(result, triop(Iop_AddF128, mkU32(Irrm_NEAREST), mkexpr(op1),
10031 assign(b0, binop(Iop_And32, mkexpr(vex_cc), mkU32(1)));
10033 mkU32(1)));
10035 mkU32(1)));
10040 binop(Iop_Sub32, mkU32(1), mkexpr(b0)), /* ~b0 */
10041 binop(Iop_Sub32, mkU32(1), mkexpr(b6)) /* ~b6 */
10166 assign(result, binop(Iop_F128toI32S, mkU32(encode_rounding_mode(r3)),
10181 assign(result, binop(Iop_F128toI64S, mkU32(encode_rounding_mode(r3)),
10198 assign(result, triop(Iop_DivF128, mkU32(Irrm_NEAREST), mkexpr(op1),
10350 assign(result, binop(Iop_F128toF64, mkU32(Irrm_NEAREST), get_fpr_pair(r2)));
10361 assign(result, binop(Iop_F128toF32, mkU32(Irrm_NEAREST), get_fpr_pair(r2)));
10376 assign(result, triop(Iop_MulF128, mkU32(Irrm_NEAREST), mkexpr(op1),
10386 put_fpr_w0(r1, qop(Iop_MAddF32, mkU32(Irrm_NEAREST),
10395 put_fpr_dw0(r1, qop(Iop_MAddF64, mkU32(Irrm_NEAREST),
10406 put_fpr_w0(r1, qop(Iop_MAddF32, mkU32(Irrm_NEAREST),
10417 put_fpr_dw0(r1, qop(Iop_MAddF64, mkU32(Irrm_NEAREST),
10426 put_fpr_w0(r1, qop(Iop_MSubF32, mkU32(Irrm_NEAREST),
10435 put_fpr_dw0(r1, qop(Iop_MSubF64, mkU32(Irrm_NEAREST),
10446 put_fpr_w0(r1, qop(Iop_MSubF32, mkU32(Irrm_NEAREST),
10457 put_fpr_dw0(r1, qop(Iop_MSubF64, mkU32(Irrm_NEAREST),
10468 assign(result, binop(Iop_SqrtF32, mkU32(Irrm_NEAREST), get_fpr_w0(r2)));
10479 assign(result, binop(Iop_SqrtF64, mkU32(Irrm_NEAREST), get_fpr_dw0(r2)));
10490 assign(result, binop(Iop_SqrtF128, mkU32(Irrm_NEAREST), get_fpr_pair(r2)));
10502 put_fpr_w0(r1, binop(Iop_SqrtF32, mkU32(Irrm_NEAREST), mkexpr(op)));
10513 put_fpr_dw0(r1, binop(Iop_SqrtF64, mkU32(Irrm_NEAREST), mkexpr(op)));
10527 assign(result, triop(Iop_SubF128, mkU32(Irrm_NEAREST), mkexpr(op1),
10877 binop(Iop_Shl32, mkU32(0xffffffff),
10879 binop(Iop_Sub32, mkU32(32),
10885 mkU32(0xffffffff)));
10893 binop(Iop_Add32, mkexpr(result), mkU32(1)),
11188 IRExpr *flag1 = mkite(binop(Iop_CmpLE32U, mkU32(0xd800), mkexpr(srcval)),
11189 mkU32(1), mkU32(0));
11190 IRExpr *flag2 = mkite(binop(Iop_CmpLE32U, mkexpr(srcval), mkU32(0xdbff)),
11191 mkU32(1), mkU32(0));
11197 mkite(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)), mkU32(1), mkU32(0));
11201 not_enough_bytes), mkU32(1)));
11209 mkite(binop(Iop_CmpEQ32, mkexpr(is_high_surrogate), mkU32(1)),
11211 mkU32(0))); // any value is fine; it will not be used
11261 mkite(binop(Iop_CmpEQ32, mkexpr(is_high_surrogate), mkU32(1)),
11315 IRExpr *flag1 = mkite(binop(Iop_CmpLE32U, mkU32(0xd800), mkexpr(srcval)),
11316 mkU32(1), mkU32(0));
11317 IRExpr *flag2 = mkite(binop(Iop_CmpLE32U, mkexpr(srcval), mkU32(0xdbff)),
11318 mkU32(1), mkU32(0));
11324 mkite(binop(Iop_CmpLT64U, mkexpr(len2), mkU64(4)), mkU32(1), mkU32(0));
11329 mkU32(1)));
11337 mkite(binop(Iop_CmpEQ32, mkexpr(is_high_surrogate), mkU32(1)),
11339 mkU32(0))); // any value is fine; it will not be used
11368 mkite(binop(Iop_CmpEQ32, mkexpr(is_high_surrogate), mkU32(1)),
