Skip some unnecessary checks after a reduction.

teo-tsirpanis · Sep 11, 2023 · 80d702d · 80d702d
1 parent fb6eda5
commit 80d702d
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/FarkleNeo/Parser/Implementation/DefaultParserImplementation.cs b/src/FarkleNeo/Parser/Implementation/DefaultParserImplementation.cs
@@ -73,6 +73,7 @@ private RunResult Run(ref ParserInputReader<TChar> input, ref ValueStack<int> st
                     result = null;
                     return RunResult.NeedsMoreInput;
                 }
+                RetryEof:
                 LrEndOfFileAction eofAction = _lrStateMachine.GetEndOfFileAction(currentState);
                 if (eofAction.IsAccept)
                 {
@@ -82,7 +83,7 @@ private RunResult Run(ref ParserInputReader<TChar> input, ref ValueStack<int> st
                 if (eofAction.IsReduce)
                 {
                     currentState = Reduce(ref input, in hotData, ref stateStack, ref semanticValueStack, eofAction.ReduceProduction);
-                    continue;
+                    goto RetryEof;
                 }
             }
             else if (!token.IsSuccess)
@@ -92,6 +93,7 @@ private RunResult Run(ref ParserInputReader<TChar> input, ref ValueStack<int> st
             }
             else
             {
+                RetryToken:
                 LrAction action = _lrStateMachine.GetAction(currentState, token.Symbol);
                 if (action.IsShift)
                 {
@@ -104,7 +106,7 @@ private RunResult Run(ref ParserInputReader<TChar> input, ref ValueStack<int> st
                 if (action.IsReduce)
                 {
                     currentState = Reduce(ref input, in hotData, ref stateStack, ref semanticValueStack, action.ReduceProduction);
-                    continue;
+                    goto RetryToken;
                 }
             }
             TextPosition errorPos = foundToken ? token.Position : input.State.CurrentPosition;