|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
using System;
using System.Diagnostics;
namespace Microsoft.CodeAnalysis.CSharp
{
using static BinaryOperatorKind;
internal static partial class ValueSetFactory
{
private class IntTC : INumericTC<int>
{
// Note: whenever we intersect or union two sets of IntTCs,
// we just keep the nonNegative flag of the set we're merging into.
public bool nonNegative;
private IntTC(bool nonNegative)
{
this.nonNegative = nonNegative;
}
public static readonly IntTC DefaultInstance = new IntTC(nonNegative: false);
public static readonly IntTC NonNegativeInstance = new IntTC(nonNegative: true);
public int MinValue => nonNegative ? 0 : int.MinValue;
int INumericTC<int>.MaxValue => int.MaxValue;
int INumericTC<int>.Zero => 0;
public bool Related(BinaryOperatorKind relation, int left, int right)
{
switch (relation)
{
case Equal:
return left == right;
case GreaterThanOrEqual:
return left >= right;
case GreaterThan:
return left > right;
case LessThanOrEqual:
return left <= right;
case LessThan:
return left < right;
default:
throw new ArgumentException("relation");
}
}
int INumericTC<int>.Next(int value)
{
Debug.Assert(value != int.MaxValue);
return value + 1;
}
int INumericTC<int>.Prev(int value)
{
Debug.Assert(value != MinValue);
return value - 1;
}
public int FromConstantValue(ConstantValue constantValue) => constantValue.IsBad ? 0 : constantValue.Int32Value;
public ConstantValue ToConstantValue(int value) => ConstantValue.Create(value);
string INumericTC<int>.ToString(int value) => value.ToString();
public int Random(Random random)
{
if (nonNegative)
{
return Math.Abs((random.Next() << 10) ^ random.Next());
}
else
{
return (random.Next() << 10) ^ random.Next();
}
}
}
}
}
|