Changeset 13706

Timestamp:

May 18, 2010, 6:33:06 AM (15 years ago)

Author:

Gary Byers

Message:

Pick at low-hanging fruit, try to assemble some of it.

Location:

branches/arm/level-0/ARM

Files:

• arm-def.lisp (added)
• arm-misc.lisp (modified) (32 diffs)
• arm-utils.lisp (added)

branches/arm/level-0/ARM/arm-misc.lisp

@@ -42 +42 @@
     (macptr-ptr src-reg src-node-reg)
     (ldr src-byteptr (:@ vsp (:$ src-byte-offset)))
-    (add src-reg src-reg (:asr src-byte-ptr (:$ arm::fixnumshift)))
+    (add src-reg src-reg (:asr src-byteptr (:$ arm::fixnumshift)))
     (unbox-fixnum dest-byteptr dest-byte-offset)
     (add dest-byteptr dest-byteptr (:$ arm::misc-data-offset))
@@ -49 +49 @@
     (subs nbytes nbytes '1)
     (ldrb val (:@+ src-reg (:$ 1)))
-    (strb val (:@ dest (:$ dest-byteptr)))
+    (strb val (:@ dest dest-byteptr))
     (add dest-byteptr dest-byteptr (:$ 1))
     @test
@@ -58 +58 @@
 
 (defarmlapfunction %copy-ivector-to-ptr ((src (* 1 arm::node-size))
-                                         (src-byte-offset 0) 
+                                         (src-byte-offset 0)
                                          (dest arg_x)
                                          (dest-byte-offset arg_y)
                                          (nbytes arg_z))
-  (ldr temp0 (:@ vsp (:$ src))
+  (ldr temp0 (:@ vsp (:$ src)))
   (cmp nbytes (:$ 0))
-  (ldr imm0 (:@ vsp (:$ src-byte-offset))
+  (ldr imm0 (:@ vsp (:$ src-byte-offset)))
   (unbox-fixnum imm0 imm0)
   (add imm0 imm0 (:$ arm::misc-data-offset))
@@ -76 +76 @@
   (strb imm2 (:@+ imm1 (:$ 1)))
   @test
-  (bne cr0 @loop)
+  (bne @loop)
   (mov arg_z dest)
   (add vsp vsp '2)
   (bx lr))
 
+#+notyet
 (defarmlapfunction %copy-ivector-to-ivector ((src 4) 
                                              (src-byte-offset 0) 
@@ -157 +158 @@
 
   
-
+#+notyet
 (defarmlapfunction %copy-gvector-to-gvector ((src (* 1 arm::node-size))
                                              (src-element 0)
@@ -208 +209 @@
   
 
-
-
-#+ppc32-target
 (defarmlapfunction %heap-bytes-allocated ()
-  (lwz imm2 arm::tcr.last-allocptr ppc32::rcontext)
-  (cmpwi cr1 imm2 0)
-  (cmpwi allocptr -8)                   ;void_allocptr
-  (lwz imm0 arm::tcr.total-bytes-allocated-high ppc32::rcontext)
-  (lwz imm1 arm::tcr.total-bytes-allocated-low ppc32::rcontext)
+  (ldr imm2 (:@ rcontext (:$ arm::tcr.last-allocptr)))
+  (ldr imm1 (:@ rcontext (:$ arm::tcr.total-bytes-allocated-high)))
+  (ldr imm0 (:@ rcontext (:$ arm::tcr.total-bytes-allocated-low)))
+  (cmp imm2 (:$ 0))
   (sub imm2 imm2 allocptr)
-  (beq cr1 @go)
   (beq @go)
-  (addc imm1 imm1 imm2)
-  (addze imm0 imm0)
+  (cmp allocptr (:$ -8))
+  (beq @go)
+  (adds imm1 imm1 imm2)
+  (adc imm0 imm0 (:$ 0))
   @go
-  (ba .SPmakeu64))
+  (b .SPmakeu64))
 
 
@@ -236 +234 @@
 ;; It would be nice if (%setf-macptr macptr (ash (the fixnum value)
 ;; ash::fixnumshift)) would do this inline.
-#+ppc-target
 (defarmlapfunction %setf-macptr-to-object ((macptr arg_y) (object arg_z))
   (check-nargs 2)
-  (trap-unless-typecode= arg_y arm::subtag-macptr)
-  (str arg_z arm::macptr.address arg_y)
+  (trap-unless-xtype= arg_y arm::subtag-macptr)
+  (str arg_z (:@ arg_y (:$ arm::macptr.address)))
   (bx lr))
 
 (defarmlapfunction %fixnum-from-macptr ((macptr arg_z))
   (check-nargs 1)
-  (trap-unless-typecode= arg_z arm::subtag-macptr)
-  (ldr imm0 arm::macptr.address arg_z)
-  (trap-unless-lisptag= imm0 arm::tag-fixnum imm1)
-  (mr arg_z imm0)
+  (trap-unless-xtype= arg_z arm::subtag-macptr)
+  (ldr imm0 (:@ arg_z (:$ arm::macptr.address)))
+  (trap-unless-fixnum imm0)
+  (mov arg_z imm0)
   (bx lr))
 
 (defarmlapfunction %%get-unsigned-longlong ((ptr arg_y) (offset arg_z))
-  (trap-unless-typecode= ptr ppc32::subtag-macptr)
+  (trap-unless-xtype= ptr arm::subtag-macptr)
   (macptr-ptr imm1 ptr)
   (unbox-fixnum imm2 offset)
   (add imm2 imm2 imm1)
-  (lwz imm0 0 imm2)
-  (lwz imm1 4 imm2)
+  (ldr imm0 (:@ imm2 (:$ 0)))
+  (ldr imm1 (:@ imm2 (:$ 4)))
   (ba .SPmakeu64))
 
@@ -263 +260 @@
 
 (defarmlapfunction %%get-signed-longlong ((ptr arg_y) (offset arg_z))
-  (trap-unless-typecode= ptr ppc32::subtag-macptr)
+  (trap-unless-xtype= ptr arm::subtag-macptr)
   (macptr-ptr imm1 ptr)
   (unbox-fixnum imm2 offset)
   (add imm2 imm2 imm1)
-  (lwz imm0 0 imm2)
-  (lwz imm1 4 imm2)
+  (ldr imm0 (:@ imm2 (:$ 0)))           ;low
+  (ldr imm1 (:@ imm2 (:$ 1)))           ;high
   (ba .SPmakes64))
 
-#+ppc64-target
-(defarmlapfunction %%get-signed-longlong ((ptr arg_y) (offset arg_z))
-  (trap-unless-typecode= ptr ppc64::subtag-macptr)
-  (macptr-ptr imm1 ptr)
-  (unbox-fixnum imm2 offset)
-  (ldx imm0 imm2 imm1)
-  (ba .SPmakes64))
-
-#+ppc32-target
-(defarmlapfunction %%set-unsigned-longlong ((ptr arg_x)
-                                              (offset arg_y)
-                                              (val arg_z))
-  (save-lisp-context)
-  (trap-unless-typecode= ptr ppc32::subtag-macptr)
-  (bla .SPgetu64)
-  (macptr-ptr imm2 ptr)
-  (unbox-fixnum imm3 offset)
-  (add imm2 imm3 imm2)
-  (stw imm0 0 imm2)
-  (stw imm1 4 imm2)
-  (ba .SPpopj))
-
-#+ppc64-target
+
+
 (defarmlapfunction %%set-unsigned-longlong ((ptr arg_x)
                                             (offset arg_y)
                                             (val arg_z))
-  (save-lisp-context)
-  (trap-unless-typecode= ptr ppc64::subtag-macptr)
-  (bla .SPgetu64)
+  (build-lisp-frame imm0)
+  (mov fn nfn)
+  (trap-unless-xtype= ptr arm::subtag-macptr) 
+  (bl .SPgetu64)
   (macptr-ptr imm2 ptr)
-  (unbox-fixnum imm3 offset)
-  (stdx imm0 imm3 imm2)
-  (ba .SPpopj))
-
-#+ppc32-target
-(defarmlapfunction %%set-signed-longlong ((ptr arg_x)
-                                            (offset arg_y)
-                                            (val arg_z))
-  (save-lisp-context)
-  (trap-unless-typecode= ptr ppc32::subtag-macptr)
-  (bla .SPgets64)
-  (macptr-ptr imm2 ptr)
-  (unbox-fixnum imm3 offset)
-  (add imm2 imm3 imm2)
-  (stw imm0 0 imm2)
-  (stw imm1 4 imm2)
-  (ba .SPpopj))
-
-#+ppc64-target
+  (add imm2 imm2 (:asr offset (:$ arm::fixnumshift)))
+  (str imm0 (:@ imm2 (:$ 0)))
+  (str imm1 (:@ imm2 (:$ 4)))
+  (return-lisp-frame imm0))
+
+
+
 (defarmlapfunction %%set-signed-longlong ((ptr arg_x)
                                           (offset arg_y)
                                           (val arg_z))
-  (save-lisp-context)
-  (trap-unless-typecode= ptr arm::subtag-macptr)
-  (bla .SPgets64)
+  (build-lisp-frame imm0)
+  (mov fn nfn)
+  (trap-unless-xtype= ptr arm::subtag-macptr)
+  (bl .SPgets64)
   (macptr-ptr imm2 ptr)
-  (unbox-fixnum imm3 offset)
-  (stdx imm0 imm3 imm2)
-  (ba .SPpopj))
+  (add imm2 imm2 (:asr offset (:$ arm::fixnumshift)))
+  (str imm0 (:@ imm2 (:$ 0)))
+  (str imm1 (:@ imm2 (:$ 4)))
+  (return-lisp-frame imm0))
+
+
 
 (defarmlapfunction interrupt-level ()
-  (ldr arg_z arm::tcr.tlb-pointer arm::rcontext)
-  (ldr arg_z arm::interrupt-level-binding-index arg_z)
+  (ldr arg_z (:@ arm::rcontext (:$ arm::tcr.tlb-pointer)))
+  (ldr arg_z (:@ arg_z (:$ arm::interrupt-level-binding-index)))
   (bx lr))
 
@@ -340 +309 @@
 
 (defarmlapfunction set-interrupt-level ((new arg_z))
-  (ldr imm1 arm::tcr.tlb-pointer arm::rcontext)
-  (trap-unless-lisptag= new arm::tag-fixnum imm0)
-  (str new arm::interrupt-level-binding-index imm1)
+  (ldr imm1 (:@ arm::rcontext (:$ arm::tcr.tlb-pointer)))
+  (trap-unless-fixnum new)
+  (str new (:@ imm1 (:$ arm::interrupt-level-binding-index)))
   (bx lr))
 
@@ -353 +322 @@
 (defarmlapfunction %tcr-toplevel-function ((tcr arg_z))
   (check-nargs 1)
-  (cmpr tcr arm::rcontext)
-  (mr imm0 vsp)
-  (ldr temp0 arm::tcr.vs-area tcr)
-  (ldr imm1 arm::area.high temp0)
-  (beq @room)
-  (ldr imm0 arm::area.active temp0)
-  @room
-  (cmpr imm1 imm0)
-  (li arg_z nil)
-  (beqlr)
-  (ldr arg_z (- arm::node-size) imm1)
+  (cmp tcr arm::rcontext)
+  (mov imm0 vsp)
+  (ldr temp0 (:@ tcr (:$ arm::tcr.vs-area)))
+  (ldr imm1 (:@ temp0 (:$ arm::area.high)))
+  (ldrne imm0 (:@ temp0 (:$ arm::area.active)))
+  (cmp imm1 imm0)
+  (moveq arg_z 'nil)
+  (ldrne arg_z (:@ imm1 (:$ (- arm::node-size))))
   (bx lr))
 
 (defarmlapfunction %set-tcr-toplevel-function ((tcr arg_y) (fun arg_z))
   (check-nargs 2)
-  (cmpr tcr arm::rcontext)
-  (mr imm0 vsp)
-  (ldr temp0 arm::tcr.vs-area tcr)
-  (ldr imm1 arm::area.high temp0)
-  (beq @check-room)
-  (ldr imm0 arm::area.active temp0)
-  @check-room
-  (cmpr imm1 imm0)
-  (push rzero imm1)
-  (bne @have-room)
-  (str imm1 arm::area.active temp0)
-  (str imm1 arm::tcr.save-vsp tcr)
-  @have-room
-  (str fun 0 imm1)
+  (cmp tcr arm::rcontext)
+  (mov imm0 vsp)
+  (ldr temp0 (:@ tcr (:$ arm::tcr.vs-area)))
+  (ldr imm1 (:@ temp0 (:$ arm::area.high)))
+  (ldrne  imm0 (:@ temp0 (:$ arm::area.active)))
+  (cmp imm1 imm0)
+  (mov imm0 ($ 0))
+  (push1 imm0 imm1)
+  (streq imm1 (:@ temp0 (:$ arm::area.active)))
+  (streq imm1 (:@ tcr (:$ arm::tcr.save-vsp)))
+  (str fun (:@ imm1 (:$ 0)))
   (bx lr))
 
@@ -388 +351 @@
   (ba .SPstore-node-conditional))
 
+#+notyet                                ; needs a subprim on ARM
 (defarmlapfunction %store-immediate-conditional ((offset 0) (object arg_x) (old arg_y) (new arg_z))
   (vpop temp0)
@@ -407 +371 @@
     (bx lr)))
 
+#+notyet                                ; needs ARM subprim ?
 (defarmlapfunction set-%gcable-macptrs% ((ptr arm::arg_z))
   (li imm0 (+ (target-nil-value) (arm::kernel-global gcable-pointers)))
@@ -419 +384 @@
 ;;; Atomically increment or decrement the gc-inhibit-count kernel-global
 ;;; (It's decremented if it's currently negative, incremented otherwise.)
+#+notyet                                ;needs ARM subprim ?
 (defarmlapfunction %lock-gc-lock ()
   (li imm0 (+ (target-nil-value) (arm::kernel-global gc-inhibit-count)))
@@ -436 +402 @@
 ;;; (It's incremented if it's currently negative, incremented otherwise.)
 ;;; If it's incremented from -1 to 0, try to GC (maybe just a little.)
+#+notyet                                ;Needs ARM subprim ?
 (defarmlapfunction %unlock-gc-lock ()
 ;;  (sync)
@@ -456 +423 @@
 
 
-
+#+notyet                                ;needs ARM subprim ?
 (defarmlapfunction %atomic-incf-node ((by arg_x) (node arg_y) (disp arg_z))
   (check-nargs 3)
@@ -468 +435 @@
   (bx lr))
 
+#+notyet                                ;needs ARM subprim ?
 (defarmlapfunction %atomic-incf-ptr ((ptr arg_z))
   (macptr-ptr imm1 ptr)
@@ -479 +447 @@
   (bx lr))
 
+#+notyet                                ;needs ARM subprim ?
 (defarmlapfunction %atomic-incf-ptr-by ((ptr arg_y) (by arg_z))
   (macptr-ptr imm1 ptr)
@@ -491 +460 @@
   (bx lr))
 
+#+notyet                                ;needs ARM subprim
 (defarmlapfunction %atomic-decf-ptr ((ptr arg_z))
   (macptr-ptr imm1 ptr)
@@ -502 +472 @@
   (bx lr))
 
+#+notyet                                ;Needs ARM subprim ?
 (defarmlapfunction %atomic-decf-ptr-if-positive ((ptr arg_z))
   (macptr-ptr imm1 ptr)
@@ -520 +491 @@
   (bx lr))
 
+#+notyet                                ;guess why not ?
 (defarmlapfunction %atomic-swap-ptr ((ptr arg_y) (newval arg_z))
   (sync)
@@ -534 +506 @@
 ;;; Try to store the fixnum NEWVAL at PTR, if and only if the old value
 ;;; was equal to OLDVAL.  Return the old value
+#notyet                                 ;still
 (defarmlapfunction %ptr-store-conditional ((ptr arg_x) (expected-oldval arg_y) (newval arg_z))
   (macptr-ptr imm0 ptr)
@@ -553 +526 @@
   (bx lr))
 
+#+notyet                                ; Yet ?  Not.
 (defarmlapfunction %ptr-store-fixnum-conditional ((ptr arg_x) (expected-oldval arg_y) (newval arg_z))
   (let ((address imm0)
@@ -564 +538 @@
     (bne- @again)
     (isync)
-    (mr arg_z actual-oldval)
+    (mov arg_z actual-oldval)
     (bx lr)
     @done
     (li address arm::reservation-discharge)
-    (mr arg_z actual-oldval)
+    (mov arg_z actual-oldval)
     (strcx. rzero 0 address)
     (bx lr)))
@@ -577 +551 @@
 (defarmlapfunction %macptr->dead-macptr ((macptr arg_z))
   (check-nargs 1)
-  (li imm0 arm::subtag-dead-macptr)
-  (stb imm0 arm::misc-subtag-offset macptr)
-  (bx lr))
-
+  (mov imm0 (:$ arm::subtag-dead-macptr))
+  (strb imm0 (:@ macptr (:$ arm::misc-subtag-offset)))
+  (bx lr))
+
+#+notyet                                ;for different reasons
 (defarmlapfunction %%apply-in-frame ((catch-count imm0) (srv temp0) (tsp-count imm0) (db-link imm0)
                                      (parent arg_x) (function arg_y) (arglist arg_z))
@@ -682 +657 @@
       (stw loc-pc arm::lisp-frame.savelr sp))
     ;; Parent is a real stack frame
-    (mr sp parent))
+    (mov sp parent))
   (set-nargs 0)
   (bla .SPspreadargz)
   (ba .SPtfuncallgen))
 
-#+ppc32-target
-;;; Easiest to do this in lap, to avoid consing bignums and/or 
-;;; multiple-value hair.
-;;; Bang through code-vector until the end or a 0 (traceback table
-;;; header) is found.  Return high-half, low-half of last instruction
-;;; and index where found.
-(defarmlapfunction %code-vector-last-instruction ((cv arg_z))
-  (let ((previ imm0)
-        (nexti imm1)
-        (idx imm2)
-        (offset imm3)
-        (len imm4))
-    (vector-length len cv len)
-    (li idx 0)
-    (cmpw cr0 idx len)
-    (li offset arm::misc-data-offset)
-    (li nexti 0)
-    (b @test)
-    @loop
-    (mr previ nexti)
-    (lwzx nexti cv offset)
-    (cmpwi cr1 nexti 0)
-    (addi idx idx '1)
-    (cmpw cr0 idx len)
-    (addi offset offset '1)
-    (beq cr1 @done)
-    @test
-    (bne cr0 @loop)
-    (mr previ nexti)
-    @done
-    (digit-h temp0 previ)
-    (digit-l temp1 previ)
-    (subi idx idx '1)
-    (vpush temp0)
-    (vpush temp1)
-    (vpush idx)
-    (set-nargs 3)
-    (la temp0 '3 vsp)
-    (ba .SPvalues)))
-
-#+ppc64-target
-(defun %code-vector-last-instruction (cv)
-  (do* ((i 1 (1+ i))
-        (instr nil)
-        (n (uvsize cv)))
-       ((= i n) instr)
-    (declare (fixnum i n))
-    (let* ((next (uvref cv i)))
-      (declare (type (unsigned-byte 32) next))
-      (if (zerop next)
-        (return instr)
-        (setq instr next)))))
+
 
         
@@ -754 +678 @@
 (defarmlapfunction %misc-address-fixnum ((misc-object arg_z))
   (check-nargs 1)
-  (la arg_z arm::misc-data-offset misc-object)
+  (add arg_z misc-object (:$ arm::misc-data-offset))
   (bx lr))
 
@@ -761 +685 @@
   (check-nargs 3)
   (macptr-ptr imm1 ptr) ; address in macptr
-  (addi imm0 imm1 9)     ; 2 for delta + 7 for alignment
-  (clrrwi imm0 imm0 3)   ; Clear low three bits to align
-  (subf imm1 imm1 imm0)  ; imm1 = delta
-  (sth imm1 -2 imm0)     ; save delta halfword
+  (add imm0 imm1 (:$ 9))     ; 2 for delta + 7 for alignment
+  (bic imm0 imm0 (:$ 7))   ; Clear low three bits to align
+  (rsb imm1 imm1 imm0)  ; imm1 = delta
+  (strh imm1 (:@  imm0 (:$ -2)))     ; save delta halfword
   (unbox-fixnum imm1 subtype)  ; subtype at low end of imm1
-  (rlwimi imm1 len (- arm::num-subtag-bits arm::fixnum-shift) 0 (- 31 arm::num-subtag-bits))
-  (stw imm1 0 imm0)       ; store subtype & length
-  (addi arg_z imm0 arm::fulltag-misc) ; tag it, return it
+  (orr imm1 imm1 (:lsl len (:$ (- arm::num-subtag-bits arm::fixnum-shift))))
+  (str imm1 (:@ imm0 (:$ 0)))       ; store subtype & length
+  (add arg_z imm0 (:$ arm::fulltag-misc)) ; tag it, return it
   (bx lr))
 
@@ -775 +699 @@
 (defarmlapfunction %%make-disposable ((ptr arg_y) (vector arg_z))
   (check-nargs 2)
-  (subi imm0 vector arm::fulltag-misc) ; imm0 is addr = vect less tag
-  (lhz imm1 -2 imm0)   ; get delta
+  (sub imm0 vector (:$ arm::fulltag-misc)) ; imm0 is addr = vect less tag
+  (ldrh imm1 (:@ imm0 (:$ -2)))   ; get delta
   (sub imm0 imm0 imm1)  ; vector addr (less tag)  - delta is orig addr
-  (str imm0 arm::macptr.address ptr) 
-  (bx lr))
-
-#+arm-target
+  (str imm0 (:@ ptr (:$ arm::macptr.address)))
+  (bx lr))
+
 (defarmlapfunction %vect-data-to-macptr ((vect arg_y) (ptr arg_z))
   ;; put address of vect data in macptr.  For all vector types
   ;; other than DOUBLE-FLOAT (or vectors thereof), the first byte
-  ;; of data is at PPC32::MISC-DATA-OFFSET; for the double-float
-  ;; types, it's at PPC32::MISC-DFLOAT-OFFSET.
+  ;; of data is at ARM::MISC-DATA-OFFSET; for the double-float
+  ;; types, it's at ARM::MISC-DFLOAT-OFFSET.
   (extract-subtag imm0 vect)
-  (cmpwi cr0 imm0 ppc32::subtag-double-float-vector)
-  (cmpwi cr1 imm0 ppc32::subtag-double-float)
-  (addi temp0 vect ppc32::misc-data-offset)
-  (beq cr0 @dfloat)
-  (beq cr1 @dfloat)
-  (stw temp0 ppc32::macptr.address arg_z)
-  (bx lr)
-  @dfloat
-  (addi temp0 vect ppc32::misc-dfloat-offset)
-  (stw temp0 ppc32::macptr.address arg_z)
-  (bx lr))
-
-
-
-
+  (cmp imm0 (:$ arm::subtag-double-float-vector))
+  (cmpne imm0 (:$ arm::subtag-double-float))
+  (addne temp0 vect (:$ arm::misc-data-offset))
+  (addeq temp0 vect (:$ arm::misc-dfloat-offset))
+  (str temp0 (:@ arg_z (:$ arm::macptr.address)))
+  (bx lr))
 
 
 (defarmlapfunction %current-db-link ()
-  (ldr arg_z arm::tcr.db-link arm::rcontext)
+  (ldr arg_z (:@ arm::rcontext (:$ arm::tcr.db-link)))
   (bx lr))
 
 (defarmlapfunction %no-thread-local-binding-marker ()
-  (li arg_z arm::subtag-no-thread-local-binding)
-  (bx lr))
-
-
+  (mov arg_z (:$ arm::subtag-no-thread-local-binding))
+  (bx lr))
 
 
@@ -821 +733 @@
   (check-nargs 2)
   (macptr-ptr imm0 src)
-  (str imm0 arm::tcr.safe-ref-address arm::rcontext)
-  (ldr imm0 0 imm0)                     ; may fault
-  (str imm0 arm::macptr.address dest)
+  (str imm0 (:@ arm::rcontext (:$ arm::tcr.safe-ref-address)))
+  (ldr imm0 (:@ imm0 (:$ 0)))                     ; may fault
+  (str imm0 (:@ dest (:$ arm::macptr.address)))
   (bx lr))
 
@@ -831 +743 @@
 ;;; That's maintained in r2 on LinuxPPC32, and not maintained
 ;;; in a GPR on DarwinPPC32
+#+huh
 (defarmlapfunction %get-os-context ()
-  #+ppc64-target (mr arg_z 13)
-  #+linuxppc32-target (mr arg_z 2)
-  #+darinppc32-target (mr arg_z 0)
-  (bx lr))
-
+  #+ppc64-target (mov arg_z 13)
+  #+linuxppc32-target (mov arg_z 2)
+  #+darinppc32-target (mov arg_z 0)
+  (bx lr))
+
+#+bad-idea
 (defarmlapfunction %check-deferred-gc ()
   (ldr imm0 arm::tcr.flags arm::rcontext)
@@ -845 +759 @@
   (li arg_z t)
   (bx lr))
+
+#+later
+(progn
 
 (defarmlapfunction %%tcr-interrupt ((target arg_z))
@@ -942 +859 @@
   (li arg_z nil)
   (bx lr))
-  
+); #+later
+
 
 ; end of arm-misc.lisp