548 static IRAtom* mkImproveAND8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND8()  argument
551    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND8()
552    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND8()
553    return assignNew('V', mce, Ity_I8, binop(Iop_Or8, data, vbits));  in mkImproveAND8()
556 static IRAtom* mkImproveAND16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND16()  argument
559    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND16()
560    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND16()
561    return assignNew('V', mce, Ity_I16, binop(Iop_Or16, data, vbits));  in mkImproveAND16()
564 static IRAtom* mkImproveAND32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND32()  argument
567    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND32()
568    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND32()
569    return assignNew('V', mce, Ity_I32, binop(Iop_Or32, data, vbits));  in mkImproveAND32()
572 static IRAtom* mkImproveAND64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND64()  argument
575    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND64()
576    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND64()
577    return assignNew('V', mce, Ity_I64, binop(Iop_Or64, data, vbits));  in mkImproveAND64()
580 static IRAtom* mkImproveANDV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveANDV128()  argument
583    tl_assert(isShadowAtom(mce, vbits));  in mkImproveANDV128()
584    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveANDV128()
585    return assignNew('V', mce, Ity_V128, binop(Iop_OrV128, data, vbits));  in mkImproveANDV128()
591 static IRAtom* mkImproveOR8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR8()  argument
594    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR8()
595    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR8()
600                    vbits) );  in mkImproveOR8()
603 static IRAtom* mkImproveOR16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR16()  argument
606    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR16()
607    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR16()
612                    vbits) );  in mkImproveOR16()
615 static IRAtom* mkImproveOR32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR32()  argument
618    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR32()
619    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR32()
624                    vbits) );  in mkImproveOR32()
627 static IRAtom* mkImproveOR64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR64()  argument
630    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR64()
631    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR64()
636                    vbits) );  in mkImproveOR64()
639 static IRAtom* mkImproveORV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveORV128()  argument
642    tl_assert(isShadowAtom(mce, vbits));  in mkImproveORV128()
643    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveORV128()
648                    vbits) );  in mkImproveORV128()
653 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )   in mkPCastTo()  argument
659    tl_assert(isShadowAtom(mce,vbits));  in mkPCastTo()
660    src_ty = typeOfIRExpr(mce->sb->tyenv, vbits);  in mkPCastTo()
664       return assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));  in mkPCastTo()
667       return assignNew('V', mce, Ity_I64, unop(Iop_CmpwNEZ64, vbits));  in mkPCastTo()
670       IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));  in mkPCastTo()
678          tmp1 = vbits;  in mkPCastTo()
681          tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ8, vbits));  in mkPCastTo()
684          tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ16, vbits));  in mkPCastTo()
687          tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ32, vbits));  in mkPCastTo()
690          tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ64, vbits));  in mkPCastTo()
695          IRAtom* tmp2 = assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vbits));  in mkPCastTo()
696          IRAtom* tmp3 = assignNew('V', mce, Ity_I64, unop(Iop_128to64, vbits));  in mkPCastTo()