public static Bool3 CompareLt(Real8Value a, Real8Value b)
{
if (a.IsValid && b.IsValid)
{
return(a.Value < b.Value ? Bool3.True : Bool3.False);
}
return(Bool3.Unknown);
}
public static Real8Value Neg(Real8Value a)
{
if (!a.IsValid)
{
return(CreateUnknown());
}
return(new Real8Value(-a.Value));
}
public static Real8Value Rem(Real8Value a, Real8Value b)
{
if (!a.IsValid || !b.IsValid)
{
return(CreateUnknown());
}
return(new Real8Value(a.Value % b.Value));
}
public static Real8Value Conv_R4(Real8Value a)
{
if (a.IsValid)
{
return(new Real8Value((float)a.Value));
}
return(CreateUnknown());
}
public static Bool3 CompareFalse(Real8Value a) => Bool3.Unknown;
public static Int32Value Clt_Un(Real8Value a, Real8Value b) => Int32Value.Create(CompareLt_Un(a, b));
public static Real8Value Mul_Ovf_Un(Real8Value a, Real8Value b)
{
return(CreateUnknown());
}
public static Real8Value Neg(Real8Value a) {
if (!a.IsValid)
return CreateUnknown();
return new Real8Value(-a.Value);
}
public static Bool3 CompareLt(Real8Value a, Real8Value b) {
if (a.IsValid && b.IsValid)
return a.Value < b.Value ? Bool3.True : Bool3.False;
return Bool3.Unknown;
}
public static Real8Value Conv_R8(Real8Value a) {
return a;
}
public static Real8Value Conv_R8(Real8Value a)
{
return(a);
}
public static Real8Value Conv_R_Un(Real8Value a)
{
return(CreateUnknown());
}
public static Real8Value Neg(Real8Value a)
{
return(new Real8Value(-a.value));
}
public static Real8Value Rem(Real8Value a, Real8Value b)
{
return(new Real8Value(a.value % b.value));
}
public static Real8Value Div(Real8Value a, Real8Value b)
{
return(new Real8Value(a.value / b.value));
}
public static Int32Value Conv_Ovf_U4(Real8Value a) {
return Int32Value.CreateUnknown();
}
public static Real8Value Conv_R_Un(Real8Value a) {
return CreateUnknown();
}
public static Int32Value Cgt_Un(Real8Value a, Real8Value b)
{
return(Int32Value.Create(CompareGt_Un(a, b)));
}
public static Int32Value Cgt(Real8Value a, Real8Value b) {
return Int32Value.Create(CompareGt(a, b));
}
public static Int32Value Clt(Real8Value a, Real8Value b)
{
return(Int32Value.Create(CompareLt(a, b)));
}
public static Bool3 CompareFalse(Real8Value a) {
return Bool3.Unknown;
}
public static Bool3 CompareLt_Un(Real8Value a, Real8Value b)
{
return(Bool3.Unknown); //TODO:
}
public static Real8Value Mul_Ovf(Real8Value a, Real8Value b) {
return CreateUnknown();
}
public static Bool3 CompareFalse(Real8Value a)
{
return(Bool3.Unknown);
}
public static Int32Value Conv_Ovf_U4(Real8Value a)
{
return(Int32Value.CreateUnknown());
}
public static Real8Value Add(Real8Value a, Real8Value b)
{
return new Real8Value(a.value + b.value);
}
public static Int32Value Cgt(Real8Value a, Real8Value b) => Int32Value.Create(CompareGt(a, b));
public static Real8Value Div(Real8Value a, Real8Value b)
{
return new Real8Value(a.value / b.value);
}
public static Bool3 CompareLt_Un(Real8Value a, Real8Value b) => Bool3.Unknown; //TODO:
public static Real8Value Mul(Real8Value a, Real8Value b)
{
return new Real8Value(a.value * b.value);
}
public static Int32Value Conv_Ovf_U2_Un(Real8Value a) {
return Int32Value.CreateUnknownUInt16();
}
public static Real8Value Neg(Real8Value a)
{
return new Real8Value(-a.value);
}
public static Int64Value Conv_Ovf_U8_Un(Real8Value a) {
return Int64Value.CreateUnknown();
}
public static Real8Value Rem(Real8Value a, Real8Value b)
{
return new Real8Value(a.value % b.value);
}
public static Real8Value Conv_R4(Real8Value a) {
if (a.IsValid)
return new Real8Value((float)a.Value);
return CreateUnknown();
}
public static Real8Value Sub(Real8Value a, Real8Value b)
{
return new Real8Value(a.value - b.value);
}
public static Int32Value Ceq(Real8Value a, Real8Value b) {
return Int32Value.Create(CompareEq(a, b));
}
public static Real8Value Sub_Ovf(Real8Value a, Real8Value b) => CreateUnknown();
public static Int32Value Clt_Un(Real8Value a, Real8Value b) {
return Int32Value.Create(CompareLt_Un(a, b));
}
public static Real8Value Mul_Ovf_Un(Real8Value a, Real8Value b) => CreateUnknown();
public static Bool3 CompareLt_Un(Real8Value a, Real8Value b) {
return Bool3.Unknown; //TODO:
}
public static Int32Value Conv_Ovf_U2_Un(Real8Value a) => Int32Value.CreateUnknownUInt16();
public static Real8Value Rem(Real8Value a, Real8Value b) {
if (!a.IsValid || !b.IsValid)
return CreateUnknown();
return new Real8Value(a.Value % b.Value);
}
public static Int32Value Conv_Ovf_U4(Real8Value a) => Int32Value.CreateUnknown();
public static Real8Value Sub_Ovf_Un(Real8Value a, Real8Value b) {
return CreateUnknown();
}
public static Int64Value Conv_Ovf_U8_Un(Real8Value a) => Int64Value.CreateUnknown();
public static Real8Value Sub_Ovf(Real8Value a, Real8Value b)
{
return(CreateUnknown());
}
public static Real8Value Conv_R_Un(Real8Value a) => CreateUnknown();
public static Int32Value Conv_Ovf_U2_Un(Real8Value a)
{
return(Int32Value.CreateUnknownUInt16());
}
public static Real8Value Conv_R8(Real8Value a) => a;
public static Int64Value Conv_Ovf_U8_Un(Real8Value a)
{
return(Int64Value.CreateUnknown());
}
public static Int32Value Ceq(Real8Value a, Real8Value b) => Int32Value.Create(CompareEq(a, b));
