private void EmitRangeCheckedBranch(ConstantValue startConstant, ConstantValue endConstant, object targetLabel)
{
_builder.EmitLoad(_key);
// Normalize the key to 0 if needed
// Emit: ldc constant
// sub
if (!startConstant.IsDefaultValue)
{
_builder.EmitConstantValue(startConstant);
_builder.EmitOpCode(ILOpCode.Sub);
}
if (_keyTypeCode.Is64BitIntegral())
{
_builder.EmitLongConstant(endConstant.Int64Value - startConstant.Int64Value);
}
else
{
_builder.EmitIntConstant(endConstant.Int32Value - startConstant.Int32Value);
}
_builder.EmitBranch(ILOpCode.Ble_un, targetLabel, ILOpCode.Bgt_un);
}
private void EmitRangeCheckedBranch(
ConstantValue startConstant,
ConstantValue endConstant,
object targetLabel
)
{
_builder.EmitLoad(_key);
// Normalize the key to 0 if needed
// Emit: ldc constant
// sub
if (!startConstant.IsDefaultValue)
{
_builder.EmitConstantValue(startConstant);
_builder.EmitOpCode(ILOpCode.Sub);
}
if (_keyTypeCode.Is64BitIntegral())
{
_builder.EmitLongConstant(endConstant.Int64Value - startConstant.Int64Value);
}
else
{
int Int32Value(ConstantValue value)
{
// ConstantValue does not correctly convert byte and ushort values to int.
// It sign extends them rather than padding them. We compensate for that here.
// See also https://github.com/dotnet/roslyn/issues/18579
switch (value.Discriminator)
{
case ConstantValueTypeDiscriminator.Byte:
return(value.ByteValue);
case ConstantValueTypeDiscriminator.UInt16:
return(value.UInt16Value);
default:
return(value.Int32Value);
}
}
_builder.EmitIntConstant(Int32Value(endConstant) - Int32Value(startConstant));
}
_builder.EmitBranch(ILOpCode.Ble_un, targetLabel, ILOpCode.Bgt_un);
}
