From 1787d671c39eee47c675c995f99c4ff60cc17d22 Mon Sep 17 00:00:00 2001
From: Unknown <afd@afd-THINK>
Date: Fri, 31 Aug 2012 12:16:51 +0100
Subject: Moved point at which preprocessed output is shown.

---
 Source/GPUVerify/GPUVerifier.cs | 19 +++++++++----------
 1 file 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();
-- 
cgit v1.2.3