Lines Matching refs:assign
588 static void assign ( IRTemp dst, IRExpr* e ) in assign() function
703 assign( ones8x16, unop(Iop_Dup8x16, mkU8(0x1)) ); in expand8Ux16()
704 assign( *vOdd, binop(Iop_MullEven8Ux16, mkexpr(ones8x16), vIn) ); in expand8Ux16()
705 assign( *vEvn, binop(Iop_MullEven8Ux16, mkexpr(ones8x16), in expand8Ux16()
721 assign( ones8x16, unop(Iop_Dup8x16, mkU8(0x1)) ); in expand8Sx16()
722 assign( *vOdd, binop(Iop_MullEven8Sx16, mkexpr(ones8x16), vIn) ); in expand8Sx16()
723 assign( *vEvn, binop(Iop_MullEven8Sx16, mkexpr(ones8x16), in expand8Sx16()
739 assign( ones16x8, unop(Iop_Dup16x8, mkU16(0x1)) ); in expand16Ux8()
740 assign( *vOdd, binop(Iop_MullEven16Ux8, mkexpr(ones16x8), vIn) ); in expand16Ux8()
741 assign( *vEvn, binop(Iop_MullEven16Ux8, mkexpr(ones16x8), in expand16Ux8()
757 assign( ones16x8, unop(Iop_Dup16x8, mkU16(0x1)) ); in expand16Sx8()
758 assign( *vOdd, binop(Iop_MullEven16Sx8, mkexpr(ones16x8), vIn) ); in expand16Sx8()
759 assign( *vEvn, binop(Iop_MullEven16Sx8, mkexpr(ones16x8), in expand16Sx8()
782 assign( hi64, unop(Iop_V128HIto64, t128) ); in breakV128to4xF64()
783 assign( lo64, unop(Iop_V128to64, t128) ); in breakV128to4xF64()
784 assign( *t3, in breakV128to4xF64()
788 assign( *t2, in breakV128to4xF64()
791 assign( *t1, in breakV128to4xF64()
795 assign( *t0, in breakV128to4xF64()
820 assign( hi64, unop(Iop_V128HIto64, t128) ); in breakV128to4x64S()
821 assign( lo64, unop(Iop_V128to64, t128) ); in breakV128to4x64S()
822 assign( *t3, unop(Iop_32Sto64, unop(Iop_64HIto32, mkexpr(hi64))) ); in breakV128to4x64S()
823 assign( *t2, unop(Iop_32Sto64, unop(Iop_64to32, mkexpr(hi64))) ); in breakV128to4x64S()
824 assign( *t1, unop(Iop_32Sto64, unop(Iop_64HIto32, mkexpr(lo64))) ); in breakV128to4x64S()
825 assign( *t0, unop(Iop_32Sto64, unop(Iop_64to32, mkexpr(lo64))) ); in breakV128to4x64S()
847 assign( hi64, unop(Iop_V128HIto64, t128) ); in breakV128to4x64U()
848 assign( lo64, unop(Iop_V128to64, t128) ); in breakV128to4x64U()
849 assign( *t3, unop(Iop_32Uto64, unop(Iop_64HIto32, mkexpr(hi64))) ); in breakV128to4x64U()
850 assign( *t2, unop(Iop_32Uto64, unop(Iop_64to32, mkexpr(hi64))) ); in breakV128to4x64U()
851 assign( *t1, unop(Iop_32Uto64, unop(Iop_64HIto32, mkexpr(lo64))) ); in breakV128to4x64U()
852 assign( *t0, unop(Iop_32Uto64, unop(Iop_64to32, mkexpr(lo64))) ); in breakV128to4x64U()
873 assign( hi64, unop(Iop_V128HIto64, t128) ); in breakV128to4x32()
874 assign( lo64, unop(Iop_V128to64, t128) ); in breakV128to4x32()
875 assign( *t3, unop(Iop_64HIto32, mkexpr(hi64)) ); in breakV128to4x32()
876 assign( *t2, unop(Iop_64to32, mkexpr(hi64)) ); in breakV128to4x32()
877 assign( *t1, unop(Iop_64HIto32, mkexpr(lo64)) ); in breakV128to4x32()
878 assign( *t0, unop(Iop_64to32, mkexpr(lo64)) ); in breakV128to4x32()
900 assign( hi32, unop(Iop_64HIto32, t64)); in mkQNarrow64Sto32()
901 assign( lo32, unop(Iop_64to32, t64)); in mkQNarrow64Sto32()
922 assign( hi32, unop(Iop_64HIto32, t64)); in mkQNarrow64Uto32()
923 assign( lo32, unop(Iop_64to32, t64)); in mkQNarrow64Uto32()
1318 assign( low, unop( Iop_D128LOtoD64, e ) ); in putDReg_pair()
1319 assign( high, unop( Iop_D128HItoD64, e ) ); in putDReg_pair()
1536 assign(mask[0], mkU32(0x55555555)); in gen_POPCOUNT()
1537 assign(mask[1], mkU32(0x33333333)); in gen_POPCOUNT()
1538 assign(mask[2], mkU32(0x0F0F0F0F)); in gen_POPCOUNT()
1539 assign(mask[3], mkU32(0x00FF00FF)); in gen_POPCOUNT()
1540 assign(mask[4], mkU32(0x0000FFFF)); in gen_POPCOUNT()
1544 assign(nyu, in gen_POPCOUNT()
1564 assign( mask[0], mkU64( 0x5555555555555555ULL ) ); in gen_POPCOUNT()
1565 assign( mask[1], mkU64( 0x3333333333333333ULL ) ); in gen_POPCOUNT()
1566 assign( mask[2], mkU64( 0x0F0F0F0F0F0F0F0FULL ) ); in gen_POPCOUNT()
1567 assign( mask[3], mkU64( 0x00FF00FF00FF00FFULL ) ); in gen_POPCOUNT()
1568 assign( mask[4], mkU64( 0x0000FFFF0000FFFFULL ) ); in gen_POPCOUNT()
1569 assign( mask[5], mkU64( 0x00000000FFFFFFFFULL ) ); in gen_POPCOUNT()
1573 assign( nyu, in gen_POPCOUNT()
1602 assign(mask[0], mkU32(0x55555555)); in gen_vpopcntd_mode32()
1603 assign(mask[1], mkU32(0x33333333)); in gen_vpopcntd_mode32()
1604 assign(mask[2], mkU32(0x0F0F0F0F)); in gen_vpopcntd_mode32()
1605 assign(mask[3], mkU32(0x00FF00FF)); in gen_vpopcntd_mode32()
1606 assign(mask[4], mkU32(0x0000FFFF)); in gen_vpopcntd_mode32()
1610 assign(nyu1, in gen_vpopcntd_mode32()
1624 assign(nyu2, in gen_vpopcntd_mode32()
1634 assign(retval, unop(Iop_32Uto64, binop(Iop_Add32, mkexpr(nyu1), mkexpr(nyu2)))); in gen_vpopcntd_mode32()
1983 assign( v0, result ); in set_AV_CR6()
1984 assign( v1, binop(Iop_ShrV128, result, mkU8(32)) ); in set_AV_CR6()
1985 assign( v2, binop(Iop_ShrV128, result, mkU8(64)) ); in set_AV_CR6()
1986 assign( v3, binop(Iop_ShrV128, result, mkU8(96)) ); in set_AV_CR6()
1988 assign( rZeros, unop(Iop_1Uto8, in set_AV_CR6()
1998 assign( rOnes, unop(Iop_1Uto8, in set_AV_CR6()
2155 assign( t64, binop(Iop_MullS32, argL, argR) ); in set_XER_OV_32()
2339 assign( t128, binop(Iop_MullS64, argL, argR) ); in set_XER_OV_64()
2793 assign( val, unop( Iop_8Uto32, IRExpr_Get( OFFB_FPROUND, Ity_I8 ) ) ); in getGST_masked()
2795 assign( val, mkU32(0x0) ); in getGST_masked()
2974 assign( PSPB_val, binop( Iop_32HLto64, in putGST()
2979 assign( value, binop( Iop_32HLto64, in putGST()
2986 assign( value, binop( Iop_And64, in putGST()
2990 assign( has_perm, in putGST()
3000 assign( not_valid, in putGST()
3010 assign( new_src, in putGST()
3219 assign( frac_part, binop( Iop_And32, mkexpr(src), mkU32(0x007fffff)) ); in is_Inf_sp()
3235 assign( frac_part, FP_FRAC_PART(src) ); in is_Inf()
3246 assign( sign_less_part, binop( Iop_And32, mkexpr( src ), mkU32( SIGN_MASK32 ) ) ); in is_Zero_sp()
3260 assign( sign_less_part, binop( Iop_And64, mkexpr( src ), mkU64( SIGN_MASK ) ) ); in is_Zero()
3276 assign( frac_part, FP_FRAC_PART(src) ); in is_NaN()
3318 assign(tmp, src); in handle_SNaN_to_QNaN_32()
3321 assign( is_SNAN, in handle_SNaN_to_QNaN_32()
3328 assign ( mask, binop( Iop_And32, in handle_SNaN_to_QNaN_32()
3349 assign( signbit_32, binop( Iop_Shr32, in getNegatedResult()
3357 assign( resultantSignbit, in getNegatedResult()
3365 assign( negatedResult, in getNegatedResult()
3393 assign( signbit_32, binop( Iop_Shr32, in getNegatedResult_32()
3400 assign( resultantSignbit, in getNegatedResult_32()
3408 assign( negatedResult, in getNegatedResult_32()
3492 assign( rA, getIReg(rA_addr) ); in dis_int_arith()
3493 assign( rB, getIReg(rB_addr) ); // XO-Form: rD, rA, rB in dis_int_arith()
3499 assign( rD, binop( mkSzOp(ty, Iop_Add8), mkexpr(rA), in dis_int_arith()
3508 assign( rD, binop( mkSzOp(ty, Iop_Add8), mkexpr(rA), in dis_int_arith()
3522 assign( rD, mkSzExtendS16(ty, uimm16) ); in dis_int_arith()
3525 assign( rD, binop( mkSzOp(ty, Iop_Add8), mkexpr(rA), in dis_int_arith()
3534 assign( rD, mkSzExtendS32(ty, uimm16 << 16) ); in dis_int_arith()
3537 assign( rD, binop( mkSzOp(ty, Iop_Add8), mkexpr(rA), in dis_int_arith()
3545 assign( rD, unop(Iop_128to64, in dis_int_arith()
3549 assign( rD, unop(Iop_64to32, in dis_int_arith()
3557 assign( rD, binop( mkSzOp(ty, Iop_Sub8), in dis_int_arith()
3574 assign( rD, binop( mkSzOp(ty, Iop_Add8), in dis_int_arith()
3586 assign( rD, binop( mkSzOp(ty, Iop_Add8), in dis_int_arith()
3603 assign( old_xer_ca, mkWidenFrom32(ty, getXER_CA32(), False) ); in dis_int_arith()
3604 assign( rD, binop( mkSzOp(ty, Iop_Add8), mkexpr(rA), in dis_int_arith()
3629 assign( old_xer_ca, mkWidenFrom32(ty, getXER_CA32(), False) ); in dis_int_arith()
3631 assign( rD, binop( mkSzOp(ty, Iop_Add8), mkexpr(rA), in dis_int_arith()
3655 assign( old_xer_ca, mkWidenFrom32(ty, getXER_CA32(), False) ); in dis_int_arith()
3656 assign( rD, binop( mkSzOp(ty, Iop_Add8), in dis_int_arith()
3682 assign( rD, mk64lo32Uto64( binop(Iop_DivS64, dividend, in dis_int_arith()
3689 assign( rD, binop(Iop_DivS32, mkexpr(rA), mkexpr(rB)) ); in dis_int_arith()
3713 assign( rD, mk64lo32Uto64( binop(Iop_DivU64, dividend, in dis_int_arith()
3720 assign( rD, binop(Iop_DivU32, mkexpr(rA), mkexpr(rB)) ); in dis_int_arith()
3739 assign( rD, binop(Iop_Sar64, in dis_int_arith()
3745 assign( rD, unop(Iop_64HIto32, in dis_int_arith()
3761 assign( rD, binop(Iop_Sar64, in dis_int_arith()
3767 assign( rD, unop(Iop_64HIto32, in dis_int_arith()
3782 assign( rD, binop(Iop_MullS32, a, b) ); in dis_int_arith()
3789 assign( rD, unop(Iop_64to32, in dis_int_arith()
3808 assign( rD, binop( mkSzOp(ty, Iop_Add8), in dis_int_arith()
3822 assign( rD, binop( mkSzOp(ty, Iop_Sub8), in dis_int_arith()
3835 assign( rD, binop( mkSzOp(ty, Iop_Sub8), in dis_int_arith()
3852 assign( old_xer_ca, mkWidenFrom32(ty, getXER_CA32(), False) ); in dis_int_arith()
3853 assign( rD, binop( mkSzOp(ty, Iop_Add8), in dis_int_arith()
3879 assign( old_xer_ca, mkWidenFrom32(ty, getXER_CA32(), False) ); in dis_int_arith()
3881 assign( rD, binop( mkSzOp(ty, Iop_Add8), in dis_int_arith()
3906 assign( old_xer_ca, mkWidenFrom32(ty, getXER_CA32(), False) ); in dis_int_arith()
3907 assign( rD, binop( mkSzOp(ty, Iop_Add8), in dis_int_arith()
3929 assign( rD, unop(Iop_128HIto64, in dis_int_arith()
3942 assign( rD, unop(Iop_128HIto64, in dis_int_arith()
3951 assign( rD, binop(Iop_Mul64, mkexpr(rA), mkexpr(rB)) ); in dis_int_arith()
3962 assign( rD, binop(Iop_DivS64, mkexpr(rA), mkexpr(rB)) ); in dis_int_arith()
3977 assign( rD, binop(Iop_DivU64, mkexpr(rA), mkexpr(rB)) ); in dis_int_arith()
4002 assign( res, binop( Iop_DivU32E, dividend, divisor ) ); in dis_int_arith()
4003 assign( rD, binop( Iop_32HLto64, mkU32( 0 ), mkexpr( res ) ) ); in dis_int_arith()
4007 assign( res, binop( Iop_DivU32E, dividend, divisor ) ); in dis_int_arith()
4008 assign( rD, mkexpr( res) ); in dis_int_arith()
4037 assign( res, binop( Iop_DivS32E, dividend, divisor ) ); in dis_int_arith()
4038 assign( rD, binop( Iop_32HLto64, mkU32( 0 ), mkexpr( res ) ) ); in dis_int_arith()
4042 assign( res, binop( Iop_DivS32E, dividend, divisor ) ); in dis_int_arith()
4043 assign( rD, mkexpr( res) ); in dis_int_arith()
4066 assign( rD, binop(Iop_DivS64E, mkexpr(rA), mkexpr(rB)) ); in dis_int_arith()
4078 assign( rD, binop(Iop_DivU64E, mkexpr(rA), mkexpr(rB)) ); in dis_int_arith()
4247 assign( rS, getIReg(rS_addr) ); in dis_int_logic()
4248 assign( rB, getIReg(rB_addr) ); in dis_int_logic()
4253 assign( rA, binop( mkSzOp(ty, Iop_And8), mkexpr(rS), in dis_int_logic()
4261 assign( rA, binop( mkSzOp(ty, Iop_And8), mkexpr(rS), in dis_int_logic()
4269 assign( rA, binop( mkSzOp(ty, Iop_Or8), mkexpr(rS), in dis_int_logic()
4275 assign( rA, binop( mkSzOp(ty, Iop_Or8), mkexpr(rS), in dis_int_logic()
4281 assign( rA, binop( mkSzOp(ty, Iop_Xor8), mkexpr(rS), in dis_int_logic()
4287 assign( rA, binop( mkSzOp(ty, Iop_Xor8), mkexpr(rS), in dis_int_logic()
4299 assign(rA, binop( mkSzOp(ty, Iop_And8), in dis_int_logic()
4306 assign(rA, binop( mkSzOp(ty, Iop_And8), mkexpr(rS), in dis_int_logic()
4325 assign(rA, mkWidenFrom32(ty, in dis_int_logic()
4338 assign( rA, unop( mkSzOp(ty, Iop_Not8), in dis_int_logic()
4351 assign( rA, unop(Iop_8Sto64, unop(Iop_64to8, mkexpr(rS))) ); in dis_int_logic()
4353 assign( rA, unop(Iop_8Sto32, unop(Iop_32to8, mkexpr(rS))) ); in dis_int_logic()
4364 assign( rA, unop(Iop_16Sto64, in dis_int_logic()
4367 assign( rA, unop(Iop_16Sto32, in dis_int_logic()
4374 assign( rA, unop( mkSzOp(ty, Iop_Not8), in dis_int_logic()
4382 assign( rA, unop( mkSzOp(ty, Iop_Not8), in dis_int_logic()
4390 assign( rA, mkexpr(rS) ); in dis_int_logic()
4394 assign( rA, binop( mkSzOp(ty, Iop_Or8), in dis_int_logic()
4402 assign( rA, binop( mkSzOp(ty, Iop_Or8), mkexpr(rS), in dis_int_logic()
4409 assign( rA, binop( mkSzOp(ty, Iop_Xor8), in dis_int_logic()
4421 assign(rA, unop(Iop_32Sto64, unop(Iop_64to32, mkexpr(rS)))); in dis_int_logic()
4433 assign(rA, IRExpr_ITE( irx, in dis_int_logic()
4443 assign( rA, unop( Iop_V128to64, in dis_int_logic()
4449 assign( rA, unop( Iop_V128to32, in dis_int_logic()
4460 assign( frB, getFReg(rB_addr)); // always F64 in dis_int_logic()
4462 assign( rA, unop( Iop_ReinterpF64asI64, mkexpr(frB)) ); in dis_int_logic()
4464 assign( rA, unop( Iop_64to32, unop( Iop_ReinterpF64asI64, mkexpr(frB))) ); in dis_int_logic()
4475 assign( frA, unop( Iop_ReinterpI64asF64, mkexpr(rB)) ); in dis_int_logic()
4477 assign( frA, unop( Iop_ReinterpI64asF64, unop( Iop_32Uto64, mkexpr(rB))) ); in dis_int_logic()
4496 assign(argLo, unop(Iop_64to32, mkexpr(rS))); in dis_int_logic()
4497 assign(argHi, unop(Iop_64HIto32, mkexpr(rS))); in dis_int_logic()
4515 assign(argLo, unop(Iop_64to32, mkexpr(rS))); in dis_int_logic()
4516 assign(argHi, unop(Iop_64HIto32, mkexpr(rS))); in dis_int_logic()
4548 assign( idx_tmp, in dis_int_logic()
4550 assign( idx_LT64, in dis_int_logic()
4552 assign( idx, in dis_int_logic()
4562 assign( idx_LT64_ity64, in dis_int_logic()
4564 assign( perm_bit, in dis_int_logic()
4645 assign( rS, getIReg(rS_addr) ); in dis_int_parity()
4650 assign( iTot1, unop(Iop_1Uto32, unop(to_bit, mkexpr(rS))) ); in dis_int_parity()
4651 assign( rS1, binop(shr_op, mkexpr(rS), mkU8(8)) ); in dis_int_parity()
4652 assign( iTot2, binop(Iop_Add32, in dis_int_parity()
4655 assign( rS2, binop(shr_op, mkexpr(rS1), mkU8(8)) ); in dis_int_parity()
4656 assign( iTot3, binop(Iop_Add32, in dis_int_parity()
4659 assign( rS3, binop(shr_op, mkexpr(rS2), mkU8(8)) ); in dis_int_parity()
4660 assign( iTot4, binop(Iop_Add32, in dis_int_parity()
4664 assign( rS4, binop(shr_op, mkexpr(rS3), mkU8(8)) ); in dis_int_parity()
4665 assign( iTot5, binop(Iop_Add32, in dis_int_parity()
4668 assign( rS5, binop(shr_op, mkexpr(rS4), mkU8(8)) ); in dis_int_parity()
4669 assign( iTot6, binop(Iop_Add32, in dis_int_parity()
4672 assign( rS6, binop(shr_op, mkexpr(rS5), mkU8(8)) ); in dis_int_parity()
4673 assign( iTot7, binop(Iop_Add32, in dis_int_parity()
4676 assign( rS7, binop(shr_op, mkexpr(rS6), mkU8(8)) ); in dis_int_parity()
4677 assign( iTot8, binop(Iop_Add32, in dis_int_parity()
4680 assign( rA, unop(Iop_32Uto64, in dis_int_parity()
4683 assign( rA, mkexpr(iTot4) ); in dis_int_parity()
4687 assign( iTot1, unop(Iop_1Uto32, unop(to_bit, mkexpr(rS))) ); in dis_int_parity()
4688 assign( rS1, binop(shr_op, mkexpr(rS), mkU8(8)) ); in dis_int_parity()
4689 assign( iTot2, binop(Iop_Add32, in dis_int_parity()
4692 assign( rS2, binop(shr_op, mkexpr(rS1), mkU8(8)) ); in dis_int_parity()
4693 assign( iTot3, binop(Iop_Add32, in dis_int_parity()
4696 assign( rS3, binop(shr_op, mkexpr(rS2), mkU8(8)) ); in dis_int_parity()
4697 assign( iTot4, binop(Iop_Add32, in dis_int_parity()
4700 assign( iLo, unop(Iop_1Uto32, unop(Iop_32to1, mkexpr(iTot4) )) ); in dis_int_parity()
4703 assign( rS4, binop(shr_op, mkexpr(rS3), mkU8(8)) ); in dis_int_parity()
4704 assign( iTot5, unop(Iop_1Uto32, unop(to_bit, mkexpr(rS4))) ); in dis_int_parity()
4705 assign( rS5, binop(shr_op, mkexpr(rS4), mkU8(8)) ); in dis_int_parity()
4706 assign( iTot6, binop(Iop_Add32, in dis_int_parity()
4709 assign( rS6, binop(shr_op, mkexpr(rS5), mkU8(8)) ); in dis_int_parity()
4710 assign( iTot7, binop(Iop_Add32, in dis_int_parity()
4713 assign( rS7, binop(shr_op, mkexpr(rS6), mkU8(8))); in dis_int_parity()
4714 assign( iTot8, binop(Iop_Add32, in dis_int_parity()
4717 assign( iHi, binop(Iop_And32, mkU32(1), mkexpr(iTot8)) ), in dis_int_parity()
4718 assign( rA, binop(Iop_32HLto64, mkexpr(iHi), mkexpr(iLo)) ); in dis_int_parity()
4720 assign( rA, binop(Iop_Or32, mkU32(0), mkexpr(iLo)) ); in dis_int_parity()
4760 assign( rS, getIReg(rS_addr) ); in dis_int_rot()
4761 assign( rB, getIReg(rB_addr) ); in dis_int_rot()
4774 assign( rot, binop(Iop_Or64, r, in dis_int_rot()
4776 assign( rA, in dis_int_rot()
4785 assign( rA, in dis_int_rot()
4808 assign( rTmp, r ); in dis_int_rot()
4810 assign( rot, binop(Iop_Or64, mkexpr(rTmp), in dis_int_rot()
4812 assign( rA, binop(Iop_And64, mkexpr(rot), mkU64(mask64)) ); in dis_int_rot()
4820 assign( rA, binop(Iop_Shl32, mkexpr(rS), mkU8(sh_imm)) ); in dis_int_rot()
4827 assign( rA, binop(Iop_Shr32, mkexpr(rS), mkU8(MaskBeg)) ); in dis_int_rot()
4835 assign( rA, binop(Iop_And32, in dis_int_rot()
4857 assign(rot, binop(Iop_Or64, r, binop(Iop_Shl64, r, mkU8(32)))); in dis_int_rot()
4858 assign( rA, binop(Iop_And64, mkexpr(rot), mkU64(mask64)) ); in dis_int_rot()
4863 assign( rA, binop(Iop_And32, in dis_int_rot()
4889 assign( rA, binop(Iop_And64, r, mkU64(mask64)) ); in dis_int_rot()
4895 assign( rA, binop(Iop_And64, r, mkU64(mask64)) ); in dis_int_rot()
4905 assign( rA, binop(Iop_And64, r, mkU64(mask64)) ); in dis_int_rot()
4922 assign( rA, binop(Iop_Shr64, mkexpr(rS), mkU8(msk_imm)) ); in dis_int_rot()
4928 assign( rA, binop(Iop_And64, r, mkU64(mask64)) ); in dis_int_rot()
4939 assign( rA, binop(Iop_Shl64, mkexpr(rS), mkU8(sh_imm)) ); in dis_int_rot()
4945 assign( rA, binop(Iop_And64, r, mkU64(mask64)) ); in dis_int_rot()
4955 assign( rA_orig, getIReg(rA_addr) ); in dis_int_rot()
4956 assign( rA, binop(Iop_Or64, in dis_int_rot()
5005 assign( EA, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_int_load()
5010 assign( EA, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_int_load()
5015 assign( EA, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_int_load()
5018 assign( EA, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_int_load()
5249 assign(high, load(ty, mkexpr( EA ) ) ); in dis_int_load()
5250 assign(low, load(ty, binop( Iop_Add64, in dis_int_load()
5254 assign(low, load(ty, mkexpr( EA ) ) ); in dis_int_load()
5255 assign(high, load(ty, binop( Iop_Add64, in dis_int_load()
5260 assign(high, load(ty, binop( Iop_Add32, in dis_int_load()
5263 assign(low, load(ty, binop( Iop_Add32, in dis_int_load()
5302 assign( rB, getIReg(rB_addr) ); in dis_int_store()
5303 assign( rS, getIReg(rS_addr) ); in dis_int_store()
5307 assign( EA, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_int_store()
5313 assign( EA, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_int_store()
5469 assign( EA_hi, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_int_store()
5472 assign( EA_lo, ea_rAor0_simm( rA_addr, simm16+8 ) ); in dis_int_store()
5475 assign( EA_hi, ea_rAor0_simm( rA_addr, simm16+8 ) ); in dis_int_store()
5478 assign( EA_lo, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_int_store()
5482 assign( EA_hi, ea_rAor0_simm( rA_addr, simm16+4 ) ); in dis_int_store()
5485 assign( EA_lo, ea_rAor0_simm( rA_addr, simm16+12 ) ); in dis_int_store()
5526 assign( EA, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_int_ldst_mult()
5681 assign( t_EA, ea_rAor0(rA_addr) ); in dis_int_ldst_str()
5692 assign( t_nbytes, mkU32(NumBytes==0 ? 32 : NumBytes) ); in dis_int_ldst_str()
5709 assign( t_EA, ea_rAor0_idxd(rA_addr,rB_addr) ); in dis_int_ldst_str()
5710 assign( t_nbytes, unop( Iop_8Uto32, getXER_BC() ) ); in dis_int_ldst_str()
5717 assign( t_EA, ea_rAor0(rA_addr) ); in dis_int_ldst_str()
5727 assign( t_nbytes, mkU32(NumBytes==0 ? 32 : NumBytes) ); in dis_int_ldst_str()
5736 assign( t_EA, ea_rAor0_idxd(rA_addr,rB_addr) ); in dis_int_ldst_str()
5737 assign( t_nbytes, unop( Iop_8Uto32, getXER_BC() ) ); in dis_int_ldst_str()
5766 assign( ok, mkU32(0xFFFFFFFF) ); in branch_ctr_ok()
5769 assign( ok, unop( Iop_1Sto32, in branch_ctr_ok()
5774 assign( ok, unop( Iop_1Sto32, in branch_ctr_ok()
5796 assign( res, mkU32(1) ); in branch_cond_ok()
5801 assign( cr_bi, getCRbit_anywhere( BI, &where ) ); in branch_cond_ok()
5805 assign( res, mkexpr(cr_bi) ); in branch_cond_ok()
5810 assign( res, binop(Iop_Xor32, mkexpr(cr_bi), in branch_cond_ok()
5879 assign(t_tgt, mode64 ? mkU64(tgt) : mkU32(tgt) ); in dis_branch()
5909 assign( ctr_ok, branch_ctr_ok( BO ) ); in dis_branch()
5910 assign( cond_ok, branch_cond_ok( BO, BI ) ); in dis_branch()
5911 assign( do_branch, in dis_branch()
5949 assign( cond_ok, branch_cond_ok( BO, BI ) ); in dis_branch()
5953 assign( lr_old, addr_align( getGST( PPC_GST_CTR ), 4 )); in dis_branch()
5988 assign( ctr_ok, branch_ctr_ok( BO ) ); in dis_branch()
5989 assign( cond_ok, branch_cond_ok( BO, BI ) ); in dis_branch()
5990 assign( do_branch, in dis_branch()
5993 assign( lr_old, addr_align( getGST( PPC_GST_LR ), 4 )); in dis_branch()
6065 assign( crbA, getCRbit(crbA_addr) ); in dis_cond_logic()
6069 assign( crbB, getCRbit(crbB_addr) ); in dis_cond_logic()
6074 assign( crbD, binop(Iop_And32, mkexpr(crbA), mkexpr(crbB)) ); in dis_cond_logic()
6078 assign( crbD, binop(Iop_And32, in dis_cond_logic()
6084 assign( crbD, unop(Iop_Not32, in dis_cond_logic()
6089 assign( crbD, unop(Iop_Not32, in dis_cond_logic()
6094 assign( crbD, unop(Iop_Not32, in dis_cond_logic()
6099 assign( crbD, binop(Iop_Or32, mkexpr(crbA), mkexpr(crbB)) ); in dis_cond_logic()
6103 assign( crbD, binop(Iop_Or32, in dis_cond_logic()
6109 assign( crbD, binop(Iop_Xor32, mkexpr(crbA), mkexpr(crbB)) ); in dis_cond_logic()
6182 assign( argL, argL0 ); in do_trap()
6183 assign( argR, argR0 ); in do_trap()
6383 assign( EA, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_memsync()
6491 assign( rS, mkNarrowTo32(ty, getIReg(rS_addr)) ); in dis_memsync()
6522 assign( rS, mkNarrowTo8(ty, getIReg(rS_addr)) ); in dis_memsync()
6556 assign( rS, mkNarrowTo16(ty, getIReg(rS_addr)) ); in dis_memsync()
6649 assign( rS, getIReg(rS_addr) ); in dis_memsync()
6724 assign( rS_hi, getIReg(rS_addr) ); in dis_memsync()
6725 assign( rS_lo, getIReg(rS_addr+1) ); in dis_memsync()
6796 assign( rS, getIReg(rS_addr) ); in dis_int_shift()
6797 assign( rB, getIReg(rB_addr) ); in dis_int_shift()
6798 assign( rS_lo32, mkNarrowTo32(ty, mkexpr(rS)) ); in dis_int_shift()
6799 assign( rB_lo32, mkNarrowTo32(ty, mkexpr(rB)) ); in dis_int_shift()
6823 assign( rA, mkWidenFrom32(ty, e_tmp, /* Signed */False) ); in dis_int_shift()
6836 assign( sh_amt, binop(Iop_And32, mkU32(0x3F), in dis_int_shift()
6838 assign( outofrange, in dis_int_shift()
6846 assign( rA, mkWidenFrom32(ty, e_tmp, /* Signed */True) ); in dis_int_shift()
6861 assign( rA, binop(Iop_Sar64, in dis_int_shift()
6866 assign( rA, binop(Iop_Sar32, mkexpr(rS_lo32), in dis_int_shift()
6899 assign( rA, mkWidenFrom32(ty, e_tmp, /* Signed */False) ); in dis_int_shift()
6913 assign( rA, in dis_int_shift()
6934 assign( sh_amt, binop(Iop_And64, mkU64(0x7F), mkexpr(rB)) ); in dis_int_shift()
6935 assign( outofrange, in dis_int_shift()
6937 assign( rA, in dis_int_shift()
6956 assign( rA, binop(Iop_Sar64, getIReg(rS_addr), mkU8(sh_imm)) ); in dis_int_shift()
6974 assign( rA, in dis_int_shift()
7062 assign( EA, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_int_ldst_rev()
7068 assign( w1, unop(Iop_16Uto32, load(Ity_I16, mkexpr(EA))) ); in dis_int_ldst_rev()
7069 assign( w2, gen_byterev16(w1) ); in dis_int_ldst_rev()
7076 assign( w1, load(Ity_I32, mkexpr(EA)) ); in dis_int_ldst_rev()
7077 assign( w2, gen_byterev32(w1) ); in dis_int_ldst_rev()
7088 assign( w1, load( Ity_I32, mkexpr( EA ) ) ); in dis_int_ldst_rev()
7089 assign( w2, gen_byterev32( w1 ) ); in dis_int_ldst_rev()
7092 assign( w3, load( Ity_I32, nextAddr ) ); in dis_int_ldst_rev()
7093 assign( w4, gen_byterev32( w3 ) ); in dis_int_ldst_rev()
7103 assign( w1, mkNarrowTo32(ty, getIReg(rS_addr)) ); in dis_int_ldst_rev()
7109 assign( w1, mkNarrowTo32(ty, getIReg(rS_addr)) ); in dis_int_ldst_rev()
7118 assign( rS, getIReg( rS_addr ) ); in dis_int_ldst_rev()
7120 assign(lo, unop(Iop_64HIto32, mkexpr(rS))); in dis_int_ldst_rev()
7121 assign(hi, unop(Iop_64to32, mkexpr(rS))); in dis_int_ldst_rev()
7163 assign( rS, getIReg(rS_addr) ); in dis_proc_ctl()
7452 assign( vS, getVSReg( XS ) ); in dis_proc_ctl()
7474 assign( vS, getVSReg( XS ) ); in dis_proc_ctl()
7497 assign( rA, getIReg(rA_addr) ); in dis_proc_ctl()
7524 assign( rA, unop( Iop_64to32, getIReg( rA_addr ) ) ); in dis_proc_ctl()
7526 assign( rA, getIReg(rA_addr) ); in dis_proc_ctl()
7548 assign( rA, unop( Iop_64to32, getIReg( rA_addr ) ) ); in dis_proc_ctl()
7550 assign( rA, getIReg(rA_addr) ); in dis_proc_ctl()
7660 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_cache_manage()
7664 assign( addr, binop( Iop_And64, in dis_cache_manage()
7674 assign( addr, binop( Iop_And32, in dis_cache_manage()
7693 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_cache_manage()
7696 assign( addr, binop( mkSzOp(ty, Iop_And8), in dis_cache_manage()
7739 assign( rm_PPC32, getGST_masked( PPC_GST_FPSCR, MASK_FPSCR_RN ) ); in get_IR_roundingmode()
7767 assign( rm_PPC32, getGST_masked_upper( PPC_GST_FPSCR, MASK_FPSCR_DRN ) ); in get_IR_roundingmode_DFP()
7801 assign( frac_mask, unop( Iop_Not32, in Check_NaN()
7805 assign( exp_zero, in Check_NaN()
7814 assign( frac_not_zero, in Check_NaN()
7888 assign( rA, getIReg(rA_addr) ); in dis_fp_load()
7889 assign( rB, getIReg(rB_addr) ); in dis_fp_load()
7898 assign( EA, ea_rAor0_simm(rA_addr, simm16) ); in dis_fp_load()
7907 assign( EA, ea_rA_simm(rA_addr, simm16) ); in dis_fp_load()
7915 assign( EA, ea_rAor0_simm(rA_addr, simm16) ); in dis_fp_load()
7923 assign( EA, ea_rA_simm(rA_addr, simm16) ); in dis_fp_load()
7937 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_fp_load()
7946 assign( EA, ea_rA_idxd(rA_addr, rB_addr) ); in dis_fp_load()
7954 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_fp_load()
7962 assign( EA, ea_rA_idxd(rA_addr, rB_addr) ); in dis_fp_load()
7969 assign( EA, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_fp_load()
7970 assign( iLo, load(Ity_I32, mkexpr(EA)) ); in dis_fp_load()
7971 assign( iHi, binop(Iop_Sub32, in dis_fp_load()
7982 assign( EA, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_fp_load()
7983 assign( iLo, load(Ity_I32, mkexpr(EA)) ); in dis_fp_load()
7984 assign( dw, binop( Iop_32HLto64, mkU32( 0 ), mkexpr( iLo ) ) ); in dis_fp_load()
8025 assign( frS, getFReg(frS_addr) ); in dis_fp_store()
8026 assign( rA, getIReg(rA_addr) ); in dis_fp_store()
8027 assign( rB, getIReg(rB_addr) ); in dis_fp_store()
8038 assign( EA, ea_rAor0_simm(rA_addr, simm16) ); in dis_fp_store()
8049 assign( EA, ea_rA_simm(rA_addr, simm16) ); in dis_fp_store()
8057 assign( EA, ea_rAor0_simm(rA_addr, simm16) ); in dis_fp_store()
8065 assign( EA, ea_rA_simm(rA_addr, simm16) ); in dis_fp_store()
8078 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_fp_store()
8088 assign( EA, ea_rA_idxd(rA_addr, rB_addr) ); in dis_fp_store()
8096 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_fp_store()
8104 assign( EA, ea_rA_idxd(rA_addr, rB_addr) ); in dis_fp_store()
8112 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_fp_store()
8163 assign( frA, getFReg(frA_addr)); in dis_fp_arith()
8164 assign( frB, getFReg(frB_addr)); in dis_fp_arith()
8165 assign( frC, getFReg(frC_addr)); in dis_fp_arith()
8175 assign( frD, triop( Iop_DivF64r32, in dis_fp_arith()
8184 assign( frD, triop( Iop_SubF64r32, in dis_fp_arith()
8193 assign( frD, triop( Iop_AddF64r32, in dis_fp_arith()
8205 assign( frD, binop( Iop_SqrtF64, rm, mkexpr(frB) )); in dis_fp_arith()
8216 assign( frD, triop( Iop_DivF64r32, in dis_fp_arith()
8227 assign( frD, triop( Iop_MulF64r32, in dis_fp_arith()
8238 assign( frD, unop(Iop_RSqrtEst5GoodF64, mkexpr(frB)) ); in dis_fp_arith()
8254 assign( frD, triop(Iop_DivF64, rm, mkexpr(frA), mkexpr(frB)) ); in dis_fp_arith()
8262 assign( frD, triop(Iop_SubF64, rm, mkexpr(frA), mkexpr(frB)) ); in dis_fp_arith()
8270 assign( frD, triop(Iop_AddF64, rm, mkexpr(frA), mkexpr(frB)) ); in dis_fp_arith()
8279 assign( frD, binop(Iop_SqrtF64, rm, mkexpr(frB)) ); in dis_fp_arith()
8292 assign( cc, binop(Iop_CmpF64, mkexpr(frA), in dis_fp_arith()
8294 assign( cc_b0, binop(Iop_And32, mkexpr(cc), mkU32(1)) ); in dis_fp_arith()
8298 assign( frD, in dis_fp_arith()
8319 assign( frD, triop( Iop_DivF64, in dis_fp_arith()
8330 assign( frD, triop(Iop_MulF64, rm, mkexpr(frA), mkexpr(frC)) ); in dis_fp_arith()
8339 assign( frD, unop(Iop_RSqrtEst5GoodF64, mkexpr(frB)) ); in dis_fp_arith()
8408 assign( rmt, get_IR_roundingmode() ); in dis_fp_multadd()
8411 assign( frA, getFReg(frA_addr)); in dis_fp_multadd()
8412 assign( frB, getFReg(frB_addr)); in dis_fp_multadd()
8413 assign( frC, getFReg(frC_addr)); in dis_fp_multadd()
8429 assign( frD, qop( Iop_MSubF64r32, rm, in dis_fp_multadd()
8436 assign( frD, qop( Iop_MAddF64r32, rm, in dis_fp_multadd()
8446 assign( tmp, qop( Iop_MSubF64r32, rm, in dis_fp_multadd()
8451 assign( tmp, qop( Iop_MAddF64r32, rm, in dis_fp_multadd()
8455 assign( nan_mask, Check_NaN( mkexpr( tmp ), in dis_fp_multadd()
8457 assign( sign_tmp, Complement_non_NaN( mkexpr( tmp ), in dis_fp_multadd()
8459 assign( frD, unop( Iop_ReinterpI64asF64, mkexpr( sign_tmp ) ) ); in dis_fp_multadd()
8473 assign( frD, qop( Iop_MSubF64, rm, in dis_fp_multadd()
8480 assign( frD, qop( Iop_MAddF64, rm, in dis_fp_multadd()
8490 assign( tmp, qop( Iop_MSubF64, rm, in dis_fp_multadd()
8495 assign( tmp, qop( Iop_MAddF64, rm, in dis_fp_multadd()
8499 assign( nan_mask, Check_NaN( mkexpr( tmp ), in dis_fp_multadd()
8501 assign( sign_tmp, Complement_non_NaN( mkexpr( tmp ), in dis_fp_multadd()
8503 assign( frD, unop( Iop_ReinterpI64asF64, mkexpr( sign_tmp ) ) ); in dis_fp_multadd()
8558 assign( frB_exp_shR, fp_exp_part( frB_Int, sp ) ); in do_fp_tsqrt()
8559 assign(e_b, binop( Iop_Sub32, mkexpr(frB_exp_shR), mkU32( bias ) )); in do_fp_tsqrt()
8567 assign( frbInf_tmp, is_Inf(frB_Int, sp) ); in do_fp_tsqrt()
8568 assign( frbZero_tmp, is_Zero(frB_Int, sp ) ); in do_fp_tsqrt()
8596 assign( frac_part, binop( Iop_And32, mkexpr(frB_Int), mkU32(0x007fffff)) ); in do_fp_tsqrt()
8604 assign( frac_part, FP_FRAC_PART(frB_Int) ); in do_fp_tsqrt()
8626 assign (*fg_flag_tmp, fg_flag); in do_fp_tsqrt()
8627 assign (*fe_flag_tmp, fe_flag); in do_fp_tsqrt()
8682 assign( frA_exp_shR, fp_exp_part( frA_int, sp ) ); in _do_fp_tdiv()
8683 assign( frB_exp_shR, fp_exp_part( frB_int, sp ) ); in _do_fp_tdiv()
8685 assign(e_a, binop( Iop_Sub32, mkexpr(frA_exp_shR), mkU32( bias ) )); in _do_fp_tdiv()
8686 assign(e_b, binop( Iop_Sub32, mkexpr(frB_exp_shR), mkU32( bias ) )); in _do_fp_tdiv()
8701 assign(fraInf_tmp, is_Inf(frA_int, sp)); in _do_fp_tdiv()
8712 assign( frbInf_tmp, is_Inf(frB_int, sp) ); in _do_fp_tdiv()
8717 assign( frbZero_tmp, is_Zero(frB_int, sp) ); in _do_fp_tdiv()
8740 assign( fraNotZero_tmp, unop( Iop_Not1, is_Zero( frA_int, sp ) ) ); in _do_fp_tdiv()
8795 assign( frac_part, FP_FRAC_PART(frB_int) ); in _do_fp_tdiv()
8831 assign(*fe_flag_tmp, fe_flag); in _do_fp_tdiv()
8832 assign(*fg_flag_tmp, fg_flag); in _do_fp_tdiv()
8866 assign( frB_I64, unop( Iop_ReinterpF64asI64, getFReg( frB_addr ) ) ); in dis_fp_tests()
8879 assign( frA_I64, unop( Iop_ReinterpF64asI64, getFReg( frA_addr ) ) ); in dis_fp_tests()
8900 assign( flags, in dis_fp_tests()
8942 assign( frA, getFReg(frA_addr)); in dis_fp_cmp()
8943 assign( frB, getFReg(frB_addr)); in dis_fp_cmp()
8945 assign( ccIR, binop(Iop_CmpF64, mkexpr(frA), mkexpr(frB)) ); in dis_fp_cmp()
8959 assign( in dis_fp_cmp()
9050 assign( frB, getFReg(frB_addr)); in dis_fp_round()
9059 assign( r_tmp64, unop( Iop_ReinterpF64asI64, mkexpr(frB)) ); in dis_fp_round()
9060 assign( frD, binop( Iop_RoundF64toF32, rm, binop( Iop_I64StoF64, rm, in dis_fp_round()
9066 assign( r_tmp64, unop( Iop_ReinterpF64asI64, mkexpr(frB)) ); in dis_fp_round()
9067 assign( frD, unop( Iop_F32toF64, binop( Iop_I64UtoF32, rm, mkexpr( r_tmp64 ) ) ) ); in dis_fp_round()
9076 assign( frD, binop( Iop_RoundF64toF32, rm, mkexpr(frB) )); in dis_fp_round()
9081 assign( r_tmp32, in dis_fp_round()
9083 assign( frD, unop( Iop_ReinterpI64asF64, in dis_fp_round()
9091 assign( r_tmp32, in dis_fp_round()
9093 assign( frD, unop( Iop_ReinterpI64asF64, in dis_fp_round()
9102 assign( r_tmp32, in dis_fp_round()
9106 assign( frD, unop( Iop_ReinterpI64asF64, in dis_fp_round()
9115 assign( r_tmp64, in dis_fp_round()
9117 assign( frD, unop( Iop_ReinterpI64asF64, mkexpr(r_tmp64)) ); in dis_fp_round()
9124 assign( r_tmp64, in dis_fp_round()
9126 assign( frD, unop( Iop_ReinterpI64asF64, mkexpr(r_tmp64)) ); in dis_fp_round()
9135 assign( r_tmp64, in dis_fp_round()
9137 assign( frD, unop( Iop_ReinterpI64asF64, mkexpr(r_tmp64)) ); in dis_fp_round()
9144 assign( r_tmp64, unop( Iop_ReinterpF64asI64, mkexpr(frB)) ); in dis_fp_round()
9145 assign( frD, in dis_fp_round()
9151 assign( r_tmp64, unop( Iop_ReinterpF64asI64, mkexpr(frB)) ); in dis_fp_round()
9152 assign( frD, binop( Iop_I64UtoF64, rm, mkexpr( r_tmp64 ) ) ); in dis_fp_round()
9159 assign( r_tmp64, in dis_fp_round()
9164 assign( r_tmp64, in dis_fp_round()
9169 assign( r_tmp64, in dis_fp_round()
9174 assign( r_tmp64, in dis_fp_round()
9184 assign(frD, IRExpr_ITE( in dis_fp_round()
9275 assign( EA_hi, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_fp_pair()
9279 assign( EA_hi, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_fp_pair()
9284 assign( EA_hi, ea_rAor0_simm( rA_addr, simm16 ) ); in dis_fp_pair()
9292 assign( EA_lo, binop(Iop_Add64, mkexpr(EA_hi), mkU64(8)) ); in dis_fp_pair()
9294 assign( EA_lo, binop(Iop_Add32, mkexpr(EA_hi), mkU32(8)) ); in dis_fp_pair()
9296 assign( frT_hi, getFReg(frT_hi_addr) ); in dis_fp_pair()
9297 assign( frT_lo, getFReg(frT_lo_addr) ); in dis_fp_pair()
9326 assign( frA, getFReg(frA_addr)); in dis_fp_merge()
9327 assign( frB, getFReg(frB_addr)); in dis_fp_merge()
9333 assign( frD, unop( Iop_ReinterpI64asF64, in dis_fp_merge()
9346 assign( frD, unop( Iop_ReinterpI64asF64, in dis_fp_merge()
9390 assign( frB, getFReg(frB_addr)); in dis_fp_move()
9400 assign( frA, getFReg(frA_addr) ); in dis_fp_move()
9403 assign(signA, binop(Iop_And32, in dis_fp_move()
9408 assign( itmpB, unop(Iop_ReinterpF64asI64, mkexpr(frB)) ); in dis_fp_move()
9411 assign(hiD, binop(Iop_Or32, in dis_fp_move()
9419 assign( frD, unop(Iop_ReinterpI64asF64, in dis_fp_move()
9428 assign( frD, unop( Iop_NegF64, mkexpr(frB) )); in dis_fp_move()
9433 assign( frD, mkexpr(frB) ); in dis_fp_move()
9438 assign( frD, unop( Iop_NegF64, unop( Iop_AbsF64, mkexpr(frB) ))); in dis_fp_move()
9443 assign( frD, unop( Iop_AbsF64, mkexpr(frB) )); in dis_fp_move()
9512 assign( tmp, binop(Iop_And32, in dis_fp_scr()
9628 assign( frB, getFReg(frB_addr)); in dis_fp_scr()
9629 assign( rB_64, unop( Iop_ReinterpF64asI64, mkexpr( frB ) ) ); in dis_fp_scr()
9709 assign( lmd_07_mask, in Gfield_encoding()
9711 assign( lmd_8_mask, in Gfield_encoding()
9713 assign( lmd_9_mask, in Gfield_encoding()
9715 assign( lmexp_00_mask, in Gfield_encoding()
9717 assign( lmexp_01_mask, in Gfield_encoding()
9719 assign( lmexp_10_mask, in Gfield_encoding()
9725 assign( lmd_07_val, in Gfield_encoding()
9727 assign( lmd_8_val, in Gfield_encoding()
9737 assign( lmd_9_val, in Gfield_encoding()
9789 assign( lmd_07_mask, in Get_lmd()
9793 assign( lmd_8_00_mask, in Get_lmd()
9797 assign( lmd_8_01_mask, in Get_lmd()
9801 assign( lmd_8_10_mask, in Get_lmd()
9805 assign( lmd_9_00_mask, in Get_lmd()
9809 assign( lmd_9_01_mask, in Get_lmd()
9813 assign( lmd_9_10_mask, in Get_lmd()
9821 assign( lmd_07_val, binop( Iop_And32, gfield_0_4, mkU32( 0x7 ) ) ); in Get_lmd()
9822 assign( lmd_8_val, mkU32( 0x8 ) ); in Get_lmd()
9823 assign( lmd_9_val, mkU32( 0x9 ) ); in Get_lmd()
9825 assign( *lmd, in Get_lmd()
9851 assign( valid, in bcd_digit_inval()
10047 assign( low_50, in Generate_132_bit_bcd_string()
10057 assign( tmplow60, unop( Iop_DPBtoBCD, mkexpr( low_50 ) ) ); in Generate_132_bit_bcd_string()
10058 assign( *low_60_u, unop( Iop_64HIto32, mkexpr( tmplow60 ) ) ); in Generate_132_bit_bcd_string()
10059 assign( *low_60_l, unop( Iop_64to32, mkexpr( tmplow60 ) ) ); in Generate_132_bit_bcd_string()
10064 assign( mid_50, in Generate_132_bit_bcd_string()
10086 assign( tmpmid60, unop( Iop_DPBtoBCD, mkexpr( mid_50 ) ) ); in Generate_132_bit_bcd_string()
10087 assign( *mid_60_u, unop( Iop_64HIto32, mkexpr( tmpmid60 ) ) ); in Generate_132_bit_bcd_string()
10088 assign( *mid_60_l, unop( Iop_64to32, mkexpr( tmpmid60 ) ) ); in Generate_132_bit_bcd_string()
10091 assign( top_10, in Generate_132_bit_bcd_string()
10103 assign( tmptop12, unop( Iop_DPBtoBCD, mkexpr( top_10 ) ) ); in Generate_132_bit_bcd_string()
10104 assign( top_12_u, unop( Iop_64HIto32, mkexpr( tmptop12 ) ) ); in Generate_132_bit_bcd_string()
10105 assign( *top_12_l, unop( Iop_64to32, mkexpr( tmptop12 ) ) ); in Generate_132_bit_bcd_string()
10118 assign( cnt[start-1], init_cnt); in Count_zeros()
10119 assign( flag[start-1], init_flag); in Count_zeros()
10124 assign( cnt[i], in Count_zeros()
10140 assign( flag[i], in Count_zeros()
10166 assign( num_lmd, unop( Iop_1Uto8, binop( Iop_CmpEQ32, lmd, mkU32( 0 ) ) ) ); in Count_leading_zeros_60()
10167 assign( lmd_flag, unop( Iop_Not8, mkexpr( num_lmd ) ) ); in Count_leading_zeros_60()
10205 assign( num_lmd, unop( Iop_1Uto8, binop( Iop_CmpEQ32, lmd, mkU32( 0 ) ) ) ); in Count_leading_zeros_128()
10207 assign( lmd_flag, unop( Iop_Not8, mkexpr( num_lmd ) ) ); in Count_leading_zeros_128()
10256 assign( gfield0to5, in Check_unordered()
10309 assign( frA, getDReg( frA_addr ) ); in dis_dfp_arith()
10310 assign( frB, getDReg( frB_addr ) ); in dis_dfp_arith()
10316 assign( frS, triop( Iop_AddD64, round, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_arith()
10321 assign( frS, triop( Iop_SubD64, round, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_arith()
10326 assign( frS, triop( Iop_MulD64, round, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_arith()
10331 assign( frS, triop( Iop_DivD64, round, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_arith()
10367 assign( frA, getDReg_pair( frA_addr ) ); in dis_dfp_arithq()
10368 assign( frB, getDReg_pair( frB_addr ) ); in dis_dfp_arithq()
10374 assign( frS, triop( Iop_AddD128, round, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_arithq()
10379 assign( frS, triop( Iop_SubD128, round, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_arithq()
10384 assign( frS, triop( Iop_MulD128, round, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_arithq()
10389 assign( frS, triop( Iop_DivD128, round, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_arithq()
10415 assign( frA, getDReg( frA_addr ) ); in dis_dfp_shift()
10421 assign( frS, binop( Iop_ShlD64, mkexpr( frA ), mkU8( shift_val ) ) ); in dis_dfp_shift()
10426 assign( frS, binop( Iop_ShrD64, mkexpr( frA ), mkU8( shift_val ) ) ); in dis_dfp_shift()
10452 assign( frA, getDReg_pair( frA_addr ) ); in dis_dfp_shiftq()
10458 assign( frS, binop( Iop_ShlD128, mkexpr( frA ), mkU8( shift_val ) ) ); in dis_dfp_shiftq()
10463 assign( frS, binop( Iop_ShrD128, mkexpr( frA ), mkU8( shift_val ) ) ); in dis_dfp_shiftq()
10495 assign( frB, getDReg32( frB_addr ) ); in dis_dfp_fmt_conv()
10496 assign( frS, unop( Iop_D32toD64, mkexpr( frB ) ) ); in dis_dfp_fmt_conv()
10504 assign( frB, getDReg( frB_addr ) ); in dis_dfp_fmt_conv()
10505 assign( frS, binop( Iop_D64toD32, round, mkexpr( frB ) ) ); in dis_dfp_fmt_conv()
10516 assign( frB, getDReg( frB_addr ) ); in dis_dfp_fmt_conv()
10517 assign( tmp, binop( Iop_D64toI64S, round, mkexpr( frB ) ) ); in dis_dfp_fmt_conv()
10518 assign( frS, unop( Iop_ReinterpI64asD64, mkexpr( tmp ) ) ); in dis_dfp_fmt_conv()
10527 assign( frB, getDReg( frB_addr ) ); in dis_dfp_fmt_conv()
10528 assign( frS, binop( Iop_I64StoD64, in dis_dfp_fmt_conv()
10560 assign( frB64, getDReg( frB_addr ) ); in dis_dfp_fmt_convq()
10561 assign( frS128, unop( Iop_D64toD128, mkexpr( frB64 ) ) ); in dis_dfp_fmt_convq()
10570 assign( frB128, getDReg_pair( frB_addr ) ); in dis_dfp_fmt_convq()
10571 assign( tmp, binop( Iop_D128toI64S, round, mkexpr( frB128 ) ) ); in dis_dfp_fmt_convq()
10572 assign( frS64, unop( Iop_ReinterpI64asD64, mkexpr( tmp ) ) ); in dis_dfp_fmt_convq()
10579 assign( frB128, getDReg_pair( frB_addr ) ); in dis_dfp_fmt_convq()
10580 assign( frS64, binop( Iop_D128toD64, round, mkexpr( frB128 ) ) ); in dis_dfp_fmt_convq()
10591 assign( frB64, getDReg( frB_addr ) ); in dis_dfp_fmt_convq()
10592 assign( frS128, unop( Iop_I64StoD128, in dis_dfp_fmt_convq()
10634 assign( frB, getDReg( frB_addr ) ); in dis_dfp_round()
10635 assign( frS, binop( Iop_RoundD64toInt, in dis_dfp_round()
10675 assign( frB, getDReg_pair( frB_addr ) ); in dis_dfp_roundq()
10676 assign( frS, binop( Iop_RoundD128toInt, in dis_dfp_roundq()
10708 assign( frB, getDReg( frB_addr ) ); in dis_dfp_quantize_sig_rrnd()
10724 assign( TE_I64, in dis_dfp_quantize_sig_rrnd()
10732 assign( TE_I64, in dis_dfp_quantize_sig_rrnd()
10738 assign( frA, binop( Iop_InsertExpD64, mkexpr( TE_I64 ), in dis_dfp_quantize_sig_rrnd()
10741 assign( frS, triop( Iop_QuantizeD64, in dis_dfp_quantize_sig_rrnd()
10750 assign( frA, getDReg( frA_addr ) ); in dis_dfp_quantize_sig_rrnd()
10751 assign( frS, triop( Iop_QuantizeD64, in dis_dfp_quantize_sig_rrnd()
10762 assign( frA, getDReg( frA_addr ) ); in dis_dfp_quantize_sig_rrnd()
10764 assign( tmp, unop( Iop_32to8, in dis_dfp_quantize_sig_rrnd()
10768 assign( frS, triop( Iop_SignificanceRoundD64, in dis_dfp_quantize_sig_rrnd()
10802 assign( frB, getDReg_pair( frB_addr ) ); in dis_dfp_quantize_sig_rrndq()
10818 assign( TE_I64, in dis_dfp_quantize_sig_rrndq()
10826 assign( TE_I64, in dis_dfp_quantize_sig_rrndq()
10833 assign( frA, in dis_dfp_quantize_sig_rrndq()
10837 assign( frS, triop( Iop_QuantizeD128, in dis_dfp_quantize_sig_rrndq()
10845 assign( frA, getDReg_pair( frA_addr ) ); in dis_dfp_quantize_sig_rrndq()
10846 assign( frS, triop( Iop_QuantizeD128, in dis_dfp_quantize_sig_rrndq()
10857 assign( frA, getDReg_pair( frA_addr ) ); in dis_dfp_quantize_sig_rrndq()
10858 assign( tmp, unop( Iop_32to8, in dis_dfp_quantize_sig_rrndq()
10863 assign( frS, triop( Iop_SignificanceRoundD128, in dis_dfp_quantize_sig_rrndq()
10896 assign( frA, getDReg( frA_addr ) ); in dis_dfp_extract_insert()
10897 assign( frB, getDReg( frB_addr ) ); in dis_dfp_extract_insert()
10903 assign( tmp, unop( Iop_ExtractExpD64, mkexpr( frB ) ) ); in dis_dfp_extract_insert()
10904 assign( frS, unop( Iop_ReinterpI64asD64, mkexpr( tmp ) ) ); in dis_dfp_extract_insert()
10909 assign( frS, binop( Iop_InsertExpD64, in dis_dfp_extract_insert()
10943 assign( frB, getDReg_pair( frB_addr ) ); in dis_dfp_extract_insertq()
10953 assign( tmp, unop( Iop_ExtractExpD128, mkexpr( frB ) ) ); in dis_dfp_extract_insertq()
10954 assign( frS64, unop( Iop_ReinterpI64asD64, mkexpr( tmp ) ) ); in dis_dfp_extract_insertq()
10960 assign( frA, getDReg( frA_addr ) ); in dis_dfp_extract_insertq()
10961 assign( frS, binop( Iop_InsertExpD128, in dis_dfp_extract_insertq()
11001 assign( frA, getDReg( frA_addr ) ); in dis_dfp_compare()
11002 assign( frB, getDReg( frB_addr ) ); in dis_dfp_compare()
11004 assign( ccIR, binop( Iop_CmpD64, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_compare()
11011 assign( frA, getDReg_pair( frA_addr ) ); in dis_dfp_compare()
11012 assign( frB, getDReg_pair( frB_addr ) ); in dis_dfp_compare()
11013 assign( ccIR, binop( Iop_CmpD128, mkexpr( frA ), mkexpr( frB ) ) ); in dis_dfp_compare()
11030 assign( ccPPC32, in dis_dfp_compare()
11088 assign( frA, getDReg( frA_addr ) ); in dis_dfp_exponent_test()
11089 assign( frB, getDReg( frB_addr ) ); in dis_dfp_exponent_test()
11090 assign( gfield_mask, mkU32( DFP_G_FIELD_LONG_MASK ) ); in dis_dfp_exponent_test()
11091 assign(exponent_A, unop( Iop_64to32, in dis_dfp_exponent_test()
11094 assign(exponent_B, unop( Iop_64to32, in dis_dfp_exponent_test()
11101 assign( frA128, getDReg_pair( frA_addr ) ); in dis_dfp_exponent_test()
11102 assign( frB128, getDReg_pair( frB_addr ) ); in dis_dfp_exponent_test()
11103 assign( frA, unop( Iop_D128HItoD64, mkexpr( frA128 ) ) ); in dis_dfp_exponent_test()
11104 assign( frB, unop( Iop_D128HItoD64, mkexpr( frB128 ) ) ); in dis_dfp_exponent_test()
11105 assign( gfield_mask, mkU32( DFP_G_FIELD_EXTND_MASK ) ); in dis_dfp_exponent_test()
11106 assign( exponent_A, unop( Iop_64to32, in dis_dfp_exponent_test()
11109 assign( exponent_B, unop( Iop_64to32, in dis_dfp_exponent_test()
11119 assign( gfield_A, binop( Iop_And32, in dis_dfp_exponent_test()
11125 assign( gfield_B, binop( Iop_And32, in dis_dfp_exponent_test()
11132 assign( A_NaN_true, binop(Iop_Or32, in dis_dfp_exponent_test()
11142 assign( B_NaN_true, binop(Iop_Or32, in dis_dfp_exponent_test()
11154 assign( A_inf_true, in dis_dfp_exponent_test()
11160 assign( B_inf_true, in dis_dfp_exponent_test()
11166 assign( finite_number, in dis_dfp_exponent_test()
11181 assign( A_equals_B, in dis_dfp_exponent_test()
11195 assign( cc0, binop( Iop_And32, in dis_dfp_exponent_test()
11204 assign( cc1, binop( Iop_And32, in dis_dfp_exponent_test()
11213 assign( cc2, binop( Iop_Shl32, in dis_dfp_exponent_test()
11219 assign( cc3, binop( Iop_And32, in dis_dfp_exponent_test()
11308 assign( frA, getDReg( frA_addr ) ); in dis_dfp_class_test()
11309 assign( frAI64_hi, unop( Iop_ReinterpD64asI64, mkexpr( frA ) ) ); in dis_dfp_class_test()
11311 assign( abs_frA, unop( Iop_ReinterpI64asD64, in dis_dfp_class_test()
11316 assign( gfield_0_4_shift, mkU8( 31 - 5 ) ); // G-field[0:4] in dis_dfp_class_test()
11322 assign( frAI64_lo, mkU64( 0 ) ); in dis_dfp_class_test()
11323 assign( gfield_mask, mkU32( DFP_G_FIELD_LONG_MASK ) ); in dis_dfp_class_test()
11327 assign( exponent, unop( Iop_64to32, in dis_dfp_class_test()
11330 assign( significand64, in dis_dfp_class_test()
11333 assign( exp_min_normal,mkU64( 398 - 383 ) ); in dis_dfp_class_test()
11334 assign( min_subnormalD64, in dis_dfp_class_test()
11339 assign( ccIR_subnormal, in dis_dfp_class_test()
11345 assign( ccIR_zero, in dis_dfp_class_test()
11360 assign( frAI64_lo, unop( Iop_ReinterpD64asI64, in dis_dfp_class_test()
11363 assign( gfield_mask, mkU32( DFP_G_FIELD_EXTND_MASK ) ); in dis_dfp_class_test()
11366 assign( exponent, unop( Iop_64to32, in dis_dfp_class_test()
11371 assign( exp_min_normal, mkU64( 6176 - 6143 ) ); in dis_dfp_class_test()
11372 assign( significand128, in dis_dfp_class_test()
11377 assign( min_subnormalD128, in dis_dfp_class_test()
11382 assign( ccIR_subnormal, in dis_dfp_class_test()
11392 assign( ccIR_zero, in dis_dfp_class_test()
11412 assign( gfield, binop( Iop_And32, in dis_dfp_class_test()
11427 assign( infinity_true, in dis_dfp_class_test()
11435 assign( SNaN_true, in dis_dfp_class_test()
11443 assign( QNaN_true, in dis_dfp_class_test()
11454 assign( zero_true, in dis_dfp_class_test()
11470 assign( subnormal_true, in dis_dfp_class_test()
11491 assign( normal_true, in dis_dfp_class_test()
11516 assign( dcm0, binop( Iop_Shl32, in dis_dfp_class_test()
11519 assign( dcm1, binop( Iop_Shl32, in dis_dfp_class_test()
11524 assign( dcm2, binop( Iop_Shl32, in dis_dfp_class_test()
11529 assign( dcm3, binop( Iop_Shl32, in dis_dfp_class_test()
11534 assign( dcm4, binop( Iop_Shl32, in dis_dfp_class_test()
11539 assign( dcm5, binop( Iop_And32, mkexpr( SNaN_true), mkU32( 1 ) ) ); in dis_dfp_class_test()
11543 assign( extreme_true, binop( Iop_Or32, in dis_dfp_class_test()
11557 assign( lmd_zero_true, unop( Iop_1Sto32, in dis_dfp_class_test()
11572 assign( dcm0, binop( Iop_Shl32, in dis_dfp_class_test()
11581 assign( dcm1, binop( Iop_Shl32, in dis_dfp_class_test()
11589 assign( dcm2, binop( Iop_Shl32, in dis_dfp_class_test()
11599 assign( dcm3, binop( Iop_Shl32, in dis_dfp_class_test()
11613 assign( dcm4, binop( Iop_Shl32, in dis_dfp_class_test()
11627 assign( dcm5, binop( Iop_And32, in dis_dfp_class_test()
11637 assign( DCM_calc, in dis_dfp_class_test()
11651 assign( sign, in dis_dfp_class_test()
11672 assign( field, binop( Iop_Or32, in dis_dfp_class_test()
11706 assign( frB, getDReg( frB_addr ) ); in dis_dfp_bcd()
11707 assign( frBI64, unop( Iop_ReinterpD64asI64, mkexpr( frB ) ) ); in dis_dfp_bcd()
11713 assign( bcd64, unop( Iop_DPBtoBCD, mkexpr( frBI64 ) ) ); in dis_dfp_bcd()
11714 assign( bcd_u, unop( Iop_64HIto32, mkexpr( bcd64 ) ) ); in dis_dfp_bcd()
11715 assign( bcd_l, unop( Iop_64to32, mkexpr( bcd64 ) ) ); in dis_dfp_bcd()
11724 assign( result, in dis_dfp_bcd()
11741 assign( sign, in dis_dfp_bcd()
11753 assign( tmp32, in dis_dfp_bcd()
11760 assign( sign, binop( Iop_Or32, mkexpr( tmp32 ), mkU32( 0xD ) ) ); in dis_dfp_bcd()
11769 assign( result, in dis_dfp_bcd()
11802 assign( dbcd64, unop( Iop_BCDtoDPB, mkexpr(frBI64 ) ) ); in dis_dfp_bcd()
11803 assign( dbcd_u, unop( Iop_64HIto32, mkexpr( dbcd64 ) ) ); in dis_dfp_bcd()
11804 assign( dbcd_l, unop( Iop_64to32, mkexpr( dbcd64 ) ) ); in dis_dfp_bcd()
11806 assign( lmd, in dis_dfp_bcd()
11813 assign( invalid_mask, in dis_dfp_bcd()
11816 assign( valid_mask, unop( Iop_Not32, mkexpr( invalid_mask ) ) ); in dis_dfp_bcd()
11818 assign( without_lmd, in dis_dfp_bcd()
11826 assign( left_exp, in dis_dfp_bcd()
11833 assign( g0_4, in dis_dfp_bcd()
11838 assign( tmp64, in dis_dfp_bcd()
11858 assign( tmp, unop( Iop_BCDtoDPB, in dis_dfp_bcd()
11874 assign( dbcd_u, unop( Iop_64HIto32, mkexpr( tmp ) ) ); in dis_dfp_bcd()
11875 assign( dbcd_l, unop( Iop_64to32, mkexpr( tmp ) ) ); in dis_dfp_bcd()
11878 assign( sign, in dis_dfp_bcd()
11883 assign( neg_sign_mask, Generate_neg_sign_mask( mkexpr( sign ) ) ); in dis_dfp_bcd()
11884 assign( pos_sign_mask, Generate_pos_sign_mask( mkexpr( sign ) ) ); in dis_dfp_bcd()
11885 assign( sign_bit, in dis_dfp_bcd()
11892 assign( invalid_mask, in dis_dfp_bcd()
11903 assign( valid_mask, unop( Iop_Not32, mkexpr( invalid_mask ) ) ); in dis_dfp_bcd()
11906 assign( tmp64, in dis_dfp_bcd()
11921 assign( resultD64, in dis_dfp_bcd()
11965 assign( frB_hi, getDReg( frB_addr ) ); in dis_dfp_bcdq()
11966 assign( frB_lo, getDReg( frB_addr + 1 ) ); in dis_dfp_bcdq()
11967 assign( frBI64_hi, unop( Iop_ReinterpD64asI64, mkexpr( frB_hi ) ) ); in dis_dfp_bcdq()
11968 assign( frBI64_lo, unop( Iop_ReinterpD64asI64, mkexpr( frB_lo ) ) ); in dis_dfp_bcdq()
11994 assign( result_hi, in dis_dfp_bcdq()
12011 assign( result_lo, in dis_dfp_bcdq()
12029 assign( sign, in dis_dfp_bcdq()
12042 assign( tmp32, in dis_dfp_bcdq()
12049 assign( sign, binop( Iop_Or32, mkexpr( tmp32 ), mkU32( 0xD ) ) ); in dis_dfp_bcdq()
12055 assign( result_hi, in dis_dfp_bcdq()
12064 assign( result_lo, in dis_dfp_bcdq()
12111 assign( sign_bit, mkU32( 0 ) ); // set to zero for unsigned string in dis_dfp_bcdq()
12113 assign( bcd_top_8, in dis_dfp_bcdq()
12122 assign( bcd_mid_60, in dis_dfp_bcdq()
12144 assign( bcd_low_60, mkexpr( frBI64_lo ) ); in dis_dfp_bcdq()
12146 assign( tmptop10, unop( Iop_BCDtoDPB, mkexpr( bcd_top_8 ) ) ); in dis_dfp_bcdq()
12147 assign( dbcd_top_l, unop( Iop_64to32, mkexpr( tmptop10 ) ) ); in dis_dfp_bcdq()
12149 assign( tmpmid50, unop( Iop_BCDtoDPB, mkexpr( bcd_mid_60 ) ) ); in dis_dfp_bcdq()
12150 assign( dbcd_mid_u, unop( Iop_64HIto32, mkexpr( tmpmid50 ) ) ); in dis_dfp_bcdq()
12151 assign( dbcd_mid_l, unop( Iop_64to32, mkexpr( tmpmid50 ) ) ); in dis_dfp_bcdq()
12153 assign( tmplow50, unop( Iop_BCDtoDPB, mkexpr( bcd_low_60 ) ) ); in dis_dfp_bcdq()
12154 assign( dbcd_low_u, unop( Iop_64HIto32, mkexpr( tmplow50 ) ) ); in dis_dfp_bcdq()
12155 assign( dbcd_low_l, unop( Iop_64to32, mkexpr( tmplow50 ) ) ); in dis_dfp_bcdq()
12161 assign( lmd, mkU32( 0 ) ); in dis_dfp_bcdq()
12163 assign( invalid_mask, in dis_dfp_bcdq()
12186 assign( sign, in dis_dfp_bcdq()
12190 assign( neg_sign_mask, Generate_neg_sign_mask( mkexpr( sign ) ) ); in dis_dfp_bcdq()
12191 assign( pos_sign_mask, Generate_pos_sign_mask( mkexpr( sign ) ) ); in dis_dfp_bcdq()
12192 assign( sign_bit, in dis_dfp_bcdq()
12197 assign( bcd_top_8, in dis_dfp_bcdq()
12205 assign( bcd_mid_60, mkexpr( frBI64_hi ) ); in dis_dfp_bcdq()
12208 assign( bcd_low_60, in dis_dfp_bcdq()
12223 assign( tmptop10, unop( Iop_BCDtoDPB, mkexpr(bcd_top_8 ) ) ); in dis_dfp_bcdq()
12224 assign( dbcd_top_l, unop( Iop_64to32, mkexpr( tmptop10 ) ) ); in dis_dfp_bcdq()
12226 assign( tmpmid50, unop( Iop_BCDtoDPB, mkexpr(bcd_mid_60 ) ) ); in dis_dfp_bcdq()
12227 assign( dbcd_mid_u, unop( Iop_64HIto32, mkexpr( tmpmid50 ) ) ); in dis_dfp_bcdq()
12228 assign( dbcd_mid_l, unop( Iop_64to32, mkexpr( tmpmid50 ) ) ); in dis_dfp_bcdq()
12230 assign( tmplow50, unop( Iop_BCDtoDPB, mkexpr( bcd_low_60 ) ) ); in dis_dfp_bcdq()
12231 assign( dbcd_low_u, unop( Iop_64HIto32, mkexpr( tmplow50 ) ) ); in dis_dfp_bcdq()
12232 assign( dbcd_low_l, unop( Iop_64to32, mkexpr( tmplow50 ) ) ); in dis_dfp_bcdq()
12237 assign( lmd, mkU32( 0 ) ); in dis_dfp_bcdq()
12242 assign( zero, mkU32( 0 ) ); in dis_dfp_bcdq()
12243 assign( inval_bcd_digit_mask, in dis_dfp_bcdq()
12259 assign( invalid_mask, in dis_dfp_bcdq()
12266 assign( valid_mask, unop( Iop_Not32, mkexpr( invalid_mask ) ) ); in dis_dfp_bcdq()
12271 assign( dfp_significand, in dis_dfp_bcdq()
12298 assign( result128, in dis_dfp_bcdq()
12303 assign( tmp_hi, in dis_dfp_bcdq()
12307 assign( tmp_lo, in dis_dfp_bcdq()
12311 assign( result_hi, in dis_dfp_bcdq()
12328 assign( result_lo, in dis_dfp_bcdq()
12377 assign( frA, getDReg( frA_addr ) ); in dis_dfp_significant_digits()
12382 assign( K, unop( Iop_32to8, in dis_dfp_significant_digits()
12400 assign( frB, getDReg( frB_addr ) ); in dis_dfp_significant_digits()
12401 assign( frBI64, unop( Iop_ReinterpD64asI64, mkexpr( frB ) ) ); in dis_dfp_significant_digits()
12413 assign( tmp64, unop( Iop_DPBtoBCD, mkexpr( frBI64 ) ) ); in dis_dfp_significant_digits()
12414 assign( B_bcd_u, unop( Iop_64HIto32, mkexpr( tmp64 ) ) ); in dis_dfp_significant_digits()
12415 assign( B_bcd_l, unop( Iop_64to32, mkexpr( tmp64 ) ) ); in dis_dfp_significant_digits()
12417 assign( B_sig, in dis_dfp_significant_digits()
12423 assign( Unordered_true, Check_unordered( mkexpr( frBI64 ) ) ); in dis_dfp_significant_digits()
12440 assign( frB_hi, getDReg( frB_addr ) ); in dis_dfp_significant_digits()
12441 assign( frB_lo, getDReg( frB_addr + 1 ) ); in dis_dfp_significant_digits()
12443 assign( frBI64_hi, unop( Iop_ReinterpD64asI64, mkexpr( frB_hi ) ) ); in dis_dfp_significant_digits()
12444 assign( frBI64_lo, unop( Iop_ReinterpD64asI64, mkexpr( frB_lo ) ) ); in dis_dfp_significant_digits()
12464 assign( B_sig, in dis_dfp_significant_digits()
12474 assign( Unordered_true, Check_unordered( mkexpr( frBI64_hi ) ) ); in dis_dfp_significant_digits()
12490 assign( Eq_true_mask, in dis_dfp_significant_digits()
12495 assign( Lt_true_mask, in dis_dfp_significant_digits()
12500 assign( Gt_true_mask, in dis_dfp_significant_digits()
12506 assign( KisZero_true_mask, in dis_dfp_significant_digits()
12511 assign( KisZero_false_mask, in dis_dfp_significant_digits()
12517 assign( field, in dis_dfp_significant_digits()
12638 assign( vB, getVReg(vB_addr)); in dis_av_procctl()
12673 assign( xB, in dis_vx_conv()
12682 assign( xB, in dis_vx_conv()
12685 assign( xB2, in dis_vx_conv()
12698 assign( xB, unop( Iop_V128HIto64, getVSReg( XB ) ) ); in dis_vx_conv()
12700 assign( xB2, unop( Iop_V128to64, getVSReg( XB ) ) ); in dis_vx_conv()
12705 assign( xB, unop( Iop_V128HIto64, getVSReg( XB ) ) ); in dis_vx_conv()
12711 assign( xB, handle_SNaN_to_QNaN_32(unop( Iop_64HIto32, in dis_vx_conv()
12717 assign( xB, in dis_vx_conv()
12820 assign(hiResult_32, binop(Iop_F64toI32S, rmZero, mkexpr(xB))); in dis_vx_conv()
12821 assign(loResult_32, binop(Iop_F64toI32S, rmZero, mkexpr(xB2))); in dis_vx_conv()
12846 assign(tempResult, unop(op, getVSReg(XB))); in dis_vx_conv()
12847 assign( hi64, unop(Iop_V128HIto64, mkexpr(tempResult)) ); in dis_vx_conv()
12848 assign( lo64, unop(Iop_V128to64, mkexpr(tempResult)) ); in dis_vx_conv()
12849 assign( res3, unop(Iop_64HIto32, mkexpr(hi64)) ); in dis_vx_conv()
12850 assign( res2, unop(Iop_64to32, mkexpr(hi64)) ); in dis_vx_conv()
12851 assign( res1, unop(Iop_64HIto32, mkexpr(lo64)) ); in dis_vx_conv()
12852 assign( res0, unop(Iop_64to32, mkexpr(lo64)) ); in dis_vx_conv()
13169 assign(frA, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XA )))); in dis_vxv_dp_arith()
13170 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB )))); in dis_vxv_dp_arith()
13171 assign(frA2, unop(Iop_ReinterpI64asF64, unop(Iop_V128to64, getVSReg( XA )))); in dis_vxv_dp_arith()
13172 assign(frB2, unop(Iop_ReinterpI64asF64, unop(Iop_V128to64, getVSReg( XB )))); in dis_vxv_dp_arith()
13207 assign( hiResult, in dis_vxv_dp_arith()
13210 assign( loResult, in dis_vxv_dp_arith()
13223 assign( hiResult, in dis_vxv_dp_arith()
13226 assign( loResult, in dis_vxv_dp_arith()
13286 assign(frT, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XT ) ) ) ); in dis_vxv_dp_arith()
13287 assign(frT2, unop(Iop_ReinterpI64asF64, unop(Iop_V128to64, getVSReg( XT ) ) ) ); in dis_vxv_dp_arith()
13289 assign( hiResult, in dis_vxv_dp_arith()
13296 assign( loResult, in dis_vxv_dp_arith()
13322 assign( frBHi_I64, unop(Iop_V128HIto64, getVSReg( XB )) ); in dis_vxv_dp_arith()
13323 assign( frBLo_I64, unop(Iop_V128to64, getVSReg( XB )) ); in dis_vxv_dp_arith()
13329 assign( flagsHi, in dis_vxv_dp_arith()
13334 assign( flagsLo, in dis_vxv_dp_arith()
13357 assign( frAHi_I64, unop(Iop_V128HIto64, getVSReg( XA )) ); in dis_vxv_dp_arith()
13358 assign( frALo_I64, unop(Iop_V128to64, getVSReg( XA )) ); in dis_vxv_dp_arith()
13359 assign( frBHi_I64, unop(Iop_V128HIto64, getVSReg( XB )) ); in dis_vxv_dp_arith()
13360 assign( frBLo_I64, unop(Iop_V128to64, getVSReg( XB )) ); in dis_vxv_dp_arith()
13367 assign( flagsHi, in dis_vxv_dp_arith()
13372 assign( flagsLo, in dis_vxv_dp_arith()
13453 assign( res0, in dis_vxv_sp_arith()
13457 assign( res1, in dis_vxv_sp_arith()
13461 assign( res2, in dis_vxv_sp_arith()
13465 assign( res3, in dis_vxv_sp_arith()
13486 assign( res0, in dis_vxv_sp_arith()
13490 assign( res1, in dis_vxv_sp_arith()
13494 assign( res2, in dis_vxv_sp_arith()
13498 assign( res3, in dis_vxv_sp_arith()
13557 assign( res0, in dis_vxv_sp_arith()
13565 assign( res1, in dis_vxv_sp_arith()
13573 assign( res2, in dis_vxv_sp_arith()
13581 assign( res3, in dis_vxv_sp_arith()
13621 assign( flags0, in dis_vxv_sp_arith()
13626 assign( flags1, in dis_vxv_sp_arith()
13631 assign( flags2, in dis_vxv_sp_arith()
13636 assign( flags3, in dis_vxv_sp_arith()
13676 assign( flags0, in dis_vxv_sp_arith()
13681 assign( flags1, in dis_vxv_sp_arith()
13686 assign( flags2, in dis_vxv_sp_arith()
13691 assign( flags3, in dis_vxv_sp_arith()
13726 assign( vB, getVReg(vRB_addr)); in dis_av_count_bitTranspose()
13839 assign(bits0_63, unop( Iop_V128to64, mkexpr( vB ) ) ); in dis_av_count_bitTranspose()
13840 assign(bits64_127, unop( Iop_V128HIto64, mkexpr( vB ) ) ); in dis_av_count_bitTranspose()
13913 assign(ccIR, ccIR_expr); in get_fp_cmp_CR_val()
13914 assign( condcode, in get_fp_cmp_CR_val()
13952 assign( frA_isNaN, is_NaN( frA_I64 ) ); in _get_maxmin_fp_NaN()
13953 assign( frB_isNaN, is_NaN( frB_I64 ) ); in _get_maxmin_fp_NaN()
13955 assign( frA_isSNaN, in _get_maxmin_fp_NaN()
13962 assign( frB_isSNaN, in _get_maxmin_fp_NaN()
13969 assign( frA_isQNaN, in _get_maxmin_fp_NaN()
13971 assign( frB_isQNaN, in _get_maxmin_fp_NaN()
14045 assign(frA_isZero, is_Zero(frA_I64, False /*not single precision*/ )); in get_max_min_fp()
14046 assign(frB_isZero, is_Zero(frB_I64, False /*not single precision*/ )); in get_max_min_fp()
14047 assign(anyNaN, mkOR1(is_NaN(frA_I64), is_NaN(frB_I64))); in get_max_min_fp()
14123 assign(frB, unop(Iop_ReinterpI64asF64, mkexpr(frB_I64))); in _do_vsx_fp_roundToInt()
14124 assign( intermediateResult, in _do_vsx_fp_roundToInt()
14133 assign( frD, in _do_vsx_fp_roundToInt()
14166 assign( is_SNAN, in _do_vsx_fp_roundToInt()
14208 assign(frB, unop(Iop_V128HIto64, getVSReg( XB ))); in dis_vxv_misc()
14209 assign(frB2, unop(Iop_V128to64, getVSReg( XB ))); in dis_vxv_misc()
14213 assign( sqrtHi, in dis_vxv_misc()
14217 assign( sqrtLo, in dis_vxv_misc()
14263 assign( sqrt3, binop( Iop_SqrtF64, rm, mkexpr( b3 ) ) ); in dis_vxv_misc()
14264 assign( sqrt2, binop( Iop_SqrtF64, rm, mkexpr( b2 ) ) ); in dis_vxv_misc()
14265 assign( sqrt1, binop( Iop_SqrtF64, rm, mkexpr( b1 ) ) ); in dis_vxv_misc()
14266 assign( sqrt0, binop( Iop_SqrtF64, rm, mkexpr( b0 ) ) ); in dis_vxv_misc()
14269 assign( res0, in dis_vxv_misc()
14276 assign( res1, in dis_vxv_misc()
14283 assign( res2, in dis_vxv_misc()
14290 assign( res3, in dis_vxv_misc()
14329 assign( a0_I64, unop( Iop_ReinterpF64asI64, mkexpr( a0 ) ) ); in dis_vxv_misc()
14330 assign( b0_I64, unop( Iop_ReinterpF64asI64, mkexpr( b0 ) ) ); in dis_vxv_misc()
14331 assign( a1_I64, unop( Iop_ReinterpF64asI64, mkexpr( a1 ) ) ); in dis_vxv_misc()
14332 assign( b1_I64, unop( Iop_ReinterpF64asI64, mkexpr( b1 ) ) ); in dis_vxv_misc()
14333 assign( a2_I64, unop( Iop_ReinterpF64asI64, mkexpr( a2 ) ) ); in dis_vxv_misc()
14334 assign( b2_I64, unop( Iop_ReinterpF64asI64, mkexpr( b2 ) ) ); in dis_vxv_misc()
14335 assign( a3_I64, unop( Iop_ReinterpF64asI64, mkexpr( a3 ) ) ); in dis_vxv_misc()
14336 assign( b3_I64, unop( Iop_ReinterpF64asI64, mkexpr( b3 ) ) ); in dis_vxv_misc()
14337 assign( res0, in dis_vxv_misc()
14342 assign( res1, in dis_vxv_misc()
14347 assign( res2, in dis_vxv_misc()
14352 assign( res3, in dis_vxv_misc()
14373 assign(frA, unop(Iop_V128HIto64, getVSReg( XA ))); in dis_vxv_misc()
14374 assign(frB, unop(Iop_V128HIto64, getVSReg( XB ))); in dis_vxv_misc()
14375 assign(frA2, unop(Iop_V128to64, getVSReg( XA ))); in dis_vxv_misc()
14376 assign(frB2, unop(Iop_V128to64, getVSReg( XB ))); in dis_vxv_misc()
14389 assign(frA, unop(Iop_V128HIto64, getVSReg( XA ))); in dis_vxv_misc()
14390 assign(frB, unop(Iop_V128HIto64, getVSReg( XB ))); in dis_vxv_misc()
14391 assign(frA2, unop(Iop_V128to64, getVSReg( XA ))); in dis_vxv_misc()
14392 assign(frB2, unop(Iop_V128to64, getVSReg( XB ))); in dis_vxv_misc()
14427 assign( resHi, in dis_vxv_misc()
14444 assign( resLo, in dis_vxv_misc()
14472 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB )))); in dis_vxv_misc()
14473 assign(frB2, unop(Iop_ReinterpI64asF64, unop(Iop_V128to64, getVSReg(XB)))); in dis_vxv_misc()
14477 assign(abs_resultHi, unop( Iop_NegF64, unop( Iop_AbsF64, mkexpr( frB ) ) ) ); in dis_vxv_misc()
14478 assign(abs_resultLo, unop( Iop_NegF64, unop( Iop_AbsF64, mkexpr( frB2 ) ) ) ); in dis_vxv_misc()
14481 assign(abs_resultHi, unop( Iop_AbsF64, mkexpr( frB ) ) ); in dis_vxv_misc()
14482 assign(abs_resultLo, unop( Iop_AbsF64, mkexpr( frB2 ) ) ); in dis_vxv_misc()
14501 assign( shiftVector, in dis_vxv_misc()
14505 assign( absVal_vector, in dis_vxv_misc()
14513 assign( signBit_vector, in dis_vxv_misc()
14534 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB )))); in dis_vxv_misc()
14535 assign(frB2, unop(Iop_ReinterpI64asF64, unop(Iop_V128to64, getVSReg(XB)))); in dis_vxv_misc()
14556 assign( frBHi_I64, unop( Iop_V128HIto64, getVSReg( XB ) ) ); in dis_vxv_misc()
14558 assign( frBLo_I64, unop( Iop_V128to64, getVSReg( XB ) ) ); in dis_vxv_misc()
14614 assign(b3_I64, unop(Iop_ReinterpF64asI64, mkexpr(b3_F64))); in dis_vxv_misc()
14615 assign(b2_I64, unop(Iop_ReinterpF64asI64, mkexpr(b2_F64))); in dis_vxv_misc()
14616 assign(b1_I64, unop(Iop_ReinterpF64asI64, mkexpr(b1_F64))); in dis_vxv_misc()
14617 assign(b0_I64, unop(Iop_ReinterpF64asI64, mkexpr(b0_F64))); in dis_vxv_misc()
14667 assign(frA, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XA )))); in dis_vxs_arith()
14668 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB )))); in dis_vxs_arith()
14728 assign( frT, unop( Iop_ReinterpI64asF64, unop( Iop_V128HIto64, in dis_vxs_arith()
14746 assign( frT, unop( Iop_ReinterpI64asF64, unop( Iop_V128HIto64, in dis_vxs_arith()
14763 assign( frT, unop( Iop_ReinterpI64asF64, unop( Iop_V128HIto64, in dis_vxs_arith()
14781 assign( frT, unop( Iop_ReinterpI64asF64, unop( Iop_V128HIto64, in dis_vxs_arith()
14805 assign( frT, unop( Iop_ReinterpI64asF64, unop( Iop_V128HIto64, in dis_vxs_arith()
14807 assign( maddResult, unop( Iop_ReinterpF64asI64, qop( Iop_MAddF64, rm, in dis_vxs_arith()
14825 assign( frT, unop( Iop_ReinterpI64asF64, unop( Iop_V128HIto64, in dis_vxs_arith()
14827 assign( maddResult, in dis_vxs_arith()
14849 assign( frT, unop( Iop_ReinterpI64asF64, unop( Iop_V128HIto64, in dis_vxs_arith()
14851 assign( msubResult, in dis_vxs_arith()
14873 assign( frT, unop( Iop_ReinterpI64asF64, unop( Iop_V128HIto64, in dis_vxs_arith()
14875 assign(msubResult, unop( Iop_ReinterpF64asI64, in dis_vxs_arith()
14940 assign( frA_I64, unop( Iop_ReinterpF64asI64, mkexpr( frA ) ) ); in dis_vxs_arith()
14941 assign( frB_I64, unop( Iop_ReinterpF64asI64, mkexpr( frB ) ) ); in dis_vxs_arith()
14953 assign( frB_I64, unop(Iop_V128HIto64, getVSReg( XB )) ); in dis_vxs_arith()
14958 assign( flags, in dis_vxs_arith()
14996 assign(frA, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XA )))); in dis_vx_cmp()
14997 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB )))); in dis_vx_cmp()
15033 assign(frA_hi, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, mkexpr( vA )))); in do_vvec_fp_cmp()
15034 assign(frB_hi, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, mkexpr( vB )))); in do_vvec_fp_cmp()
15035 assign(frA_lo, unop(Iop_ReinterpI64asF64, unop(Iop_V128to64, mkexpr( vA )))); in do_vvec_fp_cmp()
15036 assign(frB_lo, unop(Iop_ReinterpI64asF64, unop(Iop_V128to64, mkexpr( vB )))); in do_vvec_fp_cmp()
15046 assign( hiResult, in do_vvec_fp_cmp()
15049 assign( loResult, in do_vvec_fp_cmp()
15058 assign(hi_GE, mkOR1( binop( Iop_CmpEQ32, mkexpr( ccIR_hi ), mkU32( 2 ) ), in do_vvec_fp_cmp()
15060 assign( hiResult,unop( Iop_1Sto64, mkexpr( hi_GE ) ) ); in do_vvec_fp_cmp()
15062 assign(lo_GE, mkOR1( binop( Iop_CmpEQ32, mkexpr( ccIR_lo ), mkU32( 2 ) ), in do_vvec_fp_cmp()
15064 assign( loResult, unop( Iop_1Sto64, mkexpr( lo_GE ) ) ); in do_vvec_fp_cmp()
15068 assign( hiEQlo, in do_vvec_fp_cmp()
15075 assign( all_elem_true, in do_vvec_fp_cmp()
15083 assign( all_elem_false, in do_vvec_fp_cmp()
15090 assign( ccPPC32, in do_vvec_fp_cmp()
15120 assign( vA, getVSReg( XA ) ); in dis_vvec_cmp()
15121 assign( vB, getVSReg( XB ) ); in dis_vvec_cmp()
15154 assign( vD, binop(Iop_CmpEQ32Fx4, mkexpr(vA), mkexpr(vB)) ); in dis_vvec_cmp()
15168 assign( vD, binop(Iop_CmpGE32Fx4, mkexpr(vA), mkexpr(vB)) ); in dis_vvec_cmp()
15182 assign( vD, binop(Iop_CmpGT32Fx4, mkexpr(vA), mkexpr(vB)) ); in dis_vvec_cmp()
15216 assign( vA, getVSReg( XA ) ); in dis_vxs_misc()
15217 assign( vB, getVSReg( XB ) ); in dis_vxs_misc()
15232 assign( hi64, unop( Iop_V128HIto64, mkexpr(vB) ) ); in dis_vxs_misc()
15233 assign( lo64, unop( Iop_V128to64, mkexpr(vB) ) ); in dis_vxs_misc()
15234 assign( absVal, binop( Iop_64HLtoV128, in dis_vxs_misc()
15239 assign(absVal, binop(Iop_ShrV128, in dis_vxs_misc()
15254 assign( vecA_signed, binop( Iop_And64, in dis_vxs_misc()
15258 assign( vecB_unsigned, binop( Iop_And64, in dis_vxs_misc()
15262 assign( vec_result, binop( Iop_64HLtoV128, in dis_vxs_misc()
15275 assign( BHi_signed, binop( Iop_Or64, in dis_vxs_misc()
15292 assign( BHi_signed, unop( Iop_V128HIto64, mkexpr(vB) ) ); in dis_vxs_misc()
15293 assign( BHi_unsigned, binop( Iop_And64, mkexpr(BHi_signed), in dis_vxs_misc()
15295 assign( BHi_negated_signbit, in dis_vxs_misc()
15305 assign( BHi_negated, in dis_vxs_misc()
15314 assign( vec_result, binop( Iop_64HLtoV128, mkexpr(BHi_negated), in dis_vxs_misc()
15327 assign(frA, unop(Iop_V128HIto64, mkexpr( vA ))); in dis_vxs_misc()
15328 assign(frB, unop(Iop_V128HIto64, mkexpr( vB ))); in dis_vxs_misc()
15342 assign(frB_I64, unop(Iop_V128HIto64, mkexpr( vB ))); in dis_vxs_misc()
15365 assign( frB, in dis_vxs_misc()
15370 assign( sqrt, in dis_vxs_misc()
15397 assign( frB, in dis_vxs_misc()
15402 assign( sqrt, in dis_vxs_misc()
15422 assign( frB, in dis_vxs_misc()
15461 assign( vA, getVSReg( XA ) ); in dis_vx_logic()
15462 assign( vB, getVSReg( XB ) ); in dis_vx_logic()
15534 assign( EA, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_vx_load()
15612 assign( data, load( Ity_I64, mkexpr( EA ) ) ); in dis_vx_load()
15630 assign( perm_LE, binop( Iop_64HLtoV128, mkU64(0x0c0d0e0f08090a0bULL), in dis_vx_load()
15671 assign( EA, ea_rAor0_idxd( rA_addr, rB_addr ) ); in dis_vx_store()
15672 assign( vS, getVSReg( XS ) ); in dis_vx_store()
15692 assign(high64, unop( Iop_ReinterpI64asF64, in dis_vx_store()
15694 assign(val32, unop( Iop_ReinterpF32asI32, in dis_vx_store()
15730 assign( hi64, unop( Iop_V128HIto64, mkexpr( vS ) ) ); in dis_vx_store()
15731 assign( lo64, unop( Iop_V128to64, mkexpr( vS ) ) ); in dis_vx_store()
15775 assign( vA, getVSReg( XA ) ); in dis_vx_permute_misc()
15776 assign( vB, getVSReg( XB ) ); in dis_vx_permute_misc()
15786 assign( hi, binop(Iop_ShlV128, mkexpr(vA), mkU8(SHW*32)) ); in dis_vx_permute_misc()
15787 assign( lo, binop(Iop_ShrV128, mkexpr(vB), mkU8(128-SHW*32)) ); in dis_vx_permute_misc()
15788 assign ( result, binop(Iop_OrV128, mkexpr(hi), mkexpr(lo)) ); in dis_vx_permute_misc()
15790 assign ( result, mkexpr(vA) ); in dis_vx_permute_misc()
15802 assign( hi, unop(Iop_V128to64, mkexpr(vA)) ); in dis_vx_permute_misc()
15804 assign( hi, unop(Iop_V128HIto64, mkexpr(vA)) ); in dis_vx_permute_misc()
15807 assign( lo, unop(Iop_V128to64, mkexpr(vB)) ); in dis_vx_permute_misc()
15809 assign( lo, unop(Iop_V128HIto64, mkexpr(vB)) ); in dis_vx_permute_misc()
15811 assign( vT, binop(Iop_64HLtoV128, mkexpr(hi), mkexpr(lo)) ); in dis_vx_permute_misc()
15829 assign( a64, unop(word_op, mkexpr(vA)) ); in dis_vx_permute_misc()
15830 assign( ahi32, unop(Iop_64HIto32, mkexpr(a64)) ); in dis_vx_permute_misc()
15831 assign( alo32, unop(Iop_64to32, mkexpr(a64)) ); in dis_vx_permute_misc()
15833 assign( b64, unop(word_op, mkexpr(vB)) ); in dis_vx_permute_misc()
15834 assign( bhi32, unop(Iop_64HIto32, mkexpr(b64)) ); in dis_vx_permute_misc()
15835 assign( blo32, unop(Iop_64to32, mkexpr(b64)) ); in dis_vx_permute_misc()
15837 assign( vT, binop(Iop_64HLtoV128, in dis_vx_permute_misc()
15849 assign( vC, getVSReg( XC ) ); in dis_vx_permute_misc()
15898 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_av_load()
15899 assign( EA_align16, addr_align( mkexpr(EA), 16 ) ); in dis_av_load()
16064 assign( vS, getVReg(vS_addr)); in dis_av_store()
16065 assign( EA, ea_rAor0_idxd(rA_addr, rB_addr) ); in dis_av_store()
16070 assign( eb, binop(Iop_And8, mkU8(0xF), in dis_av_store()
16074 assign( idx, binop(Iop_Shl8, mkexpr(eb), mkU8(3)) ); in dis_av_store()
16076 assign( idx, binop(Iop_Shl8, in dis_av_store()
16087 assign( addr_aligned, addr_align(mkexpr(EA), 2) ); in dis_av_store()
16088 assign( eb, binop(Iop_And8, mkU8(0xF), in dis_av_store()
16091 assign( idx, binop(Iop_Shl8, mkexpr(eb), mkU8(3)) ); in dis_av_store()
16093 assign( idx, binop(Iop_Shl8, in dis_av_store()
16104 assign( addr_aligned, addr_align(mkexpr(EA), 4) ); in dis_av_store()
16105 assign( eb, binop(Iop_And8, mkU8(0xF), in dis_av_store()
16108 assign( idx, binop(Iop_Shl8, mkexpr(eb), mkU8(3)) ); in dis_av_store()
16110 assign( idx, binop(Iop_Shl8, in dis_av_store()
16165 assign( vA, getVReg(vA_addr)); in dis_av_arith()
16166 assign( vB, getVReg(vB_addr)); in dis_av_arith()
16513 assign( z3, binop(Iop_Add64, mkexpr(b3), in dis_av_arith()
16517 assign( z2, binop(Iop_Add64, mkexpr(b2), in dis_av_arith()
16521 assign( z1, binop(Iop_Add64, mkexpr(b1), in dis_av_arith()
16525 assign( z0, binop(Iop_Add64, mkexpr(b0), in dis_av_arith()
16553 assign( z3, binop(Iop_Add64, mkexpr(b3), in dis_av_arith()
16557 assign( z2, binop(Iop_Add64, mkexpr(b2), in dis_av_arith()
16561 assign( z1, binop(Iop_Add64, mkexpr(b1), in dis_av_arith()
16565 assign( z0, binop(Iop_Add64, mkexpr(b0), in dis_av_arith()
16587 assign( z3, binop(Iop_Add64, mkexpr(b3), in dis_av_arith()
16589 assign( z2, binop(Iop_Add64, mkexpr(b2), in dis_av_arith()
16591 assign( z1, binop(Iop_Add64, mkexpr(b1), in dis_av_arith()
16593 assign( z0, binop(Iop_Add64, mkexpr(b0), in dis_av_arith()
16609 assign( z2, binop(Iop_Add64, mkexpr(b2), in dis_av_arith()
16611 assign( z0, binop(Iop_Add64, mkexpr(b0), in dis_av_arith()
16627 assign( z0, binop(Iop_Add64, mkexpr(b0), in dis_av_arith()
16658 assign( vA, getVReg(vA_addr)); in dis_av_logic()
16659 assign( vB, getVReg(vB_addr)); in dis_av_logic()
16738 assign( vA, getVReg(vA_addr)); in dis_av_cmp()
16739 assign( vB, getVReg(vB_addr)); in dis_av_cmp()
16750 assign( vD, binop(Iop_CmpEQ8x16, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16756 assign( vD, binop(Iop_CmpEQ16x8, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16762 assign( vD, binop(Iop_CmpEQ32x4, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16768 assign( vD, binop(Iop_CmpEQ64x2, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16774 assign( vD, binop(Iop_CmpGT8Ux16, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16780 assign( vD, binop(Iop_CmpGT16Ux8, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16786 assign( vD, binop(Iop_CmpGT32Ux4, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16792 assign( vD, binop(Iop_CmpGT64Ux2, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16798 assign( vD, binop(Iop_CmpGT8Sx16, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16804 assign( vD, binop(Iop_CmpGT16Sx8, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16810 assign( vD, binop(Iop_CmpGT32Sx4, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16816 assign( vD, binop(Iop_CmpGT64Sx2, mkexpr(vA), mkexpr(vB)) ); in dis_av_cmp()
16869 assign( vA, getVReg(vA_addr)); in dis_av_multarith()
16870 assign( vB, getVReg(vB_addr)); in dis_av_multarith()
16871 assign( vC, getVReg(vC_addr)); in dis_av_multarith()
16872 assign( zeros, unop(Iop_Dup32x4, mkU32(0)) ); in dis_av_multarith()
16885 assign(cSigns, binop(Iop_CmpGT16Sx8, mkexpr(zeros), mkexpr(vC))); in dis_av_multarith()
16886 assign(aLo, binop(Iop_InterleaveLO16x8, mkexpr(zeros), mkexpr(vA))); in dis_av_multarith()
16887 assign(bLo, binop(Iop_InterleaveLO16x8, mkexpr(zeros), mkexpr(vB))); in dis_av_multarith()
16888 assign(cLo, binop(Iop_InterleaveLO16x8, mkexpr(cSigns),mkexpr(vC))); in dis_av_multarith()
16889 assign(aHi, binop(Iop_InterleaveHI16x8, mkexpr(zeros), mkexpr(vA))); in dis_av_multarith()
16890 assign(bHi, binop(Iop_InterleaveHI16x8, mkexpr(zeros), mkexpr(vB))); in dis_av_multarith()
16891 assign(cHi, binop(Iop_InterleaveHI16x8, mkexpr(cSigns),mkexpr(vC))); in dis_av_multarith()
16893 assign( zLo, binop(Iop_Add32x4, mkexpr(cLo), in dis_av_multarith()
16899 assign( zHi, binop(Iop_Add32x4, mkexpr(cHi), in dis_av_multarith()
16914 assign(cSigns, binop(Iop_CmpGT16Sx8, mkexpr(zeros), mkexpr(vC)) ); in dis_av_multarith()
16915 assign(aLo, binop(Iop_InterleaveLO16x8, mkexpr(zeros), mkexpr(vA))); in dis_av_multarith()
16916 assign(bLo, binop(Iop_InterleaveLO16x8, mkexpr(zeros), mkexpr(vB))); in dis_av_multarith()
16917 assign(cLo, binop(Iop_InterleaveLO16x8, mkexpr(cSigns),mkexpr(vC))); in dis_av_multarith()
16918 assign(aHi, binop(Iop_InterleaveHI16x8, mkexpr(zeros), mkexpr(vA))); in dis_av_multarith()
16919 assign(bHi, binop(Iop_InterleaveHI16x8, mkexpr(zeros), mkexpr(vB))); in dis_av_multarith()
16920 assign(cHi, binop(Iop_InterleaveHI16x8, mkexpr(cSigns),mkexpr(vC))); in dis_av_multarith()
16923 assign( zKonst, binop(Iop_ShlN32x4, unop(Iop_Dup32x4, mkU32(0x1)), in dis_av_multarith()
16926 assign( zLo, binop(Iop_Add32x4, mkexpr(cLo), in dis_av_multarith()
16933 assign( zHi, binop(Iop_Add32x4, mkexpr(cHi), in dis_av_multarith()
16947 assign(aLo, binop(Iop_InterleaveLO16x8, mkexpr(zeros), mkexpr(vA))); in dis_av_multarith()
16948 assign(bLo, binop(Iop_InterleaveLO16x8, mkexpr(zeros), mkexpr(vB))); in dis_av_multarith()
16949 assign(cLo, binop(Iop_InterleaveLO16x8, mkexpr(zeros), mkexpr(vC))); in dis_av_multarith()
16950 assign(aHi, binop(Iop_InterleaveHI16x8, mkexpr(zeros), mkexpr(vA))); in dis_av_multarith()
16951 assign(bHi, binop(Iop_InterleaveHI16x8, mkexpr(zeros), mkexpr(vB))); in dis_av_multarith()
16952 assign(cHi, binop(Iop_InterleaveHI16x8, mkexpr(zeros), mkexpr(vC))); in dis_av_multarith()
16953 assign(zLo, binop(Iop_Add32x4, in dis_av_multarith()
16956 assign(zHi, binop(Iop_Add32x4, in dis_av_multarith()
16973 assign( abEvn, MK_Iop_MullOdd8Ux16( mkexpr(vA), mkexpr(vB) )); in dis_av_multarith()
16974 assign( abOdd, binop(Iop_MullEven8Ux16, mkexpr(vA), mkexpr(vB)) ); in dis_av_multarith()
17003 assign( abEE, MK_Iop_MullOdd16Sx8( mkexpr(aEvn), mkexpr(bEvn) )); in dis_av_multarith()
17004 assign( abEO, binop(Iop_MullEven16Sx8, mkexpr(aEvn), mkexpr(bEvn)) ); in dis_av_multarith()
17005 assign( abOE, MK_Iop_MullOdd16Sx8( mkexpr(aOdd), mkexpr(bOdd) )); in dis_av_multarith()
17006 assign( abOO, binop(Iop_MullEven16Sx8, mkexpr(aOdd), mkexpr(bOdd)) ); in dis_av_multarith()
17019 assign( abEvn, MK_Iop_MullOdd16Ux8( mkexpr(vA), mkexpr(vB) )); in dis_av_multarith()
17020 assign( abOdd, binop(Iop_MullEven16Ux8, mkexpr(vA), mkexpr(vB)) ); in dis_av_multarith()
17030 assign( abEvn, MK_Iop_MullOdd16Ux8(mkexpr(vA), mkexpr(vB) )); in dis_av_multarith()
17031 assign( abOdd, binop(Iop_MullEven16Ux8, mkexpr(vA), mkexpr(vB)) ); in dis_av_multarith()
17039 assign( z3, binop(Iop_Add64, mkexpr(c3), in dis_av_multarith()
17041 assign( z2, binop(Iop_Add64, mkexpr(c2), in dis_av_multarith()
17043 assign( z1, binop(Iop_Add64, mkexpr(c1), in dis_av_multarith()
17045 assign( z0, binop(Iop_Add64, mkexpr(c0), in dis_av_multarith()
17057 assign( abEvn, MK_Iop_MullOdd16Sx8( mkexpr(vA), mkexpr(vB) )); in dis_av_multarith()
17058 assign( abOdd, binop(Iop_MullEven16Sx8, mkexpr(vA), mkexpr(vB)) ); in dis_av_multarith()
17068 assign( abEvn, MK_Iop_MullOdd16Sx8( mkexpr(vA), mkexpr(vB) )); in dis_av_multarith()
17069 assign( abOdd, binop(Iop_MullEven16Sx8, mkexpr(vA), mkexpr(vB)) ); in dis_av_multarith()
17077 assign( z3, binop(Iop_Add64, mkexpr(c3), in dis_av_multarith()
17079 assign( z2, binop(Iop_Add64, mkexpr(c2), in dis_av_multarith()
17081 assign( z1, binop(Iop_Add64, mkexpr(c1), in dis_av_multarith()
17083 assign( z0, binop(Iop_Add64, mkexpr(c0), in dis_av_multarith()
17114 assign( vA, getVReg(vA_addr)); in dis_av_polymultarith()
17115 assign( vB, getVReg(vB_addr)); in dis_av_polymultarith()
17116 assign( vC, getVReg(vC_addr)); in dis_av_polymultarith()
17166 assign( vA, getVReg(vA_addr)); in dis_av_shift()
17167 assign( vB, getVReg(vB_addr)); in dis_av_shift()
17221 assign( sh, binop(Iop_And8, mkU8(0x7), in dis_av_shift()
17231 assign( sh, binop(Iop_And8, mkU8(0x78), in dis_av_shift()
17259 assign( sh, binop(Iop_And8, mkU8(0x7), in dis_av_shift()
17289 assign( sh, binop(Iop_And8, mkU8(0x78), in dis_av_shift()
17331 assign( vA, getVReg(vA_addr)); in dis_av_permute()
17332 assign( vB, getVReg(vB_addr)); in dis_av_permute()
17333 assign( vC, getVReg(vC_addr)); in dis_av_permute()
17360 assign( vC_andF, in dis_av_permute()
17363 assign( a_perm, in dis_av_permute()
17365 assign( b_perm, in dis_av_permute()
17368 assign( mask, binop(Iop_SarN8x16, in dis_av_permute()
17401 assign( vrc_b, binop( Iop_AndV128, mkexpr( vC ), in dis_av_permute()
17403 assign( vrc_a, binop( Iop_ShrV128, in dis_av_permute()
17407 assign( a_perm, binop( Iop_Perm8x16, mkexpr( vA ), mkexpr( vrc_a ) ) ); in dis_av_permute()
17408 assign( b_perm, binop( Iop_Perm8x16, mkexpr( vB ), mkexpr( vrc_b ) ) ); in dis_av_permute()
17547 assign( vA, getVReg(vA_addr)); in dis_av_pack()
17548 assign( vB, getVReg(vB_addr)); in dis_av_pack()
17589 assign( vA_tmp, binop(Iop_AndV128, mkexpr(vA), in dis_av_pack()
17593 assign( vB_tmp, binop(Iop_AndV128, mkexpr(vB), in dis_av_pack()
17609 assign( vA_tmp, binop(Iop_AndV128, mkexpr(vA), in dis_av_pack()
17613 assign( vB_tmp, binop(Iop_AndV128, mkexpr(vB), in dis_av_pack()
17648 assign( a1, binop(Iop_ShlN16x8, in dis_av_pack()
17651 assign( a2, binop(Iop_ShlN16x8, in dis_av_pack()
17654 assign( a3, binop(Iop_ShrN16x8, in dis_av_pack()
17657 assign( a_tmp, binop(Iop_OrV128, mkexpr(a1), in dis_av_pack()
17660 assign( b1, binop(Iop_ShlN16x8, in dis_av_pack()
17663 assign( b2, binop(Iop_ShlN16x8, in dis_av_pack()
17666 assign( b3, binop(Iop_ShrN16x8, in dis_av_pack()
17669 assign( b_tmp, binop(Iop_OrV128, mkexpr(b1), in dis_av_pack()
17699 assign( vA_tmp, binop(Iop_AndV128, mkexpr(vA), in dis_av_pack()
17703 assign( vB_tmp, binop(Iop_AndV128, mkexpr(vB), in dis_av_pack()
17731 assign( zeros, unop(Iop_Dup32x4, mkU32(0)) ); in dis_av_pack()
17737 assign( signs, binop(Iop_CmpGT8Sx16, mkexpr(zeros), mkexpr(vB)) ); in dis_av_pack()
17744 assign( signs, binop(Iop_CmpGT16Sx8, mkexpr(zeros), mkexpr(vB)) ); in dis_av_pack()
17751 assign( signs, binop(Iop_CmpGT8Sx16, mkexpr(zeros), mkexpr(vB)) ); in dis_av_pack()
17758 assign( signs, binop(Iop_CmpGT16Sx8, mkexpr(zeros), mkexpr(vB)) ); in dis_av_pack()
17773 assign( z0, binop(Iop_ShlN16x8, in dis_av_pack()
17776 assign( z1, binop(Iop_ShrN16x8, in dis_av_pack()
17779 assign( z01, binop(Iop_InterleaveHI16x8, mkexpr(zeros), in dis_av_pack()
17781 assign( z2, binop(Iop_ShrN16x8, in dis_av_pack()
17786 assign( z3, binop(Iop_ShrN16x8, in dis_av_pack()
17789 assign( z23, binop(Iop_InterleaveHI16x8, mkexpr(zeros), in dis_av_pack()
17806 assign( z0, binop(Iop_ShlN16x8, in dis_av_pack()
17809 assign( z1, binop(Iop_ShrN16x8, in dis_av_pack()
17812 assign( z01, binop(Iop_InterleaveLO16x8, mkexpr(zeros), in dis_av_pack()
17814 assign( z2, binop(Iop_ShrN16x8, in dis_av_pack()
17819 assign( z3, binop(Iop_ShrN16x8, in dis_av_pack()
17822 assign( z23, binop(Iop_InterleaveLO16x8, mkexpr(zeros), in dis_av_pack()
17832 assign( signs, binop(Iop_CmpGT32Sx4, mkexpr(zeros), mkexpr(vB)) ); in dis_av_pack()
17839 assign( signs, binop(Iop_CmpGT32Sx4, mkexpr(zeros), mkexpr(vB)) ); in dis_av_pack()
17865 assign( vA, getVReg(vA_addr)); in dis_av_cipher()
17866 assign( vB, getVReg(vB_addr)); in dis_av_cipher()
17928 assign( vA, getVReg(vRA_addr)); in dis_av_hash()
17938 assign( dst, binop( Iop_SHA256, mkexpr( vA ), mkU8( s_field) ) ); in dis_av_hash()
17986 assign(_vecA_32, unop( Iop_64to32, _vecA_low64 ) ); in _get_quad_modulo_or_carry()
17987 assign(_vecB_32, unop( Iop_64to32, _vecB_low64 ) ); in _get_quad_modulo_or_carry()
17990 assign(_vecA_32, unop( Iop_64HIto32, _vecA_low64 ) ); in _get_quad_modulo_or_carry()
17991 assign(_vecB_32, unop( Iop_64HIto32, _vecB_low64 ) ); in _get_quad_modulo_or_carry()
17994 assign(_vecA_32, unop( Iop_64to32, _vecA_high64 ) ); in _get_quad_modulo_or_carry()
17995 assign(_vecB_32, unop( Iop_64to32, _vecB_high64 ) ); in _get_quad_modulo_or_carry()
17998 assign(_vecA_32, unop( Iop_64HIto32, _vecA_high64 ) ); in _get_quad_modulo_or_carry()
17999 assign(_vecB_32, unop( Iop_64HIto32, _vecB_high64 ) ); in _get_quad_modulo_or_carry()
18003 assign(res_32, binop( Iop_Add32, in _get_quad_modulo_or_carry()
18012 assign(result, binop( Iop_OrV128, in _get_quad_modulo_or_carry()
18024 assign(tmp_result, mkexpr(result)); in _get_quad_modulo_or_carry()
18027 assign(carry, unop(Iop_1Uto32, binop( Iop_CmpLT32U, in _get_quad_modulo_or_carry()
18052 assign( vA, getVReg(vRA_addr)); in dis_av_quad()
18053 assign( vB, getVReg(vRB_addr)); in dis_av_quad()
18104 assign( idx_tmp, in dis_av_quad()
18110 assign( idx_LT127, in dis_av_quad()
18121 assign( idx, in dis_av_quad()
18128 assign( idx_LT127_ity128, in dis_av_quad()
18133 assign( perm_bit, in dis_av_quad()
18168 assign( vC, getVReg(vRC_addr)); in dis_av_quad()
18171 assign(cin, binop( Iop_And32, in dis_av_quad()
18182 assign( vC, getVReg(vRC_addr)); in dis_av_quad()
18185 assign(cin, binop( Iop_And32, in dis_av_quad()
18195 assign( vC, getVReg(vRC_addr)); in dis_av_quad()
18198 assign(cin, binop( Iop_And32, in dis_av_quad()
18211 assign( vC, getVReg(vRC_addr)); in dis_av_quad()
18214 assign(cin, binop( Iop_And32, in dis_av_quad()
18253 assign( vA, getVReg(vRA_addr)); in dis_av_bcd()
18254 assign( vB, getVReg(vRB_addr)); in dis_av_bcd()
18264 assign( dst, triop( Iop_BCDAdd, mkexpr( vA ), in dis_av_bcd()
18271 assign( dst, triop( Iop_BCDSub, mkexpr( vA ), in dis_av_bcd()
18299 assign( vA, getVReg(vA_addr)); in dis_av_fp_arith()
18300 assign( vB, getVReg(vB_addr)); in dis_av_fp_arith()
18301 assign( vC, getVReg(vC_addr)); in dis_av_fp_arith()
18309 assign(rm, get_IR_roundingmode()); in dis_av_fp_arith()
18418 assign( vA, getVReg(vA_addr)); in dis_av_fp_cmp()
18419 assign( vB, getVReg(vB_addr)); in dis_av_fp_cmp()
18430 assign( vD, binop(Iop_CmpEQ32Fx4, mkexpr(vA), mkexpr(vB)) ); in dis_av_fp_cmp()
18436 assign( vD, binop(Iop_CmpGE32Fx4, mkexpr(vA), mkexpr(vB)) ); in dis_av_fp_cmp()
18442 assign( vD, binop(Iop_CmpGT32Fx4, mkexpr(vA), mkexpr(vB)) ); in dis_av_fp_cmp()
18452 assign( zeros, unop(Iop_Dup32x4, mkU32(0)) ); in dis_av_fp_cmp()
18462 assign( gt, unop(Iop_NotV128, in dis_av_fp_cmp()
18464 assign( lt, unop(Iop_NotV128, in dis_av_fp_cmp()
18471 assign( vD, binop(Iop_ShlN32x4, in dis_av_fp_cmp()
18512 assign( vB, getVReg(vB_addr)); in dis_av_fp_convert()
18516 assign( vScale, unop(Iop_Dup32x4, mkU32( float_to_bits(scale) )) ); in dis_av_fp_convert()
18518 assign( vInvScale, in dis_av_fp_convert()