mirror of
https://github.com/danbulant/Cosmos
synced 2026-05-19 20:39:01 +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
108 lines
4.3 KiB
C#
108 lines
4.3 KiB
C#
using System;
|
|
using CPUx86 = Cosmos.Assembler.x86;
|
|
using CPU = Cosmos.Assembler.x86;
|
|
using Cosmos.Assembler.x86;
|
|
using Cosmos.Assembler;
|
|
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.Clt_Un )]
|
|
public class Clt_Un : ILOp
|
|
{
|
|
public Clt_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 )
|
|
{
|
|
throw new NotImplementedException("Cosmos.IL2CPU.x86->IL->Clt_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: LessThan);
|
|
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(ESI, 1);
|
|
// esi = 1
|
|
XS.Xor(EDI, EDI);
|
|
// edi = 0
|
|
XS.Pop(EAX);
|
|
XS.Pop(EDX);
|
|
//value2: EDX:EAX
|
|
XS.Pop(EBX);
|
|
XS.Pop(ECX);
|
|
//value1: ECX:EBX
|
|
XS.Sub(EBX, EAX);
|
|
XS.SubWithCarry(ECX, EDX);
|
|
//result = value1 - value2
|
|
new ConditionalMove { Condition = ConditionalTestEnum.Below, DestinationReg = RegistersEnum.EDI, SourceReg = RegistersEnum.ESI };
|
|
XS.Push(XSRegisters.EDI);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
if (xStackItemIsFloat)
|
|
{
|
|
XS.Comment("TEST TODO");
|
|
XS.SSE.MoveSS(XMM0, ESP, sourceIsIndirect: true);
|
|
XS.Add(ESP, 4);
|
|
XS.SSE.MoveSS(XMM1, ESP, sourceIsIndirect: true);
|
|
XS.SSE.CompareSS(XMM1, XMM0, comparision: LessThan);
|
|
XS.SSE2.MoveD(EBX, XMM1);
|
|
XS.And(ESP, 1, destinationIsIndirect: true);
|
|
XS.Set(ESP, EBX, destinationIsIndirect: true);
|
|
}
|
|
else
|
|
{
|
|
XS.Pop(ECX);
|
|
XS.Pop(XSRegisters.EAX);
|
|
XS.Push(XSRegisters.ECX);
|
|
XS.Compare(EAX, ESP, sourceIsIndirect: true);
|
|
XS.Jump(ConditionalTestEnum.Below, LabelTrue);
|
|
XS.Jump(LabelFalse);
|
|
XS.Label(LabelTrue);
|
|
XS.Add(XSRegisters.ESP, 4);
|
|
XS.Push(1);
|
|
new Jump { DestinationLabel = GetLabel(aMethod, aOpCode.NextPosition) };
|
|
XS.Label(LabelFalse);
|
|
XS.Add(XSRegisters.ESP, 4);
|
|
XS.Push(0);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|