628 static IRAtom* mkImproveAND8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND8()  argument
631    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND8()
632    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND8()
633    return assignNew('V', mce, Ity_I8, binop(Iop_Or8, data, vbits));  in mkImproveAND8()
636 static IRAtom* mkImproveAND16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND16()  argument
639    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND16()
640    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND16()
641    return assignNew('V', mce, Ity_I16, binop(Iop_Or16, data, vbits));  in mkImproveAND16()
644 static IRAtom* mkImproveAND32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND32()  argument
647    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND32()
648    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND32()
649    return assignNew('V', mce, Ity_I32, binop(Iop_Or32, data, vbits));  in mkImproveAND32()
652 static IRAtom* mkImproveAND64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND64()  argument
655    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND64()
656    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND64()
657    return assignNew('V', mce, Ity_I64, binop(Iop_Or64, data, vbits));  in mkImproveAND64()
660 static IRAtom* mkImproveANDV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveANDV128()  argument
663    tl_assert(isShadowAtom(mce, vbits));  in mkImproveANDV128()
664    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveANDV128()
665    return assignNew('V', mce, Ity_V128, binop(Iop_OrV128, data, vbits));  in mkImproveANDV128()
668 static IRAtom* mkImproveANDV256 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveANDV256()  argument
671    tl_assert(isShadowAtom(mce, vbits));  in mkImproveANDV256()
672    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveANDV256()
673    return assignNew('V', mce, Ity_V256, binop(Iop_OrV256, data, vbits));  in mkImproveANDV256()
679 static IRAtom* mkImproveOR8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR8()  argument
682    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR8()
683    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR8()
688                    vbits) );  in mkImproveOR8()
691 static IRAtom* mkImproveOR16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR16()  argument
694    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR16()
695    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR16()
700                    vbits) );  in mkImproveOR16()
703 static IRAtom* mkImproveOR32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR32()  argument
706    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR32()
707    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR32()
712                    vbits) );  in mkImproveOR32()
715 static IRAtom* mkImproveOR64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR64()  argument
718    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR64()
719    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR64()
724                    vbits) );  in mkImproveOR64()
727 static IRAtom* mkImproveORV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveORV128()  argument
730    tl_assert(isShadowAtom(mce, vbits));  in mkImproveORV128()
731    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveORV128()
736                    vbits) );  in mkImproveORV128()
739 static IRAtom* mkImproveORV256 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveORV256()  argument
742    tl_assert(isShadowAtom(mce, vbits));  in mkImproveORV256()
743    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveORV256()
748                    vbits) );  in mkImproveORV256()
757 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )   in mkPCastTo()  argument
763    tl_assert(isShadowAtom(mce,vbits));  in mkPCastTo()
764    src_ty = typeOfIRExpr(mce->sb->tyenv, vbits);  in mkPCastTo()
768       return assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));  in mkPCastTo()
771       return assignNew('V', mce, Ity_I64, unop(Iop_CmpwNEZ64, vbits));  in mkPCastTo()
775       IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));  in mkPCastTo()
781       IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));  in mkPCastTo()
788       IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));  in mkPCastTo()
797       IRAtom* tmp = assignNew('V', mce, Ity_I64, unop(Iop_CmpwNEZ64, vbits));  in mkPCastTo()
809                      binop(Iop_InterleaveHI64x2, vbits, vbits));  in mkPCastTo()
814          = mkUifUV128(mce, hi64hi64, vbits);  in mkPCastTo()
831          tmp1 = vbits;  in mkPCastTo()
834          tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ8, vbits));  in mkPCastTo()
837          tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ16, vbits));  in mkPCastTo()
840          tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ32, vbits));  in mkPCastTo()
843          tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ64, vbits));  in mkPCastTo()
848          IRAtom* tmp2 = assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vbits));  in mkPCastTo()
849          IRAtom* tmp3 = assignNew('V', mce, Ity_I64, unop(Iop_128to64, vbits));  in mkPCastTo()