[PExplicit] Support continue statement

Remove unreachable code after receive case block
p-org · Apr 11, 2024 · dcaf6bc · dcaf6bc
1 parent 3f1315f
commit dcaf6bc
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/Src/PCompiler/CompilerCore/Backend/PExplicit/PExplicitCodeGenerator.cs b/Src/PCompiler/CompilerCore/Backend/PExplicit/PExplicitCodeGenerator.cs
@@ -851,6 +851,10 @@ private bool WriteStmt(Function function, CompilationContext context, StringWrit
                     context.WriteLine(output, "break;");
                     break;
 
+                case ContinueStmt _:
+                    context.WriteLine(output, "continue;");
+                    break;
+
                 case CompoundStmt compoundStmt:
                     foreach (var subStmt in compoundStmt.Statements)
                     {
@@ -1106,9 +1110,13 @@ private void WriteContinuation(CompilationContext context, StringWriter output,
                         context.WriteLine(output, $"{GetPExplicitType(local.Type)} {CompilationContext.GetVar(local.Name)} = {GetDefaultValue(local.Type)};");
                     }
                 }
-                allCasesExited &= WriteStmt(continuation, context, output, caseContext, caseFun.Body);
+                bool caseExited = WriteStmt(continuation, context, output, caseContext, caseFun.Body);
+                allCasesExited &= caseExited;
                 context.WriteLine(output, "}");
-                context.WriteLine(output, "break;");
+                if (!caseExited)
+                {
+                    context.WriteLine(output, "break;");
+                }
             }
             context.WriteLine(output, "default:");
             context.WriteLine(output, "{");