Merge pull request #257 from UQ-PAC/irreducible-loops-cleanup

Irreducible loops cleanup
UQ-PAC · Dec 11, 2024 · 4d3f703 · 4d3f703
2 parents 4cb64c0 + d155f83
commit 4d3f703
Show file tree

Hide file tree

Showing 330 changed files with 5,804 additions and 1,632 deletions.
diff --git a/src/main/scala/Main.scala b/src/main/scala/Main.scala
@@ -51,7 +51,9 @@ object Main {
     @arg(name = "summarise-procedures", doc = "Generates summaries of procedures which are used in pre/post-conditions (requires --analyse flag)")
     summariseProcedures: Flag,
     @arg(name = "memory-regions", doc = "Performs static analysis to separate memory into discrete regions in Boogie output (requires --analyse flag) (mra|dsa)")
-    memoryRegions: Option[String]
+    memoryRegions: Option[String],
+    @arg(name = "no-irreducible-loops", doc = "Disable producing irreducible loops when --analyse is passed (does nothing without --analyse)")
+    noIrreducibleLoops: Flag
   )
 
   def main(args: Array[String]): Unit = {
@@ -93,7 +95,8 @@ object Main {
         conf.analysisResultsDot,
         conf.threadSplit.value,
         conf.summariseProcedures.value,
-        memoryRegionsMode
+        memoryRegionsMode,
+        !conf.noIrreducibleLoops.value
       ))
     } else {
       None