Lines Matching refs:vassert
396 vassert(4 == sizeof(UInt)); in float_to_bits()
397 vassert(4 == sizeof(Float)); in float_to_bits()
398 vassert(4 == sizeof(u)); in float_to_bits()
415 vassert(begin < 32); in MASK32()
416 vassert(end < 32); in MASK32()
427 vassert(begin < 64); in MASK64()
428 vassert(end < 64); in MASK64()
456 vassert(isPlausibleIRType(ty)); in newTemp()
518 vassert(tyA == Ity_I32 || tyA == Ity_I64); in storeBE()
570 vassert(i == 0 || i == 0xffff); in mkV128()
582 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1); in mkOR1()
583 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1); in mkOR1()
590 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1); in mkAND1()
591 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1); in mkAND1()
602 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128); in expand8Ux16()
603 vassert(vEvn && *vEvn == IRTemp_INVALID); in expand8Ux16()
604 vassert(vOdd && *vOdd == IRTemp_INVALID); in expand8Ux16()
620 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128); in expand8Sx16()
621 vassert(vEvn && *vEvn == IRTemp_INVALID); in expand8Sx16()
622 vassert(vOdd && *vOdd == IRTemp_INVALID); in expand8Sx16()
638 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128); in expand16Ux8()
639 vassert(vEvn && *vEvn == IRTemp_INVALID); in expand16Ux8()
640 vassert(vOdd && *vOdd == IRTemp_INVALID); in expand16Ux8()
656 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128); in expand16Sx8()
657 vassert(vEvn && *vEvn == IRTemp_INVALID); in expand16Sx8()
658 vassert(vOdd && *vOdd == IRTemp_INVALID); in expand16Sx8()
677 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128); in breakV128to4xF64()
678 vassert(t0 && *t0 == IRTemp_INVALID); in breakV128to4xF64()
679 vassert(t1 && *t1 == IRTemp_INVALID); in breakV128to4xF64()
680 vassert(t2 && *t2 == IRTemp_INVALID); in breakV128to4xF64()
681 vassert(t3 && *t3 == IRTemp_INVALID); in breakV128to4xF64()
715 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128); in breakV128to4x64S()
716 vassert(t0 && *t0 == IRTemp_INVALID); in breakV128to4x64S()
717 vassert(t1 && *t1 == IRTemp_INVALID); in breakV128to4x64S()
718 vassert(t2 && *t2 == IRTemp_INVALID); in breakV128to4x64S()
719 vassert(t3 && *t3 == IRTemp_INVALID); in breakV128to4x64S()
742 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128); in breakV128to4x64U()
743 vassert(t0 && *t0 == IRTemp_INVALID); in breakV128to4x64U()
744 vassert(t1 && *t1 == IRTemp_INVALID); in breakV128to4x64U()
745 vassert(t2 && *t2 == IRTemp_INVALID); in breakV128to4x64U()
746 vassert(t3 && *t3 == IRTemp_INVALID); in breakV128to4x64U()
768 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128); in breakV128to4x32()
769 vassert(t0 && *t0 == IRTemp_INVALID); in breakV128to4x32()
770 vassert(t1 && *t1 == IRTemp_INVALID); in breakV128to4x32()
771 vassert(t2 && *t2 == IRTemp_INVALID); in breakV128to4x32()
772 vassert(t3 && *t3 == IRTemp_INVALID); in breakV128to4x32()
793 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64); in mkQNarrow64Sto32()
816 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64); in mkQNarrow64Uto32()
834 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64); in mkV128from4x64S()
835 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64); in mkV128from4x64S()
836 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64); in mkV128from4x64S()
837 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64); in mkV128from4x64S()
851 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64); in mkV128from4x64U()
852 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64); in mkV128from4x64U()
853 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64); in mkV128from4x64U()
854 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64); in mkV128from4x64U()
887 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64); in mk64lo32Sto64()
893 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64); in mk64lo32Uto64()
900 vassert(ty == Ity_I8 || ty == Ity_I16 || in mkSzOp()
902 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8 || op8 == Iop_Mul8 || in mkSzOp()
914 vassert(ty == Ity_I32 || ty == Ity_I64); in mkSzAddr()
923 vassert(ty == Ity_I32 || ty == Ity_I64); in mkSzImm()
930 vassert(ty == Ity_I32 || ty == Ity_I64); in mkSzConst()
939 vassert(ty == Ity_I32 || ty == Ity_I64); in mkSzExtendS16()
948 vassert(ty == Ity_I32 || ty == Ity_I64); in mkSzExtendS32()
957 vassert(ty == Ity_I32 || ty == Ity_I64); in mkNarrowTo8()
963 vassert(ty == Ity_I32 || ty == Ity_I64); in mkNarrowTo16()
969 vassert(ty == Ity_I32 || ty == Ity_I64); in mkNarrowTo32()
977 vassert(ty == Ity_I32 || ty == Ity_I64); in mkWidenFrom8()
986 vassert(ty == Ity_I32 || ty == Ity_I64); in mkWidenFrom16()
994 vassert(ty == Ity_I32 || ty == Ity_I64); in mkWidenFrom32()
1003 vassert(archreg < 32); in integerGuestRegOffset()
1008 vassert(host_is_bigendian); in integerGuestRegOffset()
1051 vassert(archreg < 32); in getIReg()
1059 vassert(archreg < 32); in putIReg()
1060 vassert(typeOfIRExpr(irsb->tyenv, e) == ty ); in putIReg()
1068 vassert(archreg < 32); in floatGuestRegOffset()
1110 vassert(archreg < 32); in getFReg()
1117 vassert(archreg < 32); in putFReg()
1118 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64); in putFReg()
1125 vassert( archreg < 32 ); in getDReg()
1141 vassert( archreg < 32 ); in putDReg()
1142 vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D64 ); in putDReg()
1151 vassert( archreg < 32 ); in putDReg_pair()
1152 vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D128 ); in putDReg_pair()
1163 vassert(archreg < 64); in vsxGuestRegOffset()
1237 vassert(archreg < 32); in vectorGuestRegOffset()
1279 vassert(archreg < 32); in getVReg()
1286 vassert(archreg < 32); in putVReg()
1287 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128); in putVReg()
1294 vassert(archreg < 64); in getVSReg()
1301 vassert(archreg < 64); in putVSReg()
1302 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128); in putVSReg()
1347 vassert(ty == Ity_I64 || ty == Ity_I32); in gen_POPCOUNT()
1421 vassert(typeOfIRExpr(irsb->tyenv,rot_amt) == Ity_I8); in ROTL()
1448 vassert(rA < 32); in ea_rA_idxd()
1449 vassert(rB < 32); in ea_rA_idxd()
1457 vassert(rA < 32); in ea_rA_simm()
1466 vassert(rA < 32); in ea_rAor0()
1477 vassert(rA < 32); in ea_rAor0_idxd()
1478 vassert(rB < 32); in ea_rAor0_idxd()
1486 vassert(rA < 32); in ea_rAor0_simm()
1510 vassert(typeOfIRExpr(irsb->tyenv,addr) == ty); in addr_align()
1520 vassert(align == 4 || align == 8); in gen_SIGBUS_if_misaligned()
1522 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64); in gen_SIGBUS_if_misaligned()
1533 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32); in gen_SIGBUS_if_misaligned()
1558 vassert(szB >= 0); in make_redzone_AbiHint()
1561 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64); in make_redzone_AbiHint()
1568 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32); in make_redzone_AbiHint()
1615 vassert(cr < 8); in putCR321()
1616 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8); in putCR321()
1622 vassert(cr < 8); in putCR0()
1623 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8); in putCR0()
1629 vassert(cr < 8); in getCR0()
1635 vassert(cr < 8); in getCR321()
1646 vassert(bi < 32); in getCRbit()
1668 vassert(typeOfIRExpr(irsb->tyenv,bit) == Ity_I32); in putCRbit()
1672 vassert(bi < 32); in putCRbit()
1678 vassert(off == 1 || off == 2 || off == 3); in putCRbit()
1706 vassert(bi < 32); in getCRbit_anywhere()
1728 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_I32 || in set_CR0()
1757 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_V128); in set_AV_CR6()
1799 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8); in putXER_SO()
1807 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8); in putXER_OV()
1815 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8); in putXER_CA()
1823 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8); in putXER_BC()
1874 vassert(op < PPCG_FLAG_OP_NUMBER); in set_XER_OV_32()
1875 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32); in set_XER_OV_32()
1876 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32); in set_XER_OV_32()
1877 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32); in set_XER_OV_32()
2007 vassert(op < PPCG_FLAG_OP_NUMBER); in set_XER_OV_64()
2008 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64); in set_XER_OV_64()
2009 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64); in set_XER_OV_64()
2010 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64); in set_XER_OV_64()
2146 vassert(op < PPCG_FLAG_OP_NUMBER); in set_XER_CA_32()
2147 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32); in set_XER_CA_32()
2148 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32); in set_XER_CA_32()
2149 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32); in set_XER_CA_32()
2150 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I32); in set_XER_CA_32()
2264 vassert(op < PPCG_FLAG_OP_NUMBER); in set_XER_CA_64()
2265 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64); in set_XER_CA_64()
2266 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64); in set_XER_CA_64()
2267 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64); in set_XER_CA_64()
2268 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I64); in set_XER_CA_64()
2518 vassert( reg < PPC_GST_MAX ); in getGST_masked()
2554 vassert( reg < PPC_GST_MAX ); in getGST_masked_upper()
2588 vassert( fld < 8 ); in getGST_field()
2589 vassert( reg < PPC_GST_MAX ); in getGST_field()
2596 vassert(fld ==7); in getGST_field()
2618 vassert( reg < PPC_GST_MAX ); in putGST()
2621 vassert( ty_src == ty ); in putGST()
2625 vassert( ty_src == ty ); in putGST()
2629 vassert( ty_src == ty ); in putGST()
2633 vassert( ty_src == ty ); in putGST()
2637 vassert( ty_src == Ity_I32 ); in putGST()
2641 vassert( ty_src == Ity_I32 ); in putGST()
2647 vassert( ty_src == Ity_I32 ); in putGST()
2655 vassert( ty_src == Ity_I32 ); in putGST()
2660 vassert( ty_src == ty ); in putGST()
2665 vassert( ty_src == ty ); in putGST()
2679 vassert( reg < PPC_GST_MAX ); in putGST_masked()
2680 vassert( typeOfIRExpr( irsb->tyenv,src ) == Ity_I64 ); in putGST_masked()
2737 vassert( typeOfIRExpr(irsb->tyenv,src ) == Ity_I32 ); in putGST_field()
2738 vassert( fld < 16 ); in putGST_field()
2739 vassert( reg < PPC_GST_MAX ); in putGST_field()
4313 vassert(MaskBeg < 32); in dis_int_rot()
4314 vassert(MaskEnd < 32); in dis_int_rot()
4315 vassert(sh_imm < 32); in dis_int_rot()
4394 vassert( msk_imm < 64 ); in dis_int_rot()
4395 vassert( sh_imm < 64 ); in dis_int_rot()
5014 vassert(rD >= 0 && rD < 32); in generate_lsw_sequence()
5029 vassert(shift == 0 || shift == 8 || shift == 16 || shift == 24); in generate_lsw_sequence()
5065 vassert(rS >= 0 && rS < 32); in generate_stsw_sequence()
5079 vassert(shift == 0 || shift == 8 || shift == 16 || shift == 24); in generate_stsw_sequence()
5294 vassert(dres->jk_StopHere == Ijk_INVALID); in dis_branch()
5592 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I32 ); in do_trap()
5593 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I32 ); in do_trap()
5595 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I64 ); in do_trap()
5596 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 ); in do_trap()
5597 vassert( mode64 ); in do_trap()
6102 vassert(sh_imm < 32); in dis_int_shift()
6198 vassert(sh_imm < 64); in dis_int_shift()
6257 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32); in gen_byterev32()
6276 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32); in gen_byterev16()
6678 vassert(lineszB == 32 || lineszB == 64 || lineszB == 128); in dis_cache_manage()
8515 vassert(crfD < 8); in dis_fp_scr()
8516 vassert(crfS < 8); in dis_fp_scr()
17639 vassert(!allow_F); in disInstr_PPC_WRK()
17643 vassert(!allow_V); in disInstr_PPC_WRK()
17647 vassert(!allow_VX); in disInstr_PPC_WRK()
17651 vassert(!allow_FX); in disInstr_PPC_WRK()
17656 vassert(!allow_GX); in disInstr_PPC_WRK()
17661 vassert(!allow_DFP); in disInstr_PPC_WRK()
17701 vassert(0); in disInstr_PPC_WRK()
17708 vassert(dres.len == 20); in disInstr_PPC_WRK()
17741 vassert(guest_arch == VexArchPPC32 || guest_arch == VexArchPPC64); in disInstr_PPC()
17756 vassert((hwcaps_guest & mask32) == 0); in disInstr_PPC()
17758 vassert((hwcaps_guest & mask64) == 0); in disInstr_PPC()