From f8ccb6e045725950c5f6759f19f11a52c06cad02 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 25 Aug 2017 16:10:20 -0700
Subject: [PATCH] Reorg code

---
 src/ASTTransform/orderdecompose.cc | 49 ++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)

diff --git a/src/ASTTransform/orderdecompose.cc b/src/ASTTransform/orderdecompose.cc
index 8ad5f49..59b6ebc 100644
--- a/src/ASTTransform/orderdecompose.cc
+++ b/src/ASTTransform/orderdecompose.cc
@@ -9,6 +9,55 @@
 #include "mutableset.h"
 #include "ops.h"
 #include "csolver.h"
+#include "orderencoder.h"
+#include "tunable.h"
+
+void orderAnalysis(CSolver *This) {
+	uint size = This->allOrders.getSize();
+	for (uint i = 0; i < size; i++) {
+		Order *order = This->allOrders.get(i);
+		bool doDecompose=GETVARTUNABLE(This->tuner, order->type, DECOMPOSEORDER, &onoff);
+		if (!doDecompose)
+			continue;
+		
+		OrderGraph *graph = buildOrderGraph(order);
+		if (order->type == PARTIAL) {
+			//Required to do SCC analysis for partial order graphs.  It
+			//makes sure we don't incorrectly optimize graphs with negative
+			//polarity edges
+			completePartialOrderGraph(graph);
+		}
+
+
+		bool mustReachGlobal=GETVARTUNABLE(This->tuner, order->type, MUSTREACHGLOBAL, &onoff);
+
+		if (mustReachGlobal)
+			reachMustAnalysis(This, graph, false);
+
+		bool mustReachLocal=GETVARTUNABLE(This->tuner, order->type, MUSTREACHLOCAL, &onoff);
+		
+		if (mustReachLocal) {
+			//This pair of analysis is also optional
+			if (order->type == PARTIAL) {
+				localMustAnalysisPartial(This, graph);
+			} else {
+				localMustAnalysisTotal(This, graph);
+			}
+		}
+
+		bool mustReachPrune=GETVARTUNABLE(This->tuner, order->type, MUSTREACHPRUNE, &onoff);
+		
+		if (mustReachPrune)
+			removeMustBeTrueNodes(This, graph);
+		
+		//This is needed for splitorder
+		computeStronglyConnectedComponentGraph(graph);
+		
+		decomposeOrder(This, order, graph);
+		
+		deleteOrderGraph(graph);
+	}
+}
 
 void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph) {
 	Vector<Order *> ordervec;
-- 
2.34.1