Differentiate HLSL `for` loops in AST

HLSL has the bad scoping behavior for `for` loops, and we need to respect that.
But, we need to have correct scoping for GLSL, and we'd like it for Slang.
We also need to ensure that `for` loops written in a "correct" language get the correct behavior when emitted as HLSL.

There was already code to handle this in the emit pass, but it was unfortunately using an `isRewrite` flag to try to tell if the HLSL behavior was wanted.
This doesn't work when the code being emitted might come from a mix of languages.

This change adds a distinct `UnscopedForStmt` syntax node type, and uses that when parsing HLSL input (bot not for other languages).
We make sure to preserve this node type through lowering, and then specialize our emit logic on this case.

With this, there are no more remaining uses of `isRewrite` in the emit logic, which is good because it didn't mean what I needed it to mean any more (since we now emit only a single module, that was merged during lowering).

1 files changed, 2 insertions, 15 deletions

diff --git a/source/slang/emit.cpp b/source/slang/emit.cpp
index a8c0083c1..24b0dd717 100644
--- a/source/slang/emit.cpp
+++ b/source/slang/emit.cpp
@@ -57,10 +57,6 @@ struct EmitContext
 {
     // The shared context that is in effect
     SharedEmitContext* shared;
-
-    // Are we in "rewrite" mode, where we are trying to reproduce the input
-    // code as closely as posible?
-    bool isRewrite;
 };
 
 //
@@ -2196,12 +2192,10 @@ struct EmitVisitor
             // The one wrinkle is that HLSL implements the
             // bad approach to scoping a `for` loop variable,
             // so we need to avoid those outer `{...}` when
-            // we are generating HLSL via "rewrite" (that is,
-            // without our semantic checks).
+            // we are emitting code that was written in HLSL.
             //
             bool brokenScoping = false;
-            if (context->shared->target == CodeGenTarget::HLSL
-                && context->isRewrite)
+            if (forStmt.As<UnscopedForStmt>())
             {
                 brokenScoping = true;
             }
@@ -3406,10 +3400,6 @@ struct EmitVisitor
     }
 };
 
-bool isRewriteRequest(
-    SourceLanguage  sourceLanguage,
-    CodeGenTarget   target);
-
 String emitEntryPoint(
     EntryPointRequest*  entryPoint,
     ProgramLayout*      programLayout,
@@ -3465,9 +3455,6 @@ String emitEntryPoint(
 
     EmitContext context;
     context.shared = &sharedContext;
-    context.isRewrite = isRewriteRequest(
-        translationUnit->sourceLanguage,
-        target);
 
     EmitVisitor visitor(&context);