Merge pull request #652 from herd/asl-fix-add

[herd,asl] Fix inversion of ADD and ADDS semantics.
herd · Sep 11, 2023 · a0cf14a · a0cf14a
2 parents 9cabafc + 7344adc
commit a0cf14a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/herd/AArch64ASLSem.ml b/herd/AArch64ASLSem.ml
@@ -278,8 +278,8 @@ module Make (TopConf : AArch64Sig.Config) (V : Value.AArch64ASL) :
            | _ -> assert false
          and fname =
            match op with
-           | ADD -> "ADDS_32_addsub_shift.opn"
-           | ADDS -> "ADD_32_addsub_shift.opn"
+           | ADD -> "ADD_32_addsub_shift.opn"
+           | ADDS -> "ADDS_32_addsub_shift.opn"
            | SUB ->  "SUB_32_addsub_shift.opn"
            | SUBS ->  "SUBS_32_addsub_shift.opn"
            | AND ->  "AND_32_log_shift.opn"