Simplify format words: make them always be instruction words.

No need for endianness conditionalization.

diff --git a/src/compiler/machines/aarch64/instr1.scm b/src/compiler/machines/aarch64/instr1.scm
index 5407c55ea141dbf3bfb9e7278e50c71f031cbaf6..29d75e00ed6db9b078a23d69f739917141bcbddc 100644 (file)
--- a/src/compiler/machines/aarch64/instr1.scm
+++ b/src/compiler/machines/aarch64/instr1.scm
@@ -36,11 +36,8 @@ USA.
 
 (define-instruction EXTERNAL-LABEL
   (((? type/arity unsigned-16) (? label))
-   (if (eq? endianness 'BIG)
-       (BITS (16 label BLOCK-OFFSET)
-             (16 type/arity))
-       (BITS (16 type/arity)
-             (16 label BLOCK-OFFSET)))))
+   (BITS (16 label BLOCK-OFFSET)
+         (16 type/arity))))
 
 (define-instruction DATA
   ((32 S (? value))

diff --git a/src/microcode/cmpintmd/aarch64.c b/src/microcode/cmpintmd/aarch64.c
index 1896ada36fea68c3ba95e6eed3f6c7b04b3ed9f3..26b0a5aad571105cdd2a2d967641c672ce41c463 100644 (file)
--- a/src/microcode/cmpintmd/aarch64.c
+++ b/src/microcode/cmpintmd/aarch64.c
@@ -32,23 +32,36 @@ USA.
 extern void * tospace_to_newspace (void *);
 extern void * newspace_to_tospace (void *);
 \f
+#define TYPE_ARITY_MASK        (UINT32_C (0x0000ffff))
+#define TYPE_ARITY_SHIFT 0
+#define BLOCK_OFFSET_MASK (UINT32_C (0xffff0000))
+#define BLOCK_OFFSET_SHIFT 16
+
 bool
 read_cc_entry_type (cc_entry_type_t * cet, insn_t * address)
 {
-  return
-    (decode_old_style_format_word (cet, (((const uint16_t *) address) [-6])));
+  uint32_t word = (address[-3]);
+  uint16_t type_arity = ((word & TYPE_ARITY_MASK) >> TYPE_ARITY_SHIFT);
+  return (decode_old_style_format_word (cet, type_arity));
 }
 
 bool
 write_cc_entry_type (cc_entry_type_t * cet, insn_t * address)
 {
-  return (encode_old_style_format_word (cet, (((uint16_t *) address) - 6)));
+  uint16_t type_arity;
+  bool error = (encode_old_style_format_word (cet, (&type_arity)));
+  if (error)
+    return (error);
+  (address[-3]) &=~ TYPE_ARITY_MASK;
+  (address[-3]) |= (type_arity << TYPE_ARITY_SHIFT);
+  return (false);
 }
 
 bool
 read_cc_entry_offset (cc_entry_offset_t * ceo, insn_t * address)
 {
-  uint16_t n = (((const uint16_t *) address) [-5]);
+  uint32_t word = (address[-3]);
+  uint16_t n = ((word & BLOCK_OFFSET_MASK) >> BLOCK_OFFSET_SHIFT);
   (ceo->offset) = (n >> 1);
   (ceo->continued_p) = ((n & 1) != 0);
   return (false);
@@ -59,8 +72,10 @@ write_cc_entry_offset (cc_entry_offset_t * ceo, insn_t * address)
 {
   if (! ((ceo->offset) < 0x4000))
     return (true);
-  (((uint16_t *) address) [-5])
-    = (((ceo->offset) << 1) | ((ceo->continued_p) ? 1 : 0));
+  (address[-3]) &=~ BLOCK_OFFSET_MASK;
+  (address[-3]) |=
+    ((((ceo->offset) << 1) | ((ceo->continued_p) ? 1 : 0))
+     << BLOCK_OFFSET_SHIFT);
   return (false);
 }