2018-02-17 22:06:11 +01:00
|
|
|
using ChocolArm64.Decoder;
|
|
|
|
using ChocolArm64.State;
|
|
|
|
using ChocolArm64.Translation;
|
|
|
|
using System;
|
|
|
|
using System.Reflection.Emit;
|
|
|
|
|
|
|
|
using static ChocolArm64.Instruction.AInstEmitSimdHelper;
|
|
|
|
|
|
|
|
namespace ChocolArm64.Instruction
|
|
|
|
{
|
|
|
|
static partial class AInstEmit
|
|
|
|
{
|
|
|
|
public static void Shl_S(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
|
|
|
EmitVectorExtractZx(Context, Op.Rn, 0, Op.Size);
|
|
|
|
|
|
|
|
Context.EmitLdc_I4(GetImmShl(Op));
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Shl);
|
|
|
|
|
|
|
|
EmitScalarSet(Context, Op.Rd, Op.Size);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static void Shl_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmBinaryZx(Context, () => Context.Emit(OpCodes.Shl), GetImmShl(Op));
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
2018-03-10 03:28:38 +01:00
|
|
|
public static void Shll_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
|
|
|
|
|
|
|
|
int Shift = 8 << Op.Size;
|
|
|
|
|
|
|
|
EmitVectorShImmWidenBinaryZx(Context, () => Context.Emit(OpCodes.Shl), Shift);
|
|
|
|
}
|
|
|
|
|
2018-02-17 22:06:11 +01:00
|
|
|
public static void Shrn_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmNarrowBinaryZx(Context, () => Context.Emit(OpCodes.Shr_Un), GetImmShr(Op));
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
2018-03-14 04:12:05 +01:00
|
|
|
public static void Sli_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
int Bytes = Op.GetBitsCount() >> 3;
|
|
|
|
int Elems = Bytes >> Op.Size;
|
2018-03-14 04:12:05 +01:00
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
int Shift = GetImmShl(Op);
|
2018-03-14 04:12:05 +01:00
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
ulong Mask = Shift != 0 ? ulong.MaxValue >> (64 - Shift) : 0;
|
2018-03-14 04:12:05 +01:00
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
for (int Index = 0; Index < Elems; Index++)
|
2018-03-14 04:12:05 +01:00
|
|
|
{
|
|
|
|
EmitVectorExtractZx(Context, Op.Rn, Index, Op.Size);
|
|
|
|
|
|
|
|
Context.EmitLdc_I4(Shift);
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Shl);
|
|
|
|
|
|
|
|
EmitVectorExtractZx(Context, Op.Rd, Index, Op.Size);
|
|
|
|
|
|
|
|
Context.EmitLdc_I8((long)Mask);
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.And);
|
|
|
|
Context.Emit(OpCodes.Or);
|
|
|
|
|
|
|
|
EmitVectorInsert(Context, Op.Rd, Index, Op.Size);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (Op.RegisterSize == ARegisterSize.SIMD64)
|
|
|
|
{
|
|
|
|
EmitVectorZeroUpper(Context, Op.Rd);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
public static void Sqrshrn_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
|
|
|
int Shift = GetImmShr(Op);
|
|
|
|
|
|
|
|
long RoundConst = 1L << (Shift - 1);
|
|
|
|
|
|
|
|
Action Emit = () =>
|
|
|
|
{
|
|
|
|
Context.EmitLdc_I8(RoundConst);
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Add);
|
|
|
|
|
|
|
|
Context.EmitLdc_I4(Shift);
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Shr);
|
|
|
|
};
|
|
|
|
|
|
|
|
EmitVectorSaturatingNarrowOpSxSx(Context, Emit);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static void Srshr_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
|
|
|
int Shift = GetImmShr(Op);
|
|
|
|
|
|
|
|
long RoundConst = 1L << (Shift - 1);
|
|
|
|
|
|
|
|
EmitVectorRoundShImmBinarySx(Context, () => Context.Emit(OpCodes.Shr), Shift, RoundConst);
|
|
|
|
}
|
|
|
|
|
2018-02-17 22:06:11 +01:00
|
|
|
public static void Sshl_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
EmitVectorShl(Context, Signed: true);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static void Sshll_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmWidenBinarySx(Context, () => Context.Emit(OpCodes.Shl), GetImmShl(Op));
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public static void Sshr_S(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
|
|
|
EmitVectorExtractSx(Context, Op.Rn, 0, Op.Size);
|
|
|
|
|
|
|
|
Context.EmitLdc_I4(GetImmShr(Op));
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Shr);
|
|
|
|
|
|
|
|
EmitScalarSet(Context, Op.Rd, Op.Size);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static void Sshr_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmBinarySx(Context, () => Context.Emit(OpCodes.Shr), GetImmShr(Op));
|
2018-03-10 04:00:31 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public static void Ssra_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
|
|
|
Action Emit = () =>
|
|
|
|
{
|
|
|
|
Context.Emit(OpCodes.Shr);
|
|
|
|
Context.Emit(OpCodes.Add);
|
|
|
|
};
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmTernarySx(Context, Emit, GetImmShr(Op));
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public static void Ushl_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
EmitVectorShl(Context, Signed: false);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static void Ushll_V(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmWidenBinaryZx(Context, () => Context.Emit(OpCodes.Shl), GetImmShl(Op));
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
2018-02-20 18:39:03 +01:00
|
|
|
public static void Ushr_S(AILEmitterCtx Context)
|
|
|
|
{
|
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
|
|
|
EmitScalarUnaryOpZx(Context, () =>
|
|
|
|
{
|
|
|
|
Context.EmitLdc_I4(GetImmShr(Op));
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Shr_Un);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2018-02-17 22:06:11 +01:00
|
|
|
public static void Ushr_V(AILEmitterCtx Context)
|
|
|
|
{
|
2018-02-20 18:39:03 +01:00
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
|
|
|
EmitVectorUnaryOpZx(Context, () =>
|
|
|
|
{
|
|
|
|
Context.EmitLdc_I4(GetImmShr(Op));
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Shr_Un);
|
|
|
|
});
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public static void Usra_V(AILEmitterCtx Context)
|
|
|
|
{
|
2018-02-20 18:39:03 +01:00
|
|
|
AOpCodeSimdShImm Op = (AOpCodeSimdShImm)Context.CurrOp;
|
|
|
|
|
|
|
|
Action Emit = () =>
|
|
|
|
{
|
|
|
|
Context.EmitLdc_I4(GetImmShr(Op));
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Shr_Un);
|
|
|
|
Context.Emit(OpCodes.Add);
|
|
|
|
};
|
|
|
|
|
|
|
|
EmitVectorOp(Context, Emit, OperFlags.RdRn, Signed: false);
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
private static void EmitVectorShl(AILEmitterCtx Context, bool Signed)
|
|
|
|
{
|
|
|
|
//This instruction shifts the value on vector A by the number of bits
|
|
|
|
//specified on the signed, lower 8 bits of vector B. If the shift value
|
|
|
|
//is greater or equal to the data size of each lane, then the result is zero.
|
|
|
|
//Additionally, negative shifts produces right shifts by the negated shift value.
|
|
|
|
AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
|
|
|
|
|
|
|
|
int MaxShift = 8 << Op.Size;
|
|
|
|
|
|
|
|
Action Emit = () =>
|
|
|
|
{
|
|
|
|
AILLabel LblShl = new AILLabel();
|
|
|
|
AILLabel LblZero = new AILLabel();
|
|
|
|
AILLabel LblEnd = new AILLabel();
|
|
|
|
|
|
|
|
void EmitShift(OpCode ILOp)
|
|
|
|
{
|
|
|
|
Context.Emit(OpCodes.Dup);
|
|
|
|
|
|
|
|
Context.EmitLdc_I4(MaxShift);
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Bge_S, LblZero);
|
|
|
|
Context.Emit(ILOp);
|
|
|
|
Context.Emit(OpCodes.Br_S, LblEnd);
|
|
|
|
}
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Conv_I1);
|
|
|
|
Context.Emit(OpCodes.Dup);
|
|
|
|
|
|
|
|
Context.EmitLdc_I4(0);
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Bge_S, LblShl);
|
|
|
|
Context.Emit(OpCodes.Neg);
|
|
|
|
|
|
|
|
EmitShift(Signed
|
|
|
|
? OpCodes.Shr
|
|
|
|
: OpCodes.Shr_Un);
|
|
|
|
|
|
|
|
Context.MarkLabel(LblShl);
|
|
|
|
|
|
|
|
EmitShift(OpCodes.Shl);
|
|
|
|
|
|
|
|
Context.MarkLabel(LblZero);
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Pop);
|
|
|
|
Context.Emit(OpCodes.Pop);
|
|
|
|
|
|
|
|
Context.EmitLdc_I8(0);
|
|
|
|
|
|
|
|
Context.MarkLabel(LblEnd);
|
|
|
|
};
|
|
|
|
|
|
|
|
if (Signed)
|
|
|
|
{
|
|
|
|
EmitVectorBinaryOpSx(Context, Emit);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
EmitVectorBinaryOpZx(Context, Emit);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
[Flags]
|
|
|
|
private enum ShImmFlags
|
|
|
|
{
|
|
|
|
None = 0,
|
|
|
|
|
|
|
|
Signed = 1 << 0,
|
|
|
|
Ternary = 1 << 1,
|
|
|
|
Rounded = 1 << 2,
|
|
|
|
|
|
|
|
SignedTernary = Signed | Ternary,
|
|
|
|
SignedRounded = Signed | Rounded
|
|
|
|
}
|
|
|
|
|
2018-03-14 04:12:05 +01:00
|
|
|
private static void EmitVectorShImmBinarySx(AILEmitterCtx Context, Action Emit, int Imm)
|
2018-02-17 22:06:11 +01:00
|
|
|
{
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmOp(Context, Emit, Imm, ShImmFlags.Signed);
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
2018-03-14 04:12:05 +01:00
|
|
|
private static void EmitVectorShImmTernarySx(AILEmitterCtx Context, Action Emit, int Imm)
|
2018-02-17 22:06:11 +01:00
|
|
|
{
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmOp(Context, Emit, Imm, ShImmFlags.SignedTernary);
|
2018-02-17 22:06:11 +01:00
|
|
|
}
|
|
|
|
|
2018-03-14 04:12:05 +01:00
|
|
|
private static void EmitVectorShImmBinaryZx(AILEmitterCtx Context, Action Emit, int Imm)
|
2018-03-10 04:00:31 +01:00
|
|
|
{
|
2018-07-14 18:13:02 +02:00
|
|
|
EmitVectorShImmOp(Context, Emit, Imm, ShImmFlags.None);
|
|
|
|
}
|
|
|
|
|
|
|
|
private static void EmitVectorRoundShImmBinarySx(AILEmitterCtx Context, Action Emit, int Imm, long Rc)
|
|
|
|
{
|
|
|
|
EmitVectorShImmOp(Context, Emit, Imm, ShImmFlags.SignedRounded, Rc);
|
2018-03-10 04:00:31 +01:00
|
|
|
}
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
private static void EmitVectorShImmOp(AILEmitterCtx Context, Action Emit, int Imm, ShImmFlags Flags, long Rc = 0)
|
2018-02-17 22:06:11 +01:00
|
|
|
{
|
2018-03-10 03:28:38 +01:00
|
|
|
AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
|
2018-02-17 22:06:11 +01:00
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
int Bytes = Op.GetBitsCount() >> 3;
|
|
|
|
int Elems = Bytes >> Op.Size;
|
2018-02-17 22:06:11 +01:00
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
bool Signed = (Flags & ShImmFlags.Signed) != 0;
|
|
|
|
bool Ternary = (Flags & ShImmFlags.Ternary) != 0;
|
|
|
|
bool Rounded = (Flags & ShImmFlags.Rounded) != 0;
|
|
|
|
|
|
|
|
for (int Index = 0; Index < Elems; Index++)
|
2018-02-17 22:06:11 +01:00
|
|
|
{
|
2018-03-10 04:00:31 +01:00
|
|
|
if (Ternary)
|
|
|
|
{
|
|
|
|
EmitVectorExtract(Context, Op.Rd, Index, Op.Size, Signed);
|
|
|
|
}
|
|
|
|
|
2018-02-17 22:06:11 +01:00
|
|
|
EmitVectorExtract(Context, Op.Rn, Index, Op.Size, Signed);
|
|
|
|
|
2018-07-14 18:13:02 +02:00
|
|
|
if (Rounded)
|
|
|
|
{
|
|
|
|
Context.EmitLdc_I8(Rc);
|
|
|
|
|
|
|
|
Context.Emit(OpCodes.Add);
|
|
|
|
}
|
|
|
|
|
2018-02-17 22:06:11 +01:00
|
|
|
Context.EmitLdc_I4(Imm);
|
|
|
|
|
|
|
|
Emit();
|
|
|
|
|
|
|
|
EmitVectorInsert(Context, Op.Rd, Index, Op.Size);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (Op.RegisterSize == ARegisterSize.SIMD64)
|
|
|
|
{
|
|
|
|
EmitVectorZeroUpper(Context, Op.Rd);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private static void EmitVectorShImmNarrowBinarySx(AILEmitterCtx Context, Action Emit, int Imm)
|
|
|
|
{
|
|
|
|
EmitVectorShImmNarrowBinaryOp(Context, Emit, Imm, true);
|
|
|
|
}
|
|
|
|
|
|
|
|
private static void EmitVectorShImmNarrowBinaryZx(AILEmitterCtx Context, Action Emit, int Imm)
|
|
|
|
{
|
|
|
|
EmitVectorShImmNarrowBinaryOp(Context, Emit, Imm, false);
|
|
|
|
}
|
|
|
|
|
|
|
|
private static void EmitVectorShImmNarrowBinaryOp(AILEmitterCtx Context, Action Emit, int Imm, bool Signed)
|
|
|
|
{
|
2018-03-10 03:28:38 +01:00
|
|
|
AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
|
2018-02-17 22:06:11 +01:00
|
|
|
|
|
|
|
int Elems = 8 >> Op.Size;
|
|
|
|
|
|
|
|
int Part = Op.RegisterSize == ARegisterSize.SIMD128 ? Elems : 0;
|
|
|
|
|
|
|
|
for (int Index = 0; Index < Elems; Index++)
|
|
|
|
{
|
|
|
|
EmitVectorExtract(Context, Op.Rn, Index, Op.Size + 1, Signed);
|
|
|
|
|
|
|
|
Context.EmitLdc_I4(Imm);
|
|
|
|
|
|
|
|
Emit();
|
|
|
|
|
|
|
|
EmitVectorInsert(Context, Op.Rd, Part + Index, Op.Size);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (Part == 0)
|
|
|
|
{
|
|
|
|
EmitVectorZeroUpper(Context, Op.Rd);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private static void EmitVectorShImmWidenBinarySx(AILEmitterCtx Context, Action Emit, int Imm)
|
|
|
|
{
|
|
|
|
EmitVectorShImmWidenBinaryOp(Context, Emit, Imm, true);
|
|
|
|
}
|
|
|
|
|
|
|
|
private static void EmitVectorShImmWidenBinaryZx(AILEmitterCtx Context, Action Emit, int Imm)
|
|
|
|
{
|
|
|
|
EmitVectorShImmWidenBinaryOp(Context, Emit, Imm, false);
|
|
|
|
}
|
|
|
|
|
|
|
|
private static void EmitVectorShImmWidenBinaryOp(AILEmitterCtx Context, Action Emit, int Imm, bool Signed)
|
|
|
|
{
|
2018-03-10 03:28:38 +01:00
|
|
|
AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
|
2018-02-17 22:06:11 +01:00
|
|
|
|
|
|
|
int Elems = 8 >> Op.Size;
|
|
|
|
|
|
|
|
int Part = Op.RegisterSize == ARegisterSize.SIMD128 ? Elems : 0;
|
|
|
|
|
|
|
|
for (int Index = 0; Index < Elems; Index++)
|
|
|
|
{
|
|
|
|
EmitVectorExtract(Context, Op.Rn, Part + Index, Op.Size, Signed);
|
|
|
|
|
|
|
|
Context.EmitLdc_I4(Imm);
|
|
|
|
|
|
|
|
Emit();
|
|
|
|
|
|
|
|
EmitVectorInsertTmp(Context, Index, Op.Size + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
Context.EmitLdvectmp();
|
|
|
|
Context.EmitStvec(Op.Rd);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|