Exclusive instructions can be compiled to PPC

Signed-off-by: Hernan Ponce de Leon <zeta96@gmail.com>
hernanponcedeleon · Oct 27, 2024 · a458619 · a458619
1 parent 4d72f2e
commit a458619
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/exceptions/WrongTargetTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/exceptions/WrongTargetTest.java
@@ -57,13 +57,4 @@ public void ARMCompiledToTSO() throws Exception {
         comp.setTarget(Arch.TSO);
         comp.run(p);
     }
-
-    @Test(expected = IllegalArgumentException.class)
-    public void ARMCompiledToPower() throws Exception {
-        Program p = new ProgramParser().parse(new File(getRootPath("litmus/AARCH64/ATOM/2+2W+poxxs.litmus")));
-        LoopUnrolling.newInstance().run(p);
-        Compilation comp = Compilation.newInstance();
-        comp.setTarget(Arch.POWER);
-        comp.run(p);
-    }
 }