/// <summary>
/// Initializes a new instance of <see cref="Operand"/>.
/// </summary>
/// <param name="type">The type of the operand.</param>
private Operand(MosaType type)
: this()
{
//Debug.Assert(type != null);
Type = type;
IsFloatingPoint = type.IsR;
IsR4 = type.IsR4;
IsR8 = type.IsR8;
IsArray = type.IsArray;
IsBoolean = type.IsBoolean;
IsChar = type.IsChar;
IsEnum = type.IsEnum;
IsManagedPointer = type.IsManagedPointer;
IsUnmanagedPointer = type.IsUnmanagedPointer;
IsReferenceType = type.IsReferenceType;
IsValueType = type.IsValueType;
IsFunctionPointer = type.IsFunctionPointer;
IsInteger = type.IsI1 || type.IsI2 || type.IsI4 || type.IsI8 || type.IsU1 || type.IsU2 || type.IsU4 || type.IsU8;
IsInteger64 = type.IsUI8 || Type.GetEnumUnderlyingType().IsUI8;
IsInteger32 = type.IsUI4 || Type.GetEnumUnderlyingType().IsUI4;
}
/// <summary>
/// Initializes a new instance of <see cref="Operand"/>.
/// </summary>
/// <param name="type">The type of the operand.</param>
private Operand(MosaType type)
: this()
{
//Debug.Assert(type != null);
Type = type;
IsR = type.IsR;
IsR4 = type.IsR4;
IsR8 = type.IsR8;
IsI = type.IsI;
IsI1 = type.IsI1;
IsI2 = type.IsI2;
IsI4 = type.IsI4;
IsI8 = type.IsI8;
IsU = type.IsU;
IsU1 = type.IsU1;
IsU2 = type.IsU2;
IsU4 = type.IsU4;
IsU8 = type.IsU8;
IsArray = type.IsArray;
IsBoolean = type.IsBoolean;
IsChar = type.IsChar;
IsEnum = type.IsEnum;
IsManagedPointer = type.IsManagedPointer;
IsUnmanagedPointer = type.IsUnmanagedPointer;
IsReferenceType = type.IsReferenceType;
IsValueType = type.IsValueType;
IsFunctionPointer = type.IsFunctionPointer;
Is64BitInteger = IsU8 || IsI8 || Type.GetEnumUnderlyingType().IsUI8;
}
private int ComputeArgumentSize(MosaType type, object value)
{
if (type.IsEnum)
{
type = type.GetEnumUnderlyingType();
}
switch (type.TypeCode)
{
// 1 byte
case MosaTypeCode.Boolean:
case MosaTypeCode.U1:
case MosaTypeCode.I1:
return(1);
// 2 bytes
case MosaTypeCode.Char:
case MosaTypeCode.U2:
case MosaTypeCode.I2:
return(2);
// 4 bytes
case MosaTypeCode.U4:
case MosaTypeCode.I4:
case MosaTypeCode.R4:
return(4);
// 8 bytes
case MosaTypeCode.U8:
case MosaTypeCode.I8:
case MosaTypeCode.R8:
return(8);
// SZArray
case MosaTypeCode.SZArray:
Debug.Assert(value is MosaCustomAttribute.Argument[]);
var arr = (MosaCustomAttribute.Argument[])value;
int size = 0;
foreach (var elem in arr)
{
size += ComputeArgumentSize(elem.Type, elem.Value);
}
return(size);
// String
case MosaTypeCode.String:
return(TypeLayout.NativePointerSize);
default:
if (type.FullName == "System.Type")
{
return(TypeLayout.NativePointerSize);
}
else
{
throw new NotSupportedException();
}
}
}
private int ComputeArgumentSize(MosaType type, object value)
{
if (type.IsEnum)
type = type.GetEnumUnderlyingType();
switch (type.TypeCode)
{
// 1 byte
case MosaTypeCode.Boolean:
case MosaTypeCode.U1:
case MosaTypeCode.I1:
return 1;
// 2 bytes
case MosaTypeCode.Char:
case MosaTypeCode.U2:
case MosaTypeCode.I2:
return 2;
// 4 bytes
case MosaTypeCode.U4:
case MosaTypeCode.I4:
case MosaTypeCode.R4:
return 4;
// 8 bytes
case MosaTypeCode.U8:
case MosaTypeCode.I8:
case MosaTypeCode.R8:
return 8;
// SZArray
case MosaTypeCode.SZArray:
Debug.Assert(value is MosaCustomAttribute.Argument[]);
var arr = (MosaCustomAttribute.Argument[])value;
int size = 0;
foreach (var elem in arr)
size += ComputeArgumentSize(elem.Type, elem.Value);
return size;
// String
case MosaTypeCode.String:
return TypeLayout.NativePointerSize;
default:
if (type.FullName == "System.Type")
{
return TypeLayout.NativePointerSize;
}
else
throw new NotSupportedException();
}
}
private void WriteArgument(EndianAwareBinaryWriter writer, LinkerSymbol symbol, MosaType type, object value)
{
if (type.IsEnum)
type = type.GetEnumUnderlyingType();
switch (type.TypeCode)
{
// 1 byte
case MosaTypeCode.Boolean:
writer.Write((bool)value);
break;
case MosaTypeCode.U1:
writer.Write((byte)value);
break;
case MosaTypeCode.I1:
writer.Write((sbyte)value);
break;
// 2 bytes
case MosaTypeCode.Char:
writer.Write((char)value);
break;
case MosaTypeCode.U2:
writer.Write((ushort)value);
break;
case MosaTypeCode.I2:
writer.Write((short)value);
break;
// 4 bytes
case MosaTypeCode.U4:
writer.Write((uint)value);
break;
case MosaTypeCode.I4:
writer.Write((int)value);
break;
case MosaTypeCode.R4:
writer.Write((float)value);
break;
// 8 bytes
case MosaTypeCode.U8:
writer.Write((ulong)value);
break;
case MosaTypeCode.I8:
writer.Write((long)value);
break;
case MosaTypeCode.R8:
writer.Write((double)value);
break;
// SZArray
case MosaTypeCode.SZArray:
Debug.Assert(value is MosaCustomAttribute.Argument[]);
var arr = (MosaCustomAttribute.Argument[])value;
writer.Write(arr.Length, TypeLayout.NativePointerSize);
foreach (var elem in arr)
WriteArgument(writer, symbol, elem.Type, elem.Value);
break;
// String
case MosaTypeCode.String:
// Since strings are immutable, make it an object that we can just use
var str = (string)value;
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, symbol, (int)writer.Position, 0, "System.String" + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer.WriteZeroBytes(TypeLayout.NativePointerSize * 2);
writer.Write(str.Length, TypeLayout.NativePointerSize);
writer.Write(System.Text.Encoding.Unicode.GetBytes(str));
break;
default:
if (type.FullName == "System.Type")
{
var valueType = (MosaType)value;
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, symbol, (int)writer.Position, 0, valueType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer.WriteZeroBytes(TypeLayout.NativePointerSize);
}
else
throw new NotSupportedException();
break;
}
}
private void WriteArgument(EndianAwareBinaryWriter writer, LinkerSymbol symbol, MosaType type, object value)
{
if (type.IsEnum)
{
type = type.GetEnumUnderlyingType();
}
switch (type.TypeCode)
{
// 1 byte
case MosaTypeCode.Boolean:
writer.Write((bool)value);
break;
case MosaTypeCode.U1:
writer.Write((byte)value);
break;
case MosaTypeCode.I1:
writer.Write((sbyte)value);
break;
// 2 bytes
case MosaTypeCode.Char:
writer.Write((char)value);
break;
case MosaTypeCode.U2:
writer.Write((ushort)value);
break;
case MosaTypeCode.I2:
writer.Write((short)value);
break;
// 4 bytes
case MosaTypeCode.U4:
writer.Write((uint)value);
break;
case MosaTypeCode.I4:
writer.Write((int)value);
break;
case MosaTypeCode.R4:
writer.Write((float)value);
break;
// 8 bytes
case MosaTypeCode.U8:
writer.Write((ulong)value);
break;
case MosaTypeCode.I8:
writer.Write((long)value);
break;
case MosaTypeCode.R8:
writer.Write((double)value);
break;
// SZArray
case MosaTypeCode.SZArray:
Debug.Assert(value is MosaCustomAttribute.Argument[]);
var arr = (MosaCustomAttribute.Argument[])value;
writer.Write(arr.Length, TypeLayout.NativePointerSize);
foreach (var elem in arr)
{
WriteArgument(writer, symbol, elem.Type, elem.Value);
}
break;
// String
case MosaTypeCode.String:
// Since strings are immutable, make it an object that we can just use
var str = (string)value;
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, symbol, writer.Position, Metadata.TypeDefinition + "System.String", 0);
writer.WriteZeroBytes(TypeLayout.NativePointerSize * 2);
writer.Write(str.Length, TypeLayout.NativePointerSize);
writer.Write(System.Text.Encoding.Unicode.GetBytes(str));
break;
default:
if (type.FullName == "System.Type")
{
var valueType = (MosaType)value;
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, symbol, writer.Position, Metadata.TypeDefinition + valueType.FullName, 0);
writer.WriteZeroBytes(TypeLayout.NativePointerSize);
}
else
{
throw new NotSupportedException();
}
break;
}
}
public StackTypeCode GetStackTypeCode(MosaType type)
{
switch (type.IsEnum ? type.GetEnumUnderlyingType().TypeCode : type.TypeCode)
{
case MosaTypeCode.Boolean:
case MosaTypeCode.Char:
case MosaTypeCode.I1:
case MosaTypeCode.U1:
case MosaTypeCode.I2:
case MosaTypeCode.U2:
case MosaTypeCode.I4:
case MosaTypeCode.U4:
if (Architecture.Is32BitPlatform)
{
return(StackTypeCode.Int32);
}
else
{
return(StackTypeCode.Int64);
}
case MosaTypeCode.I8:
case MosaTypeCode.U8:
return(StackTypeCode.Int64);
case MosaTypeCode.R4:
case MosaTypeCode.R8:
return(StackTypeCode.F);
case MosaTypeCode.I:
case MosaTypeCode.U:
if (Architecture.Is32BitPlatform)
{
return(StackTypeCode.Int32);
}
else
{
return(StackTypeCode.Int64);
}
case MosaTypeCode.ManagedPointer:
return(StackTypeCode.ManagedPointer);
case MosaTypeCode.UnmanagedPointer:
case MosaTypeCode.FunctionPointer:
return(StackTypeCode.UnmanagedPointer);
case MosaTypeCode.String:
case MosaTypeCode.ValueType:
case MosaTypeCode.ReferenceType:
case MosaTypeCode.Array:
case MosaTypeCode.Object:
case MosaTypeCode.SZArray:
case MosaTypeCode.Var:
case MosaTypeCode.MVar:
return(StackTypeCode.O);
case MosaTypeCode.Void:
return(StackTypeCode.Unknown);
}
throw new CompilerException($"Can't transform Type {type} to StackTypeCode");
}