public EmitSyntax Build(EmitSyntax emit)
{
var result = emit.Locals.Generate().GetRef();
emit
.Local(result.Def, emit.Types.Import(LanguageBase.Fields.tokenKeyToId.FieldType))
.Newobj(() => new Dictionary<object,int>())
.Stloc(result);
foreach (var pair in EnumerateTokenKeyToId())
{
emit.Ldloc(result);
if (pair.Item1 is string)
{
emit.Ldstr(new QStr((string)pair.Item1));
}
else if (pair.Item1 is Type)
{
emit
.Ldtoken(emit.Types.Import((Type)pair.Item1))
.Call((RuntimeTypeHandle h) => Type.GetTypeFromHandle(h));
}
else
{
throw new InvalidOperationException("Internal error: Unsupported token key type");
}
emit
.Ldc_I4(pair.Item2)
.Call((Dictionary<object, int> self, object _key, int _id) => self.Add(_key, _id))
;
}
return emit.Ldloc(result);
}
void IDecisionVisitor.Visit(JumpTableDecision decision)
{
emit
.Label(GetNodeLabel(decision).Def)
.Do(ldvalue)
;
if (decision.StartElement != 0)
{
emit
.Ldc_I4(decision.StartElement)
.Sub();
}
emit
.Switch(decision.ElementToAction.Select(GetNodeLabel).ToArray());
// default case:
GenerateCodeOrJump(builder.DefaultActionDecision);
foreach (var leaf in decision.LeafDecisions)
{
strategy.PlanCode(leaf);
}
strategy.IntermediateGenerateCode();
}
private IActionCode LdActionArgument(int index)
{
emit = emit
.Do(LdRuleArgs)
.Do(LdArgsStart);
// Optmization for "+ 0".
if (index != 0)
{
emit
.Ldc_I4(index)
.Add();
}
if (typeof(Msg).IsValueType)
{
emit = emit
.Ldelema(emit.Types.Import(typeof(Msg)));
}
else
{
emit = emit
.Ldelem_Ref();
}
emit = emit
.Ldfld((Msg msg) => msg.Value)
;
return(this);
}
public INfaVM Fetch()
{
var nextInstructionLabel = emit.Labels.Generate();
int nextInstructionLabelIndex = indexToLabel.Count;
indexToLabel.Add(nextInstructionLabel);
emit
.Ldc_I4(nextInstructionLabelIndex)
.Br(THREAD_SUSPEND.GetRef())
.Label(nextInstructionLabel);
return(this);
}
public EmitSyntax Init(EmitSyntax emit)
{
emit = emit
.Ldc_I4_0()
.Stloc(index.GetRef())
;
if (!nullContainer)
{
emit = emit
.Ldc_I4(this.stackSize)
.Newarr(itemType)
.Stloc(stack.GetRef())
;
}
return emit;
}
public EmitSyntax Init(EmitSyntax emit)
{
emit = emit
.Ldc_I4_0()
.Stloc(index.GetRef())
;
if (!nullContainer)
{
emit = emit
.Ldc_I4(this.stackSize)
.Newarr(itemType)
.Stloc(stack.GetRef())
;
}
return(emit);
}
public EmitSyntax Build(EmitSyntax emit)
{
var result = emit.Locals.Generate().GetRef();
emit
.Local(result.Def, emit.Types.Import(LanguageBase.Fields.tokenKeyToId.FieldType))
.Newobj(() => new Dictionary <object, int>())
.Stloc(result);
foreach (var pair in EnumerateTokenKeyToId())
{
emit.Ldloc(result);
if (pair.Item1 is string)
{
emit.Ldstr(new QStr((string)pair.Item1));
}
else if (pair.Item1 is Type)
{
emit
.Ldtoken(emit.Types.Import((Type)pair.Item1))
.Call((RuntimeTypeHandle h) => Type.GetTypeFromHandle(h));
}
else
{
throw new InvalidOperationException("Internal error: Unsupported token key type");
}
emit
.Ldc_I4(pair.Item2)
.Call((Dictionary <object, int> self, object _key, int _id) => self.Add(_key, _id))
;
}
return(emit.Ldloc(result));
}
public static void RetValueAction(EmitSyntax emit, int value)
{
emit
.Ldc_I4(value)
.Ret();
}
private IActionCode LdActionArgument(int index)
{
emit = emit
.Do(LdRuleArgs)
.Do(LdArgsStart);
// Optmization for "+ 0".
if (index != 0)
{
emit
.Ldc_I4(index)
.Add();
}
if (typeof(Msg).IsValueType)
{
emit = emit
.Ldelema(emit.Types.Import(typeof(Msg)));
}
else
{
emit = emit
.Ldelem_Ref();
}
emit = emit
.Ldfld((Msg msg) => msg.Value)
;
return this;
}
public static void RetValueAction(EmitSyntax emit, int value)
{
emit
.Ldc_I4(value)
.Ret();
}
public EmitSyntax Build(EmitSyntax emit)
{
var resultVar = emit.Locals.Generate("result");
var partsVar = emit.Locals.Generate("parts");
var symbolVar = emit.Locals.Generate("symbol").GetRef();
var intArrayVar = emit.Locals.Generate("intArray").GetRef();
emit
.Local(resultVar, emit.Types.Import(typeof(Grammar)))
.Local(partsVar, emit.Types.Import(typeof(int[])))
.Local(symbolVar.Def, emit.Types.Import(typeof(SymbolBase)))
.Local(intArrayVar.Def, emit.Types.Array(emit.Types.Int32))
.Newobj(() => new Grammar())
.Stloc(resultVar.GetRef())
;
foreach (var symbol in grammar.Symbols)
{
if (symbol.IsPredefined)
{
continue;
}
if (symbol is Symbol)
{
var determSymbol = (Symbol)symbol;
emit
.Ldstr(new QStr(symbol.Name))
.Newobj((string name) => new Symbol(name))
.Stloc(symbolVar)
;
if (symbol.Categories != SymbolCategory.None)
{
emit
.Ldloc(symbolVar)
.Ldc_I4((int)symbol.Categories)
.Stprop((Symbol s) => s.Categories)
;
}
if (symbol.Precedence != null)
{
var precedence = symbol.Precedence;
emit
.Ldloc(symbolVar)
.Ldc_I4(precedence.Value)
.Ldc_I4((int)precedence.Assoc)
.Newobj((int _prec, Associativity _assoc) => new Precedence(_prec, _assoc))
.Stprop((Symbol s) => s.Precedence)
;
}
}
else if (symbol is AmbiguousSymbol)
{
var ambSymbol = (AmbiguousSymbol)symbol;
emit
.Ldc_I4(ambSymbol.Tokens.Count)
.Newarr(emit.Types.Int32)
.Stloc(intArrayVar)
;
for (int i = 0; i != ambSymbol.Tokens.Count; ++i)
{
emit
.Ldloc(intArrayVar)
.Ldc_I4(i)
.Ldc_I4(ambSymbol.Tokens[i])
.Stelem_I4()
;
}
emit
.Ldc_I4(ambSymbol.MainToken)
.Ldloc(intArrayVar)
.Newobj((int main, int[] tokens) => new AmbiguousSymbol(main, tokens))
.Stloc(symbolVar)
;
}
else
{
throw new InvalidOperationException("Internal error: unknown symbol type.");
}
emit
.Ldloc(resultVar.GetRef())
.Ldprop((Grammar g) => g.Symbols)
.Ldloc(symbolVar)
.Call((SymbolCollection coll, Symbol sym) => coll.Add(sym))
.Pop()
;
}
if (grammar.Start != null)
{
emit
.Ldloc(resultVar.GetRef())
.Dup()
.Ldprop((Grammar g) => g.Symbols)
.Ldc_I4(grammar.Start.Index)
.Call((SymbolCollection coll, int index) => coll[index])
.Stprop((Grammar g) => g.Start);
}
foreach (var production in grammar.Productions)
{
if (production.Outcome.IsAugmentedStart)
{
// Start rule is defined automatically when first token is defined
continue;
}
emit
.Ldc_I4(production.PatternTokens.Length)
.Newarr(emit.Types.Int32)
.Stloc(partsVar.GetRef())
;
int i = 0;
foreach (int part in production.PatternTokens)
{
emit
.Ldloc(partsVar.GetRef())
.Ldc_I4(i)
.Ldc_I4(part)
.Stelem_I4()
;
++i;
}
emit
.Ldloc(resultVar.GetRef())
.Ldprop((Grammar g) => g.Productions)
.Ldc_I4(production.Outcome.Index)
.Ldloc(partsVar.GetRef())
.Call((ProductionCollection prods, int l, IEnumerable <int> p) => prods.Define(l, p))
.Pop()
;
}
return(emit.Ldloc(resultVar.GetRef()));
}
