Inference of thread ids complete.

1 files changed, 12 insertions, 0 deletions

diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs
index 46dd1ca2..8f3c543f 100644
--- a/Source/GPUVerify/GPUVerifier.cs
+++ b/Source/GPUVerify/GPUVerifier.cs
@@ -65,6 +65,9 @@ namespace GPUVerify
 

         public UniformityAnalyser uniformityAnalyser;

         public MayBeThreadConfigurationVariableAnalyser mayBeTidAnalyser;

+        public MayBeGidAnalyser mayBeGidAnalyser;

+        public MayBeGlobalSizeAnalyser mayBeGlobalSizeAnalyser;

+        public MayBeFlattened2DTidOrGidAnalyser mayBeFlattened2DTidOrGidAnalyser;

         public MayBeTidPlusConstantAnalyser mayBeTidPlusConstantAnalyser;

         public MayBePowerOfTwoAnalyser mayBePowerOfTwoAnalyser;

         public LiveVariableAnalyser liveVariableAnalyser;

@@ -444,6 +447,15 @@ namespace GPUVerify
         {

             mayBeTidAnalyser = new MayBeThreadConfigurationVariableAnalyser(this);

             mayBeTidAnalyser.Analyse();

+

+            mayBeGidAnalyser = new MayBeGidAnalyser(this);

+            mayBeGidAnalyser.Analyse();

+

+            mayBeGlobalSizeAnalyser = new MayBeGlobalSizeAnalyser(this);

+            mayBeGlobalSizeAnalyser.Analyse();

+

+            mayBeFlattened2DTidOrGidAnalyser = new MayBeFlattened2DTidOrGidAnalyser(this);

+            mayBeFlattened2DTidOrGidAnalyser.Analyse();

         }

 

         private void DoMayBeTidPlusConstantAnalysis()