Mercurial > vba-clojure

annotate clojure/com/aurellem/gb/rlm_assembly.clj @ 379:f86bd04bd9fc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
simplifying frame-metronome
author Robert McIntyre <rlm@mit.edu>
date Wed, 11 Apr 2012 12:35:31 -0500
parents 5c4a30521d09
children 4d2767423266
rev   line source
rlm@377 1 (ns com.aurellem.gb.rlm-assembly
rlm@377 2 "Version of main bootstrap program that is valid output for the
rlm@377 3 item-writer program."
rlm@377 4 (:use (com.aurellem.gb gb-driver assembly util vbm constants))
rlm@377 5 (:use (com.aurellem.run bootstrap-1))
rlm@377 6 (:import [com.aurellem.gb.gb_driver SaveState]))
rlm@377 7
rlm@377 8 ;; Specs for Main Bootstrap Program
rlm@377 9
rlm@377 10 ;; Number-Input
rlm@377 11 ;; Number input works using all eight buttons to
rlm@377 12 ;; spell out an 8 bit number. The order of buttons is
rlm@377 13 ;; [:d :u :l :r :start :select :b :a] --> 11111111
rlm@377 14 ;; [ :l :start :a] --> 00101001
rlm@377 15
rlm@377 16 ;;; MODE-SELECT
rlm@377 17 ;; The bootstrap program starts in MODE-SELECT mode.
rlm@377 18 ;; MODE-SELECT transitions to one of three modes depending
rlm@377 19 ;; on which buttons are pressed:
rlm@377 20 ;; 0 (no-buttons) : MODE-SELECT
rlm@377 21 ;; 8 [:start] : WRITE-BYTES
rlm@377 22 ;; 0xFF (all-buttons) : JUMP
rlm@377 23
rlm@377 24 ;;; WRITE-BYTES
rlm@377 25
rlm@377 26 ;; WRITE-BYTES mode writes sequences of arbitray values to
rlm@377 27 ;; arbitray memory locations. It expects you to enter a
rlm@377 28 ;; header of three bytes describing what to write:
rlm@377 29
rlm@377 30 ;; Byte 0 : Number of Bytes to Write
rlm@377 31 ;; Byte 1 : Start Address High Byte
rlm@377 32 ;; Byte 1 : Start Address Low Byte
rlm@377 33
rlm@377 34 ;; Then, you enter the number of bytes specified in Byte 0
rlm@377 35 ;; they are written to the start address in
rlm@377 36 ;; sequence. After the last byte is written control
rlm@377 37 ;; returns to MODE-SELECT mode.
rlm@377 38
rlm@377 39 ;; Example: to write the sequence [1 2 3 4] starting at
rlm@377 40 ;; address 0xC01F enter
rlm@377 41 ;; Byte 0 : 4 (will write four bytes)
rlm@377 42 ;; Byte 1 : 0xC0 (high byte of 0xC01F)
rlm@377 43 ;; Byte 2 : 0x1F (low byte of 0xC01F)
rlm@377 44 ;; Byte 3 : 1 (write 1 to 0xC01F)
rlm@377 45 ;; Byte 4 : 2 (write 2 to 0xC020)
rlm@377 46 ;; Byte 5 : 3 (write 3 to 0xC021)
rlm@377 47 ;; Byte 6 : 4 (write 4 to 0xC022)
rlm@377 48
rlm@377 49 ;;; JUMP
rlm@377 50 ;; JUMP mode jumps program control to any arbitray
rlm@377 51 ;; location. It expects you to enter two bytes which
rlm@377 52 ;; correspond to the high and low bytes of the memory
rlm@377 53 ;; address to which you want to jump.
rlm@377 54 ;; Byte 0 : Jump Address High Byte
rlm@377 55 ;; Byte 1 : Jump Address Low Byte
rlm@377 56
rlm@377 57 ;; Example: to jump to address 0x1234 enter
rlm@377 58 ;; Byte 0 : 0x12 (high byte of 0x1234)
rlm@377 59 ;; Byte 1 : 0x34 (low byte of 0x1234)
rlm@377 60
rlm@377 61
rlm@378 62 (defn ->signed-8-bit [n]
rlm@378 63 (if (< n 0)
rlm@378 64 (+ 256 n) n))
rlm@378 65
rlm@378 66 (defn frame-metronome []
rlm@379 67 (let [init [0x06 155] ;; init B to out of LY range
rlm@379 68 timing-loop
rlm@378 69 [0x47 ;; A->B
rlm@378 70
rlm@378 71 0x26
rlm@378 72 0xFE ;; load FF into H without repeats
rlm@378 73 0x24
rlm@378 74
rlm@378 75 0x2E
rlm@378 76 0x43 ;; load 44 into L without repeats
rlm@378 77 0x2C
rlm@378 78
rlm@378 79 0x7E] ;; (HL) -> A, now A = LY (vertical line coord)
rlm@378 80 continue-if-different
rlm@378 81 [0xB8 ;; compare A with B
rlm@378 82 0x28
rlm@378 83 (->signed-8-bit
rlm@379 84 (+ -3 (- (count timing-loop))))
rlm@379 85 ]
rlm@379 86 continue-if-144
rlm@379 87 [0xFE
rlm@379 88 144 ;; compare LY (in A) with 144
rlm@379 89 0x20 ;; jump back to beginning if LY != 144 (not-v-blank)
rlm@379 90 (->signed-8-bit
rlm@379 91 (+ -4 (- (count timing-loop))
rlm@379 92 (- (count continue-if-different))))]]
rlm@378 93
rlm@379 94 (concat init timing-loop continue-if-different continue-if-144)))
rlm@378 95
rlm@377 96
rlm@379 97 (defn test-frame-metronome
rlm@379 98 "Ensure that frame-metronome ticks exactly once every frame."
rlm@379 99 ([] (test-frame-metronome 151))
rlm@379 100 ([steps]
rlm@379 101 (let [inc-C [0x0C 0x18
rlm@379 102 (->signed-8-bit
rlm@379 103 (+ -3 (- (count (frame-metronome)))))]
rlm@379 104 program (concat (frame-metronome) inc-C)
rlm@379 105 count-frames
rlm@379 106 (-> (tick (mid-game))
rlm@379 107 (IE! 0)
rlm@379 108 (BC! 0)
rlm@379 109 (set-memory-range pokemon-list-start program)
rlm@379 110 (PC! pokemon-list-start))
rlm@379 111 C-after-moves (C (run-moves count-frames (repeat steps [])))]
rlm@379 112 (println "C:" C-after-moves)
rlm@379 113 (assert (= steps C-after-moves))
rlm@379 114
rlm@379 115 (println "C =" steps "after" steps "steps")
rlm@379 116 count-frames)))
rlm@379 117
rlm@377 118 (defn main-bootstrap-program [start-address]
rlm@378 119 (let [[start-high start-low] (disect-bytes-2 start-address)
rlm@378 120 ]
rlm@378 121 ))
rlm@378 122
rlm@378 123
rlm@378 124
rlm@378 125
rlm@378 126
rlm@378 127
rlm@378 128
rlm@378 129
rlm@378 130
rlm@377 131
rlm@377 132 ;;;;;; TESTS ;;;;;;
rlm@377 133
rlm@377 134 (defn bootstrap-base []
rlm@377 135 (let [program (main-bootstrap-program pokemon-list-start)]
rlm@377 136 ;; make sure program is valid output for item-writer
rlm@377 137 (bootstrap-pattern program)
rlm@377 138 (-> (tick (mid-game))
rlm@377 139 (set-memory-range pokemon-list-start program)
rlm@377 140 (PC! pokemon-list-start))))
rlm@377 141
rlm@377 142 (defn test-write-bytes-mode []
rlm@377 143 (let [target-address 0xC00F
rlm@377 144 [target-high target-low] (disect-bytes-2 target-address)
rlm@377 145 assembly [0xF3 0x18 0xFE 0x12]
rlm@377 146 get-mem-region #(subvec (vec (memory %))
rlm@377 147 target-address (+ target-address 20))
rlm@377 148 before (bootstrap-base)
rlm@377 149 after
rlm@377 150 (-> before
rlm@377 151 (step []) ; make sure it can handle blanks
rlm@377 152 (step []) ; at the beginning.
rlm@377 153 (step [])
rlm@377 154 (step [:start]) ; select WRITE-BYTES mode
rlm@377 155 (step (buttons 4)) ; write 4 bytes
rlm@377 156 (step (buttons target-high))
rlm@377 157 (step (buttons target-low))
rlm@377 158 (step (buttons (nth assembly 0)))
rlm@377 159 (step (buttons (nth assembly 1)))
rlm@377 160 (step (buttons (nth assembly 2)))
rlm@377 161 (step (buttons (nth assembly 3)))
rlm@377 162 (step [])
rlm@377 163 (step [])
rlm@377 164 (step []))]
rlm@377 165 (println "before :" (get-mem-region before))
rlm@377 166 (println "after :" (get-mem-region after))
rlm@377 167 (assert (= assembly (take 4 (get-mem-region after))))
rlm@377 168 after))
rlm@377 169
rlm@377 170 (defn test-jump-mode []
rlm@377 171 (let [target-address 0xC00F
rlm@377 172 [target-high target-low] (disect-bytes-2 target-address)
rlm@377 173 post-jump
rlm@377 174 (-> (test-write-bytes-mode)
rlm@377 175 (step [])
rlm@377 176 (step [])
rlm@377 177 (step [])
rlm@377 178 (step (buttons 0xFF)) ; Select JUMP mode.
rlm@377 179 (step (buttons target-high))
rlm@377 180 (step (buttons target-low)))
rlm@377 181 program-counters
rlm@377 182 (capture-program-counter
rlm@377 183 post-jump
rlm@377 184 10000)]
rlm@377 185 (println program-counters)
rlm@377 186 (assert (contains? (set program-counters) target-address))
rlm@377 187 post-jump))