Lines Matching refs:vbits
849 /* ImproveAND(data, vbits) = data OR vbits. Defined (0) data 0s give
852 static IRAtom* mkImproveAND8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
855 tl_assert(isShadowAtom(mce, vbits));
856 tl_assert(sameKindedAtoms(data, vbits));
857 return assignNew(mce, Ity_I8, binop(Iop_Or8, data, vbits));
860 static IRAtom* mkImproveAND16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
863 tl_assert(isShadowAtom(mce, vbits));
864 tl_assert(sameKindedAtoms(data, vbits));
865 return assignNew(mce, Ity_I16, binop(Iop_Or16, data, vbits));
868 static IRAtom* mkImproveAND32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
871 tl_assert(isShadowAtom(mce, vbits));
872 tl_assert(sameKindedAtoms(data, vbits));
873 return assignNew(mce, Ity_I32, binop(Iop_Or32, data, vbits));
876 static IRAtom* mkImproveAND64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
879 tl_assert(isShadowAtom(mce, vbits));
880 tl_assert(sameKindedAtoms(data, vbits));
881 return assignNew(mce, Ity_I64, binop(Iop_Or64, data, vbits));
884 static IRAtom* mkImproveANDV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
887 tl_assert(isShadowAtom(mce, vbits));
888 tl_assert(sameKindedAtoms(data, vbits));
889 return assignNew(mce, Ity_V128, binop(Iop_OrV128, data, vbits));
892 /* ImproveOR(data, vbits) = ~data OR vbits. Defined (0) data 1s give
895 static IRAtom* mkImproveOR8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
898 tl_assert(isShadowAtom(mce, vbits));
899 tl_assert(sameKindedAtoms(data, vbits));
904 vbits) );
907 static IRAtom* mkImproveOR16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
910 tl_assert(isShadowAtom(mce, vbits));
911 tl_assert(sameKindedAtoms(data, vbits));
916 vbits) );
919 static IRAtom* mkImproveOR32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
922 tl_assert(isShadowAtom(mce, vbits));
923 tl_assert(sameKindedAtoms(data, vbits));
928 vbits) );
931 static IRAtom* mkImproveOR64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
934 tl_assert(isShadowAtom(mce, vbits));
935 tl_assert(sameKindedAtoms(data, vbits));
940 vbits) );
943 static IRAtom* mkImproveORV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
946 tl_assert(isShadowAtom(mce, vbits));
947 tl_assert(sameKindedAtoms(data, vbits));
952 vbits) );
957 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )
962 /* First of all, collapse vbits down to a single bit. */
963 tl_assert(isShadowAtom(mce,vbits));
964 ty = typeOfIRExpr(mce->bb->tyenv, vbits);
968 tmp1 = vbits;
971 tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE8, vbits, mkU8(0)));
974 tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE16, vbits, mkU16(0)));
977 tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE32, vbits, mkU32(0)));
980 tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE64, vbits, mkU64(0)));
1170 /* emit code to emit a complaint if any of the vbits are 1. */
1201 /* emit code to emit a complaint if any of the vbits are 1. */
2199 /* vatom is vbits-value and as such can only have a shadow type. */
