/// <summary>
/// 变量赋值
/// </summary>
/// <param name="stement"></param>
private void ExcuteAssignment(TokenAssignment stement)
{
switch (stement.Left)
{
case TokenVariableDefine define:
_stack.Push(define.Variable, ReturnValue(stement.Right));
break;
case TokenVariableRef varRef:
_stack.Set(varRef.Variable, ReturnValue(stement.Right));
break;
default:
throw new Exception("不支持的变量赋值");
}
}
static IEnumerable <LazyString> DoBinaryOp(Func <LazyString, LazyString, LazyString> binaryOp)
{
// store the last two variables in temp
yield return(SetGlobal(Variables.Temporary, VariableStack.GetLastElement(1)));
yield return(ArrayAppend(Variables.Temporary, VariableStack.GetLastElement(0)));
// pop them off the stack
foreach (var action in VariableStack.Pop(2))
{
yield return(action);
}
// push the addition of them onto the stack
foreach (var action in VariableStack.Push(binaryOp(ArraySubscript(GetGlobal(Variables.Temporary), 1), ArraySubscript(GetGlobal(Variables.Temporary), 0))))
{
yield return(action);
}
}
Dictionary <OpCode, ToWorkshopActionFunc> CreateToWorkshopActionsDict()
{
var dict = new Dictionary <OpCode, ToWorkshopActionFunc>();
// default opcode is for the skip chain (see InsertSkipChainInstructions)
dict[OpCodes.No] = Impl_SkipChainActions;
dict[OpCodes.Nop] = Impl_Nop;
dict[OpCodes.Ldlen] = Impl_UnimplementedOp;
dict[OpCodes.Ldelema] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_I1] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_U1] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_I2] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_U2] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_I4] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_U4] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_I8] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_I] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_R4] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_R8] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_Ref] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_I] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_I1] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_I2] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_I4] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_I8] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_R4] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_R8] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_Ref] = Impl_UnimplementedOp;
dict[OpCodes.Ldelem_Any] = Impl_UnimplementedOp;
dict[OpCodes.Stelem_Any] = Impl_UnimplementedOp;
dict[OpCodes.Newarr] = Impl_UnimplementedOp;
dict[OpCodes.Box] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U_Un] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I_Un] = Impl_UnimplementedOp;
dict[OpCodes.Cpobj] = Impl_UnimplementedOp;
dict[OpCodes.Ldobj] = Impl_UnimplementedOp;
dict[OpCodes.Ldstr] = Impl_UnimplementedOp;
dict[OpCodes.Newobj] = Impl_UnimplementedOp;
dict[OpCodes.Castclass] = Impl_UnimplementedOp;
dict[OpCodes.Isinst] = Impl_UnimplementedOp;
dict[OpCodes.Conv_R_Un] = Impl_UnimplementedOp;
dict[OpCodes.Unbox] = Impl_UnimplementedOp;
dict[OpCodes.Throw] = Impl_UnimplementedOp;
dict[OpCodes.Ldfld] = Impl_UnimplementedOp;
dict[OpCodes.Ldflda] = Impl_UnimplementedOp;
dict[OpCodes.Unbox_Any] = Impl_UnimplementedOp;
dict[OpCodes.Stfld] = Impl_UnimplementedOp;
dict[OpCodes.Ldsflda] = Impl_UnimplementedOp;
dict[OpCodes.Stsfld] = (method, instruction) => new[]
{
SetGlobalAtIndex(Variables.StaticFields, GetStaticFieldIndex(instruction.Operand), VariableStack.GetLastElement(0))
}.Concat(VariableStack.Pop(1));
dict[OpCodes.Stobj] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I1_Un] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I2_Un] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I4_Un] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I8_Un] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U1_Un] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U2_Un] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U4_Un] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U8_Un] = Impl_UnimplementedOp;
dict[OpCodes.Ldsfld] = (method, instruction) =>
{
var index = GetStaticFieldIndex(instruction.Operand);
return(VariableStack.Push(ArraySubscript(GetGlobal(Variables.StaticFields), () => index.ToString())));
};
dict[OpCodes.Callvirt] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I1] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I2] = Impl_UnimplementedOp;
dict[OpCodes.Cgt_Un] = Impl_UnimplementedOp;
dict[OpCodes.Clt] = Impl_UnimplementedOp;
dict[OpCodes.Clt_Un] = Impl_UnimplementedOp;
dict[OpCodes.Ldftn] = Impl_UnimplementedOp;
dict[OpCodes.Ldvirtftn] = Impl_UnimplementedOp;
dict[OpCodes.Ldarg] = Impl_UnimplementedOp;
dict[OpCodes.Ldarga] = Impl_UnimplementedOp;
dict[OpCodes.Starg] = Impl_UnimplementedOp;
dict[OpCodes.Ldloc] = Impl_UnimplementedOp;
dict[OpCodes.Ldloca] = Impl_UnimplementedOp;
dict[OpCodes.Stloc] = Impl_UnimplementedOp;
dict[OpCodes.Localloc] = Impl_UnimplementedOp;
dict[OpCodes.Endfilter] = Impl_UnimplementedOp;
dict[OpCodes.Unaligned] = Impl_UnimplementedOp;
dict[OpCodes.Volatile] = Impl_UnimplementedOp;
dict[OpCodes.Tail] = Impl_UnimplementedOp;
dict[OpCodes.Initobj] = Impl_UnimplementedOp;
dict[OpCodes.Constrained] = Impl_UnimplementedOp;
dict[OpCodes.Cpblk] = Impl_UnimplementedOp;
dict[OpCodes.Initblk] = Impl_UnimplementedOp;
dict[OpCodes.Rethrow] = Impl_UnimplementedOp;
dict[OpCodes.Sizeof] = Impl_UnimplementedOp;
dict[OpCodes.Cgt] = Impl_UnimplementedOp;
dict[OpCodes.Ceq] = Impl_UnimplementedOp;
dict[OpCodes.Arglist] = Impl_UnimplementedOp;
dict[OpCodes.Conv_U] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U2] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I4] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U4] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I8] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U8] = Impl_UnimplementedOp;
dict[OpCodes.Refanyval] = Impl_UnimplementedOp;
dict[OpCodes.Ckfinite] = Impl_UnimplementedOp;
dict[OpCodes.Mkrefany] = Impl_UnimplementedOp;
dict[OpCodes.Ldtoken] = Impl_UnimplementedOp;
dict[OpCodes.Conv_U2] = Impl_UnimplementedOp;
dict[OpCodes.Conv_U1] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U1] = Impl_UnimplementedOp;
dict[OpCodes.Conv_I] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_U] = Impl_UnimplementedOp;
dict[OpCodes.Add_Ovf] = Impl_UnimplementedOp;
dict[OpCodes.Add_Ovf_Un] = Impl_UnimplementedOp;
dict[OpCodes.Mul_Ovf] = Impl_UnimplementedOp;
dict[OpCodes.Mul_Ovf_Un] = Impl_UnimplementedOp;
dict[OpCodes.Sub_Ovf] = Impl_UnimplementedOp;
dict[OpCodes.Sub_Ovf_Un] = Impl_UnimplementedOp;
dict[OpCodes.Endfinally] = Impl_UnimplementedOp;
dict[OpCodes.Leave] = Impl_UnimplementedOp;
dict[OpCodes.Leave_S] = Impl_UnimplementedOp;
dict[OpCodes.Stind_I] = Impl_UnimplementedOp;
dict[OpCodes.Conv_Ovf_I] = Impl_UnimplementedOp;
dict[OpCodes.Refanytype] = Impl_UnimplementedOp;
dict[OpCodes.Conv_U8] = Impl_UnimplementedOp;
dict[OpCodes.Conv_R8] = Impl_UnimplementedOp;
dict[OpCodes.Ldc_I4_7] = Impl_UnimplementedOp;
dict[OpCodes.Ldc_I4_8] = Impl_UnimplementedOp;
dict[OpCodes.Ldc_I4_S] = (method, instruction) => VariableStack.Push(() => ((System.SByte)instruction.Operand).ToString());
dict[OpCodes.Ldc_I4] = (method, instruction) => VariableStack.Push(() => ((int)instruction.Operand).ToString());
dict[OpCodes.Ldc_I8] = Impl_UnimplementedOp;
dict[OpCodes.Ldc_R4] = (method, instruction) => VariableStack.Push(() => ((float)instruction.Operand).ToString());
dict[OpCodes.Ldc_R8] = (method, instruction) => VariableStack.Push(() => ((double)instruction.Operand).ToString());
dict[OpCodes.Dup] = (method, instruction) => VariableStack.Push(VariableStack.GetLastElement(0));
dict[OpCodes.Pop] = (method, instruction) => VariableStack.Pop(1);
dict[OpCodes.Jmp] = Impl_UnimplementedOp;
dict[OpCodes.Call] = Impl_Call;
dict[OpCodes.Calli] = Impl_UnimplementedOp;
dict[OpCodes.Ret] = (method, instruction) => CallStack.Pop(1).
// if it's a workshop event, then it needs the max num of local variables (since it's called at runtime)
Concat(LocalsStack.Pop(GetCustomAttributeData <WorkshopEventAttribute>(method) != null ? m_maxNumLocalVariables : GetNumLocalVariables(method.Definition))).
Concat(ParameterStack.Pop(method.Definition.Parameters.Count)).
// (loop instead of abort so you can call functions recursively)
Concat(new LazyString[] { () => "Loop;" });
dict[OpCodes.Br_S] = (method, instruction) => Impl_Jump_If(method, instruction, 0, () => "True");
dict[OpCodes.Brfalse_S] = (method, instruction) => Impl_Jump_If(method, instruction, 1, Equal(ArraySubscript(GetGlobal(Variables.Temporary), () => "0"), () => "0"));
dict[OpCodes.Brtrue_S] = (method, instruction) => Impl_Jump_If(method, instruction, 1, NotEqual(ArraySubscript(GetGlobal(Variables.Temporary), () => "0"), () => "0"));
dict[OpCodes.Beq_S] = (method, instruction) => Impl_Jump_If_Compare(method, instruction, "==");
dict[OpCodes.Bge_S] = (method, instruction) => Impl_Jump_If_Compare(method, instruction, ">=");
dict[OpCodes.Bgt_S] = (method, instruction) => Impl_Jump_If_Compare(method, instruction, ">");
dict[OpCodes.Ble_S] = (method, instruction) => Impl_Jump_If_Compare(method, instruction, "<=");
dict[OpCodes.Blt_S] = (method, instruction) => Impl_Jump_If_Compare(method, instruction, "<");
dict[OpCodes.Bne_Un_S] = (method, instruction) => Impl_Jump_If(method, instruction, NotEqual);
dict[OpCodes.Bge_Un_S] = dict[OpCodes.Bge_S];
dict[OpCodes.Ldc_I4_6] = Impl_UnimplementedOp;
dict[OpCodes.Ldc_I4_5] = (method, Instruction) => VariableStack.Push(() => "5");
dict[OpCodes.Ldc_I4_4] = Impl_UnimplementedOp;
dict[OpCodes.Ldc_I4_3] = Impl_UnimplementedOp;
dict[OpCodes.Break] = Impl_UnimplementedOp;
dict[OpCodes.Ldarg_0] = (method, instruction) =>
VariableStack.Push(ParameterStack.GetLastElement(method.Definition.Parameters.Count - 1));
dict[OpCodes.Ldarg_1] = (method, instruction) =>
VariableStack.Push(ParameterStack.GetLastElement(method.Definition.Parameters.Count - 2));
dict[OpCodes.Ldarg_2] = (method, instruction) =>
VariableStack.Push(ParameterStack.GetLastElement(method.Definition.Parameters.Count - 3));
dict[OpCodes.Ldarg_3] = (method, instruction) =>
VariableStack.Push(ParameterStack.GetLastElement(method.Definition.Parameters.Count - 4));
dict[OpCodes.Ldloc_0] = (method, instruction) => VariableStack.Push(LocalsStack.GetLastElement(GetLocalVariableStackOffset(method, 0)));
dict[OpCodes.Ldloc_1] = (method, instruction) => VariableStack.Push(LocalsStack.GetLastElement(GetLocalVariableStackOffset(method, 1)));
dict[OpCodes.Ldloc_2] = (method, instruction) => VariableStack.Push(LocalsStack.GetLastElement(GetLocalVariableStackOffset(method, 2)));
dict[OpCodes.Ldloc_3] = (method, instruction) => VariableStack.Push(LocalsStack.GetLastElement(GetLocalVariableStackOffset(method, 3)));
dict[OpCodes.Stloc_0] = (method, instruction) => Impl_Stloc(method, 0);
dict[OpCodes.Stloc_1] = (method, instruction) => Impl_Stloc(method, 1);
dict[OpCodes.Bgt_Un_S] = Impl_UnimplementedOp;
dict[OpCodes.Stloc_2] = (method, instruction) => Impl_Stloc(method, 2);
dict[OpCodes.Ldarg_S] = Impl_UnimplementedOp;
dict[OpCodes.Ldarga_S] = Impl_UnimplementedOp;
dict[OpCodes.Starg_S] = Impl_Starg_S;
dict[OpCodes.Ldloc_S] = (method, instruction) => VariableStack.Push(LocalsStack.GetLastElement(GetLocalVariableStackOffset(method, ((VariableDefinition)instruction.Operand).Index)));
dict[OpCodes.Ldloca_S] = Impl_UnimplementedOp;
dict[OpCodes.Stloc_S] = (method, instruction) => Impl_Stloc(method, ((VariableDefinition)instruction.Operand).Index);
dict[OpCodes.Ldnull] = Impl_UnimplementedOp;
dict[OpCodes.Ldc_I4_M1] = Impl_UnimplementedOp;
dict[OpCodes.Ldc_I4_0] = (method, instruction) => VariableStack.Push(() => "0");
dict[OpCodes.Ldc_I4_1] = (method, instruction) => VariableStack.Push(() => "1");
dict[OpCodes.Ldc_I4_2] = (method, Instruction) => VariableStack.Push(() => "2");
dict[OpCodes.Stloc_3] = (method, instruction) => Impl_Stloc(method, 3);
dict[OpCodes.Conv_U4] = Impl_UnimplementedOp;
dict[OpCodes.Ble_Un_S] = (method, instruction) => Impl_Jump_If_Compare(method, instruction, "<=");
dict[OpCodes.Br] = (method, instruction) => Impl_Jump_If(method, instruction, 0, () => "True");
dict[OpCodes.Stind_I8] = Impl_UnimplementedOp;
dict[OpCodes.Stind_R4] = Impl_UnimplementedOp;
dict[OpCodes.Stind_R8] = Impl_UnimplementedOp;
dict[OpCodes.Add] = (method, instruction) => DoBinaryOp(Add);
dict[OpCodes.Sub] = (method, instruction) => DoBinaryOp(Subtract);
dict[OpCodes.Mul] = (method, instruction) => DoBinaryOp(Mul);
dict[OpCodes.Div] = (method, instruction) => DoBinaryOp(Div);
dict[OpCodes.Div_Un] = Impl_UnimplementedOp;
dict[OpCodes.Rem] = (method, instruction) => DoBinaryOp(Mod);
dict[OpCodes.Rem_Un] = Impl_UnimplementedOp;
dict[OpCodes.And] = (method, instruction) => DoBinaryOp(And);
dict[OpCodes.Or] = (method, instruction) => DoBinaryOp(Or);
dict[OpCodes.Xor] = Impl_UnimplementedOp;
dict[OpCodes.Shl] = Impl_UnimplementedOp;
dict[OpCodes.Shr] = Impl_UnimplementedOp;
dict[OpCodes.Shr_Un] = Impl_UnimplementedOp;
dict[OpCodes.Neg] = Impl_UnimplementedOp;
dict[OpCodes.Not] = Impl_UnimplementedOp;
dict[OpCodes.Conv_I1] = Impl_UnimplementedOp;
dict[OpCodes.Conv_I2] = Impl_UnimplementedOp;
dict[OpCodes.Conv_I4] = Impl_UnimplementedOp;
dict[OpCodes.Conv_I8] = Impl_UnimplementedOp;
dict[OpCodes.Conv_R4] = Impl_Nop; // shouldn't need to convert int to real
dict[OpCodes.Stind_I4] = Impl_UnimplementedOp;
dict[OpCodes.Stind_I2] = Impl_UnimplementedOp;
dict[OpCodes.Stind_I1] = Impl_UnimplementedOp;
dict[OpCodes.Stind_Ref] = Impl_UnimplementedOp;
dict[OpCodes.Brfalse] = (method, instruction) => dict[OpCodes.Brfalse_S](method, instruction);
dict[OpCodes.Brtrue] = (method, instruction) => dict[OpCodes.Brtrue_S](method, instruction);
dict[OpCodes.Beq] = Impl_UnimplementedOp;
dict[OpCodes.Bge] = Impl_UnimplementedOp;
dict[OpCodes.Bgt] = Impl_UnimplementedOp;
dict[OpCodes.Ble] = Impl_UnimplementedOp;
dict[OpCodes.Blt] = (method, instruction) => Impl_Jump_If_Compare(method, instruction, "<");
dict[OpCodes.Bne_Un] = Impl_UnimplementedOp;
dict[OpCodes.Bge_Un] = Impl_UnimplementedOp;
dict[OpCodes.Bgt_Un] = Impl_UnimplementedOp;
dict[OpCodes.Ble_Un] = Impl_UnimplementedOp;
dict[OpCodes.Blt_Un_S] = (method, instruction) => Impl_Jump_If_Compare(method, instruction, "<");
dict[OpCodes.Blt_Un] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_I1] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_U1] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_I2] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_U2] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_I4] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_U4] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_I8] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_I] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_R4] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_R8] = Impl_UnimplementedOp;
dict[OpCodes.Ldind_Ref] = Impl_UnimplementedOp;
dict[OpCodes.Switch] = Impl_UnimplementedOp;
dict[OpCodes.Readonly] = Impl_UnimplementedOp;
return(dict);
}
static IEnumerable <LazyString> Impl_Call_WorkshopAction(MethodInfo method, Instruction instruction, MethodReference targetMethodRef, string codeOverride = null)
{
// TODO: assert that the method reference is a workshop action
// implicit conversions of Array types
if (targetMethodRef.Name == "op_Implicit")
{
yield break;
}
var hasReturn = targetMethodRef.ReturnType.Name != "Void";
var targetMethod = GetWorkshopMethod(targetMethodRef);
var code = codeOverride ?? GetCodeName(targetMethod);
if (code == null)
{
throw new ArgumentException();
}
var parameters = targetMethodRef.Parameters;
var paramList = parameters.Select((p, i) => VariableStack.GetLastElement(parameters.Count - i - 1)());
if (parameters.Any())
{
if (code.Contains("<PARAM>"))
{
code = code.Split("<PARAM>").Interleave(paramList).ListToString("");
}
else
{
code = $"{code}({paramList.ListToString()})";
}
}
if (hasReturn)
{
yield return(SetGlobal(Variables.Temporary, () => code));
}
else
{
yield return(() => code + ";");
}
if (DoesMethodNeedWait(code))
{
yield return(() => "Wait(0, Ignore Condition);");
}
foreach (var action in VariableStack.Pop(targetMethodRef.Parameters.Count))
{
yield return(action);
}
if (hasReturn)
{
foreach (var action in VariableStack.Push(GetGlobal(Variables.Temporary)))
{
yield return(action);
}
}
}