mirror of
https://github.com/open-goal/jak-project
synced 2026-05-26 23:47:57 -04:00
ManDude
cd68cb671e
Major change to how `deftype` shows up in our code: - the decompiler will no longer emit the `offset-assert`, `method-count-assert`, `size-assert` and `flag-assert` parameters. There are extremely few cases where having this in the decompiled code is helpful, as the types there come from `all-types` which already has those parameters. This also doesn't break type consistency because: - the asserts aren't compared. - the first step of the test uses `all-types`, which has the asserts, which will throw an error if they're bad. - the decompiler won't emit the `heap-base` parameter unless necessary now. - the decompiler will try its hardest to turn a fixed-offset field into an `overlay-at` field. It falls back to the old offset if all else fails. - `overlay-at` now supports field "dereferencing" to specify the offset that's within a field that's a structure, e.g.: ```lisp (deftype foobar (structure) ((vec vector :inline) (flags int32 :overlay-at (-> vec w)) ) ) ``` in this structure, the offset of `flags` will be 12 because that is the final offset of `vec`'s `w` field within this structure. - **removed ID from all method declarations.** IDs are only ever automatically assigned now. Fixes #3068. - added an `:overlay` parameter to method declarations, in order to declare a new method that goes on top of a previously-defined method. Syntax is `:overlay <method-name>`. Please do not ever use this. - added `state-methods` list parameter. This lets you quickly specify a list of states to be put in the method table. Same syntax as the `states` list parameter. The decompiler will try to put as many states in this as it can without messing with the method ID order. Also changes `defmethod` to make the first type definition (before the arguments) optional. The type can now be inferred from the first argument. Fixes #3093. --------- Co-authored-by: Hat Kid <6624576+Hat-Kid@users.noreply.github.com>
128 lines
4.9 KiB
Common Lisp
Vendored
Generated
128 lines
4.9 KiB
Common Lisp
Vendored
Generated
;;-*-Lisp-*-
|
|
(in-package goal)
|
|
|
|
;; this file is debug only
|
|
(declare-file (debug))
|
|
|
|
;; definition of type gs-store-image-packet
|
|
(deftype gs-store-image-packet (structure)
|
|
((vifcode vif-tag 4)
|
|
(giftag gif-tag)
|
|
(bitbltbuf gs-bitbltbuf)
|
|
(bitbltbuf-addr gs-reg64)
|
|
(trxpos gs-trxpos)
|
|
(trxpos-addr gs-reg64)
|
|
(trxreg gs-trxreg)
|
|
(trxreg-addr gs-reg64)
|
|
(finish int64)
|
|
(finish-addr gs-reg64)
|
|
(trxdir gs-trxdir)
|
|
(trxdir-addr gs-reg64)
|
|
)
|
|
)
|
|
|
|
;; definition for method 3 of type gs-store-image-packet
|
|
;; INFO: Used lq/sq
|
|
(defmethod inspect ((this gs-store-image-packet))
|
|
(format #t "[~8x] ~A~%" this 'gs-store-image-packet)
|
|
(format #t "~Tvifcode[4] @ #x~X~%" (-> this vifcode))
|
|
(format #t "~Tgiftag: ~D~%" (-> this giftag))
|
|
(format #t "~Tbitbltbuf: ~D~%" (-> this bitbltbuf))
|
|
(format #t "~Tbitbltbuf-addr: ~D~%" (-> this bitbltbuf-addr))
|
|
(format #t "~Ttrxpos: ~D~%" (-> this trxpos))
|
|
(format #t "~Ttrxpos-addr: ~D~%" (-> this trxpos-addr))
|
|
(format #t "~Ttrxreg: ~D~%" (-> this trxreg))
|
|
(format #t "~Ttrxreg-addr: ~D~%" (-> this trxreg-addr))
|
|
(format #t "~Tfinish: ~D~%" (-> this finish))
|
|
(format #t "~Tfinish-addr: ~D~%" (-> this finish-addr))
|
|
(format #t "~Ttrxdir: ~D~%" (-> this trxdir))
|
|
(format #t "~Ttrxdir-addr: ~D~%" (-> this trxdir-addr))
|
|
this
|
|
)
|
|
|
|
;; definition for function gs-set-default-store-image
|
|
;; INFO: Used lq/sq
|
|
(defun gs-set-default-store-image ((packet gs-store-image-packet)
|
|
(src-fbp int)
|
|
(src-w int)
|
|
(src-psm int)
|
|
(ssax int)
|
|
(ssay int)
|
|
(rrw int)
|
|
(rrh int)
|
|
)
|
|
(set! (-> packet vifcode 0) (new 'static 'vif-tag))
|
|
(set! (-> packet vifcode 1) (new 'static 'vif-tag :imm #x8000 :cmd (vif-cmd mskpath3)))
|
|
(set! (-> packet vifcode 2) (new 'static 'vif-tag :cmd (vif-cmd flusha) :msk #x1))
|
|
(set! (-> packet vifcode 3) (new 'static 'vif-tag :imm #x6 :cmd (vif-cmd direct) :msk #x1))
|
|
(set! (-> packet giftag) (the-as gif-tag (make-u128
|
|
(new 'static 'gif-tag-regs :regs0 (gif-reg-id a+d))
|
|
(new 'static 'gif-tag64 :nloop #x5 :eop #x1 :nreg #x1)
|
|
)
|
|
)
|
|
)
|
|
(set! (-> packet bitbltbuf) (new 'static 'gs-bitbltbuf :sbp src-fbp :sbw src-w :spsm src-psm))
|
|
(set! (-> packet bitbltbuf-addr) (gs-reg64 bitbltbuf))
|
|
(set! (-> packet trxpos) (new 'static 'gs-trxpos :ssax ssax :ssay ssay))
|
|
(set! (-> packet trxpos-addr) (gs-reg64 trxpos))
|
|
(set! (-> packet trxreg) (new 'static 'gs-trxreg :rrw rrw :rrh rrh))
|
|
(set! (-> packet trxreg-addr) (gs-reg64 trxreg))
|
|
(set! (-> packet finish) 0)
|
|
(set! (-> packet finish-addr) (gs-reg64 finish))
|
|
(set! (-> packet trxdir) (new 'static 'gs-trxdir :xdir #x1))
|
|
(set! (-> packet trxdir-addr) (gs-reg64 trxdir))
|
|
(.sync.l)
|
|
7
|
|
)
|
|
|
|
;; definition for function store-image
|
|
;; INFO: Used lq/sq
|
|
(defun store-image ((oddeven int))
|
|
(local-vars (ptr-1 (pointer uint128)) (y-idx int) (y-idx-2 int))
|
|
(let ((width 512)
|
|
(height (-> *video-parms* screen-sy))
|
|
(file (new 'debug 'file-stream "image.raw" 'write))
|
|
)
|
|
(let ((buff0 (the-as (array uint128) (new 'debug 'boxed-array uint128 (/ (* width height) 4)))))
|
|
(let ((buff1 (the-as (array uint128) (new 'debug 'boxed-array uint128 (/ (* width height) 4)))))
|
|
(let ((packet (new 'static 'gs-store-image-packet)))
|
|
(gs-set-default-store-image packet #x2800 (/ width 64) 0 0 0 width height)
|
|
(flush-cache 0)
|
|
(gs-store-image packet (-> buff0 data))
|
|
(sync-path 0 0)
|
|
(gs-set-default-store-image packet #x3000 (/ width 64) 0 0 0 width height)
|
|
(flush-cache 0)
|
|
(gs-store-image packet (-> buff1 data))
|
|
)
|
|
(sync-path 0 0)
|
|
(let ((ptr-0 (-> buff0 data)))
|
|
(set! ptr-1 (-> buff1 data))
|
|
(cond
|
|
((zero? oddeven)
|
|
(set! y-idx 0)
|
|
(while (< y-idx height)
|
|
(file-stream-write file (&+ ptr-0 (* y-idx (* width 4))) (the-as uint (* width 4)))
|
|
(file-stream-write file (&+ ptr-1 (* y-idx (* width 4))) (the-as uint (* width 4)))
|
|
(set! y-idx (+ y-idx 1))
|
|
)
|
|
)
|
|
(else
|
|
(set! y-idx-2 0)
|
|
(while (< y-idx-2 height)
|
|
(file-stream-write file (&+ ptr-1 (* y-idx-2 (* width 4))) (the-as uint (* width 4)))
|
|
(file-stream-write file (&+ ptr-0 (* y-idx-2 (* width 4))) (the-as uint (* width 4)))
|
|
(set! y-idx-2 (+ y-idx-2 1))
|
|
)
|
|
)
|
|
)
|
|
)
|
|
(format #t "oddeven = ~d~%" oddeven)
|
|
(delete buff1)
|
|
)
|
|
(delete buff0)
|
|
)
|
|
(file-stream-close file)
|
|
)
|
|
0
|
|
)
|