"9"
}
} ;
+
+HELP: <zero>
+{ $values { "timestamp" timestamp } }
+{ $description "Outputs a zero timestamp that consists of zeros for every slot. Used to see if timestamps are valid." } ;
+
+HELP: valid-timestamp?
+{ $values { "timestamp" timestamp } { "?" "a boolean" } }
+{ $description "Tests if a timestamp is valid or not." } ;
+
+HELP: unix-1970
+{ $values { "timestamp" timestamp } }
+{ $description "Outputs the beginning of UNIX time, or midnight, January 1, 1970." } ;
+
+HELP: millis>timestamp
+{ $values { "x" number } { "timestamp" timestamp } }
+{ $description "Converts a number of milliseconds into a timestamp value in GMT time." }
+{ $examples
+ { $example "USING: accessors calendar prettyprint ;"
+ "1000 millis>timestamp year>> ."
+ "1970"
+ }
+} ;
+
+HELP: gmt
+{ $values { "timestamp" timestamp } }
+{ $description "Outputs the time right now, but in the GMT timezone." } ;
+
+{ gmt now } related-words
+
+HELP: now
+{ $values { "timestamp" timestamp } }
+{ $description "Outputs the time right now in your computer's timezone." }
+{ $examples
+ { $unchecked-example "USING: calendar prettyprint ;"
+ "now ."
+ "T{ timestamp f 2008 9 1 16 38 24+801/1000 T{ duration f 0 0 0 -5 0 0 } }"
+ }
+} ;
+
+HELP: hence
+{ $values { "duration" duration } { "timestamp" timestamp } }
+{ $description "Computes a time in the future that is the " { $snippet "duration" } " added to the result of " { $link now } "." }
+{ $examples
+ { $unchecked-example
+ "USING: calendar prettyprint ;"
+ "10 hours hence ."
+ "T{ timestamp f 2008 9 2 2 47 45+943/1000 T{ duration f 0 0 0 -5 0 0 } }"
+ }
+} ;
+
+HELP: ago
+{ $values { "duration" duration } { "timestamp" timestamp } }
+{ $description "Computes a time in the past that is the " { $snippet "duration" } " subtracted from the result of " { $link now } "." }
+{ $examples
+ { $unchecked-example
+ "USING: calendar prettyprint ;"
+ "3 weeks ago ."
+ "T{ timestamp f 2008 8 11 16 49 52+99/500 T{ duration f 0 0 0 -5 0 0 } }"
+ }
+} ;
+
+HELP: zeller-congruence
+{ $values { "year" integer } { "month" integer } { "day" integer } { "n" integer } }
+{ $description "An implementation of an algorithm that computes the day of the week given a date. Days are indexed starting from Sunday, which is index 0." }
+{ $notes "User code should use the " { $link day-of-week } " word, which takes a " { $snippet "timestamp" } " instead of integers." } ;
+
+HELP: days-in-year
+{ $values { "obj" "a timestamp or an integer" } { "n" integer } }
+{ $description "Calculates the number of days in a given year." }
+{ $examples
+ { $example "USING: calendar prettyprint ;"
+ "2004 days-in-year ."
+ "366"
+ }
+} ;
+
+HELP: days-in-month
+{ $values { "timestamp" timestamp } { "n" integer } }
+{ $description "Calculates the number of days in a given month." }
+{ $examples
+ { $example "USING: calendar prettyprint ;"
+ "2008 8 24 <date> days-in-month ."
+ "31"
+ }
+} ;
+
+HELP: day-of-week
+{ $values { "timestamp" timestamp } { "n" integer } }
+{ $description "Calculates the index of the day of the week. Sunday will result in an index of 0." }
+{ $examples
+ { $example "USING: calendar prettyprint ;"
+ "now sunday day-of-week ."
+ "0"
+ }
+} ;
+
+HELP: day-of-year
+{ $values { "timestamp" timestamp } { "n" integer } }
+{ $description "Calculates the day of the year, resulting in a number from 1 to 366 (leap years)." }
+{ $examples
+ { $example "USING: calendar prettyprint ;"
+ "2008 1 4 <date> day-of-year ."
+ "4"
+ }
+} ;
+
+HELP: day-this-week
+{ $values { "timestamp" timestamp } { "n" integer } { "timestamp" timestamp } }
+{ $description "Implementation word to calculate the day of the week relative to the timestamp. Sunday is the first day of the week, so the resulting " { $snippet "timestamp" } " will be Sunday or after, and before Saturday." }
+{ $examples
+ { $example "USING: calendar kernel prettyprint ;"
+ "now 0 day-this-week now sunday = ."
+ "t"
+ }
+} ;
+
+HELP: sunday
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns the Sunday from the current week, which starts on a Sunday." } ;
+
+HELP: monday
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns the Monday from the current week, which starts on a Sunday." } ;
+
+HELP: tuesday
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns the Tuesday from the current week, which starts on a Sunday." } ;
+
+HELP: wednesday
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns the Wednesday from the current week, which starts on a Sunday." } ;
+
+HELP: thursday
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns the Thursday from the current week, which starts on a Sunday." } ;
+
+HELP: friday
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns the Friday from the current week, which starts on a Sunday." } ;
+
+HELP: saturday
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns the Saturday from the current week, which starts on a Sunday." } ;
+
+{ sunday monday tuesday wednesday thursday friday saturday } related-words
+
+HELP: midnight
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns a timestamp that represents today at midnight, or the beginning of the day." } ;
+
+HELP: noon
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Returns a timestamp that represents today at noon, or the middle of the day." } ;
+
+HELP: beginning-of-month
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Outputs a timestamp with the day set to one." } ;
+
+HELP: beginning-of-week
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Outputs a timestamp where the day of the week is Sunday." } ;
+
+HELP: beginning-of-year
+{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
+{ $description "Outputs a timestamp with the month and day set to one, or January 1 of the input timestamp." } ;
+
+HELP: time-since-midnight
+{ $values { "timestamp" timestamp } { "duration" duration } }
+{ $description "Calculates a " { $snippet "duration" } " that represents the elapsed time since midnight of the input " { $snippet "timestamp" } "." } ;
: unix-1970 ( -- timestamp )
1970 1 1 0 0 0 instant <timestamp> ;
-: millis>timestamp ( n -- timestamp )
+: millis>timestamp ( x -- timestamp )
>r unix-1970 r> milliseconds time+ ;
: timestamp>millis ( timestamp -- n )
: day-this-week ( timestamp n -- timestamp )
day-offset days time+ ;
-: sunday ( timestamp -- timestamp ) 0 day-this-week ;
-: monday ( timestamp -- timestamp ) 1 day-this-week ;
-: tuesday ( timestamp -- timestamp ) 2 day-this-week ;
-: wednesday ( timestamp -- timestamp ) 3 day-this-week ;
-: thursday ( timestamp -- timestamp ) 4 day-this-week ;
-: friday ( timestamp -- timestamp ) 5 day-this-week ;
-: saturday ( timestamp -- timestamp ) 6 day-this-week ;
+: sunday ( timestamp -- new-timestamp ) 0 day-this-week ;
+: monday ( timestamp -- new-timestamp ) 1 day-this-week ;
+: tuesday ( timestamp -- new-timestamp ) 2 day-this-week ;
+: wednesday ( timestamp -- new-timestamp ) 3 day-this-week ;
+: thursday ( timestamp -- new-timestamp ) 4 day-this-week ;
+: friday ( timestamp -- new-timestamp ) 5 day-this-week ;
+: saturday ( timestamp -- new-timestamp ) 6 day-this-week ;
: midnight ( timestamp -- new-timestamp )
clone 0 >>hour 0 >>minute 0 >>second ; inline
destructors ;
: buffer-set ( string buffer -- )
- over >byte-array over buffer-ptr byte-array>memory
+ over >byte-array over ptr>> byte-array>memory
>r length r> buffer-reset ;
: string>buffer ( string -- buffer )
: key-down-event>gesture ( event world -- string gesture )
dupd
- handle>> x11-handle-xic lookup-string
+ handle>> xic>> lookup-string
>r swap event-modifiers r> key-code <key-down> ;
M: world key-down-event
M: world focus-in-event
nip
- dup handle>> x11-handle-xic XSetICFocus focus-world ;
+ dup handle>> xic>> XSetICFocus focus-world ;
M: world focus-out-event
nip
- dup handle>> x11-handle-xic XUnsetICFocus unfocus-world ;
+ dup handle>> xic>> XUnsetICFocus unfocus-world ;
M: world selection-notify-event
- [ handle>> x11-handle-window selection-from-event ] keep
+ [ handle>> window>> selection-from-event ] keep
world-focus user-input ;
: supported-type? ( atom -- ? )
} cond ;
M: x11-ui-backend (close-window) ( handle -- )
- dup x11-handle-xic XDestroyIC
- dup x11-handle-glx destroy-glx
- x11-handle-window dup unregister-window
+ dup xic>> XDestroyIC
+ dup glx>> destroy-glx
+ window>> dup unregister-window
destroy-window ;
M: world client-event
: gadget-window ( world -- )
dup window-loc>> over rect-dim glx-window
over "Factor" create-xic <x11-handle>
- 2dup x11-handle-window register-window
+ 2dup window>> register-window
swap (>>handle) ;
: wait-event ( -- event )
: x-clipboard@ ( gadget clipboard -- prop win )
x-clipboard-atom swap
- find-world handle>> x11-handle-window ;
+ find-world handle>> window>> ;
M: x-clipboard copy-clipboard
[ x-clipboard@ own-selection ] keep
set-x-clipboard-contents ;
M: x-clipboard paste-clipboard
- >r find-world handle>> x11-handle-window
+ >r find-world handle>> window>>
r> x-clipboard-atom convert-selection ;
: init-clipboard ( -- )
r> utf8 encode dup length XChangeProperty drop ;
M: x11-ui-backend set-title ( string world -- )
- handle>> x11-handle-window swap dpy get -rot
+ handle>> window>> swap dpy get -rot
3dup set-title-old set-title-new ;
M: x11-ui-backend set-fullscreen* ( ? world -- )
- handle>> x11-handle-window "XClientMessageEvent" <c-object>
+ handle>> window>> "XClientMessageEvent" <c-object>
tuck set-XClientMessageEvent-window
swap _NET_WM_STATE_ADD _NET_WM_STATE_REMOVE ?
over set-XClientMessageEvent-data0
M: x11-ui-backend (open-window) ( world -- )
dup gadget-window
- handle>> x11-handle-window dup set-closable map-window ;
+ handle>> window>> dup set-closable map-window ;
M: x11-ui-backend raise-window* ( world -- )
handle>> [
- dpy get swap x11-handle-window XRaiseWindow drop
+ dpy get swap window>> XRaiseWindow drop
] when* ;
M: x11-ui-backend select-gl-context ( handle -- )
dpy get swap
- dup x11-handle-window swap x11-handle-glx glXMakeCurrent
+ dup window>> swap glx>> glXMakeCurrent
[ "Failed to set current GLX context" throw ] unless ;
M: x11-ui-backend flush-gl-context ( handle -- )
- dpy get swap x11-handle-window glXSwapBuffers ;
+ dpy get swap window>> glXSwapBuffers ;
M: x11-ui-backend ui ( -- )
[
! Copyright (C) 2007 Doug Coleman.
! See http://factorcode.org/license.txt for BSD license.
USING: alien alien.c-types kernel math windows windows.kernel32
-namespaces calendar calendar.backend ;
+namespaces calendar ;
IN: windows.time
: >64bit ( lo hi -- n )
TUPLE: unclosed < parsing-error tags ;
: <unclosed> ( -- unclosed )
unclosed parsing-error
- xml-stack get rest-slice [ first opener-name ] map >>tags ;
+ xml-stack get rest-slice [ first name>> ] map >>tags ;
M: unclosed summary ( obj -- str )
[
dup call-next-method write
! Parsing names
: version=1.0? ( -- ? )
- prolog-data get prolog-version "1.0" = ;
+ prolog-data get version>> "1.0" = ;
! version=1.0? is calculated once and passed around for efficiency
: (parse-entity) ( string -- )
dup entities at [ , ] [
- prolog-data get prolog-standalone
+ prolog-data get standalone>>
[ <no-entity> throw ] [
dup extra-entities get at
[ , ] [ <no-entity> throw ] ?if
+++ /dev/null
-! Copyright (C) 2007 Chris Double.\r
-! See http://factorcode.org/license.txt for BSD license.\r
-USING: help.markup help.syntax sequences strings cpu.8080.emulator ;\r
-IN: cpu.8080\r
-\r
-\r
-ARTICLE: { "cpu-8080" "cpu-8080" } "Intel 8080 CPU Emulator"\r
-"The cpu-8080 library provides an emulator for the Intel 8080 CPU"\r
-" instruction set. It is complete enough to emulate some 8080"\r
-" based arcade games." $nl \r
-"The emulated CPU can load 'ROM' files from disk using the "\r
-{ $link load-rom } " and " { $link load-rom* } " words. These expect "\r
-"the " { $link rom-root } " variable to be set to the path "\r
-"containing the ROM file's." ;\r
-\r
-ABOUT: { "cpu-8080" "cpu-8080" } \r
+++ /dev/null
-! Copyright (C) 2006 Chris Double.
-! See http://factorcode.org/license.txt for BSD license.
-!
-USING: cpu.8080.emulator tools.time ;
-IN: cpu.8080
-
-INSTRUCTION: NOP ; opcode 00 cycles 04
-INSTRUCTION: LD BC,nn ; opcode 01 cycles 10
-INSTRUCTION: LD (BC),A ; opcode 02 cycles 07
-INSTRUCTION: INC BC ; opcode 03 cycles 06
-INSTRUCTION: INC B ; opcode 04 cycles 05
-INSTRUCTION: DEC B ; opcode 05 cycles 05
-INSTRUCTION: LD B,n ; opcode 06 cycles 07
-INSTRUCTION: RLCA ; opcode 07 cycles 04
-! INSTRUCTION: NOP ; opcode 08 cycles 04
-INSTRUCTION: ADD HL,BC ; opcode 09 cycles 11
-INSTRUCTION: LD A,(BC) ; opcode 0A cycles 07
-INSTRUCTION: DEC BC ; opcode 0B cycles 06
-INSTRUCTION: INC C ; opcode 0C cycles 05
-INSTRUCTION: DEC C ; opcode 0D cycles 05
-INSTRUCTION: LD C,n ; opcode 0E cycles 07
-INSTRUCTION: RRCA ; opcode 0F cycles 04
-INSTRUCTION: LD DE,nn ; opcode 11 cycles 10
-INSTRUCTION: LD (DE),A ; opcode 12 cycles 07
-INSTRUCTION: INC DE ; opcode 13 cycles 06
-INSTRUCTION: INC D ; opcode 14 cycles 05
-INSTRUCTION: DEC D ; opcode 15 cycles 05
-INSTRUCTION: LD D,n ; opcode 16 cycles 07
-INSTRUCTION: RLA ; opcode 17 cycles 04
-INSTRUCTION: ADD HL,DE ; opcode 19 cycles 11
-INSTRUCTION: LD A,(DE) ; opcode 1A cycles 07
-INSTRUCTION: DEC DE ; opcode 1B cycles 06
-INSTRUCTION: INC E ; opcode 1C cycles 05
-INSTRUCTION: DEC E ; opcode 1D cycles 05
-INSTRUCTION: LD E,n ; opcode 1E cycles 07
-INSTRUCTION: RRA ; opcode 1F cycles 04
-INSTRUCTION: LD HL,nn ; opcode 21 cycles 10
-INSTRUCTION: LD (nn),HL ; opcode 22 cycles 16
-INSTRUCTION: INC HL ; opcode 23 cycles 06
-INSTRUCTION: INC H ; opcode 24 cycles 05
-INSTRUCTION: DEC H ; opcode 25 cycles 05
-INSTRUCTION: LD H,n ; opcode 26 cycles 07
-INSTRUCTION: DAA ; opcode 27 cycles 04
-INSTRUCTION: ADD HL,HL ; opcode 29 cycles 11
-INSTRUCTION: LD HL,(nn) ; opcode 2A cycles 16
-INSTRUCTION: DEC HL ; opcode 2B cycles 06
-INSTRUCTION: INC L ; opcode 2C cycles 05
-INSTRUCTION: DEC L ; opcode 2D cycles 05
-INSTRUCTION: LD L,n ; opcode 2E cycles 07
-INSTRUCTION: CPL ; opcode 2F cycles 04
-INSTRUCTION: LD SP,nn ; opcode 31 cycles 10
-INSTRUCTION: LD (nn),A ; opcode 32 cycles 13
-INSTRUCTION: INC SP ; opcode 33 cycles 06
-INSTRUCTION: INC (HL) ; opcode 34 cycles 10
-INSTRUCTION: DEC (HL) ; opcode 35 cycles 10
-INSTRUCTION: LD (HL),n ; opcode 36 cycles 10
-INSTRUCTION: SCF ; opcode 37 cycles 04
-INSTRUCTION: ADD HL,SP ; opcode 39 cycles 11
-INSTRUCTION: LD A,(nn) ; opcode 3A cycles 13
-INSTRUCTION: DEC SP ; opcode 3B cycles 06
-INSTRUCTION: INC A ; opcode 3C cycles 05
-INSTRUCTION: DEC A ; opcode 3D cycles 05
-INSTRUCTION: LD A,n ; opcode 3E cycles 07
-INSTRUCTION: CCF ; opcode 3F cycles 04
-INSTRUCTION: LD B,B ; opcode 40 cycles 05
-INSTRUCTION: LD B,C ; opcode 41 cycles 05
-INSTRUCTION: LD B,D ; opcode 42 cycles 05
-INSTRUCTION: LD B,E ; opcode 43 cycles 05
-INSTRUCTION: LD B,H ; opcode 44 cycles 05
-INSTRUCTION: LD B,L ; opcode 45 cycles 05
-INSTRUCTION: LD B,(HL) ; opcode 46 cycles 07
-INSTRUCTION: LD B,A ; opcode 47 cycles 05
-INSTRUCTION: LD C,B ; opcode 48 cycles 05
-INSTRUCTION: LD C,C ; opcode 49 cycles 05
-INSTRUCTION: LD C,D ; opcode 4A cycles 05
-INSTRUCTION: LD C,E ; opcode 4B cycles 05
-INSTRUCTION: LD C,H ; opcode 4C cycles 05
-INSTRUCTION: LD C,L ; opcode 4D cycles 05
-INSTRUCTION: LD C,(HL) ; opcode 4E cycles 07
-INSTRUCTION: LD C,A ; opcode 4F cycles 05
-INSTRUCTION: LD D,B ; opcode 50 cycles 05
-INSTRUCTION: LD D,C ; opcode 51 cycles 05
-INSTRUCTION: LD D,D ; opcode 52 cycles 05
-INSTRUCTION: LD D,E ; opcode 53 cycles 05
-INSTRUCTION: LD D,H ; opcode 54 cycles 05
-INSTRUCTION: LD D,L ; opcode 55 cycles 05
-INSTRUCTION: LD D,(HL) ; opcode 56 cycles 07
-INSTRUCTION: LD D,A ; opcode 57 cycles 05
-INSTRUCTION: LD E,B ; opcode 58 cycles 05
-INSTRUCTION: LD E,C ; opcode 59 cycles 05
-INSTRUCTION: LD E,D ; opcode 5A cycles 05
-INSTRUCTION: LD E,E ; opcode 5B cycles 05
-INSTRUCTION: LD E,H ; opcode 5C cycles 05
-INSTRUCTION: LD E,L ; opcode 5D cycles 05
-INSTRUCTION: LD E,(HL) ; opcode 5E cycles 07
-INSTRUCTION: LD E,A ; opcode 5F cycles 05
-INSTRUCTION: LD H,B ; opcode 60 cycles 05
-INSTRUCTION: LD H,C ; opcode 61 cycles 05
-INSTRUCTION: LD H,D ; opcode 62 cycles 05
-INSTRUCTION: LD H,E ; opcode 63 cycles 05
-INSTRUCTION: LD H,H ; opcode 64 cycles 05
-INSTRUCTION: LD H,L ; opcode 65 cycles 05
-INSTRUCTION: LD H,(HL) ; opcode 66 cycles 07
-INSTRUCTION: LD H,A ; opcode 67 cycles 05
-INSTRUCTION: LD L,B ; opcode 68 cycles 05
-INSTRUCTION: LD L,C ; opcode 69 cycles 05
-INSTRUCTION: LD L,D ; opcode 6A cycles 05
-INSTRUCTION: LD L,E ; opcode 6B cycles 05
-INSTRUCTION: LD L,H ; opcode 6C cycles 05
-INSTRUCTION: LD L,L ; opcode 6D cycles 05
-INSTRUCTION: LD L,(HL) ; opcode 6E cycles 07
-INSTRUCTION: LD L,A ; opcode 6F cycles 05
-INSTRUCTION: LD (HL),B ; opcode 70 cycles 07
-INSTRUCTION: LD (HL),C ; opcode 71 cycles 07
-INSTRUCTION: LD (HL),D ; opcode 72 cycles 07
-INSTRUCTION: LD (HL),E ; opcode 73 cycles 07
-INSTRUCTION: LD (HL),H ; opcode 74 cycles 07
-INSTRUCTION: LD (HL),L ; opcode 75 cycles 07
-INSTRUCTION: HALT ; opcode 76 cycles 07
-INSTRUCTION: LD (HL),A ; opcode 77 cycles 07
-INSTRUCTION: LD A,B ; opcode 78 cycles 05
-INSTRUCTION: LD A,C ; opcode 79 cycles 05
-INSTRUCTION: LD A,D ; opcode 7A cycles 05
-INSTRUCTION: LD A,E ; opcode 7B cycles 05
-INSTRUCTION: LD A,H ; opcode 7C cycles 05
-INSTRUCTION: LD A,L ; opcode 7D cycles 05
-INSTRUCTION: LD A,(HL) ; opcode 7E cycles 07
-INSTRUCTION: LD A,A ; opcode 7F cycles 05
-INSTRUCTION: ADD A,B ; opcode 80 cycles 04
-INSTRUCTION: ADD A,C ; opcode 81 cycles 04
-INSTRUCTION: ADD A,D ; opcode 82 cycles 04
-INSTRUCTION: ADD A,E ; opcode 83 cycles 04
-INSTRUCTION: ADD A,H ; opcode 84 cycles 04
-INSTRUCTION: ADD A,L ; opcode 85 cycles 04
-INSTRUCTION: ADD A,(HL) ; opcode 86 cycles 07
-INSTRUCTION: ADD A,A ; opcode 87 cycles 04
-INSTRUCTION: ADC A,B ; opcode 88 cycles 04
-INSTRUCTION: ADC A,C ; opcode 89 cycles 04
-INSTRUCTION: ADC A,D ; opcode 8A cycles 04
-INSTRUCTION: ADC A,E ; opcode 8B cycles 04
-INSTRUCTION: ADC A,H ; opcode 8C cycles 04
-INSTRUCTION: ADC A,L ; opcode 8D cycles 04
-INSTRUCTION: ADC A,(HL) ; opcode 8E cycles 07
-INSTRUCTION: ADC A,A ; opcode 8F cycles 04
-INSTRUCTION: SUB B ; opcode 90 cycles 04
-INSTRUCTION: SUB C ; opcode 91 cycles 04
-INSTRUCTION: SUB D ; opcode 92 cycles 04
-INSTRUCTION: SUB E ; opcode 93 cycles 04
-INSTRUCTION: SUB H ; opcode 94 cycles 04
-INSTRUCTION: SUB L ; opcode 95 cycles 04
-INSTRUCTION: SUB (HL) ; opcode 96 cycles 07
-INSTRUCTION: SUB A ; opcode 97 cycles 04
-INSTRUCTION: SBC A,B ; opcode 98 cycles 04
-INSTRUCTION: SBC A,C ; opcode 99 cycles 04
-INSTRUCTION: SBC A,D ; opcode 9A cycles 04
-INSTRUCTION: SBC A,E ; opcode 9B cycles 04
-INSTRUCTION: SBC A,H ; opcode 9C cycles 04
-INSTRUCTION: SBC A,L ; opcode 9D cycles 04
-INSTRUCTION: SBC A,(HL) ; opcode 9E cycles 07
-INSTRUCTION: SBC A,A ; opcode 9F cycles 04
-INSTRUCTION: AND B ; opcode A0 cycles 04
-INSTRUCTION: AND C ; opcode A1 cycles 04
-INSTRUCTION: AND D ; opcode A2 cycles 04
-INSTRUCTION: AND E ; opcode A3 cycles 04
-INSTRUCTION: AND H ; opcode A4 cycles 04
-INSTRUCTION: AND L ; opcode A5 cycles 04
-INSTRUCTION: AND (HL) ; opcode A6 cycles 07
-INSTRUCTION: AND A ; opcode A7 cycles 04
-INSTRUCTION: XOR B ; opcode A8 cycles 04
-INSTRUCTION: XOR C ; opcode A9 cycles 04
-INSTRUCTION: XOR D ; opcode AA cycles 04
-INSTRUCTION: XOR E ; opcode AB cycles 04
-INSTRUCTION: XOR H ; opcode AC cycles 04
-INSTRUCTION: XOR L ; opcode AD cycles 04
-INSTRUCTION: XOR (HL) ; opcode AE cycles 07
-INSTRUCTION: XOR A ; opcode AF cycles 04
-INSTRUCTION: OR B ; opcode B0 cycles 04
-INSTRUCTION: OR C ; opcode B1 cycles 04
-INSTRUCTION: OR D ; opcode B2 cycles 04
-INSTRUCTION: OR E ; opcode B3 cycles 04
-INSTRUCTION: OR H ; opcode B4 cycles 04
-INSTRUCTION: OR L ; opcode B5 cycles 04
-INSTRUCTION: OR (HL) ; opcode B6 cycles 07
-INSTRUCTION: OR A ; opcode B7 cycles 04
-INSTRUCTION: CP B ; opcode B8 cycles 04
-INSTRUCTION: CP C ; opcode B9 cycles 04
-INSTRUCTION: CP D ; opcode BA cycles 04
-INSTRUCTION: CP E ; opcode BB cycles 04
-INSTRUCTION: CP H ; opcode BC cycles 04
-INSTRUCTION: CP L ; opcode BD cycles 04
-INSTRUCTION: CP (HL) ; opcode BE cycles 07
-INSTRUCTION: CP A ; opcode BF cycles 04
-INSTRUCTION: RET NZ ; opcode C0 cycles 05
-INSTRUCTION: POP BC ; opcode C1 cycles 10
-INSTRUCTION: JP NZ,nn ; opcode C2 cycles 10
-INSTRUCTION: JP nn ; opcode C3 cycles 10
-INSTRUCTION: CALL NZ,nn ; opcode C4 cycles 11
-INSTRUCTION: PUSH BC ; opcode C5 cycles 11
-INSTRUCTION: ADD A,n ; opcode C6 cycles 07
-INSTRUCTION: RST 0 ; opcode C7 cycles 11
-INSTRUCTION: RET Z ; opcode C8 cycles 05
-INSTRUCTION: RET nn ; opcode C9 cycles 10
-INSTRUCTION: JP Z,nn ; opcode CA cycles 10
-INSTRUCTION: CALL Z,nn ; opcode CC cycles 11
-INSTRUCTION: CALL nn ; opcode CD cycles 17
-INSTRUCTION: ADC A,n ; opcode CE cycles 07
-INSTRUCTION: RST 8 ; opcode CF cycles 11
-INSTRUCTION: RET NC ; opcode D0 cycles 05
-INSTRUCTION: POP DE ; opcode D1 cycles 10
-INSTRUCTION: JP NC,nn ; opcode D2 cycles 10
-INSTRUCTION: OUT (n),A ; opcode D3 cycles 10
-INSTRUCTION: CALL NC,nn ; opcode D4 cycles 11
-INSTRUCTION: PUSH DE ; opcode D5 cycles 11
-INSTRUCTION: SUB n ; opcode D6 cycles 07
-INSTRUCTION: RST 10H ; opcode D7 cycles 11
-INSTRUCTION: RET C ; opcode D8 cycles 05
-INSTRUCTION: JP C,nn ; opcode DA cycles 10
-INSTRUCTION: IN A,(n) ; opcode DB cycles 10
-INSTRUCTION: CALL C,nn ; opcode DC cycles 11
-INSTRUCTION: SBC A,n ; opcode DE cycles 07
-INSTRUCTION: RST 18H ; opcode DF cycles 11
-INSTRUCTION: RET PO ; opcode E0 cycles 05
-INSTRUCTION: POP HL ; opcode E1 cycles 10
-INSTRUCTION: JP PO,nn ; opcode E2 cycles 10
-INSTRUCTION: EX (SP),HL ; opcode E3 cycles 04
-INSTRUCTION: CALL PO,nn ; opcode E4 cycles 11
-INSTRUCTION: PUSH HL ; opcode E5 cycles 11
-INSTRUCTION: AND n ; opcode E6 cycles 07
-INSTRUCTION: RST 20H ; opcode E7 cycles 11
-INSTRUCTION: RET PE ; opcode E8 cycles 05
-INSTRUCTION: JP (HL) ; opcode E9 cycles 04
-INSTRUCTION: JP PE,nn ; opcode EA cycles 10
-INSTRUCTION: EX DE,HL ; opcode EB cycles 04
-INSTRUCTION: CALL PE,nn ; opcode EC cycles 11
-INSTRUCTION: XOR n ; opcode EE cycles 07
-INSTRUCTION: RST 28H ; opcode EF cycles 11
-INSTRUCTION: RET P ; opcode F0 cycles 05
-INSTRUCTION: POP AF ; opcode F1 cycles 10
-INSTRUCTION: JP P,nn ; opcode F2 cycles 10
-INSTRUCTION: DI ; opcode F3 cycles 04
-INSTRUCTION: CALL P,nn ; opcode F4 cycles 11
-INSTRUCTION: PUSH AF ; opcode F5 cycles 11
-INSTRUCTION: OR n ; opcode F6 cycles 07
-INSTRUCTION: RST 30H ; opcode F7 cycles 11
-INSTRUCTION: RET M ; opcode F8 cycles 05
-INSTRUCTION: LD SP,HL ; opcode F9 cycles 06
-INSTRUCTION: JP M,nn ; opcode FA cycles 10
-INSTRUCTION: EI ; opcode FB cycles 04
-INSTRUCTION: CALL M,nn ; opcode FC cycles 11
-INSTRUCTION: CP n ; opcode FE cycles 07
-INSTRUCTION: RST 38H ; opcode FF cycles 11
+++ /dev/null
-Chris Double
+++ /dev/null
-Chris Double
+++ /dev/null
-! Copyright (C) 2007 Chris Double.\r
-! See http://factorcode.org/license.txt for BSD license.\r
-USING: help.markup help.syntax sequences strings ;\r
-IN: cpu.8080.emulator\r
-\r
-HELP: load-rom \r
-{ $values { "filename" string } { "cpu" cpu } }\r
-{ $description \r
-"Read the ROM file into the cpu's memory starting at address 0000. " \r
-"The filename is relative to the path stored in the " { $link rom-root }\r
-" variable. An exception is thrown if this variable is not set."\r
-}\r
-{ $see-also load-rom* } ;\r
-\r
-HELP: load-rom*\r
-{ $values { "seq" sequence } { "cpu" cpu } }\r
-{ $description \r
-"Loads one or more ROM files into the cpu's memory. Each file is "\r
-"loaded at a particular starting address. 'seq' is a sequence of "\r
-"2 element arrays. The first element is the address and the second "\r
-"element is the file to load at that address." $nl\r
-"The filenames are relative to the path stored in the " { $link rom-root }\r
-" variable. An exception is thrown if this variable is not set."\r
-}\r
-{ $examples\r
- { $code "{ { HEX: 0000 \"invaders.rom\" } } <cpu> load-rom*" }\r
-}\r
-{ $see-also load-rom } ;\r
-\r
-HELP: rom-root\r
-{ $description \r
-"Holds the path where the ROM files are stored. Used for expanding "\r
-"the relative filenames passed to " { $link load-rom } " and "\r
-{ $link load-rom* } "."\r
-}\r
-{ $see-also load-rom load-rom* } ;\r
+++ /dev/null
-! Copyright (C) 2006 Chris Double.
-! See http://factorcode.org/license.txt for BSD license.
-!
-USING: accessors kernel math sequences words arrays io io.files
-math.parser assocs quotations parser lexer
-peg peg.ebnf peg.parsers tools.time io.encodings.binary sequences.deep
-symbols combinators fry namespaces ;
-IN: cpu.8080.emulator
-
-TUPLE: cpu b c d e f h l a pc sp halted? last-interrupt cycles ram ;
-
-GENERIC: reset ( cpu -- )
-GENERIC: update-video ( value addr cpu -- )
-GENERIC: read-port ( port cpu -- byte )
-GENERIC: write-port ( value port cpu -- )
-
-M: cpu update-video ( value addr cpu -- )
- 3drop ;
-
-M: cpu read-port ( port cpu -- byte )
- #! Read a byte from the hardware port. 'port' should
- #! be an 8-bit value.
- 2drop 0 ;
-
-M: cpu write-port ( value port cpu -- )
- #! Write a byte to the hardware port, where 'port' is
- #! an 8-bit value.
- 3drop ;
-
-: carry-flag HEX: 01 ; inline
-: parity-flag HEX: 04 ; inline
-: half-carry-flag HEX: 10 ; inline
-: interrupt-flag HEX: 20 ; inline
-: zero-flag HEX: 40 ; inline
-: sign-flag HEX: 80 ; inline
-
-: >word< ( word -- byte byte )
- #! Explode a word into its two 8 bit values.
- dup HEX: FF bitand swap -8 shift HEX: FF bitand swap ;
-
-: cpu-af ( cpu -- word )
- #! Return the 16-bit pseudo register AF.
- [ cpu-a 8 shift ] keep cpu-f bitor ;
-
-: set-cpu-af ( value cpu -- )
- #! Set the value of the 16-bit pseudo register AF
- >r >word< r> tuck set-cpu-f set-cpu-a ;
-
-: cpu-bc ( cpu -- word )
- #! Return the 16-bit pseudo register BC.
- [ cpu-b 8 shift ] keep cpu-c bitor ;
-
-: set-cpu-bc ( value cpu -- )
- #! Set the value of the 16-bit pseudo register BC
- >r >word< r> tuck set-cpu-c set-cpu-b ;
-
-: cpu-de ( cpu -- word )
- #! Return the 16-bit pseudo register DE.
- [ cpu-d 8 shift ] keep cpu-e bitor ;
-
-: set-cpu-de ( value cpu -- )
- #! Set the value of the 16-bit pseudo register DE
- >r >word< r> tuck set-cpu-e set-cpu-d ;
-
-: cpu-hl ( cpu -- word )
- #! Return the 16-bit pseudo register HL.
- [ cpu-h 8 shift ] keep cpu-l bitor ;
-
-: set-cpu-hl ( value cpu -- )
- #! Set the value of the 16-bit pseudo register HL
- >r >word< r> tuck set-cpu-l set-cpu-h ;
-
-: flag-set? ( flag cpu -- bool )
- cpu-f bitand 0 = not ;
-
-: flag-clear? ( flag cpu -- bool )
- cpu-f bitand 0 = ;
-
-: flag-nz? ( cpu -- bool )
- #! Test flag status
- cpu-f zero-flag bitand 0 = ;
-
-: flag-z? ( cpu -- bool )
- #! Test flag status
- cpu-f zero-flag bitand 0 = not ;
-
-: flag-nc? ( cpu -- bool )
- #! Test flag status
- cpu-f carry-flag bitand 0 = ;
-
-: flag-c? ( cpu -- bool )
- #! Test flag status
- cpu-f carry-flag bitand 0 = not ;
-
-: flag-po? ( cpu -- bool )
- #! Test flag status
- cpu-f parity-flag bitand 0 = ;
-
-: flag-pe? ( cpu -- bool )
- #! Test flag status
- cpu-f parity-flag bitand 0 = not ;
-
-: flag-p? ( cpu -- bool )
- #! Test flag status
- cpu-f sign-flag bitand 0 = ;
-
-: flag-m? ( cpu -- bool )
- #! Test flag status
- cpu-f sign-flag bitand 0 = not ;
-
-: read-byte ( addr cpu -- byte )
- #! Read one byte from memory at the specified address.
- #! The address is 16-bit, but if a value greater than
- #! 0xFFFF is provided then return a default value.
- over HEX: FFFF <= [
- cpu-ram nth
- ] [
- 2drop HEX: FF
- ] if ;
-
-: read-word ( addr cpu -- word )
- #! Read a 16-bit word from memory at the specified address.
- #! The address is 16-bit, but if a value greater than
- #! 0xFFFF is provided then return a default value.
- [ read-byte ] 2keep >r 1 + r> read-byte 8 shift bitor ;
-
-: next-byte ( cpu -- byte )
- #! Return the value of the byte at PC, and increment PC.
- [ cpu-pc ] keep
- [ read-byte ] keep
- [ cpu-pc 1 + ] keep
- set-cpu-pc ;
-
-: next-word ( cpu -- word )
- #! Return the value of the word at PC, and increment PC.
- [ cpu-pc ] keep
- [ read-word ] keep
- [ cpu-pc 2 + ] keep
- set-cpu-pc ;
-
-
-: write-byte ( value addr cpu -- )
- #! Write a byte to the specified memory address.
- over dup HEX: 2000 < swap HEX: FFFF > or [
- 3drop
- ] [
- 3dup cpu-ram set-nth
- update-video
- ] if ;
-
-
-: write-word ( value addr cpu -- )
- #! Write a 16-bit word to the specified memory address.
- >r >r >word< r> r> [ write-byte ] 2keep >r 1 + r> write-byte ;
-
-: cpu-a-bitand ( quot cpu -- )
- #! A &= quot call
- [ cpu-a swap call bitand ] keep set-cpu-a ; inline
-
-: cpu-a-bitor ( quot cpu -- )
- #! A |= quot call
- [ cpu-a swap call bitor ] keep set-cpu-a ; inline
-
-: cpu-a-bitxor ( quot cpu -- )
- #! A ^= quot call
- [ cpu-a swap call bitxor ] keep set-cpu-a ; inline
-
-: cpu-a-bitxor= ( value cpu -- )
- #! cpu-a ^= value
- [ cpu-a bitxor ] keep set-cpu-a ;
-
-: cpu-f-bitand ( quot cpu -- )
- #! F &= quot call
- [ cpu-f swap call bitand ] keep set-cpu-f ; inline
-
-: cpu-f-bitor ( quot cpu -- )
- #! F |= quot call
- [ cpu-f swap call bitor ] keep set-cpu-f ; inline
-
-: cpu-f-bitxor ( quot cpu -- )
- #! F |= quot call
- [ cpu-f swap call bitxor ] keep set-cpu-f ; inline
-
-: cpu-f-bitor= ( value cpu -- )
- #! cpu-f |= value
- [ cpu-f bitor ] keep set-cpu-f ;
-
-: cpu-f-bitand= ( value cpu -- )
- #! cpu-f &= value
- [ cpu-f bitand ] keep set-cpu-f ;
-
-: cpu-f-bitxor= ( value cpu -- )
- #! cpu-f ^= value
- [ cpu-f bitxor ] keep set-cpu-f ;
-
-: set-flag ( cpu flag -- )
- swap cpu-f-bitor= ;
-
-: clear-flag ( cpu flag -- )
- bitnot HEX: FF bitand swap cpu-f-bitand= ;
-
-: update-zero-flag ( result cpu -- )
- #! If the result of an instruction has the value 0, this
- #! flag is set, otherwise it is reset.
- swap HEX: FF bitand 0 = [ zero-flag set-flag ] [ zero-flag clear-flag ] if ;
-
-: update-sign-flag ( result cpu -- )
- #! If the most significant bit of the result
- #! has the value 1 then the flag is set, otherwise
- #! it is reset.
- swap HEX: 80 bitand 0 = [ sign-flag clear-flag ] [ sign-flag set-flag ] if ;
-
-: update-parity-flag ( result cpu -- )
- #! If the modulo 2 sum of the bits of the result
- #! is 0, (ie. if the result has even parity) this flag
- #! is set, otherwise it is reset.
- swap HEX: FF bitand 2 mod 0 = [ parity-flag set-flag ] [ parity-flag clear-flag ] if ;
-
-: update-carry-flag ( result cpu -- )
- #! If the instruction resulted in a carry (from addition)
- #! or a borrow (from subtraction or a comparison) out of the
- #! higher order bit, this flag is set, otherwise it is reset.
- swap dup HEX: 100 >= swap 0 < or [ carry-flag set-flag ] [ carry-flag clear-flag ] if ;
-
-: update-half-carry-flag ( original change-by result cpu -- )
- #! If the instruction caused a carry out of bit 3 and into bit 4 of the
- #! resulting value, the half carry flag is set, otherwise it is reset.
- #! The 'original' is the original value of the register being changed.
- #! 'change-by' is the amount it is being added or decremented by.
- #! 'result' is the result of that change.
- >r bitxor bitxor HEX: 10 bitand 0 = not r>
- swap [ half-carry-flag set-flag ] [ half-carry-flag clear-flag ] if ;
-
-: update-flags ( result cpu -- )
- 2dup update-carry-flag
- 2dup update-parity-flag
- 2dup update-sign-flag
- update-zero-flag ;
-
-: update-flags-no-carry ( result cpu -- )
- 2dup update-parity-flag
- 2dup update-sign-flag
- update-zero-flag ;
-
-: add-byte ( lhs rhs cpu -- result )
- #! Add rhs to lhs
- >r 2dup + r> ! lhs rhs result cpu
- [ update-flags ] 2keep
- [ update-half-carry-flag ] 2keep
- drop HEX: FF bitand ;
-
-: add-carry ( change-by result cpu -- change-by result )
- #! Add the effect of the carry flag to the result
- flag-c? [ 1 + >r 1 + r> ] when ;
-
-: add-byte-with-carry ( lhs rhs cpu -- result )
- #! Add rhs to lhs plus carry.
- >r 2dup + r> ! lhs rhs result cpu
- [ add-carry ] keep
- [ update-flags ] 2keep
- [ update-half-carry-flag ] 2keep
- drop HEX: FF bitand ;
-
-: sub-carry ( change-by result cpu -- change-by result )
- #! Subtract the effect of the carry flag from the result
- flag-c? [ 1 - >r 1 - r> ] when ;
-
-: sub-byte ( lhs rhs cpu -- result )
- #! Subtract rhs from lhs
- >r 2dup - r>
- [ update-flags ] 2keep
- [ update-half-carry-flag ] 2keep
- drop HEX: FF bitand ;
-
-: sub-byte-with-carry ( lhs rhs cpu -- result )
- #! Subtract rhs from lhs and take carry into account
- >r 2dup - r>
- [ sub-carry ] keep
- [ update-flags ] 2keep
- [ update-half-carry-flag ] 2keep
- drop HEX: FF bitand ;
-
-: inc-byte ( byte cpu -- result )
- #! Increment byte by one. Note that carry flag is not affected
- #! by this operation.
- >r 1 2dup + r> ! lhs rhs result cpu
- [ update-flags-no-carry ] 2keep
- [ update-half-carry-flag ] 2keep
- drop HEX: FF bitand ;
-
-: dec-byte ( byte cpu -- result )
- #! Decrement byte by one. Note that carry flag is not affected
- #! by this operation.
- >r 1 2dup - r> ! lhs rhs result cpu
- [ update-flags-no-carry ] 2keep
- [ update-half-carry-flag ] 2keep
- drop HEX: FF bitand ;
-
-: inc-word ( w cpu -- w )
- #! Increment word by one. Note that no flags are modified.
- drop 1 + HEX: FFFF bitand ;
-
-: dec-word ( w cpu -- w )
- #! Decrement word by one. Note that no flags are modified.
- drop 1 - HEX: FFFF bitand ;
-
-: add-word ( lhs rhs cpu -- result )
- #! Add rhs to lhs. Note that only the carry flag is modified
- #! and only if there is a carry out of the double precision add.
- >r + r> over HEX: FFFF > [ carry-flag set-flag ] [ drop ] if HEX: FFFF bitand ;
-
-: bit3or ( lhs rhs -- 0|1 )
- #! bitor bit 3 of the two numbers on the stack
- BIN: 00001000 bitand -3 shift >r
- BIN: 00001000 bitand -3 shift r>
- bitor ;
-
-: and-byte ( lhs rhs cpu -- result )
- #! Logically and rhs to lhs. The carry flag is cleared and
- #! the half carry is set to the ORing of bits 3 of the operands.
- [ drop bit3or ] 3keep ! bit3or lhs rhs cpu
- >r bitand r> [ update-flags ] 2keep
- [ carry-flag clear-flag ] keep
- rot 0 = [ half-carry-flag set-flag ] [ half-carry-flag clear-flag ] if
- HEX: FF bitand ;
-
-: xor-byte ( lhs rhs cpu -- result )
- #! Logically xor rhs to lhs. The carry and half-carry flags are cleared.
- >r bitxor r> [ update-flags ] 2keep
- [ half-carry-flag carry-flag bitor clear-flag ] keep
- drop HEX: FF bitand ;
-
-: or-byte ( lhs rhs cpu -- result )
- #! Logically or rhs to lhs. The carry and half-carry flags are cleared.
- >r bitor r> [ update-flags ] 2keep
- [ half-carry-flag carry-flag bitor clear-flag ] keep
- drop HEX: FF bitand ;
-
-: flags ( seq -- seq )
- [ 0 [ execute bitor ] reduce ] map ;
-
-: decrement-sp ( n cpu -- )
- #! Decrement the stackpointer by n.
- [ cpu-sp ] keep
- >r swap - r> set-cpu-sp ;
-
-: save-pc ( cpu -- )
- #! Save the value of the PC on the stack.
- [ cpu-pc ] keep ! pc cpu
- [ cpu-sp ] keep ! pc sp cpu
- write-word ;
-
-: push-pc ( cpu -- )
- #! Push the value of the PC on the stack.
- 2 over decrement-sp
- save-pc ;
-
-: pop-pc ( cpu -- pc )
- #! Pop the value of the PC off the stack.
- [ cpu-sp ] keep
- [ read-word ] keep
- -2 swap decrement-sp ;
-
-: push-sp ( value cpu -- )
- [ 2 swap decrement-sp ] keep
- [ cpu-sp ] keep
- write-word ;
-
-: pop-sp ( cpu -- value )
- [ cpu-sp ] keep
- [ read-word ] keep
- -2 swap decrement-sp ;
-
-: call-sub ( addr cpu -- )
- #! Call the address as a subroutine.
- dup push-pc
- >r HEX: FFFF bitand r> set-cpu-pc ;
-
-: ret-from-sub ( cpu -- )
- [ pop-pc ] keep set-cpu-pc ;
-
-: interrupt ( number cpu -- )
- #! Perform a hardware interrupt
-! "***Interrupt: " write over 16 >base print
- dup cpu-f interrupt-flag bitand 0 = not [
- dup push-pc
- set-cpu-pc
- ] [
- 2drop
- ] if ;
-
-: inc-cycles ( n cpu -- )
- #! Increment the number of cpu cycles
- [ cpu-cycles + ] keep set-cpu-cycles ;
-
-: instruction-cycles ( -- vector )
- #! Return a 256 element vector containing the cycles for
- #! each opcode in the 8080 instruction set.
- << 256 f <array> parsed >> ;
-
-: not-implemented ( <cpu> -- )
- drop ;
-
-: instructions ( -- vector )
- #! Return a 256 element vector containing the emulation words for
- #! each opcode in the 8080 instruction set.
- << 256 [ [ not-implemented ] 2array ] map parsed >> ; inline
-
-: set-instruction ( quot n -- )
- tuck >r 2array r> instructions set-nth ;
-
-M: cpu reset ( cpu -- )
- #! Reset the CPU to its poweron state
- [ 0 swap set-cpu-b ] keep
- [ 0 swap set-cpu-c ] keep
- [ 0 swap set-cpu-d ] keep
- [ 0 swap set-cpu-e ] keep
- [ 0 swap set-cpu-h ] keep
- [ 0 swap set-cpu-l ] keep
- [ 0 swap set-cpu-a ] keep
- [ 0 swap set-cpu-f ] keep
- [ 0 swap set-cpu-pc ] keep
- [ HEX: F000 swap set-cpu-sp ] keep
- [ HEX: FFFF 0 <array> swap set-cpu-ram ] keep
- [ f swap set-cpu-halted? ] keep
- [ HEX: 10 swap set-cpu-last-interrupt ] keep
- 0 swap set-cpu-cycles ;
-
-: <cpu> ( -- cpu ) cpu new dup reset ;
-
-: (load-rom) ( n ram -- )
- read1 [ ! n ram ch
- -rot [ set-nth ] 2keep >r 1 + r> (load-rom)
- ] [
- 2drop
- ] if* ;
-
- #! Reads the ROM from stdin and stores it in ROM from
- #! offset n.
-: load-rom ( filename cpu -- )
- #! Load the contents of the file into ROM.
- #! (address 0x0000-0x1FFF).
- cpu-ram swap binary [
- 0 swap (load-rom)
- ] with-file-reader ;
-
-SYMBOL: rom-root
-
-: rom-dir ( -- string )
- rom-root get [ home "roms" append-path dup exists? [ drop f ] unless ] unless* ;
-
-: load-rom* ( seq cpu -- )
- #! 'seq' is an array of arrays. Each array contains
- #! an address and filename of a ROM file. The ROM
- #! file will be loaded at the specified address. This
- #! file path shoul dbe relative to the '/roms' resource path.
- rom-dir [
- cpu-ram [
- swap first2 rom-dir prepend-path binary [
- swap (load-rom)
- ] with-file-reader
- ] curry each
- ] [
- !
- ! the ROM files.
- "Set 'rom-root' to the path containing the root of the 8080 ROM files." throw
- ] if ;
-
-: read-instruction ( cpu -- word )
- #! Read the next instruction from the cpu's program
- #! counter, and increment the program counter.
- [ cpu-pc ] keep ! pc cpu
- [ over 1 + swap set-cpu-pc ] keep
- read-byte ;
-
-: get-cycles ( n -- opcode )
- #! Returns the cycles for the given instruction value.
- #! If the opcode is not defined throw an error.
- dup instruction-cycles nth [
- nip
- ] [
- [ "Undefined 8080 opcode: " % number>string % ] "" make throw
- ] if* ;
-
-: process-interrupts ( cpu -- )
- #! Process any hardware interrupts
- [ cpu-cycles ] keep
- over 16667 < [
- 2drop
- ] [
- [ >r 16667 - r> set-cpu-cycles ] keep
- dup cpu-last-interrupt HEX: 10 = [
- HEX: 08 over set-cpu-last-interrupt HEX: 08 swap interrupt
- ] [
- HEX: 10 over set-cpu-last-interrupt HEX: 10 swap interrupt
- ] if
- ] if ;
-
-: peek-instruction ( cpu -- word )
- #! Return the next instruction from the cpu's program
- #! counter, but don't increment the counter.
- [ cpu-pc ] keep read-byte instructions nth first ;
-
-: cpu. ( cpu -- )
- [ " PC: " write cpu-pc 16 >base 4 CHAR: \s pad-left write ] keep
- [ " B: " write cpu-b 16 >base 2 CHAR: \s pad-left write ] keep
- [ " C: " write cpu-c 16 >base 2 CHAR: \s pad-left write ] keep
- [ " D: " write cpu-d 16 >base 2 CHAR: \s pad-left write ] keep
- [ " E: " write cpu-e 16 >base 2 CHAR: \s pad-left write ] keep
- [ " F: " write cpu-f 16 >base 2 CHAR: \s pad-left write ] keep
- [ " H: " write cpu-h 16 >base 2 CHAR: \s pad-left write ] keep
- [ " L: " write cpu-l 16 >base 2 CHAR: \s pad-left write ] keep
- [ " A: " write cpu-a 16 >base 2 CHAR: \s pad-left write ] keep
- [ " SP: " write cpu-sp 16 >base 4 CHAR: \s pad-left write ] keep
- [ " cycles: " write cpu-cycles number>string 5 CHAR: \s pad-left write ] keep
- [ " " write peek-instruction name>> write " " write ] keep
- nl drop ;
-
-: cpu*. ( cpu -- )
- [ " PC: " write cpu-pc 16 >base 4 CHAR: \s pad-left write ] keep
- [ " B: " write cpu-b 16 >base 2 CHAR: \s pad-left write ] keep
- [ " C: " write cpu-c 16 >base 2 CHAR: \s pad-left write ] keep
- [ " D: " write cpu-d 16 >base 2 CHAR: \s pad-left write ] keep
- [ " E: " write cpu-e 16 >base 2 CHAR: \s pad-left write ] keep
- [ " F: " write cpu-f 16 >base 2 CHAR: \s pad-left write ] keep
- [ " H: " write cpu-h 16 >base 2 CHAR: \s pad-left write ] keep
- [ " L: " write cpu-l 16 >base 2 CHAR: \s pad-left write ] keep
- [ " A: " write cpu-a 16 >base 2 CHAR: \s pad-left write ] keep
- [ " SP: " write cpu-sp 16 >base 4 CHAR: \s pad-left write ] keep
- [ " cycles: " write cpu-cycles number>string 5 CHAR: \s pad-left write ] keep
- nl drop ;
-
-: register-lookup ( string -- vector )
- #! Given a string containing a register name, return a vector
- #! where the 1st item is the getter and the 2nd is the setter
- #! for that register.
- H{
- { "A" { cpu-a set-cpu-a } }
- { "B" { cpu-b set-cpu-b } }
- { "C" { cpu-c set-cpu-c } }
- { "D" { cpu-d set-cpu-d } }
- { "E" { cpu-e set-cpu-e } }
- { "H" { cpu-h set-cpu-h } }
- { "L" { cpu-l set-cpu-l } }
- { "AF" { cpu-af set-cpu-af } }
- { "BC" { cpu-bc set-cpu-bc } }
- { "DE" { cpu-de set-cpu-de } }
- { "HL" { cpu-hl set-cpu-hl } }
- { "SP" { cpu-sp set-cpu-sp } }
- } at ;
-
-
-: flag-lookup ( string -- vector )
- #! Given a string containing a flag name, return a vector
- #! where the 1st item is a word that tests that flag.
- H{
- { "NZ" { flag-nz? } }
- { "NC" { flag-nc? } }
- { "PO" { flag-po? } }
- { "PE" { flag-pe? } }
- { "Z" { flag-z? } }
- { "C" { flag-c? } }
- { "P" { flag-p? } }
- { "M" { flag-m? } }
- } at ;
-
-SYMBOLS: $1 $2 $3 $4 ;
-
-: replace-patterns ( vector tree -- tree )
- [
- {
- { $1 [ first ] }
- { $2 [ second ] }
- { $3 [ third ] }
- { $4 [ fourth ] }
- [ nip ]
- } case
- ] with deep-map ;
-
-: (emulate-RST) ( n cpu -- )
- #! RST nn
- [ cpu-sp 2 - dup ] keep ! sp sp cpu
- [ set-cpu-sp ] keep ! sp cpu
- [ cpu-pc ] keep ! sp pc cpu
- swapd [ write-word ] keep ! cpu
- >r 8 * r> set-cpu-pc ;
-
-: (emulate-CALL) ( cpu -- )
- #! 205 - CALL nn
- [ next-word HEX: FFFF bitand ] keep ! addr cpu
- [ cpu-sp 2 - dup ] keep ! addr sp sp cpu
- [ set-cpu-sp ] keep ! addr sp cpu
- [ cpu-pc ] keep ! addr sp pc cpu
- swapd [ write-word ] keep ! addr cpu
- set-cpu-pc ;
-
-: (emulate-RLCA) ( cpu -- )
- #! The content of the accumulator is rotated left
- #! one position. The low order bit and the carry flag
- #! are both set to the value shifd out of the high
- #! order bit position. Only the carry flag is affected.
- [ cpu-a -7 shift ] keep
- over 0 = [ dup carry-flag clear-flag ] [ dup carry-flag set-flag ] if
- [ cpu-a 1 shift HEX: FF bitand ] keep
- >r bitor r> set-cpu-a ;
-
-: (emulate-RRCA) ( cpu -- )
- #! The content of the accumulator is rotated right
- #! one position. The high order bit and the carry flag
- #! are both set to the value shifd out of the low
- #! order bit position. Only the carry flag is affected.
- [ cpu-a 1 bitand 7 shift ] keep
- over 0 = [ dup carry-flag clear-flag ] [ dup carry-flag set-flag ] if
- [ cpu-a 254 bitand -1 shift ] keep
- >r bitor r> set-cpu-a ;
-
-: (emulate-RLA) ( cpu -- )
- #! The content of the accumulator is rotated left
- #! one position through the carry flag. The low
- #! order bit is set equal to the carry flag and
- #! the carry flag is set to the value shifd out
- #! of the high order bit. Only the carry flag is
- #! affected.
- [ carry-flag swap flag-set? [ 1 ] [ 0 ] if ] keep
- [ cpu-a 127 bitand 7 shift ] keep
- dup cpu-a 128 bitand 0 = [ dup carry-flag clear-flag ] [ dup carry-flag set-flag ] if
- >r bitor r> set-cpu-a ;
-
-: (emulate-RRA) ( cpu -- )
- #! The content of the accumulator is rotated right
- #! one position through the carry flag. The high order
- #! bit is set to the carry flag and the carry flag is
- #! set to the value shifd out of the low order bit.
- #! Only the carry flag is affected.
- [ carry-flag swap flag-set? [ BIN: 10000000 ] [ 0 ] if ] keep
- [ cpu-a 254 bitand -1 shift ] keep
- dup cpu-a 1 bitand 0 = [ dup carry-flag clear-flag ] [ dup carry-flag set-flag ] if
- >r bitor r> set-cpu-a ;
-
-: (emulate-CPL) ( cpu -- )
- #! The contents of the accumulator are complemented
- #! (zero bits become one, one bits becomes zero).
- #! No flags are affected.
- HEX: FF swap cpu-a-bitxor= ;
-
-: (emulate-DAA) ( cpu -- )
- #! The eight bit number in the accumulator is
- #! adjusted to form two four-bit binary-coded-decimal
- #! digits.
- [
- dup half-carry-flag swap flag-set? swap
- cpu-a BIN: 1111 bitand 9 > or [ 6 ] [ 0 ] if
- ] keep
- [ cpu-a + ] keep
- [ update-flags ] 2keep
- [ swap HEX: FF bitand swap set-cpu-a ] keep
- [
- dup carry-flag swap flag-set? swap
- cpu-a -4 shift BIN: 1111 bitand 9 > or [ 96 ] [ 0 ] if
- ] keep
- [ cpu-a + ] keep
- [ update-flags ] 2keep
- swap HEX: FF bitand swap set-cpu-a ;
-
-: patterns ( -- hashtable )
- #! table of code quotation patterns for each type of instruction.
- H{
- { "NOP" [ drop ] }
- { "RET-NN" [ ret-from-sub ] }
- { "RST-0" [ 0 swap (emulate-RST) ] }
- { "RST-8" [ 8 swap (emulate-RST) ] }
- { "RST-10H" [ HEX: 10 swap (emulate-RST) ] }
- { "RST-18H" [ HEX: 18 swap (emulate-RST) ] }
- { "RST-20H" [ HEX: 20 swap (emulate-RST) ] }
- { "RST-28H" [ HEX: 28 swap (emulate-RST) ] }
- { "RST-30H" [ HEX: 30 swap (emulate-RST) ] }
- { "RST-38H" [ HEX: 38 swap (emulate-RST) ] }
- { "RET-F|FF" [ dup $1 [ 6 over inc-cycles ret-from-sub ] [ drop ] if ] }
- { "CP-N" [ [ cpu-a ] keep [ next-byte ] keep sub-byte drop ] }
- { "CP-R" [ [ cpu-a ] keep [ $1 ] keep sub-byte drop ] }
- { "CP-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep sub-byte drop ] }
- { "OR-N" [ [ cpu-a ] keep [ next-byte ] keep [ or-byte ] keep set-cpu-a ] }
- { "OR-R" [ [ cpu-a ] keep [ $1 ] keep [ or-byte ] keep set-cpu-a ] }
- { "OR-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep [ or-byte ] keep set-cpu-a ] }
- { "XOR-N" [ [ cpu-a ] keep [ next-byte ] keep [ xor-byte ] keep set-cpu-a ] }
- { "XOR-R" [ [ cpu-a ] keep [ $1 ] keep [ xor-byte ] keep set-cpu-a ] }
- { "XOR-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep [ xor-byte ] keep set-cpu-a ] }
- { "AND-N" [ [ cpu-a ] keep [ next-byte ] keep [ and-byte ] keep set-cpu-a ] }
- { "AND-R" [ [ cpu-a ] keep [ $1 ] keep [ and-byte ] keep set-cpu-a ] }
- { "AND-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep [ and-byte ] keep set-cpu-a ] }
- { "ADC-R,N" [ [ $1 ] keep [ next-byte ] keep [ add-byte-with-carry ] keep $2 ] }
- { "ADC-R,R" [ [ $1 ] keep [ $3 ] keep [ add-byte-with-carry ] keep $2 ] }
- { "ADC-R,(RR)" [ [ $1 ] keep [ $3 ] keep [ read-byte ] keep [ add-byte-with-carry ] keep $2 ] }
- { "ADD-R,N" [ [ $1 ] keep [ next-byte ] keep [ add-byte ] keep $2 ] }
- { "ADD-R,R" [ [ $1 ] keep [ $3 ] keep [ add-byte ] keep $2 ] }
- { "ADD-RR,RR" [ [ $1 ] keep [ $3 ] keep [ add-word ] keep $2 ] }
- { "ADD-R,(RR)" [ [ $1 ] keep [ $3 ] keep [ read-byte ] keep [ add-byte ] keep $2 ] }
- { "SBC-R,N" [ [ $1 ] keep [ next-byte ] keep [ sub-byte-with-carry ] keep $2 ] }
- { "SBC-R,R" [ [ $1 ] keep [ $3 ] keep [ sub-byte-with-carry ] keep $2 ] }
- { "SBC-R,(RR)" [ [ $1 ] keep [ $3 ] keep [ read-byte ] keep [ sub-byte-with-carry ] keep $2 ] }
- { "SUB-R" [ [ cpu-a ] keep [ $1 ] keep [ sub-byte ] keep set-cpu-a ] }
- { "SUB-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep [ sub-byte ] keep set-cpu-a ] }
- { "SUB-N" [ [ cpu-a ] keep [ next-byte ] keep [ sub-byte ] keep set-cpu-a ] }
- { "CPL" [ (emulate-CPL) ] }
- { "DAA" [ (emulate-DAA) ] }
- { "RLA" [ (emulate-RLA) ] }
- { "RRA" [ (emulate-RRA) ] }
- { "CCF" [ carry-flag swap cpu-f-bitxor= ] }
- { "SCF" [ carry-flag swap cpu-f-bitor= ] }
- { "RLCA" [ (emulate-RLCA) ] }
- { "RRCA" [ (emulate-RRCA) ] }
- { "HALT" [ drop ] }
- { "DI" [ [ 255 interrupt-flag - ] swap cpu-f-bitand ] }
- { "EI" [ [ interrupt-flag ] swap cpu-f-bitor ] }
- { "POP-RR" [ [ pop-sp ] keep $2 ] }
- { "PUSH-RR" [ [ $1 ] keep push-sp ] }
- { "INC-R" [ [ $1 ] keep [ inc-byte ] keep $2 ] }
- { "DEC-R" [ [ $1 ] keep [ dec-byte ] keep $2 ] }
- { "INC-RR" [ [ $1 ] keep [ inc-word ] keep $2 ] }
- { "DEC-RR" [ [ $1 ] keep [ dec-word ] keep $2 ] }
- { "DEC-(RR)" [ [ $1 ] keep [ read-byte ] keep [ dec-byte ] keep [ $1 ] keep write-byte ] }
- { "INC-(RR)" [ [ $1 ] keep [ read-byte ] keep [ inc-byte ] keep [ $1 ] keep write-byte ] }
- { "JP-NN" [ [ cpu-pc ] keep [ read-word ] keep set-cpu-pc ] }
- { "JP-F|FF,NN" [ [ $1 ] keep swap [ [ next-word ] keep [ set-cpu-pc ] keep [ cpu-cycles ] keep swap 5 + swap set-cpu-cycles ] [ [ cpu-pc 2 + ] keep set-cpu-pc ] if ] }
- { "JP-(RR)" [ [ $1 ] keep set-cpu-pc ] }
- { "CALL-NN" [ (emulate-CALL) ] }
- { "CALL-F|FF,NN" [ [ $1 ] keep swap [ 7 over inc-cycles (emulate-CALL) ] [ [ cpu-pc 2 + ] keep set-cpu-pc ] if ] }
- { "LD-RR,NN" [ [ next-word ] keep $2 ] }
- { "LD-RR,RR" [ [ $3 ] keep $2 ] }
- { "LD-R,N" [ [ next-byte ] keep $2 ] }
- { "LD-(RR),N" [ [ next-byte ] keep [ $1 ] keep write-byte ] }
- { "LD-(RR),R" [ [ $3 ] keep [ $1 ] keep write-byte ] }
- { "LD-R,R" [ [ $3 ] keep $2 ] }
- { "LD-R,(RR)" [ [ $3 ] keep [ read-byte ] keep $2 ] }
- { "LD-(NN),RR" [ [ $1 ] keep [ next-word ] keep write-word ] }
- { "LD-(NN),R" [ [ $1 ] keep [ next-word ] keep write-byte ] }
- { "LD-RR,(NN)" [ [ next-word ] keep [ read-word ] keep $2 ] }
- { "LD-R,(NN)" [ [ next-word ] keep [ read-byte ] keep $2 ] }
- { "OUT-(N),R" [ [ $1 ] keep [ next-byte ] keep write-port ] }
- { "IN-R,(N)" [ [ next-byte ] keep [ read-port ] keep set-cpu-a ] }
- { "EX-(RR),RR" [ [ $1 ] keep [ read-word ] keep [ $3 ] keep [ $1 ] keep [ write-word ] keep $4 ] }
- { "EX-RR,RR" [ [ $1 ] keep [ $3 ] keep [ $2 ] keep $4 ] }
- } ;
-
-: 8-bit-registers ( -- parser )
- #! A parser for 8-bit registers. On a successfull parse the
- #! parse tree contains a vector. The first item in the vector
- #! is the getter word for that register with stack effect
- #! ( cpu -- value ). The second item is the setter word with
- #! stack effect ( value cpu -- ).
- <EBNF
- main=("A" | "B" | "C" | "D" | "E" | "H" | "L") => [[ register-lookup ]]
- EBNF> ;
-
-: all-flags ( -- parser )
- #! A parser for 16-bit flags.
- <EBNF
- main=("NZ" | "NC" | "PO" | "PE" | "Z" | "C" | "P" | "M") => [[ flag-lookup ]]
- EBNF> ;
-
-: 16-bit-registers ( -- parser )
- #! A parser for 16-bit registers. On a successfull parse the
- #! parse tree contains a vector. The first item in the vector
- #! is the getter word for that register with stack effect
- #! ( cpu -- value ). The second item is the setter word with
- #! stack effect ( value cpu -- ).
- <EBNF
- main=("AF" | "BC" | "DE" | "HL" | "SP") => [[ register-lookup ]]
- EBNF> ;
-
-: all-registers ( -- parser )
- #! Return a parser that can parse the format
- #! for 8 bit or 16 bit registers.
- [ 16-bit-registers , 8-bit-registers , ] choice* ;
-
-: indirect ( parser -- parser )
- #! Given a parser, return a parser which parses the original
- #! wrapped in brackets, representing an indirect reference.
- #! eg. BC -> (BC). The value of the original parser is left in
- #! the parse tree.
- "(" ")" surrounded-by ;
-
-: generate-instruction ( vector string -- quot )
- #! Generate the quotation for an instruction, given the instruction in
- #! the 'string' and a vector containing the arguments for that instruction.
- patterns at replace-patterns ;
-
-: simple-instruction ( token -- parser )
- #! Return a parser for then instruction identified by the token.
- #! The parser return parses the token only and expects no additional
- #! arguments to the instruction.
- token [ '[ { } , generate-instruction ] ] action ;
-
-: complex-instruction ( type token -- parser )
- #! Return a parser for an instruction identified by the token.
- #! The instruction is expected to take additional arguments by
- #! being combined with other parsers. Then 'type' is used for a lookup
- #! in a pattern hashtable to return the instruction quotation pattern.
- token swap [ nip '[ , generate-instruction ] ] curry action ;
-
-: no-params ( ast -- ast )
- first { } swap curry ;
-
-: one-param ( ast -- ast )
- first2 swap curry ;
-
-: two-params ( ast -- ast )
- first3 append swap curry ;
-
-: NOP-instruction ( -- parser )
- "NOP" simple-instruction ;
-
-: RET-NN-instruction ( -- parser )
- [
- "RET-NN" "RET" complex-instruction ,
- "nn" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: RST-0-instruction ( -- parser )
- [
- "RST-0" "RST" complex-instruction ,
- "0" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: RST-8-instruction ( -- parser )
- [
- "RST-8" "RST" complex-instruction ,
- "8" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: RST-10H-instruction ( -- parser )
- [
- "RST-10H" "RST" complex-instruction ,
- "10H" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: RST-18H-instruction ( -- parser )
- [
- "RST-18H" "RST" complex-instruction ,
- "18H" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: RST-20H-instruction ( -- parser )
- [
- "RST-20H" "RST" complex-instruction ,
- "20H" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: RST-28H-instruction ( -- parser )
- [
- "RST-28H" "RST" complex-instruction ,
- "28H" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: RST-30H-instruction ( -- parser )
- [
- "RST-30H" "RST" complex-instruction ,
- "30H" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: RST-38H-instruction ( -- parser )
- [
- "RST-38H" "RST" complex-instruction ,
- "38H" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: JP-NN-instruction ( -- parser )
- [
- "JP-NN" "JP" complex-instruction ,
- "nn" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: JP-F|FF,NN-instruction ( -- parser )
- [
- "JP-F|FF,NN" "JP" complex-instruction ,
- all-flags sp ,
- ",nn" token hide ,
- ] seq* [ one-param ] action ;
-
-: JP-(RR)-instruction ( -- parser )
- [
- "JP-(RR)" "JP" complex-instruction ,
- 16-bit-registers indirect sp ,
- ] seq* [ one-param ] action ;
-
-: CALL-NN-instruction ( -- parser )
- [
- "CALL-NN" "CALL" complex-instruction ,
- "nn" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: CALL-F|FF,NN-instruction ( -- parser )
- [
- "CALL-F|FF,NN" "CALL" complex-instruction ,
- all-flags sp ,
- ",nn" token hide ,
- ] seq* [ one-param ] action ;
-
-: RLCA-instruction ( -- parser )
- "RLCA" simple-instruction ;
-
-: RRCA-instruction ( -- parser )
- "RRCA" simple-instruction ;
-
-: HALT-instruction ( -- parser )
- "HALT" simple-instruction ;
-
-: DI-instruction ( -- parser )
- "DI" simple-instruction ;
-
-: EI-instruction ( -- parser )
- "EI" simple-instruction ;
-
-: CPL-instruction ( -- parser )
- "CPL" simple-instruction ;
-
-: CCF-instruction ( -- parser )
- "CCF" simple-instruction ;
-
-: SCF-instruction ( -- parser )
- "SCF" simple-instruction ;
-
-: DAA-instruction ( -- parser )
- "DAA" simple-instruction ;
-
-: RLA-instruction ( -- parser )
- "RLA" simple-instruction ;
-
-: RRA-instruction ( -- parser )
- "RRA" simple-instruction ;
-
-: DEC-R-instruction ( -- parser )
- [
- "DEC-R" "DEC" complex-instruction ,
- 8-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: DEC-RR-instruction ( -- parser )
- [
- "DEC-RR" "DEC" complex-instruction ,
- 16-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: DEC-(RR)-instruction ( -- parser )
- [
- "DEC-(RR)" "DEC" complex-instruction ,
- 16-bit-registers indirect sp ,
- ] seq* [ one-param ] action ;
-
-: POP-RR-instruction ( -- parser )
- [
- "POP-RR" "POP" complex-instruction ,
- all-registers sp ,
- ] seq* [ one-param ] action ;
-
-: PUSH-RR-instruction ( -- parser )
- [
- "PUSH-RR" "PUSH" complex-instruction ,
- all-registers sp ,
- ] seq* [ one-param ] action ;
-
-: INC-R-instruction ( -- parser )
- [
- "INC-R" "INC" complex-instruction ,
- 8-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: INC-RR-instruction ( -- parser )
- [
- "INC-RR" "INC" complex-instruction ,
- 16-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: INC-(RR)-instruction ( -- parser )
- [
- "INC-(RR)" "INC" complex-instruction ,
- all-registers indirect sp ,
- ] seq* [ one-param ] action ;
-
-: RET-F|FF-instruction ( -- parser )
- [
- "RET-F|FF" "RET" complex-instruction ,
- all-flags sp ,
- ] seq* [ one-param ] action ;
-
-: AND-N-instruction ( -- parser )
- [
- "AND-N" "AND" complex-instruction ,
- "n" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: AND-R-instruction ( -- parser )
- [
- "AND-R" "AND" complex-instruction ,
- 8-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: AND-(RR)-instruction ( -- parser )
- [
- "AND-(RR)" "AND" complex-instruction ,
- 16-bit-registers indirect sp ,
- ] seq* [ one-param ] action ;
-
-: XOR-N-instruction ( -- parser )
- [
- "XOR-N" "XOR" complex-instruction ,
- "n" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: XOR-R-instruction ( -- parser )
- [
- "XOR-R" "XOR" complex-instruction ,
- 8-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: XOR-(RR)-instruction ( -- parser )
- [
- "XOR-(RR)" "XOR" complex-instruction ,
- 16-bit-registers indirect sp ,
- ] seq* [ one-param ] action ;
-
-: OR-N-instruction ( -- parser )
- [
- "OR-N" "OR" complex-instruction ,
- "n" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: OR-R-instruction ( -- parser )
- [
- "OR-R" "OR" complex-instruction ,
- 8-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: OR-(RR)-instruction ( -- parser )
- [
- "OR-(RR)" "OR" complex-instruction ,
- 16-bit-registers indirect sp ,
- ] seq* [ one-param ] action ;
-
-: CP-N-instruction ( -- parser )
- [
- "CP-N" "CP" complex-instruction ,
- "n" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: CP-R-instruction ( -- parser )
- [
- "CP-R" "CP" complex-instruction ,
- 8-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: CP-(RR)-instruction ( -- parser )
- [
- "CP-(RR)" "CP" complex-instruction ,
- 16-bit-registers indirect sp ,
- ] seq* [ one-param ] action ;
-
-: ADC-R,N-instruction ( -- parser )
- [
- "ADC-R,N" "ADC" complex-instruction ,
- 8-bit-registers sp ,
- ",n" token hide ,
- ] seq* [ one-param ] action ;
-
-: ADC-R,R-instruction ( -- parser )
- [
- "ADC-R,R" "ADC" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- 8-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: ADC-R,(RR)-instruction ( -- parser )
- [
- "ADC-R,(RR)" "ADC" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- 16-bit-registers indirect ,
- ] seq* [ two-params ] action ;
-
-: SBC-R,N-instruction ( -- parser )
- [
- "SBC-R,N" "SBC" complex-instruction ,
- 8-bit-registers sp ,
- ",n" token hide ,
- ] seq* [ one-param ] action ;
-
-: SBC-R,R-instruction ( -- parser )
- [
- "SBC-R,R" "SBC" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- 8-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: SBC-R,(RR)-instruction ( -- parser )
- [
- "SBC-R,(RR)" "SBC" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- 16-bit-registers indirect ,
- ] seq* [ two-params ] action ;
-
-: SUB-R-instruction ( -- parser )
- [
- "SUB-R" "SUB" complex-instruction ,
- 8-bit-registers sp ,
- ] seq* [ one-param ] action ;
-
-: SUB-(RR)-instruction ( -- parser )
- [
- "SUB-(RR)" "SUB" complex-instruction ,
- 16-bit-registers indirect sp ,
- ] seq* [ one-param ] action ;
-
-: SUB-N-instruction ( -- parser )
- [
- "SUB-N" "SUB" complex-instruction ,
- "n" token sp hide ,
- ] seq* [ no-params ] action ;
-
-: ADD-R,N-instruction ( -- parser )
- [
- "ADD-R,N" "ADD" complex-instruction ,
- 8-bit-registers sp ,
- ",n" token hide ,
- ] seq* [ one-param ] action ;
-
-: ADD-R,R-instruction ( -- parser )
- [
- "ADD-R,R" "ADD" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- 8-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: ADD-RR,RR-instruction ( -- parser )
- [
- "ADD-RR,RR" "ADD" complex-instruction ,
- 16-bit-registers sp ,
- "," token hide ,
- 16-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: ADD-R,(RR)-instruction ( -- parser )
- [
- "ADD-R,(RR)" "ADD" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- 16-bit-registers indirect ,
- ] seq* [ two-params ] action ;
-
-: LD-RR,NN-instruction ( -- parser )
- #! LD BC,nn
- [
- "LD-RR,NN" "LD" complex-instruction ,
- 16-bit-registers sp ,
- ",nn" token hide ,
- ] seq* [ one-param ] action ;
-
-: LD-R,N-instruction ( -- parser )
- #! LD B,n
- [
- "LD-R,N" "LD" complex-instruction ,
- 8-bit-registers sp ,
- ",n" token hide ,
- ] seq* [ one-param ] action ;
-
-: LD-(RR),N-instruction ( -- parser )
- [
- "LD-(RR),N" "LD" complex-instruction ,
- 16-bit-registers indirect sp ,
- ",n" token hide ,
- ] seq* [ one-param ] action ;
-
-: LD-(RR),R-instruction ( -- parser )
- #! LD (BC),A
- [
- "LD-(RR),R" "LD" complex-instruction ,
- 16-bit-registers indirect sp ,
- "," token hide ,
- 8-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: LD-R,R-instruction ( -- parser )
- [
- "LD-R,R" "LD" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- 8-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: LD-RR,RR-instruction ( -- parser )
- [
- "LD-RR,RR" "LD" complex-instruction ,
- 16-bit-registers sp ,
- "," token hide ,
- 16-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: LD-R,(RR)-instruction ( -- parser )
- [
- "LD-R,(RR)" "LD" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- 16-bit-registers indirect ,
- ] seq* [ two-params ] action ;
-
-: LD-(NN),RR-instruction ( -- parser )
- [
- "LD-(NN),RR" "LD" complex-instruction ,
- "nn" token indirect sp hide ,
- "," token hide ,
- 16-bit-registers ,
- ] seq* [ one-param ] action ;
-
-: LD-(NN),R-instruction ( -- parser )
- [
- "LD-(NN),R" "LD" complex-instruction ,
- "nn" token indirect sp hide ,
- "," token hide ,
- 8-bit-registers ,
- ] seq* [ one-param ] action ;
-
-: LD-RR,(NN)-instruction ( -- parser )
- [
- "LD-RR,(NN)" "LD" complex-instruction ,
- 16-bit-registers sp ,
- "," token hide ,
- "nn" token indirect hide ,
- ] seq* [ one-param ] action ;
-
-: LD-R,(NN)-instruction ( -- parser )
- [
- "LD-R,(NN)" "LD" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- "nn" token indirect hide ,
- ] seq* [ one-param ] action ;
-
-: OUT-(N),R-instruction ( -- parser )
- [
- "OUT-(N),R" "OUT" complex-instruction ,
- "n" token indirect sp hide ,
- "," token hide ,
- 8-bit-registers ,
- ] seq* [ one-param ] action ;
-
-: IN-R,(N)-instruction ( -- parser )
- [
- "IN-R,(N)" "IN" complex-instruction ,
- 8-bit-registers sp ,
- "," token hide ,
- "n" token indirect hide ,
- ] seq* [ one-param ] action ;
-
-: EX-(RR),RR-instruction ( -- parser )
- [
- "EX-(RR),RR" "EX" complex-instruction ,
- 16-bit-registers indirect sp ,
- "," token hide ,
- 16-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: EX-RR,RR-instruction ( -- parser )
- [
- "EX-RR,RR" "EX" complex-instruction ,
- 16-bit-registers sp ,
- "," token hide ,
- 16-bit-registers ,
- ] seq* [ two-params ] action ;
-
-: 8080-generator-parser ( -- parser )
- [
- NOP-instruction ,
- RST-0-instruction ,
- RST-8-instruction ,
- RST-10H-instruction ,
- RST-18H-instruction ,
- RST-20H-instruction ,
- RST-28H-instruction ,
- RST-30H-instruction ,
- RST-38H-instruction ,
- JP-F|FF,NN-instruction ,
- JP-NN-instruction ,
- JP-(RR)-instruction ,
- CALL-F|FF,NN-instruction ,
- CALL-NN-instruction ,
- CPL-instruction ,
- CCF-instruction ,
- SCF-instruction ,
- DAA-instruction ,
- RLA-instruction ,
- RRA-instruction ,
- RLCA-instruction ,
- RRCA-instruction ,
- HALT-instruction ,
- DI-instruction ,
- EI-instruction ,
- AND-N-instruction ,
- AND-R-instruction ,
- AND-(RR)-instruction ,
- XOR-N-instruction ,
- XOR-R-instruction ,
- XOR-(RR)-instruction ,
- OR-N-instruction ,
- OR-R-instruction ,
- OR-(RR)-instruction ,
- CP-N-instruction ,
- CP-R-instruction ,
- CP-(RR)-instruction ,
- DEC-RR-instruction ,
- DEC-R-instruction ,
- DEC-(RR)-instruction ,
- POP-RR-instruction ,
- PUSH-RR-instruction ,
- INC-RR-instruction ,
- INC-R-instruction ,
- INC-(RR)-instruction ,
- LD-RR,NN-instruction ,
- LD-RR,RR-instruction ,
- LD-R,N-instruction ,
- LD-R,R-instruction ,
- LD-(RR),N-instruction ,
- LD-(RR),R-instruction ,
- LD-R,(RR)-instruction ,
- LD-(NN),RR-instruction ,
- LD-(NN),R-instruction ,
- LD-RR,(NN)-instruction ,
- LD-R,(NN)-instruction ,
- ADC-R,(RR)-instruction ,
- ADC-R,N-instruction ,
- ADC-R,R-instruction ,
- ADD-R,N-instruction ,
- ADD-R,(RR)-instruction ,
- ADD-R,R-instruction ,
- ADD-RR,RR-instruction ,
- SBC-R,N-instruction ,
- SBC-R,R-instruction ,
- SBC-R,(RR)-instruction ,
- SUB-R-instruction ,
- SUB-(RR)-instruction ,
- SUB-N-instruction ,
- RET-F|FF-instruction ,
- RET-NN-instruction ,
- OUT-(N),R-instruction ,
- IN-R,(N)-instruction ,
- EX-(RR),RR-instruction ,
- EX-RR,RR-instruction ,
- ] choice* [ call ] action ;
-
-: instruction-quotations ( string -- emulate-quot )
- #! Given an instruction string, return the emulation quotation for
- #! it. This will later be expanded to produce the disassembly and
- #! assembly quotations.
- 8080-generator-parser parse ;
-
-SYMBOL: last-instruction
-SYMBOL: last-opcode
-
-: parse-instructions ( list -- emulate-quot )
- #! Process the list of strings, which should make
- #! up an 8080 instruction, and output a quotation
- #! that would implement that instruction.
- dup " " join instruction-quotations
- >r "_" join [ "emulate-" % % ] "" make create-in dup last-instruction global set-at
- r> (( cpu -- )) define-declared ;
-
-: INSTRUCTION: ";" parse-tokens parse-instructions ; parsing
-
-: cycles ( -- )
- #! Set the number of cycles for the last instruction that was defined.
- scan string>number last-opcode global at instruction-cycles set-nth ; parsing
-
-: opcode ( -- )
- #! Set the opcode number for the last instruction that was defined.
- last-instruction global at 1quotation scan 16 base>
- dup last-opcode global set-at set-instruction ; parsing
-
+++ /dev/null
-Intel 8080 CPU Emulator
+++ /dev/null
-Intel 8080 CPU Emulator
+++ /dev/null
-USING: kernel cpu.8080 cpu.8080.emulator math math io\r
-tools.time combinators sequences io.files io.encodings.ascii ;\r
-IN: cpu.8080.test\r
-\r
-: step ( cpu -- )\r
- #! Run a single 8080 instruction\r
- [ read-instruction ] keep ! n cpu\r
- over get-cycles over inc-cycles\r
- [ swap instructions case ] keep\r
- [ cpu-pc HEX: FFFF bitand ] keep \r
- [ set-cpu-pc ] keep \r
- process-interrupts ;\r
-\r
-\r
-: test-step ( cpu -- cpu )\r
- [ step ] keep dup cpu. ;\r
-\r
-: test-cpu ( -- cpu )\r
- <cpu> "invaders.rom" over load-rom dup cpu. ;\r
-\r
-: test-n ( n -- )\r
- test-cpu swap [ test-step ] times drop ;\r
-\r
-: run-n ( cpu n -- cpu )\r
- [ dup step ] times ;\r
-\r
-: each-8bit ( n quot -- )\r
- 8 -rot [ >r bit? r> call ] 2curry each ; inline\r
-\r
-: >ppm ( cpu filename -- cpu )\r
- #! Dump the current screen image to a ppm image file with the given name.\r
- ascii [\r
- "P3" print\r
- "256 224" print\r
- "1" print\r
- 224 [\r
- 32 [\r
- over 32 * over + HEX: 2400 + ! cpu h w addr\r
- >r pick r> swap cpu-ram nth [\r
- 0 = [\r
- " 0 0 0" write\r
- ] [\r
- " 1 1 1" write\r
- ] if\r
- ] each-8bit drop\r
- ] each drop nl\r
- ] each\r
- ] with-file-writer ;\r
-\r
-: time-test ( -- )\r
- test-cpu [ 1000000 run-n drop ] time ;\r
: li>q/a ( li -- q/a )
[ "br" tag-named*? not ] filter
[ "strong" tag-named*? ] find-after
- >r tag-children r> <q/a> ;
+ >r children>> r> <q/a> ;
: q/a>li ( q/a -- li )
[ question>> "strong" build-tag* f "br" build-tag* 2array ] keep
answer>> append "li" build-tag* ;
: xml>q/a ( xml -- q/a )
- [ "question" tag-named tag-children ] keep
- "answer" tag-named tag-children <q/a> ;
+ [ "question" tag-named children>> ] keep
+ "answer" tag-named children>> <q/a> ;
: q/a>xml ( q/a -- xml )
[ question>> "question" build-tag* ] keep
: xml>question-list ( list -- question-list )
[ "title" swap at ] keep
- tag-children [ tag? ] filter [ xml>q/a ] map
+ children>> [ tag? ] filter [ xml>q/a ] map
<question-list> ;
: question-list>xml ( question-list -- list )
[ link-attrs ]
[ "method" optional-attr "post" or =method ]
[ "action" required-attr resolve-base-path =action ]
- [ tag-attrs non-chloe-attrs-only print-attrs ]
+ [ attrs>> non-chloe-attrs-only print-attrs ]
} cleave
form>
]
;
: add-tag-attrs ( attrs tag -- )
- tag-attrs swap update ;
+ attrs>> swap update ;
CHLOE: button
button-tag-markup string>xml delegate
{
- [ [ tag-attrs chloe-attrs-only ] dip add-tag-attrs ]
- [ [ tag-attrs non-chloe-attrs-only ] dip "button" tag-named add-tag-attrs ]
+ [ [ attrs>> chloe-attrs-only ] dip add-tag-attrs ]
+ [ [ attrs>> non-chloe-attrs-only ] dip "button" tag-named add-tag-attrs ]
[ [ children>string 1array ] dip "button" tag-named set-tag-children ]
[ nip ]
} 2cleave process-chloe-tag ;
DEFER: process-template
: chloe-attrs-only ( assoc -- assoc' )
- [ drop name-url chloe-ns = ] assoc-filter ;
+ [ drop url>> chloe-ns = ] assoc-filter ;
: non-chloe-attrs-only ( assoc -- assoc' )
- [ drop name-url chloe-ns = not ] assoc-filter ;
+ [ drop url>> chloe-ns = not ] assoc-filter ;
: chloe-tag? ( tag -- ? )
dup xml? [ body>> ] when
process-template
] [
{
- [ xml-prolog write-prolog ]
- [ xml-before write-chunk ]
+ [ prolog>> write-prolog ]
+ [ before>> write-chunk ]
[ process-template ]
- [ xml-after write-chunk ]
+ [ after>> write-chunk ]
} cleave
] if
] with-scope ;
: draw-node ( node -- ) pos>> { -5 -5 } v+ dup { 10 10 } v+ gl-rect ;
: draw-spring ( spring -- )
- [ spring-node-a pos>> ] [ spring-node-b pos>> ] bi gl-line ;
+ [ node-a>> pos>> ] [ node-b>> pos>> ] bi gl-line ;
: draw-nodes ( -- ) nodes> [ draw-node ] each ;
-USING: kernel namespaces namespaces.lib math sequences vars mortar slot-accessors x ;
+USING: kernel namespaces namespaces.lib math sequences vars mortar
+accessors slot-accessors x ;
IN: x.widgets.wm.workspace
! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
: switch-to-workspace ( n -- )
-mapped-windows current-workspace> workspaces> nth set-workspace-windows
+mapped-windows current-workspace> workspaces> nth (>>windows)
mapped-windows [ <- unmap drop ] each
-dup workspaces> nth workspace-windows [ <- map drop ] each
+dup workspaces> nth windows>> [ <- map drop ] each
current-workspace set* ;
! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
--- /dev/null
+! Copyright (C) 2007 Chris Double.\r
+! See http://factorcode.org/license.txt for BSD license.\r
+USING: help.markup help.syntax sequences strings cpu.8080.emulator ;\r
+IN: cpu.8080\r
+\r
+\r
+ARTICLE: { "cpu-8080" "cpu-8080" } "Intel 8080 CPU Emulator"\r
+"The cpu-8080 library provides an emulator for the Intel 8080 CPU"\r
+" instruction set. It is complete enough to emulate some 8080"\r
+" based arcade games." $nl \r
+"The emulated CPU can load 'ROM' files from disk using the "\r
+{ $link load-rom } " and " { $link load-rom* } " words. These expect "\r
+"the " { $link rom-root } " variable to be set to the path "\r
+"containing the ROM file's." ;\r
+\r
+ABOUT: { "cpu-8080" "cpu-8080" } \r
--- /dev/null
+! Copyright (C) 2006 Chris Double.
+! See http://factorcode.org/license.txt for BSD license.
+!
+USING: cpu.8080.emulator tools.time ;
+IN: cpu.8080
+
+INSTRUCTION: NOP ; opcode 00 cycles 04
+INSTRUCTION: LD BC,nn ; opcode 01 cycles 10
+INSTRUCTION: LD (BC),A ; opcode 02 cycles 07
+INSTRUCTION: INC BC ; opcode 03 cycles 06
+INSTRUCTION: INC B ; opcode 04 cycles 05
+INSTRUCTION: DEC B ; opcode 05 cycles 05
+INSTRUCTION: LD B,n ; opcode 06 cycles 07
+INSTRUCTION: RLCA ; opcode 07 cycles 04
+! INSTRUCTION: NOP ; opcode 08 cycles 04
+INSTRUCTION: ADD HL,BC ; opcode 09 cycles 11
+INSTRUCTION: LD A,(BC) ; opcode 0A cycles 07
+INSTRUCTION: DEC BC ; opcode 0B cycles 06
+INSTRUCTION: INC C ; opcode 0C cycles 05
+INSTRUCTION: DEC C ; opcode 0D cycles 05
+INSTRUCTION: LD C,n ; opcode 0E cycles 07
+INSTRUCTION: RRCA ; opcode 0F cycles 04
+INSTRUCTION: LD DE,nn ; opcode 11 cycles 10
+INSTRUCTION: LD (DE),A ; opcode 12 cycles 07
+INSTRUCTION: INC DE ; opcode 13 cycles 06
+INSTRUCTION: INC D ; opcode 14 cycles 05
+INSTRUCTION: DEC D ; opcode 15 cycles 05
+INSTRUCTION: LD D,n ; opcode 16 cycles 07
+INSTRUCTION: RLA ; opcode 17 cycles 04
+INSTRUCTION: ADD HL,DE ; opcode 19 cycles 11
+INSTRUCTION: LD A,(DE) ; opcode 1A cycles 07
+INSTRUCTION: DEC DE ; opcode 1B cycles 06
+INSTRUCTION: INC E ; opcode 1C cycles 05
+INSTRUCTION: DEC E ; opcode 1D cycles 05
+INSTRUCTION: LD E,n ; opcode 1E cycles 07
+INSTRUCTION: RRA ; opcode 1F cycles 04
+INSTRUCTION: LD HL,nn ; opcode 21 cycles 10
+INSTRUCTION: LD (nn),HL ; opcode 22 cycles 16
+INSTRUCTION: INC HL ; opcode 23 cycles 06
+INSTRUCTION: INC H ; opcode 24 cycles 05
+INSTRUCTION: DEC H ; opcode 25 cycles 05
+INSTRUCTION: LD H,n ; opcode 26 cycles 07
+INSTRUCTION: DAA ; opcode 27 cycles 04
+INSTRUCTION: ADD HL,HL ; opcode 29 cycles 11
+INSTRUCTION: LD HL,(nn) ; opcode 2A cycles 16
+INSTRUCTION: DEC HL ; opcode 2B cycles 06
+INSTRUCTION: INC L ; opcode 2C cycles 05
+INSTRUCTION: DEC L ; opcode 2D cycles 05
+INSTRUCTION: LD L,n ; opcode 2E cycles 07
+INSTRUCTION: CPL ; opcode 2F cycles 04
+INSTRUCTION: LD SP,nn ; opcode 31 cycles 10
+INSTRUCTION: LD (nn),A ; opcode 32 cycles 13
+INSTRUCTION: INC SP ; opcode 33 cycles 06
+INSTRUCTION: INC (HL) ; opcode 34 cycles 10
+INSTRUCTION: DEC (HL) ; opcode 35 cycles 10
+INSTRUCTION: LD (HL),n ; opcode 36 cycles 10
+INSTRUCTION: SCF ; opcode 37 cycles 04
+INSTRUCTION: ADD HL,SP ; opcode 39 cycles 11
+INSTRUCTION: LD A,(nn) ; opcode 3A cycles 13
+INSTRUCTION: DEC SP ; opcode 3B cycles 06
+INSTRUCTION: INC A ; opcode 3C cycles 05
+INSTRUCTION: DEC A ; opcode 3D cycles 05
+INSTRUCTION: LD A,n ; opcode 3E cycles 07
+INSTRUCTION: CCF ; opcode 3F cycles 04
+INSTRUCTION: LD B,B ; opcode 40 cycles 05
+INSTRUCTION: LD B,C ; opcode 41 cycles 05
+INSTRUCTION: LD B,D ; opcode 42 cycles 05
+INSTRUCTION: LD B,E ; opcode 43 cycles 05
+INSTRUCTION: LD B,H ; opcode 44 cycles 05
+INSTRUCTION: LD B,L ; opcode 45 cycles 05
+INSTRUCTION: LD B,(HL) ; opcode 46 cycles 07
+INSTRUCTION: LD B,A ; opcode 47 cycles 05
+INSTRUCTION: LD C,B ; opcode 48 cycles 05
+INSTRUCTION: LD C,C ; opcode 49 cycles 05
+INSTRUCTION: LD C,D ; opcode 4A cycles 05
+INSTRUCTION: LD C,E ; opcode 4B cycles 05
+INSTRUCTION: LD C,H ; opcode 4C cycles 05
+INSTRUCTION: LD C,L ; opcode 4D cycles 05
+INSTRUCTION: LD C,(HL) ; opcode 4E cycles 07
+INSTRUCTION: LD C,A ; opcode 4F cycles 05
+INSTRUCTION: LD D,B ; opcode 50 cycles 05
+INSTRUCTION: LD D,C ; opcode 51 cycles 05
+INSTRUCTION: LD D,D ; opcode 52 cycles 05
+INSTRUCTION: LD D,E ; opcode 53 cycles 05
+INSTRUCTION: LD D,H ; opcode 54 cycles 05
+INSTRUCTION: LD D,L ; opcode 55 cycles 05
+INSTRUCTION: LD D,(HL) ; opcode 56 cycles 07
+INSTRUCTION: LD D,A ; opcode 57 cycles 05
+INSTRUCTION: LD E,B ; opcode 58 cycles 05
+INSTRUCTION: LD E,C ; opcode 59 cycles 05
+INSTRUCTION: LD E,D ; opcode 5A cycles 05
+INSTRUCTION: LD E,E ; opcode 5B cycles 05
+INSTRUCTION: LD E,H ; opcode 5C cycles 05
+INSTRUCTION: LD E,L ; opcode 5D cycles 05
+INSTRUCTION: LD E,(HL) ; opcode 5E cycles 07
+INSTRUCTION: LD E,A ; opcode 5F cycles 05
+INSTRUCTION: LD H,B ; opcode 60 cycles 05
+INSTRUCTION: LD H,C ; opcode 61 cycles 05
+INSTRUCTION: LD H,D ; opcode 62 cycles 05
+INSTRUCTION: LD H,E ; opcode 63 cycles 05
+INSTRUCTION: LD H,H ; opcode 64 cycles 05
+INSTRUCTION: LD H,L ; opcode 65 cycles 05
+INSTRUCTION: LD H,(HL) ; opcode 66 cycles 07
+INSTRUCTION: LD H,A ; opcode 67 cycles 05
+INSTRUCTION: LD L,B ; opcode 68 cycles 05
+INSTRUCTION: LD L,C ; opcode 69 cycles 05
+INSTRUCTION: LD L,D ; opcode 6A cycles 05
+INSTRUCTION: LD L,E ; opcode 6B cycles 05
+INSTRUCTION: LD L,H ; opcode 6C cycles 05
+INSTRUCTION: LD L,L ; opcode 6D cycles 05
+INSTRUCTION: LD L,(HL) ; opcode 6E cycles 07
+INSTRUCTION: LD L,A ; opcode 6F cycles 05
+INSTRUCTION: LD (HL),B ; opcode 70 cycles 07
+INSTRUCTION: LD (HL),C ; opcode 71 cycles 07
+INSTRUCTION: LD (HL),D ; opcode 72 cycles 07
+INSTRUCTION: LD (HL),E ; opcode 73 cycles 07
+INSTRUCTION: LD (HL),H ; opcode 74 cycles 07
+INSTRUCTION: LD (HL),L ; opcode 75 cycles 07
+INSTRUCTION: HALT ; opcode 76 cycles 07
+INSTRUCTION: LD (HL),A ; opcode 77 cycles 07
+INSTRUCTION: LD A,B ; opcode 78 cycles 05
+INSTRUCTION: LD A,C ; opcode 79 cycles 05
+INSTRUCTION: LD A,D ; opcode 7A cycles 05
+INSTRUCTION: LD A,E ; opcode 7B cycles 05
+INSTRUCTION: LD A,H ; opcode 7C cycles 05
+INSTRUCTION: LD A,L ; opcode 7D cycles 05
+INSTRUCTION: LD A,(HL) ; opcode 7E cycles 07
+INSTRUCTION: LD A,A ; opcode 7F cycles 05
+INSTRUCTION: ADD A,B ; opcode 80 cycles 04
+INSTRUCTION: ADD A,C ; opcode 81 cycles 04
+INSTRUCTION: ADD A,D ; opcode 82 cycles 04
+INSTRUCTION: ADD A,E ; opcode 83 cycles 04
+INSTRUCTION: ADD A,H ; opcode 84 cycles 04
+INSTRUCTION: ADD A,L ; opcode 85 cycles 04
+INSTRUCTION: ADD A,(HL) ; opcode 86 cycles 07
+INSTRUCTION: ADD A,A ; opcode 87 cycles 04
+INSTRUCTION: ADC A,B ; opcode 88 cycles 04
+INSTRUCTION: ADC A,C ; opcode 89 cycles 04
+INSTRUCTION: ADC A,D ; opcode 8A cycles 04
+INSTRUCTION: ADC A,E ; opcode 8B cycles 04
+INSTRUCTION: ADC A,H ; opcode 8C cycles 04
+INSTRUCTION: ADC A,L ; opcode 8D cycles 04
+INSTRUCTION: ADC A,(HL) ; opcode 8E cycles 07
+INSTRUCTION: ADC A,A ; opcode 8F cycles 04
+INSTRUCTION: SUB B ; opcode 90 cycles 04
+INSTRUCTION: SUB C ; opcode 91 cycles 04
+INSTRUCTION: SUB D ; opcode 92 cycles 04
+INSTRUCTION: SUB E ; opcode 93 cycles 04
+INSTRUCTION: SUB H ; opcode 94 cycles 04
+INSTRUCTION: SUB L ; opcode 95 cycles 04
+INSTRUCTION: SUB (HL) ; opcode 96 cycles 07
+INSTRUCTION: SUB A ; opcode 97 cycles 04
+INSTRUCTION: SBC A,B ; opcode 98 cycles 04
+INSTRUCTION: SBC A,C ; opcode 99 cycles 04
+INSTRUCTION: SBC A,D ; opcode 9A cycles 04
+INSTRUCTION: SBC A,E ; opcode 9B cycles 04
+INSTRUCTION: SBC A,H ; opcode 9C cycles 04
+INSTRUCTION: SBC A,L ; opcode 9D cycles 04
+INSTRUCTION: SBC A,(HL) ; opcode 9E cycles 07
+INSTRUCTION: SBC A,A ; opcode 9F cycles 04
+INSTRUCTION: AND B ; opcode A0 cycles 04
+INSTRUCTION: AND C ; opcode A1 cycles 04
+INSTRUCTION: AND D ; opcode A2 cycles 04
+INSTRUCTION: AND E ; opcode A3 cycles 04
+INSTRUCTION: AND H ; opcode A4 cycles 04
+INSTRUCTION: AND L ; opcode A5 cycles 04
+INSTRUCTION: AND (HL) ; opcode A6 cycles 07
+INSTRUCTION: AND A ; opcode A7 cycles 04
+INSTRUCTION: XOR B ; opcode A8 cycles 04
+INSTRUCTION: XOR C ; opcode A9 cycles 04
+INSTRUCTION: XOR D ; opcode AA cycles 04
+INSTRUCTION: XOR E ; opcode AB cycles 04
+INSTRUCTION: XOR H ; opcode AC cycles 04
+INSTRUCTION: XOR L ; opcode AD cycles 04
+INSTRUCTION: XOR (HL) ; opcode AE cycles 07
+INSTRUCTION: XOR A ; opcode AF cycles 04
+INSTRUCTION: OR B ; opcode B0 cycles 04
+INSTRUCTION: OR C ; opcode B1 cycles 04
+INSTRUCTION: OR D ; opcode B2 cycles 04
+INSTRUCTION: OR E ; opcode B3 cycles 04
+INSTRUCTION: OR H ; opcode B4 cycles 04
+INSTRUCTION: OR L ; opcode B5 cycles 04
+INSTRUCTION: OR (HL) ; opcode B6 cycles 07
+INSTRUCTION: OR A ; opcode B7 cycles 04
+INSTRUCTION: CP B ; opcode B8 cycles 04
+INSTRUCTION: CP C ; opcode B9 cycles 04
+INSTRUCTION: CP D ; opcode BA cycles 04
+INSTRUCTION: CP E ; opcode BB cycles 04
+INSTRUCTION: CP H ; opcode BC cycles 04
+INSTRUCTION: CP L ; opcode BD cycles 04
+INSTRUCTION: CP (HL) ; opcode BE cycles 07
+INSTRUCTION: CP A ; opcode BF cycles 04
+INSTRUCTION: RET NZ ; opcode C0 cycles 05
+INSTRUCTION: POP BC ; opcode C1 cycles 10
+INSTRUCTION: JP NZ,nn ; opcode C2 cycles 10
+INSTRUCTION: JP nn ; opcode C3 cycles 10
+INSTRUCTION: CALL NZ,nn ; opcode C4 cycles 11
+INSTRUCTION: PUSH BC ; opcode C5 cycles 11
+INSTRUCTION: ADD A,n ; opcode C6 cycles 07
+INSTRUCTION: RST 0 ; opcode C7 cycles 11
+INSTRUCTION: RET Z ; opcode C8 cycles 05
+INSTRUCTION: RET nn ; opcode C9 cycles 10
+INSTRUCTION: JP Z,nn ; opcode CA cycles 10
+INSTRUCTION: CALL Z,nn ; opcode CC cycles 11
+INSTRUCTION: CALL nn ; opcode CD cycles 17
+INSTRUCTION: ADC A,n ; opcode CE cycles 07
+INSTRUCTION: RST 8 ; opcode CF cycles 11
+INSTRUCTION: RET NC ; opcode D0 cycles 05
+INSTRUCTION: POP DE ; opcode D1 cycles 10
+INSTRUCTION: JP NC,nn ; opcode D2 cycles 10
+INSTRUCTION: OUT (n),A ; opcode D3 cycles 10
+INSTRUCTION: CALL NC,nn ; opcode D4 cycles 11
+INSTRUCTION: PUSH DE ; opcode D5 cycles 11
+INSTRUCTION: SUB n ; opcode D6 cycles 07
+INSTRUCTION: RST 10H ; opcode D7 cycles 11
+INSTRUCTION: RET C ; opcode D8 cycles 05
+INSTRUCTION: JP C,nn ; opcode DA cycles 10
+INSTRUCTION: IN A,(n) ; opcode DB cycles 10
+INSTRUCTION: CALL C,nn ; opcode DC cycles 11
+INSTRUCTION: SBC A,n ; opcode DE cycles 07
+INSTRUCTION: RST 18H ; opcode DF cycles 11
+INSTRUCTION: RET PO ; opcode E0 cycles 05
+INSTRUCTION: POP HL ; opcode E1 cycles 10
+INSTRUCTION: JP PO,nn ; opcode E2 cycles 10
+INSTRUCTION: EX (SP),HL ; opcode E3 cycles 04
+INSTRUCTION: CALL PO,nn ; opcode E4 cycles 11
+INSTRUCTION: PUSH HL ; opcode E5 cycles 11
+INSTRUCTION: AND n ; opcode E6 cycles 07
+INSTRUCTION: RST 20H ; opcode E7 cycles 11
+INSTRUCTION: RET PE ; opcode E8 cycles 05
+INSTRUCTION: JP (HL) ; opcode E9 cycles 04
+INSTRUCTION: JP PE,nn ; opcode EA cycles 10
+INSTRUCTION: EX DE,HL ; opcode EB cycles 04
+INSTRUCTION: CALL PE,nn ; opcode EC cycles 11
+INSTRUCTION: XOR n ; opcode EE cycles 07
+INSTRUCTION: RST 28H ; opcode EF cycles 11
+INSTRUCTION: RET P ; opcode F0 cycles 05
+INSTRUCTION: POP AF ; opcode F1 cycles 10
+INSTRUCTION: JP P,nn ; opcode F2 cycles 10
+INSTRUCTION: DI ; opcode F3 cycles 04
+INSTRUCTION: CALL P,nn ; opcode F4 cycles 11
+INSTRUCTION: PUSH AF ; opcode F5 cycles 11
+INSTRUCTION: OR n ; opcode F6 cycles 07
+INSTRUCTION: RST 30H ; opcode F7 cycles 11
+INSTRUCTION: RET M ; opcode F8 cycles 05
+INSTRUCTION: LD SP,HL ; opcode F9 cycles 06
+INSTRUCTION: JP M,nn ; opcode FA cycles 10
+INSTRUCTION: EI ; opcode FB cycles 04
+INSTRUCTION: CALL M,nn ; opcode FC cycles 11
+INSTRUCTION: CP n ; opcode FE cycles 07
+INSTRUCTION: RST 38H ; opcode FF cycles 11
--- /dev/null
+Chris Double
--- /dev/null
+Chris Double
--- /dev/null
+! Copyright (C) 2007 Chris Double.\r
+! See http://factorcode.org/license.txt for BSD license.\r
+USING: help.markup help.syntax sequences strings ;\r
+IN: cpu.8080.emulator\r
+\r
+HELP: load-rom \r
+{ $values { "filename" string } { "cpu" cpu } }\r
+{ $description \r
+"Read the ROM file into the cpu's memory starting at address 0000. " \r
+"The filename is relative to the path stored in the " { $link rom-root }\r
+" variable. An exception is thrown if this variable is not set."\r
+}\r
+{ $see-also load-rom* } ;\r
+\r
+HELP: load-rom*\r
+{ $values { "seq" sequence } { "cpu" cpu } }\r
+{ $description \r
+"Loads one or more ROM files into the cpu's memory. Each file is "\r
+"loaded at a particular starting address. 'seq' is a sequence of "\r
+"2 element arrays. The first element is the address and the second "\r
+"element is the file to load at that address." $nl\r
+"The filenames are relative to the path stored in the " { $link rom-root }\r
+" variable. An exception is thrown if this variable is not set."\r
+}\r
+{ $examples\r
+ { $code "{ { HEX: 0000 \"invaders.rom\" } } <cpu> load-rom*" }\r
+}\r
+{ $see-also load-rom } ;\r
+\r
+HELP: rom-root\r
+{ $description \r
+"Holds the path where the ROM files are stored. Used for expanding "\r
+"the relative filenames passed to " { $link load-rom } " and "\r
+{ $link load-rom* } "."\r
+}\r
+{ $see-also load-rom load-rom* } ;\r
--- /dev/null
+! Copyright (C) 2006 Chris Double.
+! See http://factorcode.org/license.txt for BSD license.
+!
+USING: accessors kernel math sequences words arrays io io.files
+math.parser assocs quotations parser lexer
+peg peg.ebnf peg.parsers tools.time io.encodings.binary sequences.deep
+symbols combinators fry namespaces ;
+IN: cpu.8080.emulator
+
+TUPLE: cpu b c d e f h l a pc sp halted? last-interrupt cycles ram ;
+
+GENERIC: reset ( cpu -- )
+GENERIC: update-video ( value addr cpu -- )
+GENERIC: read-port ( port cpu -- byte )
+GENERIC: write-port ( value port cpu -- )
+
+M: cpu update-video ( value addr cpu -- )
+ 3drop ;
+
+M: cpu read-port ( port cpu -- byte )
+ #! Read a byte from the hardware port. 'port' should
+ #! be an 8-bit value.
+ 2drop 0 ;
+
+M: cpu write-port ( value port cpu -- )
+ #! Write a byte to the hardware port, where 'port' is
+ #! an 8-bit value.
+ 3drop ;
+
+: carry-flag HEX: 01 ; inline
+: parity-flag HEX: 04 ; inline
+: half-carry-flag HEX: 10 ; inline
+: interrupt-flag HEX: 20 ; inline
+: zero-flag HEX: 40 ; inline
+: sign-flag HEX: 80 ; inline
+
+: >word< ( word -- byte byte )
+ #! Explode a word into its two 8 bit values.
+ dup HEX: FF bitand swap -8 shift HEX: FF bitand swap ;
+
+: cpu-af ( cpu -- word )
+ #! Return the 16-bit pseudo register AF.
+ [ cpu-a 8 shift ] keep cpu-f bitor ;
+
+: set-cpu-af ( value cpu -- )
+ #! Set the value of the 16-bit pseudo register AF
+ >r >word< r> tuck set-cpu-f set-cpu-a ;
+
+: cpu-bc ( cpu -- word )
+ #! Return the 16-bit pseudo register BC.
+ [ cpu-b 8 shift ] keep cpu-c bitor ;
+
+: set-cpu-bc ( value cpu -- )
+ #! Set the value of the 16-bit pseudo register BC
+ >r >word< r> tuck set-cpu-c set-cpu-b ;
+
+: cpu-de ( cpu -- word )
+ #! Return the 16-bit pseudo register DE.
+ [ cpu-d 8 shift ] keep cpu-e bitor ;
+
+: set-cpu-de ( value cpu -- )
+ #! Set the value of the 16-bit pseudo register DE
+ >r >word< r> tuck set-cpu-e set-cpu-d ;
+
+: cpu-hl ( cpu -- word )
+ #! Return the 16-bit pseudo register HL.
+ [ cpu-h 8 shift ] keep cpu-l bitor ;
+
+: set-cpu-hl ( value cpu -- )
+ #! Set the value of the 16-bit pseudo register HL
+ >r >word< r> tuck set-cpu-l set-cpu-h ;
+
+: flag-set? ( flag cpu -- bool )
+ cpu-f bitand 0 = not ;
+
+: flag-clear? ( flag cpu -- bool )
+ cpu-f bitand 0 = ;
+
+: flag-nz? ( cpu -- bool )
+ #! Test flag status
+ cpu-f zero-flag bitand 0 = ;
+
+: flag-z? ( cpu -- bool )
+ #! Test flag status
+ cpu-f zero-flag bitand 0 = not ;
+
+: flag-nc? ( cpu -- bool )
+ #! Test flag status
+ cpu-f carry-flag bitand 0 = ;
+
+: flag-c? ( cpu -- bool )
+ #! Test flag status
+ cpu-f carry-flag bitand 0 = not ;
+
+: flag-po? ( cpu -- bool )
+ #! Test flag status
+ cpu-f parity-flag bitand 0 = ;
+
+: flag-pe? ( cpu -- bool )
+ #! Test flag status
+ cpu-f parity-flag bitand 0 = not ;
+
+: flag-p? ( cpu -- bool )
+ #! Test flag status
+ cpu-f sign-flag bitand 0 = ;
+
+: flag-m? ( cpu -- bool )
+ #! Test flag status
+ cpu-f sign-flag bitand 0 = not ;
+
+: read-byte ( addr cpu -- byte )
+ #! Read one byte from memory at the specified address.
+ #! The address is 16-bit, but if a value greater than
+ #! 0xFFFF is provided then return a default value.
+ over HEX: FFFF <= [
+ cpu-ram nth
+ ] [
+ 2drop HEX: FF
+ ] if ;
+
+: read-word ( addr cpu -- word )
+ #! Read a 16-bit word from memory at the specified address.
+ #! The address is 16-bit, but if a value greater than
+ #! 0xFFFF is provided then return a default value.
+ [ read-byte ] 2keep >r 1 + r> read-byte 8 shift bitor ;
+
+: next-byte ( cpu -- byte )
+ #! Return the value of the byte at PC, and increment PC.
+ [ cpu-pc ] keep
+ [ read-byte ] keep
+ [ cpu-pc 1 + ] keep
+ set-cpu-pc ;
+
+: next-word ( cpu -- word )
+ #! Return the value of the word at PC, and increment PC.
+ [ cpu-pc ] keep
+ [ read-word ] keep
+ [ cpu-pc 2 + ] keep
+ set-cpu-pc ;
+
+
+: write-byte ( value addr cpu -- )
+ #! Write a byte to the specified memory address.
+ over dup HEX: 2000 < swap HEX: FFFF > or [
+ 3drop
+ ] [
+ 3dup cpu-ram set-nth
+ update-video
+ ] if ;
+
+
+: write-word ( value addr cpu -- )
+ #! Write a 16-bit word to the specified memory address.
+ >r >r >word< r> r> [ write-byte ] 2keep >r 1 + r> write-byte ;
+
+: cpu-a-bitand ( quot cpu -- )
+ #! A &= quot call
+ [ cpu-a swap call bitand ] keep set-cpu-a ; inline
+
+: cpu-a-bitor ( quot cpu -- )
+ #! A |= quot call
+ [ cpu-a swap call bitor ] keep set-cpu-a ; inline
+
+: cpu-a-bitxor ( quot cpu -- )
+ #! A ^= quot call
+ [ cpu-a swap call bitxor ] keep set-cpu-a ; inline
+
+: cpu-a-bitxor= ( value cpu -- )
+ #! cpu-a ^= value
+ [ cpu-a bitxor ] keep set-cpu-a ;
+
+: cpu-f-bitand ( quot cpu -- )
+ #! F &= quot call
+ [ cpu-f swap call bitand ] keep set-cpu-f ; inline
+
+: cpu-f-bitor ( quot cpu -- )
+ #! F |= quot call
+ [ cpu-f swap call bitor ] keep set-cpu-f ; inline
+
+: cpu-f-bitxor ( quot cpu -- )
+ #! F |= quot call
+ [ cpu-f swap call bitxor ] keep set-cpu-f ; inline
+
+: cpu-f-bitor= ( value cpu -- )
+ #! cpu-f |= value
+ [ cpu-f bitor ] keep set-cpu-f ;
+
+: cpu-f-bitand= ( value cpu -- )
+ #! cpu-f &= value
+ [ cpu-f bitand ] keep set-cpu-f ;
+
+: cpu-f-bitxor= ( value cpu -- )
+ #! cpu-f ^= value
+ [ cpu-f bitxor ] keep set-cpu-f ;
+
+: set-flag ( cpu flag -- )
+ swap cpu-f-bitor= ;
+
+: clear-flag ( cpu flag -- )
+ bitnot HEX: FF bitand swap cpu-f-bitand= ;
+
+: update-zero-flag ( result cpu -- )
+ #! If the result of an instruction has the value 0, this
+ #! flag is set, otherwise it is reset.
+ swap HEX: FF bitand 0 = [ zero-flag set-flag ] [ zero-flag clear-flag ] if ;
+
+: update-sign-flag ( result cpu -- )
+ #! If the most significant bit of the result
+ #! has the value 1 then the flag is set, otherwise
+ #! it is reset.
+ swap HEX: 80 bitand 0 = [ sign-flag clear-flag ] [ sign-flag set-flag ] if ;
+
+: update-parity-flag ( result cpu -- )
+ #! If the modulo 2 sum of the bits of the result
+ #! is 0, (ie. if the result has even parity) this flag
+ #! is set, otherwise it is reset.
+ swap HEX: FF bitand 2 mod 0 = [ parity-flag set-flag ] [ parity-flag clear-flag ] if ;
+
+: update-carry-flag ( result cpu -- )
+ #! If the instruction resulted in a carry (from addition)
+ #! or a borrow (from subtraction or a comparison) out of the
+ #! higher order bit, this flag is set, otherwise it is reset.
+ swap dup HEX: 100 >= swap 0 < or [ carry-flag set-flag ] [ carry-flag clear-flag ] if ;
+
+: update-half-carry-flag ( original change-by result cpu -- )
+ #! If the instruction caused a carry out of bit 3 and into bit 4 of the
+ #! resulting value, the half carry flag is set, otherwise it is reset.
+ #! The 'original' is the original value of the register being changed.
+ #! 'change-by' is the amount it is being added or decremented by.
+ #! 'result' is the result of that change.
+ >r bitxor bitxor HEX: 10 bitand 0 = not r>
+ swap [ half-carry-flag set-flag ] [ half-carry-flag clear-flag ] if ;
+
+: update-flags ( result cpu -- )
+ 2dup update-carry-flag
+ 2dup update-parity-flag
+ 2dup update-sign-flag
+ update-zero-flag ;
+
+: update-flags-no-carry ( result cpu -- )
+ 2dup update-parity-flag
+ 2dup update-sign-flag
+ update-zero-flag ;
+
+: add-byte ( lhs rhs cpu -- result )
+ #! Add rhs to lhs
+ >r 2dup + r> ! lhs rhs result cpu
+ [ update-flags ] 2keep
+ [ update-half-carry-flag ] 2keep
+ drop HEX: FF bitand ;
+
+: add-carry ( change-by result cpu -- change-by result )
+ #! Add the effect of the carry flag to the result
+ flag-c? [ 1 + >r 1 + r> ] when ;
+
+: add-byte-with-carry ( lhs rhs cpu -- result )
+ #! Add rhs to lhs plus carry.
+ >r 2dup + r> ! lhs rhs result cpu
+ [ add-carry ] keep
+ [ update-flags ] 2keep
+ [ update-half-carry-flag ] 2keep
+ drop HEX: FF bitand ;
+
+: sub-carry ( change-by result cpu -- change-by result )
+ #! Subtract the effect of the carry flag from the result
+ flag-c? [ 1 - >r 1 - r> ] when ;
+
+: sub-byte ( lhs rhs cpu -- result )
+ #! Subtract rhs from lhs
+ >r 2dup - r>
+ [ update-flags ] 2keep
+ [ update-half-carry-flag ] 2keep
+ drop HEX: FF bitand ;
+
+: sub-byte-with-carry ( lhs rhs cpu -- result )
+ #! Subtract rhs from lhs and take carry into account
+ >r 2dup - r>
+ [ sub-carry ] keep
+ [ update-flags ] 2keep
+ [ update-half-carry-flag ] 2keep
+ drop HEX: FF bitand ;
+
+: inc-byte ( byte cpu -- result )
+ #! Increment byte by one. Note that carry flag is not affected
+ #! by this operation.
+ >r 1 2dup + r> ! lhs rhs result cpu
+ [ update-flags-no-carry ] 2keep
+ [ update-half-carry-flag ] 2keep
+ drop HEX: FF bitand ;
+
+: dec-byte ( byte cpu -- result )
+ #! Decrement byte by one. Note that carry flag is not affected
+ #! by this operation.
+ >r 1 2dup - r> ! lhs rhs result cpu
+ [ update-flags-no-carry ] 2keep
+ [ update-half-carry-flag ] 2keep
+ drop HEX: FF bitand ;
+
+: inc-word ( w cpu -- w )
+ #! Increment word by one. Note that no flags are modified.
+ drop 1 + HEX: FFFF bitand ;
+
+: dec-word ( w cpu -- w )
+ #! Decrement word by one. Note that no flags are modified.
+ drop 1 - HEX: FFFF bitand ;
+
+: add-word ( lhs rhs cpu -- result )
+ #! Add rhs to lhs. Note that only the carry flag is modified
+ #! and only if there is a carry out of the double precision add.
+ >r + r> over HEX: FFFF > [ carry-flag set-flag ] [ drop ] if HEX: FFFF bitand ;
+
+: bit3or ( lhs rhs -- 0|1 )
+ #! bitor bit 3 of the two numbers on the stack
+ BIN: 00001000 bitand -3 shift >r
+ BIN: 00001000 bitand -3 shift r>
+ bitor ;
+
+: and-byte ( lhs rhs cpu -- result )
+ #! Logically and rhs to lhs. The carry flag is cleared and
+ #! the half carry is set to the ORing of bits 3 of the operands.
+ [ drop bit3or ] 3keep ! bit3or lhs rhs cpu
+ >r bitand r> [ update-flags ] 2keep
+ [ carry-flag clear-flag ] keep
+ rot 0 = [ half-carry-flag set-flag ] [ half-carry-flag clear-flag ] if
+ HEX: FF bitand ;
+
+: xor-byte ( lhs rhs cpu -- result )
+ #! Logically xor rhs to lhs. The carry and half-carry flags are cleared.
+ >r bitxor r> [ update-flags ] 2keep
+ [ half-carry-flag carry-flag bitor clear-flag ] keep
+ drop HEX: FF bitand ;
+
+: or-byte ( lhs rhs cpu -- result )
+ #! Logically or rhs to lhs. The carry and half-carry flags are cleared.
+ >r bitor r> [ update-flags ] 2keep
+ [ half-carry-flag carry-flag bitor clear-flag ] keep
+ drop HEX: FF bitand ;
+
+: flags ( seq -- seq )
+ [ 0 [ execute bitor ] reduce ] map ;
+
+: decrement-sp ( n cpu -- )
+ #! Decrement the stackpointer by n.
+ [ cpu-sp ] keep
+ >r swap - r> set-cpu-sp ;
+
+: save-pc ( cpu -- )
+ #! Save the value of the PC on the stack.
+ [ cpu-pc ] keep ! pc cpu
+ [ cpu-sp ] keep ! pc sp cpu
+ write-word ;
+
+: push-pc ( cpu -- )
+ #! Push the value of the PC on the stack.
+ 2 over decrement-sp
+ save-pc ;
+
+: pop-pc ( cpu -- pc )
+ #! Pop the value of the PC off the stack.
+ [ cpu-sp ] keep
+ [ read-word ] keep
+ -2 swap decrement-sp ;
+
+: push-sp ( value cpu -- )
+ [ 2 swap decrement-sp ] keep
+ [ cpu-sp ] keep
+ write-word ;
+
+: pop-sp ( cpu -- value )
+ [ cpu-sp ] keep
+ [ read-word ] keep
+ -2 swap decrement-sp ;
+
+: call-sub ( addr cpu -- )
+ #! Call the address as a subroutine.
+ dup push-pc
+ >r HEX: FFFF bitand r> set-cpu-pc ;
+
+: ret-from-sub ( cpu -- )
+ [ pop-pc ] keep set-cpu-pc ;
+
+: interrupt ( number cpu -- )
+ #! Perform a hardware interrupt
+! "***Interrupt: " write over 16 >base print
+ dup cpu-f interrupt-flag bitand 0 = not [
+ dup push-pc
+ set-cpu-pc
+ ] [
+ 2drop
+ ] if ;
+
+: inc-cycles ( n cpu -- )
+ #! Increment the number of cpu cycles
+ [ cpu-cycles + ] keep set-cpu-cycles ;
+
+: instruction-cycles ( -- vector )
+ #! Return a 256 element vector containing the cycles for
+ #! each opcode in the 8080 instruction set.
+ << 256 f <array> parsed >> ;
+
+: not-implemented ( <cpu> -- )
+ drop ;
+
+: instructions ( -- vector )
+ #! Return a 256 element vector containing the emulation words for
+ #! each opcode in the 8080 instruction set.
+ << 256 [ [ not-implemented ] 2array ] map parsed >> ; inline
+
+: set-instruction ( quot n -- )
+ tuck >r 2array r> instructions set-nth ;
+
+M: cpu reset ( cpu -- )
+ #! Reset the CPU to its poweron state
+ [ 0 swap set-cpu-b ] keep
+ [ 0 swap set-cpu-c ] keep
+ [ 0 swap set-cpu-d ] keep
+ [ 0 swap set-cpu-e ] keep
+ [ 0 swap set-cpu-h ] keep
+ [ 0 swap set-cpu-l ] keep
+ [ 0 swap set-cpu-a ] keep
+ [ 0 swap set-cpu-f ] keep
+ [ 0 swap set-cpu-pc ] keep
+ [ HEX: F000 swap set-cpu-sp ] keep
+ [ HEX: FFFF 0 <array> swap set-cpu-ram ] keep
+ [ f swap set-cpu-halted? ] keep
+ [ HEX: 10 swap set-cpu-last-interrupt ] keep
+ 0 swap set-cpu-cycles ;
+
+: <cpu> ( -- cpu ) cpu new dup reset ;
+
+: (load-rom) ( n ram -- )
+ read1 [ ! n ram ch
+ -rot [ set-nth ] 2keep >r 1 + r> (load-rom)
+ ] [
+ 2drop
+ ] if* ;
+
+ #! Reads the ROM from stdin and stores it in ROM from
+ #! offset n.
+: load-rom ( filename cpu -- )
+ #! Load the contents of the file into ROM.
+ #! (address 0x0000-0x1FFF).
+ cpu-ram swap binary [
+ 0 swap (load-rom)
+ ] with-file-reader ;
+
+SYMBOL: rom-root
+
+: rom-dir ( -- string )
+ rom-root get [ home "roms" append-path dup exists? [ drop f ] unless ] unless* ;
+
+: load-rom* ( seq cpu -- )
+ #! 'seq' is an array of arrays. Each array contains
+ #! an address and filename of a ROM file. The ROM
+ #! file will be loaded at the specified address. This
+ #! file path shoul dbe relative to the '/roms' resource path.
+ rom-dir [
+ cpu-ram [
+ swap first2 rom-dir prepend-path binary [
+ swap (load-rom)
+ ] with-file-reader
+ ] curry each
+ ] [
+ !
+ ! the ROM files.
+ "Set 'rom-root' to the path containing the root of the 8080 ROM files." throw
+ ] if ;
+
+: read-instruction ( cpu -- word )
+ #! Read the next instruction from the cpu's program
+ #! counter, and increment the program counter.
+ [ cpu-pc ] keep ! pc cpu
+ [ over 1 + swap set-cpu-pc ] keep
+ read-byte ;
+
+: get-cycles ( n -- opcode )
+ #! Returns the cycles for the given instruction value.
+ #! If the opcode is not defined throw an error.
+ dup instruction-cycles nth [
+ nip
+ ] [
+ [ "Undefined 8080 opcode: " % number>string % ] "" make throw
+ ] if* ;
+
+: process-interrupts ( cpu -- )
+ #! Process any hardware interrupts
+ [ cpu-cycles ] keep
+ over 16667 < [
+ 2drop
+ ] [
+ [ >r 16667 - r> set-cpu-cycles ] keep
+ dup cpu-last-interrupt HEX: 10 = [
+ HEX: 08 over set-cpu-last-interrupt HEX: 08 swap interrupt
+ ] [
+ HEX: 10 over set-cpu-last-interrupt HEX: 10 swap interrupt
+ ] if
+ ] if ;
+
+: peek-instruction ( cpu -- word )
+ #! Return the next instruction from the cpu's program
+ #! counter, but don't increment the counter.
+ [ cpu-pc ] keep read-byte instructions nth first ;
+
+: cpu. ( cpu -- )
+ [ " PC: " write cpu-pc 16 >base 4 CHAR: \s pad-left write ] keep
+ [ " B: " write cpu-b 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " C: " write cpu-c 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " D: " write cpu-d 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " E: " write cpu-e 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " F: " write cpu-f 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " H: " write cpu-h 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " L: " write cpu-l 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " A: " write cpu-a 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " SP: " write cpu-sp 16 >base 4 CHAR: \s pad-left write ] keep
+ [ " cycles: " write cpu-cycles number>string 5 CHAR: \s pad-left write ] keep
+ [ " " write peek-instruction name>> write " " write ] keep
+ nl drop ;
+
+: cpu*. ( cpu -- )
+ [ " PC: " write cpu-pc 16 >base 4 CHAR: \s pad-left write ] keep
+ [ " B: " write cpu-b 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " C: " write cpu-c 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " D: " write cpu-d 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " E: " write cpu-e 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " F: " write cpu-f 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " H: " write cpu-h 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " L: " write cpu-l 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " A: " write cpu-a 16 >base 2 CHAR: \s pad-left write ] keep
+ [ " SP: " write cpu-sp 16 >base 4 CHAR: \s pad-left write ] keep
+ [ " cycles: " write cpu-cycles number>string 5 CHAR: \s pad-left write ] keep
+ nl drop ;
+
+: register-lookup ( string -- vector )
+ #! Given a string containing a register name, return a vector
+ #! where the 1st item is the getter and the 2nd is the setter
+ #! for that register.
+ H{
+ { "A" { cpu-a set-cpu-a } }
+ { "B" { cpu-b set-cpu-b } }
+ { "C" { cpu-c set-cpu-c } }
+ { "D" { cpu-d set-cpu-d } }
+ { "E" { cpu-e set-cpu-e } }
+ { "H" { cpu-h set-cpu-h } }
+ { "L" { cpu-l set-cpu-l } }
+ { "AF" { cpu-af set-cpu-af } }
+ { "BC" { cpu-bc set-cpu-bc } }
+ { "DE" { cpu-de set-cpu-de } }
+ { "HL" { cpu-hl set-cpu-hl } }
+ { "SP" { cpu-sp set-cpu-sp } }
+ } at ;
+
+
+: flag-lookup ( string -- vector )
+ #! Given a string containing a flag name, return a vector
+ #! where the 1st item is a word that tests that flag.
+ H{
+ { "NZ" { flag-nz? } }
+ { "NC" { flag-nc? } }
+ { "PO" { flag-po? } }
+ { "PE" { flag-pe? } }
+ { "Z" { flag-z? } }
+ { "C" { flag-c? } }
+ { "P" { flag-p? } }
+ { "M" { flag-m? } }
+ } at ;
+
+SYMBOLS: $1 $2 $3 $4 ;
+
+: replace-patterns ( vector tree -- tree )
+ [
+ {
+ { $1 [ first ] }
+ { $2 [ second ] }
+ { $3 [ third ] }
+ { $4 [ fourth ] }
+ [ nip ]
+ } case
+ ] with deep-map ;
+
+: (emulate-RST) ( n cpu -- )
+ #! RST nn
+ [ cpu-sp 2 - dup ] keep ! sp sp cpu
+ [ set-cpu-sp ] keep ! sp cpu
+ [ cpu-pc ] keep ! sp pc cpu
+ swapd [ write-word ] keep ! cpu
+ >r 8 * r> set-cpu-pc ;
+
+: (emulate-CALL) ( cpu -- )
+ #! 205 - CALL nn
+ [ next-word HEX: FFFF bitand ] keep ! addr cpu
+ [ cpu-sp 2 - dup ] keep ! addr sp sp cpu
+ [ set-cpu-sp ] keep ! addr sp cpu
+ [ cpu-pc ] keep ! addr sp pc cpu
+ swapd [ write-word ] keep ! addr cpu
+ set-cpu-pc ;
+
+: (emulate-RLCA) ( cpu -- )
+ #! The content of the accumulator is rotated left
+ #! one position. The low order bit and the carry flag
+ #! are both set to the value shifd out of the high
+ #! order bit position. Only the carry flag is affected.
+ [ cpu-a -7 shift ] keep
+ over 0 = [ dup carry-flag clear-flag ] [ dup carry-flag set-flag ] if
+ [ cpu-a 1 shift HEX: FF bitand ] keep
+ >r bitor r> set-cpu-a ;
+
+: (emulate-RRCA) ( cpu -- )
+ #! The content of the accumulator is rotated right
+ #! one position. The high order bit and the carry flag
+ #! are both set to the value shifd out of the low
+ #! order bit position. Only the carry flag is affected.
+ [ cpu-a 1 bitand 7 shift ] keep
+ over 0 = [ dup carry-flag clear-flag ] [ dup carry-flag set-flag ] if
+ [ cpu-a 254 bitand -1 shift ] keep
+ >r bitor r> set-cpu-a ;
+
+: (emulate-RLA) ( cpu -- )
+ #! The content of the accumulator is rotated left
+ #! one position through the carry flag. The low
+ #! order bit is set equal to the carry flag and
+ #! the carry flag is set to the value shifd out
+ #! of the high order bit. Only the carry flag is
+ #! affected.
+ [ carry-flag swap flag-set? [ 1 ] [ 0 ] if ] keep
+ [ cpu-a 127 bitand 7 shift ] keep
+ dup cpu-a 128 bitand 0 = [ dup carry-flag clear-flag ] [ dup carry-flag set-flag ] if
+ >r bitor r> set-cpu-a ;
+
+: (emulate-RRA) ( cpu -- )
+ #! The content of the accumulator is rotated right
+ #! one position through the carry flag. The high order
+ #! bit is set to the carry flag and the carry flag is
+ #! set to the value shifd out of the low order bit.
+ #! Only the carry flag is affected.
+ [ carry-flag swap flag-set? [ BIN: 10000000 ] [ 0 ] if ] keep
+ [ cpu-a 254 bitand -1 shift ] keep
+ dup cpu-a 1 bitand 0 = [ dup carry-flag clear-flag ] [ dup carry-flag set-flag ] if
+ >r bitor r> set-cpu-a ;
+
+: (emulate-CPL) ( cpu -- )
+ #! The contents of the accumulator are complemented
+ #! (zero bits become one, one bits becomes zero).
+ #! No flags are affected.
+ HEX: FF swap cpu-a-bitxor= ;
+
+: (emulate-DAA) ( cpu -- )
+ #! The eight bit number in the accumulator is
+ #! adjusted to form two four-bit binary-coded-decimal
+ #! digits.
+ [
+ dup half-carry-flag swap flag-set? swap
+ cpu-a BIN: 1111 bitand 9 > or [ 6 ] [ 0 ] if
+ ] keep
+ [ cpu-a + ] keep
+ [ update-flags ] 2keep
+ [ swap HEX: FF bitand swap set-cpu-a ] keep
+ [
+ dup carry-flag swap flag-set? swap
+ cpu-a -4 shift BIN: 1111 bitand 9 > or [ 96 ] [ 0 ] if
+ ] keep
+ [ cpu-a + ] keep
+ [ update-flags ] 2keep
+ swap HEX: FF bitand swap set-cpu-a ;
+
+: patterns ( -- hashtable )
+ #! table of code quotation patterns for each type of instruction.
+ H{
+ { "NOP" [ drop ] }
+ { "RET-NN" [ ret-from-sub ] }
+ { "RST-0" [ 0 swap (emulate-RST) ] }
+ { "RST-8" [ 8 swap (emulate-RST) ] }
+ { "RST-10H" [ HEX: 10 swap (emulate-RST) ] }
+ { "RST-18H" [ HEX: 18 swap (emulate-RST) ] }
+ { "RST-20H" [ HEX: 20 swap (emulate-RST) ] }
+ { "RST-28H" [ HEX: 28 swap (emulate-RST) ] }
+ { "RST-30H" [ HEX: 30 swap (emulate-RST) ] }
+ { "RST-38H" [ HEX: 38 swap (emulate-RST) ] }
+ { "RET-F|FF" [ dup $1 [ 6 over inc-cycles ret-from-sub ] [ drop ] if ] }
+ { "CP-N" [ [ cpu-a ] keep [ next-byte ] keep sub-byte drop ] }
+ { "CP-R" [ [ cpu-a ] keep [ $1 ] keep sub-byte drop ] }
+ { "CP-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep sub-byte drop ] }
+ { "OR-N" [ [ cpu-a ] keep [ next-byte ] keep [ or-byte ] keep set-cpu-a ] }
+ { "OR-R" [ [ cpu-a ] keep [ $1 ] keep [ or-byte ] keep set-cpu-a ] }
+ { "OR-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep [ or-byte ] keep set-cpu-a ] }
+ { "XOR-N" [ [ cpu-a ] keep [ next-byte ] keep [ xor-byte ] keep set-cpu-a ] }
+ { "XOR-R" [ [ cpu-a ] keep [ $1 ] keep [ xor-byte ] keep set-cpu-a ] }
+ { "XOR-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep [ xor-byte ] keep set-cpu-a ] }
+ { "AND-N" [ [ cpu-a ] keep [ next-byte ] keep [ and-byte ] keep set-cpu-a ] }
+ { "AND-R" [ [ cpu-a ] keep [ $1 ] keep [ and-byte ] keep set-cpu-a ] }
+ { "AND-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep [ and-byte ] keep set-cpu-a ] }
+ { "ADC-R,N" [ [ $1 ] keep [ next-byte ] keep [ add-byte-with-carry ] keep $2 ] }
+ { "ADC-R,R" [ [ $1 ] keep [ $3 ] keep [ add-byte-with-carry ] keep $2 ] }
+ { "ADC-R,(RR)" [ [ $1 ] keep [ $3 ] keep [ read-byte ] keep [ add-byte-with-carry ] keep $2 ] }
+ { "ADD-R,N" [ [ $1 ] keep [ next-byte ] keep [ add-byte ] keep $2 ] }
+ { "ADD-R,R" [ [ $1 ] keep [ $3 ] keep [ add-byte ] keep $2 ] }
+ { "ADD-RR,RR" [ [ $1 ] keep [ $3 ] keep [ add-word ] keep $2 ] }
+ { "ADD-R,(RR)" [ [ $1 ] keep [ $3 ] keep [ read-byte ] keep [ add-byte ] keep $2 ] }
+ { "SBC-R,N" [ [ $1 ] keep [ next-byte ] keep [ sub-byte-with-carry ] keep $2 ] }
+ { "SBC-R,R" [ [ $1 ] keep [ $3 ] keep [ sub-byte-with-carry ] keep $2 ] }
+ { "SBC-R,(RR)" [ [ $1 ] keep [ $3 ] keep [ read-byte ] keep [ sub-byte-with-carry ] keep $2 ] }
+ { "SUB-R" [ [ cpu-a ] keep [ $1 ] keep [ sub-byte ] keep set-cpu-a ] }
+ { "SUB-(RR)" [ [ cpu-a ] keep [ $1 ] keep [ read-byte ] keep [ sub-byte ] keep set-cpu-a ] }
+ { "SUB-N" [ [ cpu-a ] keep [ next-byte ] keep [ sub-byte ] keep set-cpu-a ] }
+ { "CPL" [ (emulate-CPL) ] }
+ { "DAA" [ (emulate-DAA) ] }
+ { "RLA" [ (emulate-RLA) ] }
+ { "RRA" [ (emulate-RRA) ] }
+ { "CCF" [ carry-flag swap cpu-f-bitxor= ] }
+ { "SCF" [ carry-flag swap cpu-f-bitor= ] }
+ { "RLCA" [ (emulate-RLCA) ] }
+ { "RRCA" [ (emulate-RRCA) ] }
+ { "HALT" [ drop ] }
+ { "DI" [ [ 255 interrupt-flag - ] swap cpu-f-bitand ] }
+ { "EI" [ [ interrupt-flag ] swap cpu-f-bitor ] }
+ { "POP-RR" [ [ pop-sp ] keep $2 ] }
+ { "PUSH-RR" [ [ $1 ] keep push-sp ] }
+ { "INC-R" [ [ $1 ] keep [ inc-byte ] keep $2 ] }
+ { "DEC-R" [ [ $1 ] keep [ dec-byte ] keep $2 ] }
+ { "INC-RR" [ [ $1 ] keep [ inc-word ] keep $2 ] }
+ { "DEC-RR" [ [ $1 ] keep [ dec-word ] keep $2 ] }
+ { "DEC-(RR)" [ [ $1 ] keep [ read-byte ] keep [ dec-byte ] keep [ $1 ] keep write-byte ] }
+ { "INC-(RR)" [ [ $1 ] keep [ read-byte ] keep [ inc-byte ] keep [ $1 ] keep write-byte ] }
+ { "JP-NN" [ [ cpu-pc ] keep [ read-word ] keep set-cpu-pc ] }
+ { "JP-F|FF,NN" [ [ $1 ] keep swap [ [ next-word ] keep [ set-cpu-pc ] keep [ cpu-cycles ] keep swap 5 + swap set-cpu-cycles ] [ [ cpu-pc 2 + ] keep set-cpu-pc ] if ] }
+ { "JP-(RR)" [ [ $1 ] keep set-cpu-pc ] }
+ { "CALL-NN" [ (emulate-CALL) ] }
+ { "CALL-F|FF,NN" [ [ $1 ] keep swap [ 7 over inc-cycles (emulate-CALL) ] [ [ cpu-pc 2 + ] keep set-cpu-pc ] if ] }
+ { "LD-RR,NN" [ [ next-word ] keep $2 ] }
+ { "LD-RR,RR" [ [ $3 ] keep $2 ] }
+ { "LD-R,N" [ [ next-byte ] keep $2 ] }
+ { "LD-(RR),N" [ [ next-byte ] keep [ $1 ] keep write-byte ] }
+ { "LD-(RR),R" [ [ $3 ] keep [ $1 ] keep write-byte ] }
+ { "LD-R,R" [ [ $3 ] keep $2 ] }
+ { "LD-R,(RR)" [ [ $3 ] keep [ read-byte ] keep $2 ] }
+ { "LD-(NN),RR" [ [ $1 ] keep [ next-word ] keep write-word ] }
+ { "LD-(NN),R" [ [ $1 ] keep [ next-word ] keep write-byte ] }
+ { "LD-RR,(NN)" [ [ next-word ] keep [ read-word ] keep $2 ] }
+ { "LD-R,(NN)" [ [ next-word ] keep [ read-byte ] keep $2 ] }
+ { "OUT-(N),R" [ [ $1 ] keep [ next-byte ] keep write-port ] }
+ { "IN-R,(N)" [ [ next-byte ] keep [ read-port ] keep set-cpu-a ] }
+ { "EX-(RR),RR" [ [ $1 ] keep [ read-word ] keep [ $3 ] keep [ $1 ] keep [ write-word ] keep $4 ] }
+ { "EX-RR,RR" [ [ $1 ] keep [ $3 ] keep [ $2 ] keep $4 ] }
+ } ;
+
+: 8-bit-registers ( -- parser )
+ #! A parser for 8-bit registers. On a successfull parse the
+ #! parse tree contains a vector. The first item in the vector
+ #! is the getter word for that register with stack effect
+ #! ( cpu -- value ). The second item is the setter word with
+ #! stack effect ( value cpu -- ).
+ <EBNF
+ main=("A" | "B" | "C" | "D" | "E" | "H" | "L") => [[ register-lookup ]]
+ EBNF> ;
+
+: all-flags ( -- parser )
+ #! A parser for 16-bit flags.
+ <EBNF
+ main=("NZ" | "NC" | "PO" | "PE" | "Z" | "C" | "P" | "M") => [[ flag-lookup ]]
+ EBNF> ;
+
+: 16-bit-registers ( -- parser )
+ #! A parser for 16-bit registers. On a successfull parse the
+ #! parse tree contains a vector. The first item in the vector
+ #! is the getter word for that register with stack effect
+ #! ( cpu -- value ). The second item is the setter word with
+ #! stack effect ( value cpu -- ).
+ <EBNF
+ main=("AF" | "BC" | "DE" | "HL" | "SP") => [[ register-lookup ]]
+ EBNF> ;
+
+: all-registers ( -- parser )
+ #! Return a parser that can parse the format
+ #! for 8 bit or 16 bit registers.
+ [ 16-bit-registers , 8-bit-registers , ] choice* ;
+
+: indirect ( parser -- parser )
+ #! Given a parser, return a parser which parses the original
+ #! wrapped in brackets, representing an indirect reference.
+ #! eg. BC -> (BC). The value of the original parser is left in
+ #! the parse tree.
+ "(" ")" surrounded-by ;
+
+: generate-instruction ( vector string -- quot )
+ #! Generate the quotation for an instruction, given the instruction in
+ #! the 'string' and a vector containing the arguments for that instruction.
+ patterns at replace-patterns ;
+
+: simple-instruction ( token -- parser )
+ #! Return a parser for then instruction identified by the token.
+ #! The parser return parses the token only and expects no additional
+ #! arguments to the instruction.
+ token [ '[ { } , generate-instruction ] ] action ;
+
+: complex-instruction ( type token -- parser )
+ #! Return a parser for an instruction identified by the token.
+ #! The instruction is expected to take additional arguments by
+ #! being combined with other parsers. Then 'type' is used for a lookup
+ #! in a pattern hashtable to return the instruction quotation pattern.
+ token swap [ nip '[ , generate-instruction ] ] curry action ;
+
+: no-params ( ast -- ast )
+ first { } swap curry ;
+
+: one-param ( ast -- ast )
+ first2 swap curry ;
+
+: two-params ( ast -- ast )
+ first3 append swap curry ;
+
+: NOP-instruction ( -- parser )
+ "NOP" simple-instruction ;
+
+: RET-NN-instruction ( -- parser )
+ [
+ "RET-NN" "RET" complex-instruction ,
+ "nn" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: RST-0-instruction ( -- parser )
+ [
+ "RST-0" "RST" complex-instruction ,
+ "0" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: RST-8-instruction ( -- parser )
+ [
+ "RST-8" "RST" complex-instruction ,
+ "8" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: RST-10H-instruction ( -- parser )
+ [
+ "RST-10H" "RST" complex-instruction ,
+ "10H" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: RST-18H-instruction ( -- parser )
+ [
+ "RST-18H" "RST" complex-instruction ,
+ "18H" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: RST-20H-instruction ( -- parser )
+ [
+ "RST-20H" "RST" complex-instruction ,
+ "20H" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: RST-28H-instruction ( -- parser )
+ [
+ "RST-28H" "RST" complex-instruction ,
+ "28H" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: RST-30H-instruction ( -- parser )
+ [
+ "RST-30H" "RST" complex-instruction ,
+ "30H" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: RST-38H-instruction ( -- parser )
+ [
+ "RST-38H" "RST" complex-instruction ,
+ "38H" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: JP-NN-instruction ( -- parser )
+ [
+ "JP-NN" "JP" complex-instruction ,
+ "nn" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: JP-F|FF,NN-instruction ( -- parser )
+ [
+ "JP-F|FF,NN" "JP" complex-instruction ,
+ all-flags sp ,
+ ",nn" token hide ,
+ ] seq* [ one-param ] action ;
+
+: JP-(RR)-instruction ( -- parser )
+ [
+ "JP-(RR)" "JP" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ ] seq* [ one-param ] action ;
+
+: CALL-NN-instruction ( -- parser )
+ [
+ "CALL-NN" "CALL" complex-instruction ,
+ "nn" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: CALL-F|FF,NN-instruction ( -- parser )
+ [
+ "CALL-F|FF,NN" "CALL" complex-instruction ,
+ all-flags sp ,
+ ",nn" token hide ,
+ ] seq* [ one-param ] action ;
+
+: RLCA-instruction ( -- parser )
+ "RLCA" simple-instruction ;
+
+: RRCA-instruction ( -- parser )
+ "RRCA" simple-instruction ;
+
+: HALT-instruction ( -- parser )
+ "HALT" simple-instruction ;
+
+: DI-instruction ( -- parser )
+ "DI" simple-instruction ;
+
+: EI-instruction ( -- parser )
+ "EI" simple-instruction ;
+
+: CPL-instruction ( -- parser )
+ "CPL" simple-instruction ;
+
+: CCF-instruction ( -- parser )
+ "CCF" simple-instruction ;
+
+: SCF-instruction ( -- parser )
+ "SCF" simple-instruction ;
+
+: DAA-instruction ( -- parser )
+ "DAA" simple-instruction ;
+
+: RLA-instruction ( -- parser )
+ "RLA" simple-instruction ;
+
+: RRA-instruction ( -- parser )
+ "RRA" simple-instruction ;
+
+: DEC-R-instruction ( -- parser )
+ [
+ "DEC-R" "DEC" complex-instruction ,
+ 8-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: DEC-RR-instruction ( -- parser )
+ [
+ "DEC-RR" "DEC" complex-instruction ,
+ 16-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: DEC-(RR)-instruction ( -- parser )
+ [
+ "DEC-(RR)" "DEC" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ ] seq* [ one-param ] action ;
+
+: POP-RR-instruction ( -- parser )
+ [
+ "POP-RR" "POP" complex-instruction ,
+ all-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: PUSH-RR-instruction ( -- parser )
+ [
+ "PUSH-RR" "PUSH" complex-instruction ,
+ all-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: INC-R-instruction ( -- parser )
+ [
+ "INC-R" "INC" complex-instruction ,
+ 8-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: INC-RR-instruction ( -- parser )
+ [
+ "INC-RR" "INC" complex-instruction ,
+ 16-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: INC-(RR)-instruction ( -- parser )
+ [
+ "INC-(RR)" "INC" complex-instruction ,
+ all-registers indirect sp ,
+ ] seq* [ one-param ] action ;
+
+: RET-F|FF-instruction ( -- parser )
+ [
+ "RET-F|FF" "RET" complex-instruction ,
+ all-flags sp ,
+ ] seq* [ one-param ] action ;
+
+: AND-N-instruction ( -- parser )
+ [
+ "AND-N" "AND" complex-instruction ,
+ "n" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: AND-R-instruction ( -- parser )
+ [
+ "AND-R" "AND" complex-instruction ,
+ 8-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: AND-(RR)-instruction ( -- parser )
+ [
+ "AND-(RR)" "AND" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ ] seq* [ one-param ] action ;
+
+: XOR-N-instruction ( -- parser )
+ [
+ "XOR-N" "XOR" complex-instruction ,
+ "n" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: XOR-R-instruction ( -- parser )
+ [
+ "XOR-R" "XOR" complex-instruction ,
+ 8-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: XOR-(RR)-instruction ( -- parser )
+ [
+ "XOR-(RR)" "XOR" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ ] seq* [ one-param ] action ;
+
+: OR-N-instruction ( -- parser )
+ [
+ "OR-N" "OR" complex-instruction ,
+ "n" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: OR-R-instruction ( -- parser )
+ [
+ "OR-R" "OR" complex-instruction ,
+ 8-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: OR-(RR)-instruction ( -- parser )
+ [
+ "OR-(RR)" "OR" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ ] seq* [ one-param ] action ;
+
+: CP-N-instruction ( -- parser )
+ [
+ "CP-N" "CP" complex-instruction ,
+ "n" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: CP-R-instruction ( -- parser )
+ [
+ "CP-R" "CP" complex-instruction ,
+ 8-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: CP-(RR)-instruction ( -- parser )
+ [
+ "CP-(RR)" "CP" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ ] seq* [ one-param ] action ;
+
+: ADC-R,N-instruction ( -- parser )
+ [
+ "ADC-R,N" "ADC" complex-instruction ,
+ 8-bit-registers sp ,
+ ",n" token hide ,
+ ] seq* [ one-param ] action ;
+
+: ADC-R,R-instruction ( -- parser )
+ [
+ "ADC-R,R" "ADC" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ 8-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: ADC-R,(RR)-instruction ( -- parser )
+ [
+ "ADC-R,(RR)" "ADC" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ 16-bit-registers indirect ,
+ ] seq* [ two-params ] action ;
+
+: SBC-R,N-instruction ( -- parser )
+ [
+ "SBC-R,N" "SBC" complex-instruction ,
+ 8-bit-registers sp ,
+ ",n" token hide ,
+ ] seq* [ one-param ] action ;
+
+: SBC-R,R-instruction ( -- parser )
+ [
+ "SBC-R,R" "SBC" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ 8-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: SBC-R,(RR)-instruction ( -- parser )
+ [
+ "SBC-R,(RR)" "SBC" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ 16-bit-registers indirect ,
+ ] seq* [ two-params ] action ;
+
+: SUB-R-instruction ( -- parser )
+ [
+ "SUB-R" "SUB" complex-instruction ,
+ 8-bit-registers sp ,
+ ] seq* [ one-param ] action ;
+
+: SUB-(RR)-instruction ( -- parser )
+ [
+ "SUB-(RR)" "SUB" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ ] seq* [ one-param ] action ;
+
+: SUB-N-instruction ( -- parser )
+ [
+ "SUB-N" "SUB" complex-instruction ,
+ "n" token sp hide ,
+ ] seq* [ no-params ] action ;
+
+: ADD-R,N-instruction ( -- parser )
+ [
+ "ADD-R,N" "ADD" complex-instruction ,
+ 8-bit-registers sp ,
+ ",n" token hide ,
+ ] seq* [ one-param ] action ;
+
+: ADD-R,R-instruction ( -- parser )
+ [
+ "ADD-R,R" "ADD" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ 8-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: ADD-RR,RR-instruction ( -- parser )
+ [
+ "ADD-RR,RR" "ADD" complex-instruction ,
+ 16-bit-registers sp ,
+ "," token hide ,
+ 16-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: ADD-R,(RR)-instruction ( -- parser )
+ [
+ "ADD-R,(RR)" "ADD" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ 16-bit-registers indirect ,
+ ] seq* [ two-params ] action ;
+
+: LD-RR,NN-instruction ( -- parser )
+ #! LD BC,nn
+ [
+ "LD-RR,NN" "LD" complex-instruction ,
+ 16-bit-registers sp ,
+ ",nn" token hide ,
+ ] seq* [ one-param ] action ;
+
+: LD-R,N-instruction ( -- parser )
+ #! LD B,n
+ [
+ "LD-R,N" "LD" complex-instruction ,
+ 8-bit-registers sp ,
+ ",n" token hide ,
+ ] seq* [ one-param ] action ;
+
+: LD-(RR),N-instruction ( -- parser )
+ [
+ "LD-(RR),N" "LD" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ ",n" token hide ,
+ ] seq* [ one-param ] action ;
+
+: LD-(RR),R-instruction ( -- parser )
+ #! LD (BC),A
+ [
+ "LD-(RR),R" "LD" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ "," token hide ,
+ 8-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: LD-R,R-instruction ( -- parser )
+ [
+ "LD-R,R" "LD" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ 8-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: LD-RR,RR-instruction ( -- parser )
+ [
+ "LD-RR,RR" "LD" complex-instruction ,
+ 16-bit-registers sp ,
+ "," token hide ,
+ 16-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: LD-R,(RR)-instruction ( -- parser )
+ [
+ "LD-R,(RR)" "LD" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ 16-bit-registers indirect ,
+ ] seq* [ two-params ] action ;
+
+: LD-(NN),RR-instruction ( -- parser )
+ [
+ "LD-(NN),RR" "LD" complex-instruction ,
+ "nn" token indirect sp hide ,
+ "," token hide ,
+ 16-bit-registers ,
+ ] seq* [ one-param ] action ;
+
+: LD-(NN),R-instruction ( -- parser )
+ [
+ "LD-(NN),R" "LD" complex-instruction ,
+ "nn" token indirect sp hide ,
+ "," token hide ,
+ 8-bit-registers ,
+ ] seq* [ one-param ] action ;
+
+: LD-RR,(NN)-instruction ( -- parser )
+ [
+ "LD-RR,(NN)" "LD" complex-instruction ,
+ 16-bit-registers sp ,
+ "," token hide ,
+ "nn" token indirect hide ,
+ ] seq* [ one-param ] action ;
+
+: LD-R,(NN)-instruction ( -- parser )
+ [
+ "LD-R,(NN)" "LD" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ "nn" token indirect hide ,
+ ] seq* [ one-param ] action ;
+
+: OUT-(N),R-instruction ( -- parser )
+ [
+ "OUT-(N),R" "OUT" complex-instruction ,
+ "n" token indirect sp hide ,
+ "," token hide ,
+ 8-bit-registers ,
+ ] seq* [ one-param ] action ;
+
+: IN-R,(N)-instruction ( -- parser )
+ [
+ "IN-R,(N)" "IN" complex-instruction ,
+ 8-bit-registers sp ,
+ "," token hide ,
+ "n" token indirect hide ,
+ ] seq* [ one-param ] action ;
+
+: EX-(RR),RR-instruction ( -- parser )
+ [
+ "EX-(RR),RR" "EX" complex-instruction ,
+ 16-bit-registers indirect sp ,
+ "," token hide ,
+ 16-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: EX-RR,RR-instruction ( -- parser )
+ [
+ "EX-RR,RR" "EX" complex-instruction ,
+ 16-bit-registers sp ,
+ "," token hide ,
+ 16-bit-registers ,
+ ] seq* [ two-params ] action ;
+
+: 8080-generator-parser ( -- parser )
+ [
+ NOP-instruction ,
+ RST-0-instruction ,
+ RST-8-instruction ,
+ RST-10H-instruction ,
+ RST-18H-instruction ,
+ RST-20H-instruction ,
+ RST-28H-instruction ,
+ RST-30H-instruction ,
+ RST-38H-instruction ,
+ JP-F|FF,NN-instruction ,
+ JP-NN-instruction ,
+ JP-(RR)-instruction ,
+ CALL-F|FF,NN-instruction ,
+ CALL-NN-instruction ,
+ CPL-instruction ,
+ CCF-instruction ,
+ SCF-instruction ,
+ DAA-instruction ,
+ RLA-instruction ,
+ RRA-instruction ,
+ RLCA-instruction ,
+ RRCA-instruction ,
+ HALT-instruction ,
+ DI-instruction ,
+ EI-instruction ,
+ AND-N-instruction ,
+ AND-R-instruction ,
+ AND-(RR)-instruction ,
+ XOR-N-instruction ,
+ XOR-R-instruction ,
+ XOR-(RR)-instruction ,
+ OR-N-instruction ,
+ OR-R-instruction ,
+ OR-(RR)-instruction ,
+ CP-N-instruction ,
+ CP-R-instruction ,
+ CP-(RR)-instruction ,
+ DEC-RR-instruction ,
+ DEC-R-instruction ,
+ DEC-(RR)-instruction ,
+ POP-RR-instruction ,
+ PUSH-RR-instruction ,
+ INC-RR-instruction ,
+ INC-R-instruction ,
+ INC-(RR)-instruction ,
+ LD-RR,NN-instruction ,
+ LD-RR,RR-instruction ,
+ LD-R,N-instruction ,
+ LD-R,R-instruction ,
+ LD-(RR),N-instruction ,
+ LD-(RR),R-instruction ,
+ LD-R,(RR)-instruction ,
+ LD-(NN),RR-instruction ,
+ LD-(NN),R-instruction ,
+ LD-RR,(NN)-instruction ,
+ LD-R,(NN)-instruction ,
+ ADC-R,(RR)-instruction ,
+ ADC-R,N-instruction ,
+ ADC-R,R-instruction ,
+ ADD-R,N-instruction ,
+ ADD-R,(RR)-instruction ,
+ ADD-R,R-instruction ,
+ ADD-RR,RR-instruction ,
+ SBC-R,N-instruction ,
+ SBC-R,R-instruction ,
+ SBC-R,(RR)-instruction ,
+ SUB-R-instruction ,
+ SUB-(RR)-instruction ,
+ SUB-N-instruction ,
+ RET-F|FF-instruction ,
+ RET-NN-instruction ,
+ OUT-(N),R-instruction ,
+ IN-R,(N)-instruction ,
+ EX-(RR),RR-instruction ,
+ EX-RR,RR-instruction ,
+ ] choice* [ call ] action ;
+
+: instruction-quotations ( string -- emulate-quot )
+ #! Given an instruction string, return the emulation quotation for
+ #! it. This will later be expanded to produce the disassembly and
+ #! assembly quotations.
+ 8080-generator-parser parse ;
+
+SYMBOL: last-instruction
+SYMBOL: last-opcode
+
+: parse-instructions ( list -- emulate-quot )
+ #! Process the list of strings, which should make
+ #! up an 8080 instruction, and output a quotation
+ #! that would implement that instruction.
+ dup " " join instruction-quotations
+ >r "_" join [ "emulate-" % % ] "" make create-in dup last-instruction global set-at
+ r> (( cpu -- )) define-declared ;
+
+: INSTRUCTION: ";" parse-tokens parse-instructions ; parsing
+
+: cycles ( -- )
+ #! Set the number of cycles for the last instruction that was defined.
+ scan string>number last-opcode global at instruction-cycles set-nth ; parsing
+
+: opcode ( -- )
+ #! Set the opcode number for the last instruction that was defined.
+ last-instruction global at 1quotation scan 16 base>
+ dup last-opcode global set-at set-instruction ; parsing
+
--- /dev/null
+Intel 8080 CPU Emulator
--- /dev/null
+Intel 8080 CPU Emulator
--- /dev/null
+USING: kernel cpu.8080 cpu.8080.emulator math math io\r
+tools.time combinators sequences io.files io.encodings.ascii ;\r
+IN: cpu.8080.test\r
+\r
+: step ( cpu -- )\r
+ #! Run a single 8080 instruction\r
+ [ read-instruction ] keep ! n cpu\r
+ over get-cycles over inc-cycles\r
+ [ swap instructions case ] keep\r
+ [ cpu-pc HEX: FFFF bitand ] keep \r
+ [ set-cpu-pc ] keep \r
+ process-interrupts ;\r
+\r
+\r
+: test-step ( cpu -- cpu )\r
+ [ step ] keep dup cpu. ;\r
+\r
+: test-cpu ( -- cpu )\r
+ <cpu> "invaders.rom" over load-rom dup cpu. ;\r
+\r
+: test-n ( n -- )\r
+ test-cpu swap [ test-step ] times drop ;\r
+\r
+: run-n ( cpu n -- cpu )\r
+ [ dup step ] times ;\r
+\r
+: each-8bit ( n quot -- )\r
+ 8 -rot [ >r bit? r> call ] 2curry each ; inline\r
+\r
+: >ppm ( cpu filename -- cpu )\r
+ #! Dump the current screen image to a ppm image file with the given name.\r
+ ascii [\r
+ "P3" print\r
+ "256 224" print\r
+ "1" print\r
+ 224 [\r
+ 32 [\r
+ over 32 * over + HEX: 2400 + ! cpu h w addr\r
+ >r pick r> swap cpu-ram nth [\r
+ 0 = [\r
+ " 0 0 0" write\r
+ ] [\r
+ " 1 1 1" write\r
+ ] if\r
+ ] each-8bit drop\r
+ ] each drop nl\r
+ ] each\r
+ ] with-file-writer ;\r
+\r
+: time-test ( -- )\r
+ test-cpu [ 1000000 run-n drop ] time ;\r