Lines Matching refs:t128
669 static void breakV128to4xF64( IRExpr* t128,
677 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
687 assign( hi64, unop(Iop_V128HIto64, t128) );
688 assign( lo64, unop(Iop_V128to64, t128) );
707 static void breakV128to4x64S( IRExpr* t128,
715 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
725 assign( hi64, unop(Iop_V128HIto64, t128) );
726 assign( lo64, unop(Iop_V128to64, t128) );
734 static void breakV128to4x64U ( IRExpr* t128,
742 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
752 assign( hi64, unop(Iop_V128HIto64, t128) );
753 assign( lo64, unop(Iop_V128to64, t128) );
760 static void breakV128to4x32( IRExpr* t128,
768 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
778 assign( hi64, unop(Iop_V128HIto64, t128) );
779 assign( lo64, unop(Iop_V128to64, t128) );