#include "constgen.h"
#include "branchrecord.h"
#include "storeloadset.h"
+#include "model.h"
ScheduleBuilder::ScheduleBuilder(MCExecution *_execution, ConstGen *cgen) :
cg(cgen),
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;
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;
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;
default:
case LABEL:
break;
case YIELD:
+ if (model->params.noexecyields)
+ return NULL;
break;
default:
ASSERT(0);