Lines Matching defs:mkU64
636 static IRExpr* mkU64 ( ULong i )
1029 return ty == Ity_I64 ? mkU64(imm64) : mkU32((UInt)imm64);
1046 mkU64(extend_s_16to64(imm16)) :
1055 mkU64(extend_s_32to64(imm32)) :
1554 assign( mask[0], mkU64( 0x5555555555555555ULL ) );
1555 assign( mask[1], mkU64( 0x3333333333333333ULL ) );
1556 assign( mask[2], mkU64( 0x0F0F0F0F0F0F0F0FULL ) );
1557 assign( mask[3], mkU64( 0x00FF00FF00FF00FFULL ) );
1558 assign( mask[4], mkU64( 0x0000FFFF0000FFFFULL ) );
1559 assign( mask[5], mkU64( 0x00000000FFFFFFFFULL ) );
1740 binop(Iop_And64, mkexpr(addr), mkU64(align-1)),
1741 mkU64(0)),
1777 binop(Iop_Sub64, getIReg(1), mkU64(szB)),
1946 binop(Iop_CmpORD64S, result, mkU64(0))) );
2246 = AND3( XOR3(argL,argR,mkU64(-1)),
2248 mkU64(INT64_MIN) );
2259 binop(Iop_CmpEQ64, argL, mkU64(INT64_MIN)),
2260 binop(Iop_CmpEQ64, argR, mkU64(-1))
2262 binop(Iop_CmpEQ64, argR, mkU64(0) )
2269 = binop(Iop_CmpEQ64, argR, mkU64(0));
2288 = binop(Iop_CmpEQ64, argL, mkU64(INT64_MIN));
2296 = AND3( XOR3(NOT(argL),argR,mkU64(-1)),
2298 mkU64(INT64_MIN) );
2312 = mkOR1( binop( Iop_CmpEQ64, argR, mkU64( 0 ) ),
2313 mkAND1( binop( Iop_CmpEQ64, res, mkU64( 0 ) ),
2314 mkAND1( binop( Iop_CmpNE64, argL, mkU64( 0 ) ),
2315 binop( Iop_CmpNE64, argR, mkU64( 0 ) ) ) ) );
2320 xer_ov = mkOR1( binop( Iop_CmpEQ64, argR, mkU64( 0 ) ),
2519 binop(Iop_CmpEQ64, oldca, mkU64(1)),
2533 binop(Iop_CmpEQ64, oldca, mkU64(1)),
2562 binop(Iop_Shl64, mkU64(1),
2564 mkU64(1) )
2570 binop(Iop_CmpLT64U, mkU64(31), argR),
2574 unop(Iop_1Uto32, binop(Iop_CmpNE64, xer_ca, mkU64(0)))
2593 binop(Iop_Shl64, mkU64(1),
2595 mkU64(1) )
2599 = unop(Iop_1Uto32, binop(Iop_CmpNE64, xer_ca, mkU64(0)));
2616 binop(Iop_Shl64, mkU64(1),
2618 mkU64(1) )
2624 binop(Iop_CmpLT64U, mkU64(63), argR),
2628 unop(Iop_1Uto32, binop(Iop_CmpNE64, xer_ca, mkU64(0)))
2648 binop(Iop_Shl64, mkU64(1),
2650 mkU64(1) )
2654 = unop(Iop_1Uto32, binop(Iop_CmpNE64, xer_ca, mkU64(0)));
2808 unop( Iop_64HIto32, mkU64( mask ) ) );
3077 mkU64( NONZERO_FRAC_MASK ) )
3102 mkU64( 0x7ff ) ) );
3152 assign( sign_less_part, binop( Iop_And64, mkexpr( src ), mkU64( SIGN_MASK ) ) );
3244 mkU64( signbit_mask ) ) ),
3261 mkU64( ~signbit_mask ) ),
3351 putGST( PPC_GST_TFIAR, mkU64( err_address ) );
3352 putGST( PPC_GST_TEXASR, mkU64( tm_reason ) );
3354 putGST( PPC_GST_TFHAR, mkU64( handler_address ) );
4073 ? mkU64(0) : mkU32(0);
4092 ? mkU64(0) : mkU32(0);
4324 irx = binop(Iop_CmpNE64, mkexpr(rS), mkU64(0));
4327 mkU64(64) ));
4337 binop( Iop_64HLtoV128, mkU64(0), mkexpr(rS) ),
4338 binop( Iop_64HLtoV128, mkU64(0), mkexpr(rB) )
4431 IRExpr * res = binop(Iop_And64, mkU64(0), mkU64(0));
4441 binop( Iop_And64, mkU64( BPERMD_IDX_MASK ), rS_expr ) );
4443 binop( Iop_CmpLT64U, mkexpr( idx_tmp ), mkU64( 64 ) ) );
4461 mkU64( BPERMD_BIT_MASK ),
4670 binop(Iop_And64, mkexpr(rot), mkU64(mask64)),
4671 binop(Iop_And64, getIReg(rA_addr), mkU64(~mask64))) );
4704 assign( rA, binop(Iop_And64, mkexpr(rot), mkU64(mask64)) );
4750 assign( rA, binop(Iop_And64, mkexpr(rot), mkU64(mask64)) );
4781 assign( rA, binop(Iop_And64, r, mkU64(mask64)) );
4787 assign( rA, binop(Iop_And64, r, mkU64(mask64)) );
4797 assign( rA, binop(Iop_And64, r, mkU64(mask64)) );
4820 assign( rA, binop(Iop_And64, r, mkU64(mask64)) );
4837 assign( rA, binop(Iop_And64, r, mkU64(mask64)) );
4849 binop(Iop_And64, mkU64(mask64), r),
4850 binop(Iop_And64, mkU64(~mask64),
5144 mkU64( 8 ) ) ) );
5149 mkU64( 8 ) ) ) );
5428 irx_addr = binop(mkAdd, mkexpr(EA), mode64 ? mkU64(ea_off) : mkU32(ea_off));
5438 irx_addr = binop(mkAdd, mkexpr(EA), mode64 ? mkU64(ea_off) : mkU32(ea_off));
5771 assign(t_tgt, mode64 ? mkU64(tgt) : mkU32(tgt) );
6037 IRExpr* const0 = is32bit ? mkU32(0) : mkU64(0);
6038 IRExpr* const2 = is32bit ? mkU32(2) : mkU64(2);
6039 IRExpr* const4 = is32bit ? mkU32(4) : mkU64(4);
6040 IRExpr* const8 = is32bit ? mkU32(8) : mkU64(8);
6139 uncond = do_trap( TO, getIReg(rA_addr), mkU64( (ULong)simm16 ), cia );
6570 binop(Iop_Add64, mkexpr(EA), mkU64(8) ),
6576 binop(Iop_Add64, mkexpr(EA), mkU64(8) ),
6616 store( binop( Iop_Add64, mkexpr(EA), mkU64(8) ),
6620 store( binop( Iop_Add64, mkexpr(EA), mkU64(8) ),
6802 binop(Iop_And64, mkexpr(rB), mkU64(63)))),
6817 assign( sh_amt, binop(Iop_And64, mkU64(0x7F), mkexpr(rB)) );
6819 binop(Iop_CmpLT64U, mkU64(63), mkexpr(sh_amt)) );
6825 mkU64(63),
6844 mkU64(sh_imm),
6863 binop(Iop_And64, mkexpr(rB), mkU64(63)))),
6974 ty == Ity_I64 ? mkU64( 4 ) : mkU32( 4 ) );
7337 binop( Iop_And64, high64, mkU64( 0xFFFFFFFF ) ) :
7339 binop( Iop_And64, high64, mkU64( 0xFFFFFFFF ) ) ) );
7359 putVSReg( XT, binop( Iop_64HLtoV128, mkexpr( rA ), mkU64( 0 ) ) );
7365 mkU64( 0 ) ) );
7389 mkU64( 0 ) ) );
7413 mkU64( 0 ) ) );
7525 mkU64( ~((ULong)clearszB-1) )) );
7528 irx_addr = binop( Iop_Add64, mkexpr(addr), mkU64(i*8) );
7529 store( irx_addr, mkU64(0) );
9151 assign( EA_lo, binop(Iop_Add64, mkexpr(EA_hi), mkU64(8)) );
9351 putGST_masked( PPC_GST_FPSCR, mkU64( 1 <<( 31 - crbD ) ),
9388 putGST_masked( PPC_GST_FPSCR, mkU64( 0 ), 1ULL << ( 31 - crbD ) );
10598 unop( Iop_ReinterpI64asD64, mkU64( 1 ) ) ) );
10695 unop( Iop_ReinterpI64asD64, mkU64( 1 ) ) ) ) );
11174 mkU64( 0x7FFFFFFFFFFFFFFFULL ) ) ) );
11181 assign( frAI64_lo, mkU64( 0 ) );
11191 mkU64( 0x2234000000000001ULL ) ) ); // dfp 1.0
11192 assign( exp_min_normal,mkU64( 398 - 383 ) );
11208 mkU64( 0x2238000000000000ULL ) ) ) );
11230 assign( exp_min_normal, mkU64( 6176 - 6143 ) );
11234 mkU64( 0x2234000000000001ULL ) ) ) ); // dfp 1.0
11248 mkU64( 0x7FFFFFFFFFFFFFFFULL ) ) ),
11258 mkU64( 0x0ULL ) ) ) ) );
11680 mkU64( DFP_LONG_BIAS ),
11768 mkU64( DFP_LONG_BIAS ),
12159 mkU64( DFP_EXTND_BIAS ),
12600 mkexpr( xB ) ), mkU64( 0 ) ) );
12611 mkU64( 0ULL ) ) );
12621 mkU64( 0ULL ) ) );
12635 mkU64( 0 ) ) );
12645 mkU64( 0 ) ) );
12659 mkU64( 0 ) ) );
12669 mkU64( 0 ) ) );
12752 mkU64( 0ULL ) ) );
12764 mkU64( 0ULL ) ) );
12776 mkU64( 0ULL ) ) );
12785 mkU64( 0ULL ) ) );
12794 mkU64( 0ULL ) ) );
13852 binop(Iop_Or64, mkexpr(frA_I64), mkU64(SNAN_MASK)),
13856 binop(Iop_Or64, mkexpr(frB_I64), mkU64(SNAN_MASK)),
13918 mkU64( isMin ? MINUS_ZERO : 0ULL ),
14034 mkU64( SNAN_MASK ),
14259 mkU64( SIGN_BIT ) ),
14262 mkU64( SIGN_MASK ) ) ),
14266 mkU64( SIGN_BIT ) ),
14269 mkU64( SIGN_MASK ) ) ) ) );
14542 mkU64( 0 ) ) );
14552 mkU64( 0 ) ) );
14560 mkU64( 0 ) ) );
14570 mkU64( 0 ) ) );
14578 mkU64( 0 ) ) );
14597 mkU64( 0 ) ) );
14612 mkU64( 0 ) ) );
14632 mkU64( 0 ) ) );
14647 mkU64( 0 ) ) );
14672 mkU64( 0 ) ) );
14696 mkU64( 0 ) ) );
14720 mkU64( 0 ) ) );
14741 putVSReg( XT, binop( Iop_64HLtoV128, mkexpr( getNegatedResult(msubResult) ), mkU64( 0 ) ) );
14754 mkU64( 0 ) ) );
14763 mkU64( 0 ) ) );
14771 mkU64( 0 ) ) );
14782 mkU64( 0 ) ) );
14790 mkU64( 0 ) ) );
15095 mkU64(VG_PPC_SIGN_MASK) ),
15116 mkU64(~VG_PPC_SIGN_MASK) ) );
15120 mkU64(VG_PPC_SIGN_MASK) ) );
15125 mkU64(0x0ULL)));
15137 mkU64(~VG_PPC_SIGN_MASK) ) );
15139 mkexpr(BHi_signed), mkU64(0x0ULL) ) );
15153 mkU64(VG_PPC_SIGN_MASK) ) );
15161 mkU64(~VG_PPC_SIGN_MASK) )
15174 mkU64(0x0ULL)));
15188 putVSReg( XT, binop( Iop_64HLtoV128, get_max_min_fp(frA, frB, isMin), mkU64( 0 ) ) );
15208 mkU64( 0 ) ) );
15242 mkU64( 0 ) ) );
15272 mkU64( 0 ) ) );
15290 mkU64( 0 ) ) );
15408 mkU64(0) ) );
15423 mkU64(0) ) );
15439 putVSReg( XT, binop( Iop_64HLtoV128, exp, mkU64( 0 ) ) );
15461 high_addr = binop( addOp, mkexpr( EA ), ty == Ity_I64 ? mkU64( ea_off )
15489 assign( perm_LE, binop( Iop_64HLtoV128, mkU64(0x0c0d0e0f08090a0bULL),
15490 mkU64(0x0405060700010203ULL)));
15575 ty == Ity_I64 ? mkU64( 8 ) : mkU32( 8 ) ), low64 );
15594 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15598 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15602 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
16474 putVReg( vD_addr, mkV128from4x64S( mkU64(0), mkexpr(z2),
16475 mkU64(0), mkexpr(z0)) );
16492 putVReg( vD_addr, mkV128from4x64S( mkU64(0), mkU64(0),
16493 mkU64(0), mkexpr(z0)) );
17873 mkU64(0),
17874 mkU64(0) ) : mkexpr(tmp_result),
17877 mkU64(0),
17966 mkU64(0),
17967 mkU64(BPERMD_IDX_MASK) ),
17989 mkU64(0),
17998 mkU64( BPERMD_BIT_MASK ),
17999 mkU64(0)),
19965 rA == 0 ? (mode64 ? mkU64(0) : mkU32(0))