public static Int32Value Conv_Ovf_U4_Un(Int64Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 32) || (ulong)a.Value > uint.MaxValue) { return(Int32Value.CreateUnknown()); } return(Int32Value.Conv_U4(a)); }
public static Int32Value Conv_Ovf_U1_Un(Int64Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 8) || (ulong)a.Value > byte.MaxValue) { return(Int32Value.CreateUnknownUInt8()); } return(Int32Value.Conv_U1(a)); }
public static Int32Value Conv_Ovf_U2_Un(Int64Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 16) || (ulong)a.Value > ushort.MaxValue) { return(Int32Value.CreateUnknownUInt16()); } return(Int32Value.Conv_U2(a)); }
public static Int32Value Conv_Ovf_I4(Int64Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 31) || !a.CheckSign(NO_UNKNOWN_BITS << 31)) { return(Int32Value.CreateUnknown()); } return(Int32Value.Conv_I4(a)); }
public static Int32Value Conv_Ovf_U4_Un(Int64Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 32) || (ulong)a.Value > uint.MaxValue) return Int32Value.CreateUnknown(); return Int32Value.Conv_U4(a); }
public static Int32Value Conv_Ovf_U2_Un(Int64Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 16) || (ulong)a.Value > ushort.MaxValue) return Int32Value.CreateUnknownUInt16(); return Int32Value.Conv_U2(a); }
public static Int32Value Conv_Ovf_U1_Un(Int64Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 8) || (ulong)a.Value > byte.MaxValue) return Int32Value.CreateUnknownUInt8(); return Int32Value.Conv_U1(a); }
public static Int32Value Conv_Ovf_I4(Int64Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 31) || !a.CheckSign(NO_UNKNOWN_BITS << 31)) return Int32Value.CreateUnknown(); return Int32Value.Conv_I4(a); }