view clojure/com/aurellem/gb/rlm_assembly.clj @ 389:bb8978d370d8

saving progress.
author Robert McIntyre <rlm@mit.edu>
date Thu, 12 Apr 2012 12:08:36 -0500
parents a0d0e1a46b1d
children dbf7b5a2e9e7
line wrap: on
line source
1 (ns com.aurellem.gb.rlm-assembly
2 "Version of main bootstrap program that is valid output for the
3 item-writer program."
4 (:use (com.aurellem.gb gb-driver assembly util vbm constants))
5 (:use (com.aurellem.run bootstrap-1))
6 (:import [com.aurellem.gb.gb_driver SaveState]))
8 ;; Specs for Main Bootstrap Program
10 ;; Number-Input
11 ;; Number input works using all eight buttons to
12 ;; spell out an 8 bit number. The order of buttons is
13 ;; [:d :u :l :r :start :select :b :a] --> 11111111
14 ;; [ :l :start :a] --> 00101001
16 ;;; MODE-SELECT
17 ;; The bootstrap program starts in MODE-SELECT mode.
18 ;; MODE-SELECT transitions to one of three modes depending
19 ;; on which buttons are pressed:
20 ;; 0 (no-buttons) : MODE-SELECT
21 ;; 8 [:start] : WRITE-BYTES
22 ;; 0xFF (all-buttons) : JUMP
24 ;;; WRITE-BYTES
26 ;; WRITE-BYTES mode writes sequences of arbitray values to
27 ;; arbitray memory locations. It expects you to enter a
28 ;; header of three bytes describing what to write:
30 ;; Byte 0 : Number of Bytes to Write
31 ;; Byte 1 : Start Address High Byte
32 ;; Byte 1 : Start Address Low Byte
34 ;; Then, you enter the number of bytes specified in Byte 0
35 ;; they are written to the start address in
36 ;; sequence. After the last byte is written control
37 ;; returns to MODE-SELECT mode.
39 ;; Example: to write the sequence [1 2 3 4] starting at
40 ;; address 0xC01F enter
41 ;; Byte 0 : 4 (will write four bytes)
42 ;; Byte 1 : 0xC0 (high byte of 0xC01F)
43 ;; Byte 2 : 0x1F (low byte of 0xC01F)
44 ;; Byte 3 : 1 (write 1 to 0xC01F)
45 ;; Byte 4 : 2 (write 2 to 0xC020)
46 ;; Byte 5 : 3 (write 3 to 0xC021)
47 ;; Byte 6 : 4 (write 4 to 0xC022)
49 ;;; JUMP
50 ;; JUMP mode jumps program control to any arbitray
51 ;; location. It expects you to enter two bytes which
52 ;; correspond to the high and low bytes of the memory
53 ;; address to which you want to jump.
54 ;; Byte 0 : Jump Address High Byte
55 ;; Byte 1 : Jump Address Low Byte
57 ;; Example: to jump to address 0x1234 enter
58 ;; Byte 0 : 0x12 (high byte of 0x1234)
59 ;; Byte 1 : 0x34 (low byte of 0x1234)
62 (defn ->signed-8-bit [n]
63 (if (< n 0)
64 (+ 256 n) n))
66 (defn frame-metronome []
67 (let [timing-loop
68 [0x01 ; \
69 0x43 ; |
70 0xFE ; | load 0xFF44 into BC without repeats
71 0x0C ; |
72 0x04 ; /
73 0x0A] ;; (BC) -> A, now A = LY (vertical line coord)
74 continue-if-144
75 [0xFE
76 144 ;; compare LY (in A) with 144
77 0x20 ;; jump back to beginning if LY != 144 (not-v-blank)
78 (->signed-8-bit
79 (+ -4 (- (count timing-loop))))]
80 spin-loop
81 [0x05 ;; dec B, which is 0xFF
82 0x20 ;; spin until B==0
83 0xFD]]
84 (concat timing-loop continue-if-144 spin-loop)))
86 (defn test-frame-metronome
87 "Ensure that frame-metronome ticks exactly once every frame."
88 ([] (test-frame-metronome 151))
89 ([steps]
90 (let [inc-E [0x1C 0x18
91 (->signed-8-bit
92 (+ -3 (- (count (frame-metronome)))))]
93 program (concat (frame-metronome) inc-E)
94 count-frames
95 (-> (tick (mid-game))
96 (IE! 0)
97 (DE! 0)
98 (set-memory-range pokemon-list-start program)
99 (PC! pokemon-list-start))
100 E-after-moves (E (run-moves count-frames (repeat steps [])))]
101 (println "E:" E-after-moves)
102 (assert (= steps E-after-moves))
104 (println "E =" E-after-moves "after" steps "steps")
105 count-frames)))
107 (defn read-user-input []
108 [0x3E
109 0x20 ; prepare to measure d-pad
111 0x01 ;\
112 0x01 ; |
113 0xFE ; | load 0xFF00 into BC without repeats
114 0x04 ; |
115 0x0D ;/
117 0x02
118 0x0A ;; get D-pad info
120 0xF5 ;; push AF
122 0x3E
123 0x10 ; prepare to measure buttons
125 0x3F ;; clear carry flag no-op to prevent repeated nybbbles
127 0x02
128 0x0A ;; get button info
130 0xE6 ;; select bottom bits of A
131 0x0F
133 0x47 ;; A->B
135 0xF1 ;; pop AF
137 0xE6
138 0x0F ;; select bottom bits of A
140 0xCB
141 0x37 ;; swap A nybbles
143 0xB0 ;; (or A B) -> A
145 0x2F ;; (NOT A) -> A
146 ])
148 (defn test-read-user-input []
149 (let [program
150 (concat
151 (frame-metronome) (read-user-input)
152 [0x5F ;; A-> E
153 0x18
154 (->signed-8-bit
155 (+ (- (count (frame-metronome)))
156 (- (count (read-user-input)))
157 (- 3)))])
158 read-input
159 (-> (tick (mid-game))
160 (IE! 0)
161 (set-memory-range pokemon-list-start program)
162 (PC! pokemon-list-start))]
163 (dorun
164 (for [i (range 0x100)]
165 (assert (= (E (step read-input (buttons i))) i))))
166 (println "Tested all inputs.")
167 read-input))
169 (def mode-select-mode (Integer/parseInt "00000000" 2))
170 (def write-mode (Integer/parseInt "00000001" 2))
171 (def jump-mode (Integer/parseInt "10000000" 2))
173 (def input-high-addr-jump (Integer/parseInt "10000010" 2))
174 (def input-high-addr-write (Integer/parseInt "00000010" 2))
175 (def input-low-addr-jump (Integer/parseInt "10000100" 2))
176 (def input-low-addr-write (Integer/parseInt "00000100" 2))
178 (def input-write-num-mode (Integer/parseInt "00001000" 2))
179 (def do-write-mode (Integer/parseInt "00010000" 2))
181 (defn main-bootstrap-program [start-address]
182 (let [[start-high start-low] (disect-bytes-2 start-address)
183 jump-distance (+ (count (frame-metronome)
184 (read-user-input)))
186 init
187 [0xAF 0x5F] ;; 0->A; 0->E;
190 header
191 [0x47] ;; A->B
193 mode-select
194 [0xCB 0x43 ;; last-bit is zero
195 0x28 :to-beginning
196 0x5F];; A->E
198 input-section
199 [0xCB 0x4B ;; test bit 0 of E
200 0x28 0x03
203 0x57 ;; A->D
205 0x67 ;; A->H
206 0x6F ;; A->L
208 0x47 ;; A->B
209 0x4F ;; A->C
218 ;; HL = here
219 ;; add C to HL
220 ;; jp HL
222 prepare-HL
223 [0xD1 ;; pop DE causes D and E to be non-volitale
225 0x21 ;; load HL from literal nn
226 :dispatch-high
227 :dispatch-low]
229 mode-dispatch
230 [0xC5 ;; push BC
231 0x06 ;\
232 0x01 ; | 0->B without repeats
233 0x05 ;/
234 0x09 ;; add BC to HL
235 0xC1 ;; pop BC
236 0xE9] ;; jp
238 mode-select
239 [0x4F ;; A->C (this is the address of dispatch above)
240 0x18 ;; return
241 :jump-to-end]
243 input-bytes-to-write
244 [0x47 ;; A->B
245 0x18 ;; return
246 :jump-to-end]
252 cleanup
253 [0xD5 ;; push DE
254 0x18
255 0x??];; jump all the way back to frame-metronome
258 ;; (concat init (frame-metronome) (read-user-input)
259 ;; prepare-HL here mode-dispatch)
268 ;; ))
277 (comment
279 ;;;;;; TESTS ;;;;;;
281 (defn bootstrap-base []
282 (let [program (main-bootstrap-program pokemon-list-start)]
283 ;; make sure program is valid output for item-writer
284 (bootstrap-pattern program)
285 (-> (tick (mid-game))
286 (set-memory-range pokemon-list-start program)
287 (PC! pokemon-list-start))))
289 (defn test-write-bytes-mode []
290 (let [target-address 0xC00F
291 [target-high target-low] (disect-bytes-2 target-address)
292 assembly [0xF3 0x18 0xFE 0x12]
293 get-mem-region #(subvec (vec (memory %))
294 target-address (+ target-address 20))
295 before (bootstrap-base)
296 after
297 (-> before
298 (step []) ; make sure it can handle blanks
299 (step []) ; at the beginning.
300 (step [])
301 (step [:start]) ; select WRITE-BYTES mode
302 (step (buttons 4)) ; write 4 bytes
303 (step (buttons target-high))
304 (step (buttons target-low))
305 (step (buttons (nth assembly 0)))
306 (step (buttons (nth assembly 1)))
307 (step (buttons (nth assembly 2)))
308 (step (buttons (nth assembly 3)))
309 (step [])
310 (step [])
311 (step []))]
312 (println "before :" (get-mem-region before))
313 (println "after :" (get-mem-region after))
314 (assert (= assembly (take 4 (get-mem-region after))))
315 after))
317 (defn test-jump-mode []
318 (let [target-address 0xC00F
319 [target-high target-low] (disect-bytes-2 target-address)
320 post-jump
321 (-> (test-write-bytes-mode)
322 (step [])
323 (step [])
324 (step [])
325 (step (buttons 0xFF)) ; Select JUMP mode.
326 (step (buttons target-high))
327 (step (buttons target-low)))
328 program-counters
329 (capture-program-counter
330 post-jump
331 10000)]
332 (println program-counters)
333 (assert (contains? (set program-counters) target-address))
334 post-jump))