use of com.dat3m.dartagnan.program.processing.compilation.Compilation in project Dat3M by hernanponcedeleon.
the class WrongTargetTest method X86CompiledToPower.
@Test(expected = IllegalArgumentException.class)
public void X86CompiledToPower() throws Exception {
Program p = new ProgramParser().parse(new File(ResourceHelper.LITMUS_RESOURCE_PATH + "litmus/X86/2+2W+mfence-rmws.litmus"));
LoopUnrolling.newInstance().run(p);
Compilation comp = Compilation.newInstance();
comp.setTarget(Arch.POWER);
comp.run(p);
}
use of com.dat3m.dartagnan.program.processing.compilation.Compilation in project Dat3M by hernanponcedeleon.
the class WrongTargetTest method ARMCompiledToNone.
@Test(expected = IllegalArgumentException.class)
public void ARMCompiledToNone() throws Exception {
Program p = new ProgramParser().parse(new File(ResourceHelper.LITMUS_RESOURCE_PATH + "litmus/AARCH64/ATOM/2+2W+poxxs.litmus"));
LoopUnrolling.newInstance().run(p);
Compilation comp = Compilation.newInstance();
comp.setTarget(Arch.C11);
comp.run(p);
}
use of com.dat3m.dartagnan.program.processing.compilation.Compilation in project Dat3M by hernanponcedeleon.
the class WrongTargetTest method X86CompiledToNone.
@Test(expected = IllegalArgumentException.class)
public void X86CompiledToNone() throws Exception {
Program p = new ProgramParser().parse(new File(ResourceHelper.LITMUS_RESOURCE_PATH + "litmus/X86/2+2W+mfence-rmws.litmus"));
LoopUnrolling.newInstance().run(p);
Compilation comp = Compilation.newInstance();
comp.setTarget(Arch.C11);
comp.run(p);
}
use of com.dat3m.dartagnan.program.processing.compilation.Compilation in project Dat3M by hernanponcedeleon.
the class WrongTargetTest method ARMCompiledToPower.
@Test(expected = IllegalArgumentException.class)
public void ARMCompiledToPower() throws Exception {
Program p = new ProgramParser().parse(new File(ResourceHelper.LITMUS_RESOURCE_PATH + "litmus/AARCH64/ATOM/2+2W+poxxs.litmus"));
LoopUnrolling.newInstance().run(p);
Compilation comp = Compilation.newInstance();
comp.setTarget(Arch.POWER);
comp.run(p);
}
use of com.dat3m.dartagnan.program.processing.compilation.Compilation in project Dat3M by hernanponcedeleon.
the class WrongTargetTest method ARMCompiledToTSO.
@Test(expected = IllegalArgumentException.class)
public void ARMCompiledToTSO() throws Exception {
Program p = new ProgramParser().parse(new File(ResourceHelper.LITMUS_RESOURCE_PATH + "litmus/AARCH64/ATOM/2+2W+poxxs.litmus"));
LoopUnrolling.newInstance().run(p);
Compilation comp = Compilation.newInstance();
comp.setTarget(Arch.TSO);
comp.run(p);
}
Aggregations