| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862 |
- using ChocolArm64.Decoders;
- using ChocolArm64.IntermediateRepresentation;
- using ChocolArm64.State;
- using ChocolArm64.Translation;
- using System;
- using System.Reflection.Emit;
- using System.Runtime.Intrinsics;
- using System.Runtime.Intrinsics.X86;
- using static ChocolArm64.Instructions.InstEmitAluHelper;
- using static ChocolArm64.Instructions.InstEmitSimdHelper;
- namespace ChocolArm64.Instructions
- {
- static partial class InstEmit
- {
- public static void Cmeq_S(ILEmitterCtx context)
- {
- EmitCmpOp(context, OpCodes.Beq_S, scalar: true);
- }
- public static void Cmeq_V(ILEmitterCtx context)
- {
- if (Optimizations.UseSse41)
- {
- OpCodeSimd64 op = (OpCodeSimd64)context.CurrOp;
- Type[] typesCmp = new Type[] { VectorIntTypesPerSizeLog2[op.Size], VectorIntTypesPerSizeLog2[op.Size] };
- Type typeSse = op.Size != 3 ? typeof(Sse2) : typeof(Sse41);
- context.EmitLdvec(op.Rn);
- if (op is OpCodeSimdReg64 binOp)
- {
- context.EmitLdvec(binOp.Rm);
- }
- else
- {
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- }
- context.EmitCall(typeSse.GetMethod(nameof(Sse2.CompareEqual), typesCmp));
- context.EmitStvec(op.Rd);
- if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else
- {
- EmitCmpOp(context, OpCodes.Beq_S, scalar: false);
- }
- }
- public static void Cmge_S(ILEmitterCtx context)
- {
- EmitCmpOp(context, OpCodes.Bge_S, scalar: true);
- }
- public static void Cmge_V(ILEmitterCtx context)
- {
- if (Optimizations.UseSse42)
- {
- OpCodeSimd64 op = (OpCodeSimd64)context.CurrOp;
- Type[] typesCmp = new Type[] { VectorIntTypesPerSizeLog2[op.Size], VectorIntTypesPerSizeLog2[op.Size] };
- Type[] typesAnt = new Type[] { typeof(Vector128<long>), typeof(Vector128<long>) };
- Type[] typesSav = new Type[] { typeof(long) };
- Type typeSse = op.Size != 3 ? typeof(Sse2) : typeof(Sse42);
- if (op is OpCodeSimdReg64 binOp)
- {
- context.EmitLdvec(binOp.Rm);
- }
- else
- {
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- }
- context.EmitLdvec(op.Rn);
- context.EmitCall(typeSse.GetMethod(nameof(Sse2.CompareGreaterThan), typesCmp));
- context.EmitLdc_I8(-1L);
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.SetAllVector128), typesSav));
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.AndNot), typesAnt));
- context.EmitStvec(op.Rd);
- if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else
- {
- EmitCmpOp(context, OpCodes.Bge_S, scalar: false);
- }
- }
- public static void Cmgt_S(ILEmitterCtx context)
- {
- EmitCmpOp(context, OpCodes.Bgt_S, scalar: true);
- }
- public static void Cmgt_V(ILEmitterCtx context)
- {
- if (Optimizations.UseSse42)
- {
- OpCodeSimd64 op = (OpCodeSimd64)context.CurrOp;
- Type[] typesCmp = new Type[] { VectorIntTypesPerSizeLog2[op.Size], VectorIntTypesPerSizeLog2[op.Size] };
- Type typeSse = op.Size != 3 ? typeof(Sse2) : typeof(Sse42);
- context.EmitLdvec(op.Rn);
- if (op is OpCodeSimdReg64 binOp)
- {
- context.EmitLdvec(binOp.Rm);
- }
- else
- {
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- }
- context.EmitCall(typeSse.GetMethod(nameof(Sse2.CompareGreaterThan), typesCmp));
- context.EmitStvec(op.Rd);
- if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else
- {
- EmitCmpOp(context, OpCodes.Bgt_S, scalar: false);
- }
- }
- public static void Cmhi_S(ILEmitterCtx context)
- {
- EmitCmpOp(context, OpCodes.Bgt_Un_S, scalar: true);
- }
- public static void Cmhi_V(ILEmitterCtx context)
- {
- OpCodeSimdReg64 op = (OpCodeSimdReg64)context.CurrOp;
- if (Optimizations.UseSse41 && op.Size < 3)
- {
- Type[] typesMax = new Type[] { VectorUIntTypesPerSizeLog2[op.Size], VectorUIntTypesPerSizeLog2[op.Size] };
- Type[] typesCmp = new Type[] { VectorIntTypesPerSizeLog2 [op.Size], VectorIntTypesPerSizeLog2 [op.Size] };
- Type[] typesAnt = new Type[] { typeof(Vector128<long>), typeof(Vector128<long>) };
- Type[] typesSav = new Type[] { typeof(long) };
- Type typeSse = op.Size == 0 ? typeof(Sse2) : typeof(Sse41);
- context.EmitLdvec(op.Rm);
- context.EmitLdvec(op.Rn);
- context.EmitCall(typeSse.GetMethod(nameof(Sse2.Max), typesMax));
- context.EmitLdvec(op.Rm);
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.CompareEqual), typesCmp));
- context.EmitLdc_I8(-1L);
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.SetAllVector128), typesSav));
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.AndNot), typesAnt));
- context.EmitStvec(op.Rd);
- if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else
- {
- EmitCmpOp(context, OpCodes.Bgt_Un_S, scalar: false);
- }
- }
- public static void Cmhs_S(ILEmitterCtx context)
- {
- EmitCmpOp(context, OpCodes.Bge_Un_S, scalar: true);
- }
- public static void Cmhs_V(ILEmitterCtx context)
- {
- OpCodeSimdReg64 op = (OpCodeSimdReg64)context.CurrOp;
- if (Optimizations.UseSse41 && op.Size < 3)
- {
- Type[] typesMax = new Type[] { VectorUIntTypesPerSizeLog2[op.Size], VectorUIntTypesPerSizeLog2[op.Size] };
- Type[] typesCmp = new Type[] { VectorIntTypesPerSizeLog2 [op.Size], VectorIntTypesPerSizeLog2 [op.Size] };
- Type typeSse = op.Size == 0 ? typeof(Sse2) : typeof(Sse41);
- context.EmitLdvec(op.Rn);
- context.EmitLdvec(op.Rm);
- context.EmitCall(typeSse.GetMethod(nameof(Sse2.Max), typesMax));
- context.EmitLdvec(op.Rn);
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.CompareEqual), typesCmp));
- context.EmitStvec(op.Rd);
- if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else
- {
- EmitCmpOp(context, OpCodes.Bge_Un_S, scalar: false);
- }
- }
- public static void Cmle_S(ILEmitterCtx context)
- {
- EmitCmpOp(context, OpCodes.Ble_S, scalar: true);
- }
- public static void Cmle_V(ILEmitterCtx context)
- {
- if (Optimizations.UseSse42)
- {
- OpCodeSimd64 op = (OpCodeSimd64)context.CurrOp;
- Type[] typesCmp = new Type[] { VectorIntTypesPerSizeLog2[op.Size], VectorIntTypesPerSizeLog2[op.Size] };
- Type[] typesAnt = new Type[] { typeof(Vector128<long>), typeof(Vector128<long>) };
- Type[] typesSav = new Type[] { typeof(long) };
- Type typeSse = op.Size != 3 ? typeof(Sse2) : typeof(Sse42);
- context.EmitLdvec(op.Rn);
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- context.EmitCall(typeSse.GetMethod(nameof(Sse2.CompareGreaterThan), typesCmp));
- context.EmitLdc_I8(-1L);
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.SetAllVector128), typesSav));
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.AndNot), typesAnt));
- context.EmitStvec(op.Rd);
- if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else
- {
- EmitCmpOp(context, OpCodes.Ble_S, scalar: false);
- }
- }
- public static void Cmlt_S(ILEmitterCtx context)
- {
- EmitCmpOp(context, OpCodes.Blt_S, scalar: true);
- }
- public static void Cmlt_V(ILEmitterCtx context)
- {
- if (Optimizations.UseSse42)
- {
- OpCodeSimd64 op = (OpCodeSimd64)context.CurrOp;
- Type[] typesCmp = new Type[] { VectorIntTypesPerSizeLog2[op.Size], VectorIntTypesPerSizeLog2[op.Size] };
- Type typeSse = op.Size != 3 ? typeof(Sse2) : typeof(Sse42);
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- context.EmitLdvec(op.Rn);
- context.EmitCall(typeSse.GetMethod(nameof(Sse2.CompareGreaterThan), typesCmp));
- context.EmitStvec(op.Rd);
- if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else
- {
- EmitCmpOp(context, OpCodes.Blt_S, scalar: false);
- }
- }
- public static void Cmtst_S(ILEmitterCtx context)
- {
- EmitCmtstOp(context, scalar: true);
- }
- public static void Cmtst_V(ILEmitterCtx context)
- {
- EmitCmtstOp(context, scalar: false);
- }
- public static void Fccmp_S(ILEmitterCtx context)
- {
- OpCodeSimdFcond64 op = (OpCodeSimdFcond64)context.CurrOp;
- ILLabel lblTrue = new ILLabel();
- ILLabel lblEnd = new ILLabel();
- context.EmitCondBranch(lblTrue, op.Cond);
- context.EmitLdc_I4(op.Nzcv);
- EmitSetNzcv(context);
- context.Emit(OpCodes.Br, lblEnd);
- context.MarkLabel(lblTrue);
- EmitFcmpOrFcmpe(context, signalNaNs: false);
- context.MarkLabel(lblEnd);
- }
- public static void Fccmpe_S(ILEmitterCtx context)
- {
- OpCodeSimdFcond64 op = (OpCodeSimdFcond64)context.CurrOp;
- ILLabel lblTrue = new ILLabel();
- ILLabel lblEnd = new ILLabel();
- context.EmitCondBranch(lblTrue, op.Cond);
- context.EmitLdc_I4(op.Nzcv);
- EmitSetNzcv(context);
- context.Emit(OpCodes.Br, lblEnd);
- context.MarkLabel(lblTrue);
- EmitFcmpOrFcmpe(context, signalNaNs: true);
- context.MarkLabel(lblEnd);
- }
- public static void Fcmeq_S(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareEqualScalar), scalar: true);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareEQ), scalar: true);
- }
- }
- public static void Fcmeq_V(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareEqual), scalar: false);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareEQ), scalar: false);
- }
- }
- public static void Fcmge_S(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareGreaterThanOrEqualScalar), scalar: true);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareGE), scalar: true);
- }
- }
- public static void Fcmge_V(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareGreaterThanOrEqual), scalar: false);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareGE), scalar: false);
- }
- }
- public static void Fcmgt_S(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareGreaterThanScalar), scalar: true);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareGT), scalar: true);
- }
- }
- public static void Fcmgt_V(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareGreaterThan), scalar: false);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareGT), scalar: false);
- }
- }
- public static void Fcmle_S(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareGreaterThanOrEqualScalar), scalar: true, isLeOrLt: true);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareLE), scalar: true);
- }
- }
- public static void Fcmle_V(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareGreaterThanOrEqual), scalar: false, isLeOrLt: true);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareLE), scalar: false);
- }
- }
- public static void Fcmlt_S(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareGreaterThanScalar), scalar: true, isLeOrLt: true);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareLT), scalar: true);
- }
- }
- public static void Fcmlt_V(ILEmitterCtx context)
- {
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- EmitCmpSseOrSse2OpF(context, nameof(Sse.CompareGreaterThan), scalar: false, isLeOrLt: true);
- }
- else
- {
- EmitCmpOpF(context, nameof(SoftFloat32.FPCompareLT), scalar: false);
- }
- }
- public static void Fcmp_S(ILEmitterCtx context)
- {
- EmitFcmpOrFcmpe(context, signalNaNs: false);
- }
- public static void Fcmpe_S(ILEmitterCtx context)
- {
- EmitFcmpOrFcmpe(context, signalNaNs: true);
- }
- private static void EmitFcmpOrFcmpe(ILEmitterCtx context, bool signalNaNs)
- {
- OpCodeSimdReg64 op = (OpCodeSimdReg64)context.CurrOp;
- bool cmpWithZero = !(op is OpCodeSimdFcond64) ? op.Bit3 : false;
- if (Optimizations.FastFP && Optimizations.UseSse2)
- {
- if (op.Size == 0)
- {
- Type[] typesCmp = new Type[] { typeof(Vector128<float>), typeof(Vector128<float>) };
- ILLabel lblNaN = new ILLabel();
- ILLabel lblEnd = new ILLabel();
- context.EmitLdvec(op.Rn);
- if (cmpWithZero)
- {
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- }
- else
- {
- context.EmitLdvec(op.Rm);
- }
- context.EmitStvectmp();
- context.EmitLdvectmp();
- context.EmitCall(typeof(Sse).GetMethod(nameof(Sse.CompareOrderedScalar), typesCmp));
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- context.EmitCall(typeof(Sse).GetMethod(nameof(Sse.CompareEqualOrderedScalar), typesCmp));
- context.Emit(OpCodes.Brtrue_S, lblNaN);
- context.Emit(OpCodes.Ldc_I4_0);
- context.EmitLdvec(op.Rn);
- context.EmitLdvectmp();
- context.EmitCall(typeof(Sse).GetMethod(nameof(Sse.CompareGreaterThanOrEqualOrderedScalar), typesCmp));
- context.EmitLdvec(op.Rn);
- context.EmitLdvectmp();
- context.EmitCall(typeof(Sse).GetMethod(nameof(Sse.CompareEqualOrderedScalar), typesCmp));
- context.EmitLdvec(op.Rn);
- context.EmitLdvectmp();
- context.EmitCall(typeof(Sse).GetMethod(nameof(Sse.CompareLessThanOrderedScalar), typesCmp));
- context.EmitStflg((int)PState.NBit);
- context.EmitStflg((int)PState.ZBit);
- context.EmitStflg((int)PState.CBit);
- context.EmitStflg((int)PState.VBit);
- context.Emit(OpCodes.Br_S, lblEnd);
- context.MarkLabel(lblNaN);
- context.Emit(OpCodes.Ldc_I4_1);
- context.Emit(OpCodes.Ldc_I4_1);
- context.Emit(OpCodes.Ldc_I4_0);
- context.Emit(OpCodes.Ldc_I4_0);
- context.EmitStflg((int)PState.NBit);
- context.EmitStflg((int)PState.ZBit);
- context.EmitStflg((int)PState.CBit);
- context.EmitStflg((int)PState.VBit);
- context.MarkLabel(lblEnd);
- }
- else /* if (op.Size == 1) */
- {
- Type[] typesCmp = new Type[] { typeof(Vector128<double>), typeof(Vector128<double>) };
- ILLabel lblNaN = new ILLabel();
- ILLabel lblEnd = new ILLabel();
- context.EmitLdvec(op.Rn);
- if (cmpWithZero)
- {
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- }
- else
- {
- context.EmitLdvec(op.Rm);
- }
- context.EmitStvectmp();
- context.EmitLdvectmp();
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.CompareOrderedScalar), typesCmp));
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.CompareEqualOrderedScalar), typesCmp));
- context.Emit(OpCodes.Brtrue_S, lblNaN);
- context.Emit(OpCodes.Ldc_I4_0);
- context.EmitLdvec(op.Rn);
- context.EmitLdvectmp();
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.CompareGreaterThanOrEqualOrderedScalar), typesCmp));
- context.EmitLdvec(op.Rn);
- context.EmitLdvectmp();
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.CompareEqualOrderedScalar), typesCmp));
- context.EmitLdvec(op.Rn);
- context.EmitLdvectmp();
- context.EmitCall(typeof(Sse2).GetMethod(nameof(Sse2.CompareLessThanOrderedScalar), typesCmp));
- context.EmitStflg((int)PState.NBit);
- context.EmitStflg((int)PState.ZBit);
- context.EmitStflg((int)PState.CBit);
- context.EmitStflg((int)PState.VBit);
- context.Emit(OpCodes.Br_S, lblEnd);
- context.MarkLabel(lblNaN);
- context.Emit(OpCodes.Ldc_I4_1);
- context.Emit(OpCodes.Ldc_I4_1);
- context.Emit(OpCodes.Ldc_I4_0);
- context.Emit(OpCodes.Ldc_I4_0);
- context.EmitStflg((int)PState.NBit);
- context.EmitStflg((int)PState.ZBit);
- context.EmitStflg((int)PState.CBit);
- context.EmitStflg((int)PState.VBit);
- context.MarkLabel(lblEnd);
- }
- }
- else
- {
- EmitVectorExtractF(context, op.Rn, 0, op.Size);
- if (cmpWithZero)
- {
- if (op.Size == 0)
- {
- context.EmitLdc_R4(0f);
- }
- else /* if (op.Size == 1) */
- {
- context.EmitLdc_R8(0d);
- }
- }
- else
- {
- EmitVectorExtractF(context, op.Rm, 0, op.Size);
- }
- context.EmitLdc_I4(!signalNaNs ? 0 : 1);
- EmitSoftFloatCall(context, nameof(SoftFloat32.FPCompare));
- EmitSetNzcv(context);
- }
- }
- private static void EmitCmpOp(ILEmitterCtx context, OpCode ilOp, bool scalar)
- {
- OpCodeSimd64 op = (OpCodeSimd64)context.CurrOp;
- int bytes = op.GetBitsCount() >> 3;
- int elems = !scalar ? bytes >> op.Size : 1;
- ulong szMask = ulong.MaxValue >> (64 - (8 << op.Size));
- for (int index = 0; index < elems; index++)
- {
- EmitVectorExtractSx(context, op.Rn, index, op.Size);
- if (op is OpCodeSimdReg64 binOp)
- {
- EmitVectorExtractSx(context, binOp.Rm, index, op.Size);
- }
- else
- {
- context.EmitLdc_I8(0L);
- }
- ILLabel lblTrue = new ILLabel();
- ILLabel lblEnd = new ILLabel();
- context.Emit(ilOp, lblTrue);
- EmitVectorInsert(context, op.Rd, index, op.Size, 0);
- context.Emit(OpCodes.Br_S, lblEnd);
- context.MarkLabel(lblTrue);
- EmitVectorInsert(context, op.Rd, index, op.Size, (long)szMask);
- context.MarkLabel(lblEnd);
- }
- if ((op.RegisterSize == RegisterSize.Simd64) || scalar)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- private static void EmitCmtstOp(ILEmitterCtx context, bool scalar)
- {
- OpCodeSimdReg64 op = (OpCodeSimdReg64)context.CurrOp;
- int bytes = op.GetBitsCount() >> 3;
- int elems = !scalar ? bytes >> op.Size : 1;
- ulong szMask = ulong.MaxValue >> (64 - (8 << op.Size));
- for (int index = 0; index < elems; index++)
- {
- EmitVectorExtractZx(context, op.Rn, index, op.Size);
- EmitVectorExtractZx(context, op.Rm, index, op.Size);
- ILLabel lblTrue = new ILLabel();
- ILLabel lblEnd = new ILLabel();
- context.Emit(OpCodes.And);
- context.EmitLdc_I8(0L);
- context.Emit(OpCodes.Bne_Un_S, lblTrue);
- EmitVectorInsert(context, op.Rd, index, op.Size, 0);
- context.Emit(OpCodes.Br_S, lblEnd);
- context.MarkLabel(lblTrue);
- EmitVectorInsert(context, op.Rd, index, op.Size, (long)szMask);
- context.MarkLabel(lblEnd);
- }
- if ((op.RegisterSize == RegisterSize.Simd64) || scalar)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- private static void EmitCmpOpF(ILEmitterCtx context, string name, bool scalar)
- {
- OpCodeSimd64 op = (OpCodeSimd64)context.CurrOp;
- int sizeF = op.Size & 1;
- int bytes = op.GetBitsCount() >> 3;
- int elems = !scalar ? bytes >> sizeF + 2 : 1;
- for (int index = 0; index < elems; index++)
- {
- EmitVectorExtractF(context, op.Rn, index, sizeF);
- if (op is OpCodeSimdReg64 binOp)
- {
- EmitVectorExtractF(context, binOp.Rm, index, sizeF);
- }
- else
- {
- if (sizeF == 0)
- {
- context.EmitLdc_R4(0f);
- }
- else /* if (sizeF == 1) */
- {
- context.EmitLdc_R8(0d);
- }
- }
- EmitSoftFloatCall(context, name);
- EmitVectorInsertF(context, op.Rd, index, sizeF);
- }
- if (!scalar)
- {
- if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else
- {
- if (sizeF == 0)
- {
- EmitVectorZero32_128(context, op.Rd);
- }
- else /* if (sizeF == 1) */
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- }
- private static void EmitCmpSseOrSse2OpF(ILEmitterCtx context, string name, bool scalar, bool isLeOrLt = false)
- {
- OpCodeSimd64 op = (OpCodeSimd64)context.CurrOp;
- int sizeF = op.Size & 1;
- if (sizeF == 0)
- {
- Type[] types = new Type[] { typeof(Vector128<float>), typeof(Vector128<float>) };
- if (!isLeOrLt)
- {
- context.EmitLdvec(op.Rn);
- }
- if (op is OpCodeSimdReg64 binOp)
- {
- context.EmitLdvec(binOp.Rm);
- }
- else
- {
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- }
- if (isLeOrLt)
- {
- context.EmitLdvec(op.Rn);
- }
- context.EmitCall(typeof(Sse).GetMethod(name, types));
- context.EmitStvec(op.Rd);
- if (scalar)
- {
- EmitVectorZero32_128(context, op.Rd);
- }
- else if (op.RegisterSize == RegisterSize.Simd64)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- else /* if (sizeF == 1) */
- {
- Type[] types = new Type[] { typeof(Vector128<double>), typeof(Vector128<double>) };
- if (!isLeOrLt)
- {
- context.EmitLdvec(op.Rn);
- }
- if (op is OpCodeSimdReg64 binOp)
- {
- context.EmitLdvec(binOp.Rm);
- }
- else
- {
- VectorHelper.EmitCall(context, nameof(VectorHelper.VectorSingleZero));
- }
- if (isLeOrLt)
- {
- context.EmitLdvec(op.Rn);
- }
- context.EmitCall(typeof(Sse2).GetMethod(name, types));
- context.EmitStvec(op.Rd);
- if (scalar)
- {
- EmitVectorZeroUpper(context, op.Rd);
- }
- }
- }
- }
- }
|