Fix some instruction syntax bugs.

- Specify target _and_ source -- we're not x86 here.
- Specify operand size.
- Specify multipliers correctly.

diff --git a/src/compiler/machines/aarch64/rules3.scm b/src/compiler/machines/aarch64/rules3.scm
index ef8f3d2965e62c9d544042bd58ee52b4b3c111e3..a6b8d23b2167af180b2fdba4d0b0b9554c2431d4 100644 (file)
--- a/src/compiler/machines/aarch64/rules3.scm
+++ b/src/compiler/machines/aarch64/rules3.scm
@@ -306,14 +306,14 @@ USA.
     (LAP (ADD X ,regnum:stack-pointer ,regnum:stack-pointer
               (&U ,(* 8 frame-size)))
          ,@(if (odd? frame-size)
-               (LAP (LDR X ,temp1 (PRE+ ,regnum:stack-pointer (& (* 8 -1))))
-                    (STR X ,temp1 (PRE+ ,address (& (* 8 -1)))))
+               (LAP (LDR X ,temp1 (PRE+ ,regnum:stack-pointer (& -8)))
+                    (STR X ,temp1 (PRE+ ,address (& -8))))
                (LAP))
          ,@(load-unsigned-immediate index loop-count)
         (LABEL ,label)
-         (SUB X ,index (&U #x10))
-         (LDRP X ,temp1 ,temp2 (PRE+ ,regnum:stack-pointer (& (* 8 -2))))
-         (STRP X ,temp1 ,temp2 (PRE+ ,address (& (* 8 -2))))
+         (SUB X ,index ,index (&U #x10))
+         (LDP X ,temp1 ,temp2 (PRE+ ,regnum:stack-pointer (& (* 8 -2))))
+         (STP X ,temp1 ,temp2 (PRE+ ,address (& (* 8 -2))))
          (CBNZ X ,index (@PCR ,label ,regnum:scratch-0))
          ,@(register->register-transfer address regnum:stack-pointer))))
 
@@ -708,7 +708,7 @@ USA.
              ,@(object->datum temp1 temp1)              ;temp1 := unmarked size
              (ADD X ,temp1 ,temp1 (&U #x10))            ;temp1 := consts offset
              (ADD X ,arg2 ,arg1 ,temp1)                 ;temp1 := consts addr
-             (SUB X ,counter (&U 1))                    ;ctr := ctr - 1
+             (SUB X ,counter ,counter (&U 1))           ;ctr := ctr - 1
              (ADR X ,arg3 (@PCR ,nsects ,regnum:scratch-0)) ;arg3 := nsects
              (LDR B ,arg3 (+ ,arg3 ,counter))           ;arg3 := nsects[ctr]
              ,@(invoke-interface/call code:compiler-link continuation-label)

diff --git a/src/compiler/machines/aarch64/rulfix.scm b/src/compiler/machines/aarch64/rulfix.scm
index d8cf2aa209b30b0e05dacbf967901700ce256b42..4c8bb82aa309db8305c9c0ebbfb91c3a924627cf 100644 (file)
--- a/src/compiler/machines/aarch64/rulfix.scm
+++ b/src/compiler/machines/aarch64/rulfix.scm
@@ -170,8 +170,8 @@ USA.
     ;; We have x 2^t and y 2^t, and we want x y 2^t, so divide one of
     ;; them first by 2^t.
     (if (not overflow?)
-        (LAP (ASR ,regnum:scratch-0 ,source1 (&U ,scheme-type-width))
-             (MUL ,target ,regnum:scratch-0 ,source2))
+        (LAP (ASR X ,regnum:scratch-0 ,source1 (&U ,scheme-type-width))
+             (MUL X ,target ,regnum:scratch-0 ,source2))
         (let* ((mask (allocate-temporary-register! 'GENERAL))
                (hi (allocate-temporary-register! 'GENERAL)))
           ;; We're going to test whether the high 64-bits is equal to
@@ -188,7 +188,7 @@ USA.
                (CMP X ,source2 (&U 0))
                (CINV X LT ,mask ,mask)
                (ASR X ,regnum:scratch-0 ,source1 (&U ,scheme-type-width))
-               (SMULH ,hi ,regnum:scratch-0 ,source2)
+               (SMULH X ,hi ,regnum:scratch-0 ,source2)
                (MUL X ,target ,regnum:scratch-0 ,source2)
                (CMP X ,mask ,hi))))))