Moved point at which preprocessed output is shown.

1 files changed, 9 insertions, 10 deletions

diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs
index b3a7dcdc..d2ae0ad8 100644
--- a/Source/GPUVerify/GPUVerifier.cs
+++ b/Source/GPUVerify/GPUVerifier.cs
@@ -365,6 +365,10 @@ namespace GPUVerify
 

             preProcess();

 

+            if (CommandLineOptions.ShowStages) {

+              emitProgram(outputFilename + "_preprocessed");

+            }

+

             DoLiveVariableAnalysis();

 

             DoUniformityAnalysis();

@@ -377,17 +381,17 @@ namespace GPUVerify
 

             DoArrayControlFlowAnalysis();

 

-            if (CommandLineOptions.ShowStages)

-            {

-                emitProgram(outputFilename + "_preprocessed");

-            }

-

             if (CommandLineOptions.Inference)

             {

                 foreach (var impl in Program.TopLevelDeclarations.OfType<Implementation>().ToList())

                 {

                     LoopInvariantGenerator.PreInstrument(this, impl);

                 }

+

+                if (CommandLineOptions.ShowStages) {

+                  emitProgram(outputFilename + "_pre_inference");

+                }

+

             }

 

             RaceInstrumenter.AddRaceCheckingInstrumentation();

@@ -432,11 +436,6 @@ namespace GPUVerify
                 emitProgram(outputFilename + "_dualised");

             }

 

-            if (CommandLineOptions.ShowStages)

-            {

-                emitProgram(outputFilename + "_cross_thread_invariants");

-            }

-

             RaceInstrumenter.AddRaceCheckingDeclarations();

 

             GenerateBarrierImplementation();