Added "may be power of two" analysis.

1 files changed, 9 insertions, 0 deletions

diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs
index 48935806..070095ea 100644
--- a/Source/GPUVerify/GPUVerifier.cs
+++ b/Source/GPUVerify/GPUVerifier.cs
@@ -65,6 +65,7 @@ namespace GPUVerify
 

         public UniformityAnalyser uniformityAnalyser;

         public MayBeTidAnalyser mayBeTidAnalyser;

+        public MayBePowerOfTwoAnalyser mayBePowerOfTwoAnalyser;

 

         public GPUVerifier(string filename, Program program, IRaceInstrumenter raceInstrumenter) : this(filename, program, raceInstrumenter, false)

         {

@@ -309,6 +310,8 @@ namespace GPUVerify
 

             DoMayBeTidAnalysis();

 

+            DoMayBePowerOfTwoAnalysis();

+

             DoArrayControlFlowAnalysis();

 

             if (CommandLineOptions.ShowStages)

@@ -419,6 +422,12 @@ namespace GPUVerify
 

         }

 

+        private void DoMayBePowerOfTwoAnalysis()

+        {

+            mayBePowerOfTwoAnalyser = new MayBePowerOfTwoAnalyser(this);

+            mayBePowerOfTwoAnalyser.Analyse();

+        }

+

         private void DoMayBeTidAnalysis()

         {

             mayBeTidAnalyser = new MayBeTidAnalyser(this);