use of com.dat3m.dartagnan.program.processing.LoopUnrolling in project Dat3M by hernanponcedeleon.
the class UnrollExceptionsTest method RMWStoreExclusive.
@Test(expected = ProgramProcessingException.class)
public void RMWStoreExclusive() throws Exception {
ProgramBuilder pb = new ProgramBuilder(SourceLanguage.LITMUS);
pb.initThread(0);
Label start = pb.getOrCreateLabel("loopStart");
pb.addChild(0, start);
pb.addChild(0, newRMWStoreExclusive(pb.getOrNewObject("X"), IValue.ONE, null, true));
pb.addChild(0, EventFactory.newGoto(start));
LoopUnrolling processor = LoopUnrolling.newInstance();
processor.setUnrollingBound(2);
processor.run(pb.build());
}
use of com.dat3m.dartagnan.program.processing.LoopUnrolling in project Dat3M by hernanponcedeleon.
the class UnrollExceptionsTest method RMWStore.
// These events cannot be unrolled. They are generated during compilation.
@Test(expected = ProgramProcessingException.class)
public void RMWStore() throws Exception {
ProgramBuilder pb = new ProgramBuilder(SourceLanguage.LITMUS);
pb.initThread(0);
MemoryObject object = pb.getOrNewObject("X");
Label start = pb.getOrCreateLabel("loopStart");
pb.addChild(0, start);
Load load = EventFactory.newRMWLoad(pb.getOrCreateRegister(0, "r1", 32), object, null);
pb.addChild(0, EventFactory.newRMWStore(load, object, IValue.ONE, null));
pb.addChild(0, EventFactory.newGoto(start));
LoopUnrolling processor = LoopUnrolling.newInstance();
processor.setUnrollingBound(2);
processor.run(pb.build());
}
use of com.dat3m.dartagnan.program.processing.LoopUnrolling in project Dat3M by hernanponcedeleon.
the class UnrollExceptionsTest method FenceCond.
@Test(expected = ProgramProcessingException.class)
public void FenceCond() throws Exception {
ProgramBuilder pb = new ProgramBuilder(SourceLanguage.LITMUS);
pb.initThread(0);
MemoryObject object = pb.getOrNewObject("X");
Label start = pb.getOrCreateLabel("loopStart");
pb.addChild(0, start);
RMWReadCond load = Linux.newRMWReadCondCmp(pb.getOrCreateRegister(0, "r1", 32), BConst.TRUE, object, null);
pb.addChild(0, Linux.newConditionalBarrier(load, null));
pb.addChild(0, EventFactory.newGoto(start));
LoopUnrolling processor = LoopUnrolling.newInstance();
processor.setUnrollingBound(2);
processor.run(pb.build());
}
use of com.dat3m.dartagnan.program.processing.LoopUnrolling in project Dat3M by hernanponcedeleon.
the class UnrollExceptionsTest method RMWStoreCon.
@Test(expected = ProgramProcessingException.class)
public void RMWStoreCon() throws Exception {
ProgramBuilder pb = new ProgramBuilder(SourceLanguage.LITMUS);
pb.initThread(0);
MemoryObject object = pb.getOrNewObject("X");
Label start = pb.getOrCreateLabel("loopStart");
pb.addChild(0, start);
RMWReadCond load = Linux.newRMWReadCondCmp(pb.getOrCreateRegister(0, "r1", 32), BConst.TRUE, object, null);
pb.addChild(0, Linux.newRMWStoreCond(load, object, IValue.ONE, null));
pb.addChild(0, EventFactory.newGoto(start));
LoopUnrolling processor = LoopUnrolling.newInstance();
processor.setUnrollingBound(2);
processor.run(pb.build());
}
use of com.dat3m.dartagnan.program.processing.LoopUnrolling in project Dat3M by hernanponcedeleon.
the class UnrollExceptionsTest method ExecutionStatus.
@Test(expected = ProgramProcessingException.class)
public void ExecutionStatus() throws Exception {
ProgramBuilder pb = new ProgramBuilder(SourceLanguage.LITMUS);
pb.initThread(0);
Label start = pb.getOrCreateLabel("loopStart");
pb.addChild(0, start);
MemoryObject object = pb.getOrNewObject("X");
RMWStoreExclusive store = newRMWStoreExclusive(object, IValue.ONE, null);
pb.addChild(0, EventFactory.newExecutionStatus(pb.getOrCreateRegister(0, "r1", 32), store));
pb.addChild(0, EventFactory.newGoto(start));
LoopUnrolling processor = LoopUnrolling.newInstance();
processor.setUnrollingBound(2);
processor.run(pb.build());
}
Aggregations