mirror of
https://github.com/danbulant/Cosmos
synced 2026-05-22 05:48:37 +00:00
ad960c9a1a
- Fixed Single.ToString() on special cases (infinities, NaN and 0) and aumented the range of printable values - Fixed Double.ToString(): it always printed "Double Overrange" for a bug in opcode ldarga - Fixed opcode ldarga: the displacement of the argument variable was off of 4 bytes - Fixed opcodes shr, shr_un and shl when the shift was more that 32 bytes, added to BCL relative tests - Added BLC tests regarding BitConverter and unsafe code - Moved the meat of the code of Single.ToString() and Double.ToString() to the class StringHelper together with the analogous methods for numer types - Re-added _floatsignbit to CosmosAssembler.cs so the neg test should not fail anymore - Removed all code relative to x87 that I had left under #if false - Clean up
204 lines
8.9 KiB
C#
204 lines
8.9 KiB
C#
using System;
|
|
using CPUx86 = Cosmos.Assembler.x86;
|
|
using CPU = Cosmos.Assembler.x86;
|
|
using Cosmos.Assembler;
|
|
using Cosmos.Assembler.x86;
|
|
using Cosmos.Assembler.x86.SSE;
|
|
using Cosmos.Assembler.x86.x87;
|
|
using XSharp.Compiler;
|
|
using static XSharp.Compiler.XSRegisters;
|
|
using static Cosmos.Assembler.x86.SSE.ComparePseudoOpcodes;
|
|
|
|
namespace Cosmos.IL2CPU.X86.IL
|
|
{
|
|
[Cosmos.IL2CPU.OpCode( ILOpCode.Code.Cgt_Un )]
|
|
public class Cgt_Un : ILOp
|
|
{
|
|
public Cgt_Un( Cosmos.Assembler.Assembler aAsmblr )
|
|
: base( aAsmblr )
|
|
{
|
|
}
|
|
|
|
public override void Execute( MethodInfo aMethod, ILOpCode aOpCode )
|
|
{
|
|
var xStackItem = aOpCode.StackPopTypes[0];
|
|
var xStackItemSize = SizeOfType(xStackItem);
|
|
var xStackItemIsFloat = TypeIsFloat(xStackItem);
|
|
if( xStackItemSize > 8 )
|
|
{
|
|
//EmitNotImplementedException( Assembler, GetServiceProvider(), "Cgt_Un: StackSizes>8 not supported", CurInstructionLabel, mMethodInfo, mCurrentOffset, NextInstructionLabel );
|
|
throw new NotImplementedException("Cosmos.IL2CPU.x86->IL->Cgt_Un.cs->Error: StackSizes > 8 not supported");
|
|
}
|
|
string BaseLabel = GetLabel( aMethod, aOpCode ) + ".";
|
|
string LabelTrue = BaseLabel + "True";
|
|
string LabelFalse = BaseLabel + "False";
|
|
if( xStackItemSize > 4 )
|
|
{
|
|
// Using SSE registers (that do NOT branch!) This is needed only for long now
|
|
#if false
|
|
XS.Set(XSRegisters.ESI, 1);
|
|
// esi = 1
|
|
XS.Xor(XSRegisters.EDI, XSRegisters.EDI);
|
|
// edi = 0
|
|
#endif
|
|
if (xStackItemIsFloat)
|
|
{
|
|
// Please note that SSE supports double operations only from version 2
|
|
XS.SSE2.MoveSD(XMM0, ESP, sourceIsIndirect: true);
|
|
// Increment ESP to get the value of the next double
|
|
XS.Add(ESP, 8);
|
|
XS.SSE2.MoveSD(XMM1, ESP, sourceIsIndirect: true);
|
|
XS.SSE2.CompareSD(XMM1, XMM0, comparision: NotLessThanOrEqualTo);
|
|
XS.SSE2.MoveD(EBX, XMM1);
|
|
XS.And(EBX, 1);
|
|
// We need to move the stack pointer of 4 Byte to "eat" the second double that is yet in the stack or we get a corrupted stack!
|
|
XS.Add(ESP, 4);
|
|
XS.Set(ESP, EBX, destinationIsIndirect: true);
|
|
}
|
|
else
|
|
{
|
|
XS.Set(XSRegisters.ESI, 1);
|
|
// esi = 1
|
|
XS.Xor(XSRegisters.EDI, XSRegisters.EDI);
|
|
// edi = 0
|
|
XS.Pop(XSRegisters.EAX);
|
|
XS.Pop(XSRegisters.EDX);
|
|
//value2: EDX:EAX
|
|
XS.Pop(XSRegisters.EBX);
|
|
XS.Pop(XSRegisters.ECX);
|
|
//value1: ECX:EBX
|
|
|
|
XS.Compare(XSRegisters.ECX, XSRegisters.EDX);
|
|
XS.Jump(ConditionalTestEnum.Above, LabelTrue);
|
|
XS.Jump(ConditionalTestEnum.Below, LabelFalse);
|
|
XS.Compare(XSRegisters.EBX, XSRegisters.EAX);
|
|
XS.Label(LabelTrue);
|
|
new ConditionalMove { Condition = ConditionalTestEnum.Above, DestinationReg = RegistersEnum.EDI, SourceReg = RegistersEnum.ESI };
|
|
XS.Label(LabelFalse);
|
|
XS.Push(XSRegisters.EDI);
|
|
}
|
|
/*
|
|
XS.Jump(ConditionalTestEnum.Above, LabelTrue);
|
|
XS.Label(LabelFalse);
|
|
XS.Push(0);
|
|
new CPUx86.Jump { DestinationLabel = GetLabel(aMethod, aOpCode.NextPosition) };
|
|
XS.Label(LabelTrue );
|
|
XS.Push(1);
|
|
*/
|
|
}
|
|
else
|
|
{
|
|
if (xStackItemIsFloat)
|
|
{
|
|
XS.SSE.MoveSS(XMM0, ESP, sourceIsIndirect: true);
|
|
XS.Add(ESP, 4);
|
|
XS.SSE.MoveSS(XMM1, ESP, sourceIsIndirect: true);
|
|
XS.SSE.CompareSS(XMM1, XMM0, comparision: NotLessThanOrEqualTo);
|
|
XS.SSE2.MoveD(EBX, XMM1);
|
|
XS.And(EBX, 1);
|
|
XS.Set(ESP, EBX, destinationIsIndirect: true);
|
|
}
|
|
else
|
|
{
|
|
XS.Pop(EAX);
|
|
XS.Compare(EAX, ESP, sourceIsIndirect: true);
|
|
|
|
XS.Jump(ConditionalTestEnum.Below, LabelTrue);
|
|
XS.Jump(LabelFalse);
|
|
XS.Label(LabelTrue );
|
|
XS.Add(ESP, 4);
|
|
XS.Push(1);
|
|
new Jump { DestinationLabel = GetLabel(aMethod, aOpCode.NextPosition) };
|
|
XS.Label(LabelFalse );
|
|
XS.Add(ESP, 4);
|
|
XS.Push(0);
|
|
}
|
|
}
|
|
}
|
|
|
|
// using System;
|
|
//
|
|
// using CPUx86 = Cosmos.Assembler.x86;
|
|
// using CPU = Cosmos.Assembler.x86;
|
|
// using Cosmos.IL2CPU.X86;
|
|
// using Cosmos.IL2CPU.X86;
|
|
//
|
|
// namespace Cosmos.IL2CPU.IL.X86 {
|
|
// [Cosmos.Assembler.OpCode(OpCodeEnum.Cgt_Un)]
|
|
// public class Cgt_Un: Op {
|
|
// private readonly string NextInstructionLabel;
|
|
// private readonly string CurInstructionLabel;
|
|
// private uint mCurrentOffset;
|
|
// private MethodInformation mMethodInfo;
|
|
// public Cgt_Un(ILReader aReader, MethodInformation aMethodInfo)
|
|
// : base(aReader, aMethodInfo)
|
|
// {
|
|
// NextInstructionLabel = GetInstructionLabel(aReader.NextPosition);
|
|
// CurInstructionLabel = GetInstructionLabel(aReader);
|
|
// mMethodInfo = aMethodInfo;
|
|
// mCurrentOffset = aReader.Position;
|
|
// }
|
|
//
|
|
// public override void DoAssemble()
|
|
// {
|
|
// var xStackItem = Assembler.Stack.Pop();
|
|
// if (xStackItem.IsFloat)
|
|
// {
|
|
// EmitNotImplementedException(Assembler, GetServiceProvider(), "Cgt_Un: Floats not yet supported", CurInstructionLabel, mMethodInfo, mCurrentOffset, NextInstructionLabel);
|
|
// return;
|
|
// }
|
|
// if (xStackItem.Size > 8)
|
|
// {
|
|
// EmitNotImplementedException(Assembler, GetServiceProvider(), "Cgt_Un: StackSizes>8 not supported", CurInstructionLabel, mMethodInfo, mCurrentOffset, NextInstructionLabel);
|
|
// return;
|
|
// }
|
|
// Assembler.Stack.Push(new StackContent(4, typeof(bool)));
|
|
// string BaseLabel = CurInstructionLabel + ".";
|
|
// string LabelTrue = BaseLabel + "True";
|
|
// string LabelFalse = BaseLabel + "False";
|
|
// if (xStackItem.Size > 4)
|
|
// {
|
|
// XS.Xor(XSRegisters.ESI, XSRegisters.CPUx86.Registers.ESI);
|
|
// XS.Add(XSRegisters.ESI, 1);
|
|
// XS.Xor(XSRegisters.EDI, XSRegisters.CPUx86.Registers.EDI);
|
|
// //esi = 1
|
|
// XS.Pop(XSRegisters.EAX);
|
|
// XS.Pop(XSRegisters.EDX);
|
|
// //value2: EDX:EAX
|
|
// XS.Pop(XSRegisters.EBX);
|
|
// XS.Pop(XSRegisters.ECX);
|
|
// //value1: ECX:EBX
|
|
// XS.Sub(XSRegisters.EBX, XSRegisters.CPUx86.Registers.EAX);
|
|
// XS.SubWithCarry(XSRegisters.ECX, XSRegisters.CPUx86.Registers.EDX);
|
|
// //result = value1 - value2
|
|
// //new CPUx86.ConditionalMove(Condition.Above, "edi", "esi");
|
|
// //XS.Push(XSRegisters.EDI);
|
|
//
|
|
// XS.Jump(ConditionalTestEnum.Above, LabelTrue);
|
|
// XS.Push(0);
|
|
// XS.Jump(NextInstructionLabel);
|
|
//
|
|
// XS.Label(LabelTrue);
|
|
// XS.Push(1);
|
|
//
|
|
// } else
|
|
// {
|
|
// XS.Pop(XSRegisters.EAX);
|
|
// XS.Compare(XSRegisters.EAX, XSRegisters.ESP, sourceIsIndirect: true);
|
|
// XS.Jump(ConditionalTestEnum.Below, LabelTrue);
|
|
// XS.Jump(LabelFalse);
|
|
// XS.Label(LabelTrue);
|
|
// XS.Add(XSRegisters.ESP, 4);
|
|
// XS.Push(1);
|
|
// XS.Jump(NextInstructionLabel);
|
|
// XS.Label(LabelFalse);
|
|
// XS.Add(XSRegisters.ESP, 4);
|
|
// XS.Push(0);
|
|
// XS.Jump(NextInstructionLabel);
|
|
// }
|
|
// }
|
|
// }
|
|
// }
|
|
|
|
}
|
|
}
|