Examples with Program com.dat3m.dartagnan.program.Program used on opensource projects

Example 36 with Program

use of com.dat3m.dartagnan.program.Program in project Dat3M by hernanponcedeleon.

the class ExceptionsTest method unrollBeforeReorderException.

@Test(expected = IllegalArgumentException.class)
public void unrollBeforeReorderException() throws Exception {
    ProgramBuilder pb = new ProgramBuilder(SourceLanguage.LITMUS);
    pb.initThread(0);
    Program p = pb.build();
    LoopUnrolling.newInstance().run(p);
    // Reordering cannot be called after unrolling
    BranchReordering.newInstance().run(p);
}

Example 37 with Program

use of com.dat3m.dartagnan.program.Program 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);
}

Example 38 with Program

use of com.dat3m.dartagnan.program.Program 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);
}

Example 39 with Program

use of com.dat3m.dartagnan.program.Program 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);
}

Example 40 with Program

use of com.dat3m.dartagnan.program.Program 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);
}