private LinkerSymbol CreateInterfaceMethodTable(MosaType type, MosaType interfaceType)
{
// Emit interface method table
var interfaceMethodTableSymbol = Linker.CreateSymbol(type.FullName + Metadata.InterfaceMethodTable + interfaceType.FullName, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(interfaceMethodTableSymbol.Stream, Architecture.Endianness);
var interfaceMethodTable = TypeLayout.GetInterfaceTable(type, interfaceType) ?? new MosaMethod[0];
// 1. Number of Interface Methods
writer1.Write((uint)interfaceMethodTable.Length, TypeLayout.NativePointerSize);
// 2. Pointer to Interface Type
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, interfaceMethodTableSymbol, (int)writer1.Position, 0, interfaceType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Pointers to Method Definitions
foreach (MosaMethod method in interfaceMethodTable)
{
// Create definition and get the symbol
var methodDefinitionSymbol = CreateMethodDefinition(method);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, interfaceMethodTableSymbol, (int)writer1.Position, 0, methodDefinitionSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
// Return interfaceMethodTableSymbol for linker usage
return(interfaceMethodTableSymbol);
}
private LinkerSymbol CreateInterfaceBitmap(MosaType type)
{
var bitmap = new byte[(((TypeLayout.Interfaces.Count - 1) / 8) + 1)];
int at = 0;
byte bit = 0;
foreach (var interfaceType in TypeLayout.Interfaces)
{
if (type.Interfaces.Contains(interfaceType))
{
bitmap[at] = (byte)(bitmap[at] | (byte)(1 << bit));
}
bit++;
if (bit == 8)
{
bit = 0;
at++;
}
}
var symbol = Linker.CreateSymbol(type.FullName + Metadata.InterfaceBitmap, SectionKind.ROData, TypeLayout.NativePointerAlignment, bitmap.Length);
symbol.Stream.Write(bitmap);
// Return symbol for linker usage
return(symbol);
}
private LinkerSymbol CreateParameterDefinition(MosaParameter parameter)
{
// Emit parameter name
var parameterNameSymbol = EmitStringWithLength(parameter + Metadata.NameString, parameter.FullName);
// Emit parameter table
var parameterTableSymbol = Linker.CreateSymbol(parameter.FullName + Metadata.MethodDefinition, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(parameterTableSymbol.Stream, Architecture.Endianness);
// 1. Pointer to Name
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, parameterTableSymbol, (int)writer1.Position, 0, parameterNameSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Pointer to Custom Attributes
if (parameter.CustomAttributes.Count > 0)
{
var customAttributeListSymbol = CreateCustomAttributesTable(parameter);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, parameterTableSymbol, (int)writer1.Position, 0, customAttributeListSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Attributes
writer1.Write((uint)parameter.ParameterAttributes, TypeLayout.NativePointerSize);
// 4. Pointer to Parameter Type
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, parameterTableSymbol, (int)writer1.Position, 0, parameter.ParameterType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// Return parameterTableSymbol for linker usage
return(parameterTableSymbol);
}
private LinkerSymbol CreateCustomAttributesTable(MosaUnit unit)
{
// Emit custom attributes table
var customAttributesTableSymbol = Linker.CreateSymbol(unit.FullName + Metadata.CustomAttributesTable, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(customAttributesTableSymbol.Stream, Architecture.Endianness);
// 1. Number of Custom Attributes
writer1.Write(unit.CustomAttributes.Count, TypeLayout.NativePointerSize);
// 2. Pointers to Custom Attributes
// Create the definitions along the way
for (int i = 0; i < unit.CustomAttributes.Count; i++)
{
// Get custom attribute
var ca = unit.CustomAttributes[i];
// Build definition
var customAttributeTableSymbol = CreateCustomAttribute(unit, ca, i);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, customAttributesTableSymbol, (int)writer1.Position, 0, customAttributeTableSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
// Return customAttributesTableSymbol for linker usage
return(customAttributesTableSymbol);
}
private LinkerSymbol CreateCustomAttributeArgument(string symbolName, int count, string name, MosaCustomAttribute.Argument arg, bool isField)
{
string nameForSymbol = (name == null) ? count.ToString() : name;
nameForSymbol = symbolName + ":" + nameForSymbol;
var symbol = Linker.CreateSymbol(nameForSymbol + Metadata.CustomAttributeArgument, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(symbol.Stream, Architecture.Endianness);
// 1. Pointer to name (if named)
if (name != null)
{
var nameSymbol = EmitStringWithLength(nameForSymbol + Metadata.NameString, name);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, symbol, (int)writer1.Position, 0, nameSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Is Argument A Field
writer1.Write(isField, TypeLayout.NativePointerSize);
// 3. Argument Type Pointer
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, symbol, (int)writer1.Position, 0, arg.Type.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 4. Argument Size
writer1.Write(ComputeArgumentSize(arg.Type, arg.Value), TypeLayout.NativePointerSize);
// 5. Argument Value
WriteArgument(writer1, symbol, arg.Type, arg.Value);
// Return symbol for linker usage
return(symbol);
}
/// <summary>
/// Creates the method description table.
/// </summary>
/// <param name="table">The table.</param>
private void CreateMethodLookupTable(List <LinkerSymbol> table)
{
// Allocate the table and fill it
var size = 3 * table.Count * TypeLayout.NativePointerSize + TypeLayout.NativePointerSize;
var methodtable = Linker.CreateSymbol("<$>methodLookupTable", SectionKind.ROData, TypeLayout.NativePointerAlignment, size);
var stream = methodtable.Stream;
foreach (var entry in table)
{
// 1. Store address (the linker writes the actual entry)
Linker.Link(LinkType.AbsoluteAddress, BuiltInPatch.I4, methodtable, (int)stream.Position, 0, entry.Name, SectionKind.Text, 0);
stream.Position += TypeLayout.NativePointerSize;
// 2. Store the length (its copied in by the next loop)
stream.Write((uint)entry.Size, Endianness.Little);
// 3. Store the pointer to the method description table (the linker writes the actual entry)
Linker.Link(LinkType.AbsoluteAddress, BuiltInPatch.I4, methodtable, (int)stream.Position, 0, entry.Name + "$mdtable", SectionKind.ROData, 0);
stream.Position += TypeLayout.NativePointerSize;
}
// Mark end of table
stream.Position += TypeLayout.NativePointerSize;
}
protected override void Run()
{
if (multibootMethod == null)
{
multibootHeader = Linker.CreateSymbol(MultibootHeaderSymbolName, SectionKind.Text, 1, 0x30);
multibootMethod = Compiler.CreateLinkerMethod("MultibootInit");
Linker.EntryPoint = Linker.GetSymbol(multibootMethod.FullName, SectionKind.Text);
WriteMultibootHeader();
Linker.CreateSymbol(MultibootEAX, SectionKind.BSS, Architecture.NativeAlignment, Architecture.NativePointerSize);
Linker.CreateSymbol(MultibootEBX, SectionKind.BSS, Architecture.NativeAlignment, Architecture.NativePointerSize);
return;
}
var typeInitializerSchedulerStage = Compiler.PostCompilePipeline.FindFirst <TypeInitializerSchedulerStage>();
var ecx = Operand.CreateCPURegister(TypeSystem.BuiltIn.I4, GeneralPurposeRegister.ECX);
var eax = Operand.CreateCPURegister(TypeSystem.BuiltIn.I4, GeneralPurposeRegister.EAX);
var ebx = Operand.CreateCPURegister(TypeSystem.BuiltIn.I4, GeneralPurposeRegister.EBX);
var ebp = Operand.CreateCPURegister(TypeSystem.BuiltIn.I4, GeneralPurposeRegister.EBP);
var esp = Operand.CreateCPURegister(TypeSystem.BuiltIn.I4, GeneralPurposeRegister.ESP);
var multibootEax = Operand.CreateUnmanagedSymbolPointer(TypeSystem, MultibootEAX);
var multibootEbx = Operand.CreateUnmanagedSymbolPointer(TypeSystem, MultibootEBX);
var zero = Operand.CreateConstant(TypeSystem.BuiltIn.I4, 0);
var stackTop = Operand.CreateConstant(TypeSystem.BuiltIn.I4, STACK_ADDRESS);
var basicBlocks = new BasicBlocks();
var block = basicBlocks.CreateBlock();
basicBlocks.AddHeadBlock(block);
var ctx = new Context(block);
// Setup the stack and place the sentinel on the stack to indicate the start of the stack
ctx.AppendInstruction(X86.Mov, Operand.CreateMemoryAddress(TypeSystem.BuiltIn.I4, esp, 0), stackTop);
ctx.AppendInstruction(X86.Mov, Operand.CreateMemoryAddress(TypeSystem.BuiltIn.I4, ebp, 0), zero);
// Place the multiboot address into a static field
ctx.AppendInstruction(X86.Mov, ecx, multibootEax);
ctx.AppendInstruction(X86.Mov, Operand.CreateMemoryAddress(TypeSystem.BuiltIn.I4, ecx, 0), eax);
ctx.AppendInstruction(X86.Mov, ecx, multibootEbx);
ctx.AppendInstruction(X86.Mov, Operand.CreateMemoryAddress(TypeSystem.BuiltIn.I4, ecx, 0), ebx);
// call type initializer
var entryPoint = Operand.CreateSymbolFromMethod(TypeSystem, typeInitializerSchedulerStage.TypeInitializerMethod);
ctx.AppendInstruction(X86.Call, null, entryPoint);
// should never get here
ctx.AppendInstruction(X86.Ret);
Compiler.CompileMethod(multibootMethod, basicBlocks, 0);
}
protected override void RunPreCompile()
{
multibootHeader = Linker.CreateSymbol(MultibootHeaderSymbolName, SectionKind.Text, 1, 0x30);
Linker.CreateSymbol(MultibootEAX, SectionKind.BSS, Architecture.NativeAlignment, Architecture.NativePointerSize);
Linker.CreateSymbol(MultibootEBX, SectionKind.BSS, Architecture.NativeAlignment, Architecture.NativePointerSize);
multibootMethod = Compiler.CreateLinkerMethod("MultibootInit");
Linker.EntryPoint = Linker.GetSymbol(multibootMethod.FullName, SectionKind.Text);
}
private LinkerSymbol EmitStringWithLength(string name, string value)
{
// Strings are now going to be embedded objects since they are immutable
var symbol = Linker.CreateSymbol(name, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var stream = new EndianAwareBinaryWriter(symbol.Stream, Architecture.Endianness);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, symbol, (int)stream.Position, 0, "System.String" + Metadata.TypeDefinition, SectionKind.ROData, 0);
stream.WriteZeroBytes(TypeLayout.NativePointerSize * 2);
stream.Write(value.Length, TypeLayout.NativePointerSize);
stream.Write(System.Text.UnicodeEncoding.Unicode.GetBytes(value));
return(symbol);
}
protected override void RunPreCompile()
{
multibootHeader = Linker.CreateSymbol(MultibootHeaderSymbolName, SectionKind.Text, 1, 0x30);
multibootMethod = Compiler.CreateLinkerMethod("MultibootInit");
Linker.CreateSymbol(MultibootEAX, SectionKind.BSS, Architecture.NativeAlignment, Architecture.NativePointerSize);
Linker.CreateSymbol(MultibootEBX, SectionKind.BSS, Architecture.NativeAlignment, Architecture.NativePointerSize);
var startUpType = TypeSystem.GetTypeByName("Mosa.Runtime", "StartUp");
var startUpMethod = startUpType.FindMethodByName("Stage1");
Compiler.PlugSystem.CreatePlug(multibootMethod, startUpMethod);
}
private LinkerSymbol CreateCustomAttribute(MosaUnit unit, MosaCustomAttribute ca, int position)
{
// Emit custom attribute list
string name = unit.FullName + ">>" + position.ToString() + ":" + ca.Constructor.DeclaringType.Name;
var customAttributeSymbol = Linker.CreateSymbol(name + Metadata.CustomAttribute, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(customAttributeSymbol.Stream, Architecture.Endianness);
// 1. Pointer to Attribute Type
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, customAttributeSymbol, (int)writer1.Position, 0, ca.Constructor.DeclaringType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Pointer to Constructor Method Definition
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, customAttributeSymbol, (int)writer1.Position, 0, ca.Constructor.FullName + Metadata.MethodDefinition, SectionKind.ROData, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Number of Arguments (Both unnamed and named)
writer1.Write((uint)(ca.Arguments.Length + ca.NamedArguments.Length), TypeLayout.NativePointerSize);
// 4. Pointers to Custom Attribute Arguments (Both unnamed and named)
for (int i = 0; i < ca.Arguments.Length; i++)
{
// Build definition
var customAttributeArgumentSymbol = CreateCustomAttributeArgument(name, i, null, ca.Arguments[i], false);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, customAttributeSymbol, (int)writer1.Position, 0, customAttributeArgumentSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
foreach (var namedArg in ca.NamedArguments)
{
// Build definition
var customAttributeArgumentSymbol = CreateCustomAttributeArgument(name, 0, namedArg.Name, namedArg.Argument, namedArg.IsField);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, customAttributeSymbol, (int)writer1.Position, 0, customAttributeArgumentSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
// Return customAttributeSymbol for linker usage
return(customAttributeSymbol);
}
private void CreateDefinitionTables()
{
// Emit assembly list
var assemblyListSymbol = Linker.CreateSymbol(Metadata.AssembliesTable, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(assemblyListSymbol.Stream, Architecture.Endianness);
// 1. Number of Assemblies
writer1.Write((uint)TypeSystem.Modules.Count, TypeLayout.NativePointerSize);
// 2. Pointers to Assemblies
// Create the definitions along the way
foreach (var module in TypeSystem.Modules)
{
var assemblyTableSymbol = CreateAssemblyDefinition(module);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, assemblyListSymbol, (int)writer1.Position, 0, assemblyTableSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
}
/// <summary>
/// Creates the method description entries.
/// </summary>
/// <param name="methods">The methods.</param>
private void CreateMethodDescriptionEntries(IList <MosaMethod> methods)
{
foreach (var method in methods)
{
int size = 3 * TypeLayout.NativePointerSize;
var section = Linker.CreateSymbol(method.FullName + "$mdtable", SectionKind.ROData, TypeLayout.NativePointerAlignment, size);
var stream = section.Stream;
// Pointer to Exception Handler Table
// TODO: If there is no exception clause table, set to 0 and do not involve linker
Linker.Link(LinkType.AbsoluteAddress, BuiltInPatch.I4, section, 0, 0, method.FullName + "$etable", SectionKind.ROData, 0);
stream.Position += TypeLayout.NativePointerSize;
// GC tracking info (not implemented yet)
stream.WriteZeroBytes(TypeLayout.NativePointerSize);
// Method's Parameter stack size
stream.Write(DetermineSizeOfMethodParameters(method), Endianness.Little); // FIXME
}
}
private LinkerSymbol CreateInterfaceSlotTable(MosaType type)
{
// Emit interface slot table
var interfaceSlotTableSymbol = Linker.CreateSymbol(type.FullName + Metadata.InterfaceSlotTable, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(interfaceSlotTableSymbol.Stream, Architecture.Endianness);
var slots = new List <MosaType>(TypeLayout.Interfaces.Count);
foreach (MosaType interfaceType in TypeLayout.Interfaces)
{
if (type.Interfaces.Contains(interfaceType))
{
slots.Add(interfaceType);
}
else
{
slots.Add(null);
}
}
// 1. Number of Interface slots
writer1.Write((uint)slots.Count, TypeLayout.NativePointerSize);
// 2. Pointers to Interface Method Tables
foreach (MosaType interfaceType in slots)
{
if (interfaceType != null)
{
var interfaceMethodTableSymbol = CreateInterfaceMethodTable(type, interfaceType);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, interfaceSlotTableSymbol, (int)writer1.Position, 0, interfaceMethodTableSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
// Return interfaceSlotTableSymbol for linker usage
return(interfaceSlotTableSymbol);
}
private LinkerSymbol CreatePropertyDefinitions(MosaType type)
{
// Emit properties table
var propertiesTableSymbol = Linker.CreateSymbol(type.FullName + Metadata.PropertiesTable, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(propertiesTableSymbol.Stream, Architecture.Endianness);
// 1. Number of Properties
writer1.Write((uint)type.Properties.Count, TypeLayout.NativePointerSize);
// 2. Pointers to Property Definitions
foreach (MosaProperty property in type.Properties)
{
// Emit field name
var fieldNameSymbol = EmitStringWithLength(property.FullName + Metadata.NameString, property.Name);
// Emit property definition
var propertyDefSymbol = Linker.CreateSymbol(property.FullName + Metadata.PropertyDefinition, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer2 = new EndianAwareBinaryWriter(propertyDefSymbol.Stream, Architecture.Endianness);
// 1. Name
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, propertyDefSymbol, (int)writer2.Position, 0, fieldNameSymbol, 0);
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Pointer to Custom Attributes
if (property.CustomAttributes.Count > 0)
{
var customAttributesTableSymbol = CreateCustomAttributesTable(property);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, propertyDefSymbol, (int)writer1.Position, 0, customAttributesTableSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Attributes
writer1.Write((uint)property.PropertyAttributes, TypeLayout.NativePointerSize);
// 4. Pointer to Property Type
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, propertyDefSymbol, (int)writer2.Position, 0, property.PropertyType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
// If the type is a property then skip linking the methods
if (!type.IsInterface)
{
// 5. Pointer to Getter Method Definition
if (property.GetterMethod != null)
{
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, propertyDefSymbol, (int)writer2.Position, 0, property.GetterMethod.FullName + Metadata.MethodDefinition, SectionKind.ROData, 0);
}
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
// 6. Pointer to Setter Method Definition
if (property.SetterMethod != null)
{
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, propertyDefSymbol, (int)writer2.Position, 0, property.SetterMethod.FullName + Metadata.MethodDefinition, SectionKind.ROData, 0);
}
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
}
else
{
// Fill 5 and 6 with zeros.
writer1.WriteZeroBytes(TypeLayout.NativePointerSize * 2);
}
// Add pointer to properties table
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, propertiesTableSymbol, (int)writer1.Position, 0, propertyDefSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
// Return fieldListTableSymbol for linker usage
return(propertiesTableSymbol);
}
private LinkerSymbol CreateAssemblyDefinition(MosaModule module)
{
// Emit assembly name
var assemblyNameSymbol = EmitStringWithLength(module.Assembly + Metadata.NameString, module.Assembly);
// Emit assembly table
var assemblyTableSymbol = Linker.CreateSymbol(module.Assembly + Metadata.AssemblyDefinition, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(assemblyTableSymbol.Stream, Architecture.Endianness);
// 1. Pointer to Assembly Name
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, assemblyTableSymbol, (int)writer1.Position, 0, assemblyNameSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Pointer to Custom Attributes
if (module.CustomAttributes.Count > 0)
{
var customAttributeListSymbol = CreateCustomAttributesTable(module);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, assemblyTableSymbol, (int)writer1.Position, 0, customAttributeListSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Attributes - IsReflectionOnly (32bit length)
uint flags = 0x0;
if (module.IsReflectionOnly)
{
flags |= 0x1;
}
writer1.Write(flags, TypeLayout.NativePointerSize);
// 4. Number of Types
uint count = 0;
foreach (var type in module.Types.Values)
{
if (type.IsModule)
{
continue;
}
count++;
}
writer1.Write(count, TypeLayout.NativePointerSize);
// 5. Pointers to Types
// Create the definitions along the way
foreach (var type in module.Types.Values)
{
if (type.IsModule)
{
continue;
}
// Run the type through the TypeLayout system
//TypeLayout.ResolveType(type);
var typeTableSymbol = CreateTypeDefinition(type, assemblyTableSymbol);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, assemblyTableSymbol, (int)writer1.Position, 0, typeTableSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
// Return assemblyTableSymbol
return(assemblyTableSymbol);
}
protected void CreateMethodExceptionLookupTable()
{
// Emit assembly list
var methodLookupTable = Linker.CreateSymbol(Metadata.MethodExceptionLookupTable, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer = new EndianAwareBinaryWriter(methodLookupTable.Stream, Architecture.Endianness);
// 1. Number of methods
int count = 0;
foreach (var module in TypeSystem.Modules)
{
foreach (var type in module.Types.Values)
{
if (type.IsModule)
{
continue;
}
var methodList = TypeLayout.GetMethodTable(type);
if (methodList == null)
{
continue;
}
foreach (var method in methodList)
{
if (method.IsAbstract)
{
continue;
}
if (method.ExceptionHandlers.Count == 0)
{
continue;
}
count++;
}
}
}
writer.Write(count);
foreach (var module in TypeSystem.Modules)
{
foreach (var type in module.Types.Values)
{
if (type.IsModule)
{
continue;
}
var methodList = TypeLayout.GetMethodTable(type);
if (methodList == null)
{
continue;
}
foreach (var method in methodList)
{
if (method.IsAbstract)
{
continue;
}
if (method.ExceptionHandlers.Count == 0)
{
continue;
}
// 1. Pointer to Method
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, methodLookupTable, (int)writer.Position, 0, method.FullName, SectionKind.Text, 0);
writer.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Size of Method
Linker.Link(LinkType.Size, NativePatchType, methodLookupTable, (int)writer.Position, 0, method.FullName, SectionKind.Text, 0);
writer.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Pointer to Method Definition
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, methodLookupTable, (int)writer.Position, 0, method.FullName + Metadata.MethodDefinition, SectionKind.ROData, 0);
writer.WriteZeroBytes(TypeLayout.NativePointerSize);
}
}
}
}
private LinkerSymbol CreateTypeDefinition(MosaType type, LinkerSymbol assemblyTableSymbol)
{
// Emit type name
var typeNameSymbol = EmitStringWithLength(type.FullName + Metadata.NameString, type.FullName);
// Emit type table
var typeTableSymbol = Linker.CreateSymbol(type.FullName + Metadata.TypeDefinition, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(typeTableSymbol.Stream, Architecture.Endianness);
// 1. Pointer to Name
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, typeNameSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Pointer to Custom Attributes
if (type.CustomAttributes.Count > 0)
{
var customAttributeListSymbol = CreateCustomAttributesTable(type);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, customAttributeListSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Type Code & Attributes
writer1.Write(((uint)type.TypeCode << 24) + (uint)type.TypeAttributes, TypeLayout.NativePointerSize);
// 4. Size
writer1.Write((uint)TypeLayout.GetTypeSize(type), TypeLayout.NativePointerSize);
// 5. Pointer to Assembly Definition
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, assemblyTableSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 6. Pointer to Parent Type
if (type.BaseType != null)
{
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, type.BaseType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 7. Pointer to Declaring Type
if (type.DeclaringType != null)
{
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, type.DeclaringType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 8. Pointer to Element Type
if (type.ElementType != null)
{
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, type.ElementType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 9. Constructor that accepts no parameters, if any, for this type
foreach (var method in type.Methods)
{
if (!method.Name.Equals(".ctor") || !(method.Signature.Parameters.Count == 0) || method.HasOpenGenericParams)
{
continue;
}
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, method.FullName + Metadata.MethodDefinition, SectionKind.ROData, 0);
break;
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 10. Properties (if any)
if (type.Properties.Count > 0)
{
var propertiesSymbol = CreatePropertyDefinitions(type);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, propertiesSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// If the type is not an interface continue, otherwise just pad until the end
if (!type.IsInterface)
{
// 11. Fields (if any)
if (type.Fields.Count > 0)
{
var fieldsSymbol = CreateFieldDefinitions(type);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, fieldsSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// If the type doesn't use interfaces then skip 9 and 10
if (type.Interfaces.Count > 0)
{
// 12. Pointer to Interface Slots
var interfaceSlotTableSymbol = CreateInterfaceSlotTable(type);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, interfaceSlotTableSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 13. Pointer to Interface Bitmap
var interfaceBitmapSymbol = CreateInterfaceBitmap(type);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, interfaceBitmapSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
else
{
// Fill 12 and 13 with zeros
writer1.WriteZeroBytes(TypeLayout.NativePointerSize * 2);
}
// For the next part we'll need to get the list of methods from the MosaTypeLayout
var methodList = TypeLayout.GetMethodTable(type) ?? new List <MosaMethod>();
// 14. Number of Methods
writer1.Write(methodList.Count, TypeLayout.NativePointerSize);
// 15. Pointer to Method Definitions
foreach (var method in methodList)
{
// Create definition and get the symbol
var methodDefinitionSymbol = CreateMethodDefinition(method);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, typeTableSymbol, (int)writer1.Position, 0, methodDefinitionSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
}
else
{
// Fill 11, 12, 13, 14 with zeros, 15 can be left out.
writer1.WriteZeroBytes(TypeLayout.NativePointerSize * 4);
}
// Return typeTableSymbol for linker usage
return(typeTableSymbol);
}
private LinkerSymbol CreateMethodDefinition(MosaMethod method)
{
// Emit method name
var methodNameSymbol = EmitStringWithLength(method.FullName + Metadata.NameString, method.FullName);
// Emit method table
var methodTableSymbol = Linker.CreateSymbol(method.FullName + Metadata.MethodDefinition, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(methodTableSymbol.Stream, Architecture.Endianness);
// 1. Pointer to Name
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, methodTableSymbol, (int)writer1.Position, 0, methodNameSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Pointer to Custom Attributes
if (method.CustomAttributes.Count > 0)
{
var customAttributeListSymbol = CreateCustomAttributesTable(method);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, methodTableSymbol, (int)writer1.Position, 0, customAttributeListSymbol, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Attributes
writer1.Write((uint)method.MethodAttributes, TypeLayout.NativePointerSize);
// 4. Local Stack Size (16 Bits) && Parameter Stack Size (16 Bits)
int value = TypeLayout.GetMethodStackSize(method) | (TypeLayout.GetMethodParameterStackSize(method) << 16);
writer1.Write(value, TypeLayout.NativePointerSize);
// 5. Pointer to Method
if (!method.IsAbstract)
{
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, methodTableSymbol, (int)writer1.Position, 0, method.FullName, SectionKind.Text, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 6. Pointer to return type
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, methodTableSymbol, (int)writer1.Position, 0, method.Signature.ReturnType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 7. Pointer to Exception Handler Table
if (method.ExceptionHandlers.Count != 0)
{
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, methodTableSymbol, (int)writer1.Position, 0, method.FullName + Metadata.ProtectedRegionTable, SectionKind.ROData, 0);
}
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 8. Pointer to GC Tracking information
// TODO: This has yet to be designed.
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
// 9. Number of Parameters
writer1.Write((uint)method.Signature.Parameters.Count, TypeLayout.NativePointerSize);
// 10. Pointers to Parameter Definitions
foreach (var parameter in method.Signature.Parameters)
{
// Create definition and get the symbol
var parameterDefinitionSymbol = CreateParameterDefinition(parameter);
// Link
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, methodTableSymbol, (int)writer1.Position, 0, parameterDefinitionSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
// Return methodTableSymbol for linker usage
return(methodTableSymbol);
}
private LinkerSymbol CreateFieldDefinitions(MosaType type)
{
// Emit fields table
var fieldsTableSymbol = Linker.CreateSymbol(type.FullName + Metadata.FieldsTable, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer1 = new EndianAwareBinaryWriter(fieldsTableSymbol.Stream, Architecture.Endianness);
// 1. Number of Fields
writer1.Write((uint)type.Fields.Count, TypeLayout.NativePointerSize);
// 2. Pointers to Field Definitions
foreach (MosaField field in type.Fields)
{
// Emit field name
var fieldNameSymbol = EmitStringWithLength(field.FullName + Metadata.NameString, field.Name);
// Emit field definition
var fieldDefSymbol = Linker.CreateSymbol(field.FullName + Metadata.FieldDefinition, SectionKind.ROData, TypeLayout.NativePointerAlignment, 0);
var writer2 = new EndianAwareBinaryWriter(fieldDefSymbol.Stream, Architecture.Endianness);
// 1. Name
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, fieldDefSymbol, (int)writer2.Position, 0, fieldNameSymbol, 0);
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
// 2. Pointer to Custom Attributes
if (field.CustomAttributes.Count > 0)
{
var customAttributesTableSymbol = CreateCustomAttributesTable(field);
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, fieldDefSymbol, (int)writer2.Position, 0, customAttributesTableSymbol, 0);
}
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
// 3. Attributes
writer2.Write((uint)field.FieldAttributes, TypeLayout.NativePointerSize);
// 4. Pointer to Field Type
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, fieldDefSymbol, (int)writer2.Position, 0, field.FieldType.FullName + Metadata.TypeDefinition, SectionKind.ROData, 0);
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
// 5 & 6. Offset / Address + Size
if (field.IsStatic && !field.IsLiteral)
{
var section = (field.Data != null) ? SectionKind.ROData : SectionKind.BSS;
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, fieldDefSymbol, (int)writer2.Position, 0, field.FullName, section, 0);
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
writer2.Write((field.Data != null) ? field.Data.Length : 0, TypeLayout.NativePointerSize);
}
else
{
writer2.WriteZeroBytes(TypeLayout.NativePointerSize);
writer2.Write(TypeLayout.GetFieldOffset(field), TypeLayout.NativePointerSize);
}
// Create another symbol with field data if any
if (field.IsStatic)
{
// Assign a memory slot to the static & initialize it, if there's initial data set
// Determine the size of the type & alignment requirements
int size, alignment;
Architecture.GetTypeRequirements(TypeLayout, field.FieldType, out size, out alignment);
size = TypeLayout.GetFieldSize(field);
// The linker section to move this field into
SectionKind section = field.Data != null ? section = SectionKind.ROData : section = SectionKind.BSS;
var symbol = Compiler.Linker.CreateSymbol(field.FullName, section, alignment, size);
if (field.Data != null)
{
symbol.Stream.Write(field.Data, 0, size);
}
}
// Add pointer to field list
Linker.Link(LinkType.AbsoluteAddress, NativePatchType, fieldsTableSymbol, (int)writer1.Position, 0, fieldDefSymbol, 0);
writer1.WriteZeroBytes(TypeLayout.NativePointerSize);
}
// Return fieldsTableSymbol for linker usage
return(fieldsTableSymbol);
}
