[herd,asl] Fix inversion of ADD and ADDS semantics.

herd · Sep 11, 2023 · 7344adc · 7344adc
1 parent 9cabafc
commit 7344adc
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"