873 static IRAtom* mkImproveAND8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND8()  argument
876    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND8()
877    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND8()
878    return assignNew(mce, Ity_I8, binop(Iop_Or8, data, vbits));  in mkImproveAND8()
881 static IRAtom* mkImproveAND16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND16()  argument
884    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND16()
885    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND16()
886    return assignNew(mce, Ity_I16, binop(Iop_Or16, data, vbits));  in mkImproveAND16()
889 static IRAtom* mkImproveAND32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND32()  argument
892    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND32()
893    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND32()
894    return assignNew(mce, Ity_I32, binop(Iop_Or32, data, vbits));  in mkImproveAND32()
897 static IRAtom* mkImproveAND64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveAND64()  argument
900    tl_assert(isShadowAtom(mce, vbits));  in mkImproveAND64()
901    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveAND64()
902    return assignNew(mce, Ity_I64, binop(Iop_Or64, data, vbits));  in mkImproveAND64()
905 static IRAtom* mkImproveANDV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveANDV128()  argument
908    tl_assert(isShadowAtom(mce, vbits));  in mkImproveANDV128()
909    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveANDV128()
910    return assignNew(mce, Ity_V128, binop(Iop_OrV128, data, vbits));  in mkImproveANDV128()
916 static IRAtom* mkImproveOR8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR8()  argument
919    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR8()
920    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR8()
925                    vbits) );  in mkImproveOR8()
928 static IRAtom* mkImproveOR16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR16()  argument
931    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR16()
932    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR16()
937                    vbits) );  in mkImproveOR16()
940 static IRAtom* mkImproveOR32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR32()  argument
943    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR32()
944    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR32()
949                    vbits) );  in mkImproveOR32()
952 static IRAtom* mkImproveOR64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveOR64()  argument
955    tl_assert(isShadowAtom(mce, vbits));  in mkImproveOR64()
956    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveOR64()
961                    vbits) );  in mkImproveOR64()
964 static IRAtom* mkImproveORV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )  in mkImproveORV128()  argument
967    tl_assert(isShadowAtom(mce, vbits));  in mkImproveORV128()
968    tl_assert(sameKindedAtoms(data, vbits));  in mkImproveORV128()
973                    vbits) );  in mkImproveORV128()
978 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )   in mkPCastTo()  argument
984    tl_assert(isShadowAtom(mce,vbits));  in mkPCastTo()
985    ty   = typeOfIRExpr(mce->bb->tyenv, vbits);  in mkPCastTo()
989          tmp1 = vbits;  in mkPCastTo()
992          tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE8, vbits, mkU8(0)));  in mkPCastTo()
995          tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE16, vbits, mkU16(0)));  in mkPCastTo()
998          tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE32, vbits, mkU32(0)));  in mkPCastTo()
1001          tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE64, vbits, mkU64(0)));  in mkPCastTo()