dan/Cosmos
1
0
Fork 0
mirror of https://github.com/danbulant/Cosmos synced 2026-05-19 20:39:01 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Initial fix for #119. This doesn't work yet.

Browse source
This commit is contained in:
Matthijs ter Woord 2015-05-25 20:03:33 +02:00
parent 8a6872c600
commit 0af76c627e
2 changed files with 68 additions and 43 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
source/Cosmos.IL2CPU/.editorconfig
View file

@ -13,7 +13,7 @@ indent_size = 2
indent_size = 2
[IL/*.cs]
indent_size = 2
indent_size = 4
[AppAssembler.cs]
indent_size = 4

109
source/Cosmos.IL2CPU/IL/Ldelem_Ref.cs
View file

@ -1,61 +1,86 @@
using System;
using CPUx86 = Cosmos.Assembler.x86;
using Cosmos.Assembler;
using Cosmos.IL2CPU.IL.CustomImplementations.System;
namespace Cosmos.IL2CPU.X86.IL
{
[Cosmos.IL2CPU.OpCode( ILOpCode.Code.Ldelem_Ref )]
public class Ldelem_Ref : ILOp
[Cosmos.IL2CPU.OpCode(ILOpCode.Code.Ldelem_Ref)]
public class Ldelem_Ref: ILOp
{
public Ldelem_Ref( Cosmos.Assembler.Assembler aAsmblr )
: base( aAsmblr )
public Ldelem_Ref(Cosmos.Assembler.Assembler aAsmblr)
: base(aAsmblr)
{
}
public static void Assemble(Cosmos.Assembler.Assembler aAssembler, uint aElementSize,bool isSigned , bool debugEnabled)
public static void Assemble(Cosmos.Assembler.Assembler aAssembler, uint aElementSize, bool isSigned, bool debugEnabled)
{
DoNullReferenceCheck(aAssembler, debugEnabled, 4);
if (aElementSize <= 0 || aElementSize > 8 || (aElementSize > 4 && aElementSize < 8))
throw new Exception("Unsupported size for Ldelem_Ref: " + aElementSize);
DoNullReferenceCheck(aAssembler, debugEnabled, 4);
//if (aElementSize <= 0 || aElementSize > 8 || (aElementSize > 4 && aElementSize < 8))
//{
// throw new Exception("Unsupported size for Ldelem_Ref: " + aElementSize);
//}
new CPUx86.Pop { DestinationReg = CPUx86.Registers.EAX };
new CPUx86.Mov { DestinationReg = CPUx86.Registers.EDX, SourceValue = aElementSize };
new CPUx86.Multiply { DestinationReg = CPUx86.Registers.EDX };
new CPUx86.Pop {DestinationReg = CPUx86.Registers.EAX};
new CPUx86.Mov {DestinationReg = CPUx86.Registers.EDX, SourceValue = aElementSize};
new CPUx86.Multiply {DestinationReg = CPUx86.Registers.EDX};
//TODO: implement ObjectImpl first
new CPUx86.Add { DestinationReg = CPUx86.Registers.EAX, SourceValue = ( ObjectImpl.FieldDataOffset + 4 ) };
new CPUx86.Add {DestinationReg = CPUx86.Registers.EAX, SourceValue = (ObjectImpl.FieldDataOffset + 4)};
new CPUx86.Pop { DestinationReg = CPUx86.Registers.EDX };
new CPUx86.Add { DestinationReg = CPUx86.Registers.EDX, SourceReg = CPUx86.Registers.EAX };
if (aElementSize > 4)
{
// we start copying the last bytes
new CPUx86.Add {DestinationReg = CPUx86.Registers.EAX, SourceValue = aElementSize - 4};
}
switch (aElementSize)
{
case 1:
if (isSigned)
new CPUx86.MoveSignExtend { DestinationReg = CPUx86.Registers.ECX, Size = 8, SourceReg = CPUx86.Registers.EDX, SourceIsIndirect = true };
else
new CPUx86.MoveZeroExtend { DestinationReg = CPUx86.Registers.ECX, Size = 8, SourceReg = CPUx86.Registers.EDX, SourceIsIndirect = true };
new CPUx86.Push { DestinationReg = CPUx86.Registers.ECX };
break;
case 2:
if (isSigned)
new CPUx86.MoveSignExtend { DestinationReg = CPUx86.Registers.ECX, Size = 16, SourceReg = CPUx86.Registers.EDX, SourceIsIndirect = true };
else
new CPUx86.MoveZeroExtend { DestinationReg = CPUx86.Registers.ECX, Size = 16, SourceReg = CPUx86.Registers.EDX, SourceIsIndirect = true };
new CPUx86.Push { DestinationReg = CPUx86.Registers.ECX };
break;
case 4:
new CPUx86.Push { DestinationReg = CPUx86.Registers.EDX, DestinationIsIndirect = true };
break;
case 8:
new CPUx86.Push { DestinationReg = CPUx86.Registers.EDX, DestinationDisplacement = 4, DestinationIsIndirect = true };
new CPUx86.Push { DestinationReg = CPUx86.Registers.EDX, DestinationIsIndirect = true };
break;
}
new CPUx86.Pop {DestinationReg = CPUx86.Registers.EDX};
new CPUx86.Add {DestinationReg = CPUx86.Registers.EDX, SourceReg = CPUx86.Registers.EAX};
var xSizeLeft = aElementSize;
while (xSizeLeft > 0)
{
var xCurrentStep = xSizeLeft % 4;
xSizeLeft = xSizeLeft / 4;
switch (xCurrentStep)
{
case 1:
if (isSigned)
{
new CPUx86.MoveSignExtend {DestinationReg = CPUx86.Registers.ECX, Size = 8, SourceReg = CPUx86.Registers.EDX, SourceIsIndirect = true};
}
else
{
new CPUx86.MoveZeroExtend {DestinationReg = CPUx86.Registers.ECX, Size = 8, SourceReg = CPUx86.Registers.EDX, SourceIsIndirect = true};
}
new CPUx86.Push {DestinationReg = CPUx86.Registers.ECX};
break;
case 2:
if (isSigned)
{
new CPUx86.MoveSignExtend {DestinationReg = CPUx86.Registers.ECX, Size = 16, SourceReg = CPUx86.Registers.EDX, SourceIsIndirect = true};
}
else
{
new CPUx86.MoveZeroExtend {DestinationReg = CPUx86.Registers.ECX, Size = 16, SourceReg = CPUx86.Registers.EDX, SourceIsIndirect = true};
}
new CPUx86.Push {DestinationReg = CPUx86.Registers.ECX};
break;
case 0:
// copy a full dword
new CPUx86.Push {DestinationReg = CPUx86.Registers.EDX, DestinationIsIndirect = true};
new CPUx86.Sub {DestinationReg = CPUx86.RegistersEnum.EDX, SourceValue = 4}; // move to previous 4 bytes
break;
//case 8:
// new CPUx86.Push {DestinationReg = CPUx86.Registers.EDX, DestinationDisplacement = 4, DestinationIsIndirect = true};
// new CPUx86.Push {DestinationReg = CPUx86.Registers.EDX, DestinationIsIndirect = true};
// break;
}
}
}
public override void Execute( MethodInfo aMethod, ILOpCode aOpCode )
public override void Execute(MethodInfo aMethod, ILOpCode aOpCode)
{
Assemble( Assembler, 4, false, DebugEnabled);
Assemble(Assembler, 4, false, DebugEnabled);
}
}
}
}