COMFY-6502: a slight correction

After all the work to write a post showing off COMFY-6502's ability to reproduce the Red Book tone routine, I made a slight mistake in translation. The code I presented differed ever-so-slightly from the Red Book routine in the case where the Y-register reached zero.

In the original, when the Y-register reaches zero, the DEX is still executed. In the code I posted, the expiring "duration tick" skips a count on the pitch. A minor error, but one I should own up to.

Here's a better effort. COMPILE-SYMBOLIC contains a MACROLET defining MODULE as a call to COMFY-6502:COMPILE.


(compile-symbolic
 (equ speaker #xc030)
 (equ duration 1)
 (equ pitch 0)
 (module
  (comfy-6502:loop
     ;; repeat until some clause loses: actually, only exit is
     ;; through return, so each clause should be ensured of winning.
   (LDX pitch)
   (LDA speaker)
   (not
    (comfy-6502:loop  ;; repeat until whap time
    DEY
    (not (seq zero? (DEC duration) zero? return))
    (seq DEX (not zero?)))))))


resulting in


(; reload-pitch
(LDX :ZERO-PAGE) (:ZERO-PAGE 0)
(LDA :ABSOLUTE) (:ABSOLUTE 49200)
; spin
(DEY)
(BNE) (:BRANCH 6) ; not-duration-tick
(DEC :ZERO-PAGE) (:ZERO-PAGE 1)
(BNE) (:BRANCH 2)
(RTS)
; not-duration-tick
(DEX)
(BEQ) (:BRANCH 4) ; goto-reload-pitch
(JMP :ABSOLUTE) (:LONG-BRANCH -12) ; spin
; goto-reload-pitch
(JMP :ABSOLUTE) (:LONG-BRANCH -20) ; reload-pitch
)


For fun, I tried to get the code to emit the RTS at the very end, as in the original.


(compile-symbolic
 (equ speaker #xc030)
 (equ duration 1)
 (equ pitch 0)
 (module
   (alt (loop (seq (LDX pitch) (LDA speaker))
           (not (while
                   (seq DEY (not (seq zero? (seq (DEC duration) zero?)))
                   (seq DEX (not zero?)))))
         RTS)))



(; reload
 (LDX :ZERO-PAGE) (:ZERO-PAGE 0)
 (LDA :ABSOLUTE) (:ABSOLUTE 49200)
 ; spin
 (DEY)
 (BNE) (:BRANCH 5) ; not-duration
 ; duration-tick
 (DEC :ZERO-PAGE) (:ZERO-PAGE 1)
 (BEQ) (:BRANCH 10) ; exit
 ; not-duration
 (DEX)
 (BEQ) (:BRANCH 4) ; goto-reload
 ; goto-spin
 (JMP :ABSOLUTE) (:LONG-BRANCH -11)
 ; goto-reload
 (JMP :ABSOLUTE) (:LONG-BRANCH -19) ; reload
; exit
 (RTS))


"Loop tightening" could change (BEQ) (:BRANCH 4) to (BEQ) (:BRANCH -14); the (JMP :ABSOLUTE) (:LONG-BRANCH -19) is then never used, and could be omitted, changing (BEQ) (:BRANCH 10) to (BEQ) (:BRANCH 7).

"Loop compaction" could potentially recognize (BEQ) (:BRANCH -14) (JMP :ABSOLUTE) (:LONG-BRANCH -11), where no other instruction references the JMP, could be converted to (BEQ) (:BRANCH -14) (BNE) (:BRANCH -11), shortening the (BEQ) (:BRANCH 7) one byte more to (BNE) (:BRANCH 6).

Note some interesting equivalents I should probably implement as COMFY macros.

(if A B C) where C is do-nothing-but-win is (not (seq A (not B)). If A wins, B is executed to determine the result of the form. If A loses, the if wins. I will probably call this (when A B).

(if A B C) where B is a do-nothing-but-win is (alt A C), where alt is the "dual" of seq. (alt A B C ...) == (not (seq (not A) (not B) (not C) ...). For the two-argument case, I would call this (unless A B).

The one twist I can think of is to add an "implied SEQ" to these forms. (when A B C ...) would be (when A (seq B C ...)). (unless A B C ...) would be (unless A (seq B C ...)).

Comments

Post a Comment

Popular posts from this blog

Open Genera VLM on Linux

There are some existing guides to setting up the (unauthorized) Open Genera VLM on x86-64 Linux, but I wanted to tweak them a bit, and came up with a couple of items that diverge from the existing advice. Note that a bunch of URLs on that link should point to https://archives.loomcom.com/  not the static.loomcom.com address. My general goals were to avoid having to run the genera binary as root, and run as a distinct user to have some sense of security (even if the sense is misplaced). I also wanted to change the network addresses, and don't want to use the standard pathnames for the Unix system files and the user directories, and the changes to do so were only in screenshots. My setup Ubuntu 18.04.4 LTS, amd64 My Linux machine is named ubuntu I want all this simulated Genera stuff to happen on  subnet 10.0.10.x  with my Linux host under the name  genera-ubuntu  at 10.0.10.1  and the virtual Lisp machine genera  at 10.0.10.2  (TODO: figure out Chaos network address s
Read more

Restoring the Heathkit Jr 35

Image
Heathkit Jr Electronic Workshop "35", Model JK-18 The Heathkit Jr 35 evidently had been stored with batteries in the battery holder, which corroded badly. I replaced it with a plastic RadioShack 4 D-cell battery holder (270-389), wired into the negative power rail and the hot side of the power switch (which is part of the variable resistor). Corroded battery holder Replacement battery holder mounted I mounted the replacement battery holder with a dozen "heavy duty" 1 inch foam double-stick mounting squares (rated to hold 900g), stacked in four groups each three high to overcome the various screws protruding through the main board. The remote speaker station The rubber foot used to protect the relay from being crushed when you turn the kit over was stuck to the remote speaker station. I put it in its rightful place. Relay with the brown rubber foot Earlier, I had built a couple simple circuits, which showed the meter and new battery pack w
Read more

FPGA selection for beginners

I'm not particularly expert on FPGAs, but I feel like sharing some of the thought process and research I did in getting into tinkering with FPGAs to help other people contemplating such things. Why FPGAs? FPGAs are the go-to solution for "digital things that can't be done with Raspberry Pi, Arduino, or other microcontroller plus software." If you want more than a handful of discrete digital devices in your project, an FPGA (or its smaller cousin, a CPLD) can be whatever collection of gates you need. From a more industrial perspective, they are a stepping-stone to the kind of large-scale digital design that goes into developing ASICs and high-powered DSP solutions. I'll probably discuss later some of the things that are probably not suited for FPGAs and assume for now you at least understand what they are, what they can do, and you just really, really want to use one. You want to buy an FPGA for good reasons and can't decide which: how to choose? Choo
Read more