public static Bool3 CompareLe(Int64Value a, Int64Value b)
{
if (a.AllBitsValid() && b.AllBitsValid())
{
return(a.Value <= b.Value ? Bool3.True : Bool3.False);
}
if (a.HasValue(long.MinValue))
{
return(Bool3.True); // min <= x => true
}
if (b.HasValue(long.MaxValue))
{
return(Bool3.True); // x <= max => true
}
return(Bool3.Unknown);
}
public static Bool3 CompareLt_Un(Int64Value a, Int64Value b)
{
if (a.AllBitsValid() && b.AllBitsValid())
{
return((ulong)a.Value < (ulong)b.Value ? Bool3.True : Bool3.False);
}
if (a.HasValue(ulong.MaxValue))
{
return(Bool3.False); // max < x => false
}
if (b.HasValue(ulong.MinValue))
{
return(Bool3.False); // x < min => false
}
return(Bool3.Unknown);
}
public static Bool3 CompareGt(Int64Value a, Int64Value b)
{
if (a.AllBitsValid() && b.AllBitsValid())
{
return(a.Value > b.Value ? Bool3.True : Bool3.False);
}
if (a.HasValue(long.MinValue))
{
return(Bool3.False); // min > x => false
}
if (b.HasValue(long.MaxValue))
{
return(Bool3.False); // x > max => false
}
return(Bool3.Unknown);
}
public static Int64Value Rem_Un(Int64Value a, Int64Value b)
{
if (a.AllBitsValid() && b.AllBitsValid())
{
try {
return(new Int64Value((long)((ulong)a.Value % (ulong)b.Value)));
}
catch (ArithmeticException) {
return(CreateUnknown());
}
}
if ((ReferenceEquals(a, b) && a.IsNonZero()) || b.HasValue(1))
{
return(Zero);
}
return(CreateUnknown());
}
public static Int64Value Mul(Int64Value a, Int64Value b)
{
if (a.AllBitsValid() && b.AllBitsValid())
{
return(new Int64Value(a.Value * b.Value));
}
if (a.IsZero() || b.IsZero())
{
return(Zero);
}
if (a.HasValue(1))
{
return(b);
}
if (b.HasValue(1))
{
return(a);
}
return(CreateUnknown());
}
public static Int64Value Div(Int64Value a, Int64Value b)
{
if (a.AllBitsValid() && b.AllBitsValid())
{
try {
return(new Int64Value(a.Value / b.Value));
}
catch (ArithmeticException) {
return(CreateUnknown());
}
}
if (ReferenceEquals(a, b) && a.IsNonZero())
{
return(One);
}
if (b.HasValue(1))
{
return(a);
}
return(CreateUnknown());
}
public static Bool3 CompareLe_Un(Int64Value a, Int64Value b) {
if (a.AllBitsValid() && b.AllBitsValid())
return (ulong)a.Value <= (ulong)b.Value ? Bool3.True : Bool3.False;
if (a.HasValue(ulong.MinValue))
return Bool3.True; // min <= x => true
if (b.HasValue(ulong.MaxValue))
return Bool3.True; // x <= max => true
return Bool3.Unknown;
}
public static Bool3 CompareLt_Un(Int64Value a, Int64Value b) {
if (a.AllBitsValid() && b.AllBitsValid())
return (ulong)a.Value < (ulong)b.Value ? Bool3.True : Bool3.False;
if (a.HasValue(ulong.MaxValue))
return Bool3.False; // max < x => false
if (b.HasValue(ulong.MinValue))
return Bool3.False; // x < min => false
return Bool3.Unknown;
}
public static Bool3 CompareGe(Int64Value a, Int64Value b) {
if (a.AllBitsValid() && b.AllBitsValid())
return a.Value >= b.Value ? Bool3.True : Bool3.False;
if (a.HasValue(long.MaxValue))
return Bool3.True; // max >= x => true
if (b.HasValue(long.MinValue))
return Bool3.True; // x >= min => true
return Bool3.Unknown;
}
public static Bool3 CompareGt(Int64Value a, Int64Value b) {
if (a.AllBitsValid() && b.AllBitsValid())
return a.Value > b.Value ? Bool3.True : Bool3.False;
if (a.HasValue(long.MinValue))
return Bool3.False; // min > x => false
if (b.HasValue(long.MaxValue))
return Bool3.False; // x > max => false
return Bool3.Unknown;
}
public static Int64Value Rem_Un(Int64Value a, Int64Value b) {
if (a.AllBitsValid() && b.AllBitsValid()) {
try {
return new Int64Value((long)((ulong)a.Value % (ulong)b.Value));
}
catch (ArithmeticException) {
return CreateUnknown();
}
}
if ((ReferenceEquals(a, b) && a.IsNonZero()) || b.HasValue(1))
return Zero;
return CreateUnknown();
}
public static Int64Value Div(Int64Value a, Int64Value b) {
if (a.AllBitsValid() && b.AllBitsValid()) {
try {
return new Int64Value(a.Value / b.Value);
}
catch (ArithmeticException) {
return CreateUnknown();
}
}
if (ReferenceEquals(a, b) && a.IsNonZero())
return One;
if (b.HasValue(1))
return a;
return CreateUnknown();
}
public static Int64Value Mul(Int64Value a, Int64Value b) {
if (a.AllBitsValid() && b.AllBitsValid())
return new Int64Value(a.Value * b.Value);
if (a.IsZero() || b.IsZero())
return Zero;
if (a.HasValue(1))
return b;
if (b.HasValue(1))
return a;
return CreateUnknown();
}