Search in sources :

Example 6 with Compilation

use of com.dat3m.dartagnan.program.processing.compilation.Compilation in project Dat3M by hernanponcedeleon.

the class WrongTargetTest method X86CompiledToARM8.

@Test(expected = IllegalArgumentException.class)
public void X86CompiledToARM8() 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.ARM8);
    comp.run(p);
}
Also used : Program(com.dat3m.dartagnan.program.Program) Compilation(com.dat3m.dartagnan.program.processing.compilation.Compilation) ProgramParser(com.dat3m.dartagnan.parsers.program.ProgramParser) File(java.io.File) Test(org.junit.Test)

Aggregations

ProgramParser (com.dat3m.dartagnan.parsers.program.ProgramParser)6 Program (com.dat3m.dartagnan.program.Program)6 Compilation (com.dat3m.dartagnan.program.processing.compilation.Compilation)6 File (java.io.File)6 Test (org.junit.Test)6