public static Int32Value Conv_Ovf_U1_Un(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 8) || (uint)a.Value > byte.MaxValue) { return(CreateUnknownUInt8()); } return(Conv_U1(a)); }
public static Int32Value Conv_Ovf_U2_Un(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 16) || (uint)a.Value > ushort.MaxValue) { return(CreateUnknownUInt16()); } return(Conv_U2(a)); }
public static Int32Value Conv_Ovf_I2(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 15) || !a.CheckSign(NO_UNKNOWN_BITS << 15)) { return(CreateUnknown()); } return(Conv_I2(a)); }
public static Int32Value Conv_Ovf_U2_Un(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 16) || (uint)a.Value > ushort.MaxValue) return CreateUnknownUInt16(); return Conv_U2(a); }
public static Int32Value Conv_Ovf_U1_Un(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 8) || (uint)a.Value > byte.MaxValue) return CreateUnknownUInt8(); return Conv_U1(a); }
public static Int32Value Conv_Ovf_I2(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 15) || !a.CheckSign(NO_UNKNOWN_BITS << 15)) return CreateUnknown(); return Conv_I2(a); }
public static Int32Value Conv_Ovf_U2(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 15) || a.Value < 0 || a.Value > ushort.MaxValue) return CreateUnknownUInt16(); return Conv_U2(a); }
public static Int32Value Conv_Ovf_U1(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 7) || a.Value < 0 || a.Value > byte.MaxValue) return CreateUnknownUInt8(); return Conv_U1(a); }
public static Int32Value Conv_Ovf_I2_Un(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 15) || (uint)a.Value > short.MaxValue) return CreateUnknown(); return Conv_I2(a); }
public static Int32Value Conv_Ovf_I1(Int32Value a) { if (!a.AreBitsValid(NO_UNKNOWN_BITS << 7) || !a.CheckSign(NO_UNKNOWN_BITS << 7)) return CreateUnknown(); return Conv_I1(a); }