X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedulebuilder.cc;h=3bc6e96b2a729d6e1f0dac59922bf386901fa5d7;hb=dda2d5d103b32f8505374712936af1daf42ec061;hp=cc17b1e025d9bcddab4dfce489644df235f5b30e;hpb=e3e2836db3e10d5d1b7a262c7b34f247af076b7a;p=satcheck.git

diff --git a/schedulebuilder.cc b/schedulebuilder.cc
index cc17b1e..3bc6e96 100644
--- a/schedulebuilder.cc
+++ b/schedulebuilder.cc
@@ -31,22 +31,22 @@ void neatPrint(EPRecord *r, ConstGen *cgen, bool *satsolution) {
 	case LOAD: {
 		StoreLoadSet * sls=cgen->getStoreLoadSet(r);
 		model_print("address=%p ",  sls->getAddressEncoding(cgen, r, satsolution));
-		model_print("rd=%lu ", sls->getValueEncoding(cgen, r, satsolution));
+		model_print("rd=%llu ", sls->getValueEncoding(cgen, r, satsolution));
 	}
-		break;
+	break;
 	case STORE: {
 		StoreLoadSet * sls=cgen->getStoreLoadSet(r);
 		model_print("address=%p ",  sls->getAddressEncoding(cgen, r, satsolution));
-		model_print("wr=%lu ", sls->getValueEncoding(cgen, r, satsolution));
+		model_print("wr=%llu ", sls->getValueEncoding(cgen, r, satsolution));
 	}
-		break;
+	break;
 	case RMW: {
 		StoreLoadSet * sls=cgen->getStoreLoadSet(r);
 		model_print("address=%p ",  sls->getAddressEncoding(cgen, r, satsolution));
-		model_print("rd=%lu ", sls->getRMWRValueEncoding(cgen, r, satsolution));
-		model_print("wr=%lu ", sls->getValueEncoding(cgen, r, satsolution));
+		model_print("rd=%llu ", sls->getRMWRValueEncoding(cgen, r, satsolution));
+		model_print("wr=%llu ", sls->getValueEncoding(cgen, r, satsolution));
 	}
-		break;
+	break;
 	default:
 		;
 	}
@@ -69,7 +69,7 @@ void ScheduleBuilder::buildSchedule(bool * satsolution) {
 			EPRecord *next=processRecord(record, satsolution);
 #ifdef TSO
 			if (next != NULL) {
-			
+
 				if (next->getType()==STORE) {
 					stores[index]->push_back(next);
 					next=getNextRecord(next);
@@ -92,7 +92,7 @@ void ScheduleBuilder::buildSchedule(bool * satsolution) {
 		EPRecord *earliest=NULL;
 		for(uint index=0;index<threads.size();index++) {
 			EPRecord *record=threads[index];
-			
+
 			if (record!=NULL && (earliest==NULL ||
 													 cg->getOrder(record, earliest, satsolution))) {
 				earliest=record;
@@ -151,7 +151,7 @@ EPRecord * ScheduleBuilder::getNextRecord(EPRecord *record) {
 		if (!br->hasNextRecord())
 			next=NULL;
 	}
-	
+
 	if (next==NULL && record->getBranch()!=NULL) {
 		EPValue * epbr=record->getBranch();
 		EPRecord *branch=epbr->getRecord();
@@ -192,7 +192,7 @@ EPRecord * ScheduleBuilder::processRecord(EPRecord *record, bool *satsolution) {
 	case MERGE:
 	case ALLOC:
 	case EQUALS:
-	case FUNCTION: 
+	case FUNCTION:
 		/* Continue executing */
 		break;
 	case THREADCREATE: