mirror/jak-project
1
0
Fork 0
mirror of https://github.com/open-goal/jak-project synced 2026-05-27 08:09:29 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
w/splitscreen-hack
jak-project/test/decompiler/reference/jak2/kernel/gcommon_REF.gc
T
ManDude cd68cb671e deftype and defmethod syntax major changes (#3094) 
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>
2023-10-30 03:20:02 +00:00

1174 lines
29 KiB
Common Lisp
Vendored
Generated
Raw Permalink Blame History

;;-*-Lisp-*-
(in-package goal)
;; definition for function identity
(defun identity ((arg0 object))
arg0
)
;; definition for function 1/
(defun 1/ ((arg0 float))
(/ 1.0 arg0)
)
;; definition for function +
(defun + ((arg0 int) (arg1 int))
(+ arg0 arg1)
)
;; definition for function -
(defun - ((arg0 int) (arg1 int))
(- arg0 arg1)
)
;; definition for function *
(defun * ((arg0 int) (arg1 int))
(* arg0 arg1)
)
;; definition for function /
(defun / ((arg0 int) (arg1 int))
(/ arg0 arg1)
)
;; definition for function ash
(defun ash ((arg0 int) (arg1 int))
(ash arg0 arg1)
)
;; definition for function mod
(defun mod ((arg0 int) (arg1 int))
(mod arg0 arg1)
)
;; definition for function rem
(defun rem ((arg0 int) (arg1 int))
(mod arg0 arg1)
)
;; definition for function abs
(defun abs ((arg0 int))
(abs arg0)
)
;; definition for function min
(defun min ((arg0 int) (arg1 int))
(min arg0 arg1)
)
;; definition for function max
(defun max ((arg0 int) (arg1 int))
(max arg0 arg1)
)
;; definition for function logior
(defun logior ((arg0 int) (arg1 int))
(logior arg0 arg1)
)
;; definition for function logand
(defun logand ((arg0 int) (arg1 int))
(logand arg0 arg1)
)
;; definition for function lognor
(defun lognor ((arg0 int) (arg1 int))
(lognor arg0 arg1)
)
;; definition for function logxor
(defun logxor ((arg0 int) (arg1 int))
(logxor arg0 arg1)
)
;; definition for function lognot
(defun lognot ((arg0 int))
(lognot arg0)
)
;; definition for function false-func
(defun false-func ()
#f
)
;; definition for function true-func
(defun true-func ()
#t
)
;; definition for symbol format, type (function _varargs_ object)
(define format _format)
;; definition of type vec4s
(deftype vec4s (uint128)
((x float :offset 0 :size 32)
(y float :offset 32 :size 32)
(z float :offset 64 :size 32)
(w float :offset 96 :size 32)
)
)
;; definition for method 3 of type vec4s
(defmethod inspect ((this vec4s))
(when (not this)
(set! this this)
(goto cfg-4)
)
(format #t "[~8x] ~A~%" this 'vec4s)
(format #t "~1Tx: ~f~%" (-> this x))
(format #t "~1Ty: ~f~%" (-> this y))
(format #t "~1Tz: ~f~%" (-> this z))
(format #t "~1Tw: ~f~%" (-> this w))
(label cfg-4)
this
)
;; definition for method 2 of type vec4s
(defmethod print ((this vec4s))
(format #t "#<vector ~F ~F ~F ~F @ #x~X>" (-> this x) (-> this y) (-> this z) (-> this w) this)
this
)
;; definition of type vector
(deftype vector (structure)
((data float 4)
(x float :overlay-at (-> data 0))
(y float :overlay-at (-> data 1))
(z float :overlay-at (-> data 2))
(w float :overlay-at (-> data 3))
(quad uint128 :overlay-at (-> data 0))
)
)
;; definition for method 3 of type vector
;; INFO: Used lq/sq
(defmethod inspect ((this vector))
(when (not this)
(set! this this)
(goto cfg-4)
)
(format #t "[~8x] ~A~%" this 'vector)
(format #t "~1Tdata[4] @ #x~X~%" (&-> this x))
(format #t "~1Tx: ~f~%" (-> this x))
(format #t "~1Ty: ~f~%" (-> this y))
(format #t "~1Tz: ~f~%" (-> this z))
(format #t "~1Tw: ~f~%" (-> this w))
(format #t "~1Tquad: ~D~%" (-> this quad))
(label cfg-4)
this
)
;; definition of type bfloat
(deftype bfloat (basic)
((data float)
)
)
;; definition for method 3 of type bfloat
(defmethod inspect ((this bfloat))
(when (not this)
(set! this this)
(goto cfg-4)
)
(format #t "[~8x] ~A~%" this (-> this type))
(format #t "~1Tdata: ~f~%" (-> this data))
(label cfg-4)
this
)
;; definition for method 2 of type bfloat
(defmethod print ((this bfloat))
(format #t "~f" (-> this data))
this
)
;; definition for method 5 of type type
;; WARN: Return type mismatch uint vs int.
(defmethod asize-of ((this type))
(the-as int (logand (the-as uint #xfffffff0) (+ (* (-> this allocated-length) 4) 43)))
)
;; definition for function basic-type?
(defun basic-type? ((arg0 basic) (arg1 type))
(let ((v1-0 (-> arg0 type))
(a0-1 object)
)
(until (= v1-0 a0-1)
(if (= v1-0 arg1)
(return #t)
)
(set! v1-0 (-> v1-0 parent))
)
)
#f
)
;; definition for function type-type?
(defun type-type? ((arg0 type) (arg1 type))
(let ((v1-0 object))
(if (= arg1 v1-0)
(return #t)
)
(until (or (= arg0 v1-0) (zero? arg0))
(if (= arg0 arg1)
(return #t)
)
(set! arg0 (-> arg0 parent))
)
)
#f
)
;; definition for function type?
;; WARN: Using new Jak 2 rtype-of
(defun type? ((arg0 object) (arg1 type))
(let ((v1-0 object)
(a0-1 (rtype-of arg0))
)
(if (= arg1 v1-0)
(return #t)
)
(until (or (= a0-1 v1-0) (zero? a0-1))
(if (= a0-1 arg1)
(return #t)
)
(set! a0-1 (-> a0-1 parent))
)
)
#f
)
;; definition for function find-parent-method
(defun find-parent-method ((arg0 type) (arg1 int))
(local-vars (v0-0 function))
(let ((v1-2 (-> arg0 method-table arg1)))
(until (!= v0-0 v1-2)
(if (= arg0 object)
(return nothing)
)
(set! arg0 (-> arg0 parent))
(set! v0-0 (-> arg0 method-table arg1))
(if (zero? v0-0)
(return nothing)
)
)
)
v0-0
)
;; definition for function ref
(defun ref ((arg0 object) (arg1 int))
(dotimes (v1-0 arg1)
(nop!)
(nop!)
(set! arg0 (cdr arg0))
)
(car arg0)
)
;; definition for method 4 of type pair
(defmethod length ((this pair))
(local-vars (v0-0 int))
(cond
((null? this)
(set! v0-0 0)
)
(else
(let ((v1-1 (cdr this)))
(set! v0-0 1)
(while (and (not (null? v1-1)) (pair? v1-1))
(+! v0-0 1)
(set! v1-1 (cdr v1-1))
)
)
)
)
v0-0
)
;; definition for method 5 of type pair
;; WARN: Return type mismatch uint vs int.
(defmethod asize-of ((this pair))
(the-as int (-> pair size))
)
;; definition for function last
(defun last ((arg0 object))
(let ((v0-0 arg0))
(while (not (null? (cdr v0-0)))
(nop!)
(nop!)
(set! v0-0 (cdr v0-0))
)
v0-0
)
)
;; definition for function member
(defun member ((arg0 object) (arg1 object))
(let ((v1-0 arg1))
(while (not (or (null? v1-0) (= (car v1-0) arg0)))
(set! v1-0 (cdr v1-0))
)
(if (not (null? v1-0))
v1-0
)
)
)
;; definition for function nmember
(defun nmember ((arg0 basic) (arg1 object))
(while (not (or (null? arg1) (name= (car arg1) arg0)))
(set! arg1 (cdr arg1))
)
(if (not (null? arg1))
arg1
)
)
;; definition for function assoc
(defun assoc ((arg0 object) (arg1 object))
(let ((v1-0 arg1))
(while (not (or (null? v1-0) (= (car (car v1-0)) arg0)))
(set! v1-0 (cdr v1-0))
)
(if (not (null? v1-0))
(car v1-0)
)
)
)
;; definition for function assoce
(defun assoce ((arg0 object) (arg1 object))
(let ((v1-0 arg1))
(while (not (or (null? v1-0) (= (car (car v1-0)) arg0) (= (car (car v1-0)) 'else)))
(set! v1-0 (cdr v1-0))
)
(if (not (null? v1-0))
(car v1-0)
)
)
)
;; definition for function nassoc
(defun nassoc ((arg0 string) (arg1 object))
(while (not (or (null? arg1) (let ((a1-1 (car (car arg1))))
(if (pair? a1-1)
(nmember arg0 a1-1)
(name= a1-1 arg0)
)
)
)
)
(set! arg1 (cdr arg1))
)
(if (not (null? arg1))
(car arg1)
)
)
;; definition for function nassoce
(defun nassoce ((arg0 string) (arg1 object))
(while (not (or (null? arg1) (let ((s4-0 (car (car arg1))))
(if (pair? s4-0)
(nmember arg0 s4-0)
(or (name= s4-0 arg0) (= s4-0 'else))
)
)
)
)
(set! arg1 (cdr arg1))
)
(if (not (null? arg1))
(car arg1)
)
)
;; definition for function append!
(defun append! ((arg0 object) (arg1 object))
(cond
((null? arg0)
arg1
)
(else
(let ((v1-1 arg0))
(while (not (null? (cdr v1-1)))
(nop!)
(nop!)
(set! v1-1 (cdr v1-1))
)
(if (not (null? v1-1))
(set! (cdr v1-1) arg1)
)
)
arg0
)
)
)
;; definition for function delete!
;; WARN: Return type mismatch object vs pair.
(defun delete! ((arg0 object) (arg1 object))
(the-as pair (cond
((= arg0 (car arg1))
(cdr arg1)
)
(else
(let ((v1-1 arg1)
(a2-0 (cdr arg1))
)
(while (not (or (null? a2-0) (= (car a2-0) arg0)))
(set! v1-1 a2-0)
(set! a2-0 (cdr a2-0))
)
(if (not (null? a2-0))
(set! (cdr v1-1) (cdr a2-0))
)
)
arg1
)
)
)
)
;; definition for function delete-car!
(defun delete-car! ((arg0 object) (arg1 object))
(cond
((= arg0 (car (car arg1)))
(cdr arg1)
)
(else
(let ((v1-2 arg1)
(a2-0 (cdr arg1))
)
(while (not (or (null? a2-0) (= (car (car a2-0)) arg0)))
(set! v1-2 a2-0)
(set! a2-0 (cdr a2-0))
)
(if (not (null? a2-0))
(set! (cdr v1-2) (cdr a2-0))
)
)
arg1
)
)
)
;; definition for function insert-cons!
(defun insert-cons! ((arg0 object) (arg1 object))
(let ((a3-0 (delete-car! (car arg0) arg1)))
(cons arg0 a3-0)
)
)
;; definition for function sort
(defun sort ((arg0 pair) (arg1 (function object object object)))
(let ((s4-0 -1))
(while (nonzero? s4-0)
(set! s4-0 0)
(let ((s3-0 arg0))
(while (not (or (null? (cdr s3-0)) (not (pair? (cdr s3-0)))))
(let* ((s2-0 (car s3-0))
(s1-0 (car (cdr s3-0)))
(v1-1 (arg1 s2-0 s1-0))
)
(when (and (or (not v1-1) (> (the-as int v1-1) 0)) (!= v1-1 #t))
(+! s4-0 1)
(set! (car s3-0) s1-0)
(set! (car (cdr s3-0)) s2-0)
)
)
(set! s3-0 (cdr s3-0))
)
)
)
)
arg0
)
;; definition of type inline-array-class
(deftype inline-array-class (basic)
((length int32)
(allocated-length int32)
(_data uint8 :dynamic :offset 16)
)
(:methods
(new (symbol type int) _type_)
)
)
;; definition for method 3 of type inline-array-class
(defmethod inspect ((this inline-array-class))
(when (not this)
(set! this this)
(goto cfg-4)
)
(format #t "[~8x] ~A~%" this (-> this type))
(format #t "~1Tlength: ~D~%" (-> this length))
(format #t "~1Tallocated-length: ~D~%" (-> this allocated-length))
(label cfg-4)
this
)
;; definition for method 0 of type inline-array-class
(defmethod new inline-array-class ((allocation symbol) (type-to-make type) (arg0 int))
(let ((v0-0 (object-new
allocation
type-to-make
(the-as int (+ (-> type-to-make size) (* (the-as uint arg0) (-> type-to-make heap-base))))
)
)
)
(when (nonzero? v0-0)
(set! (-> v0-0 length) arg0)
(set! (-> v0-0 allocated-length) arg0)
)
v0-0
)
)
;; definition for method 4 of type inline-array-class
(defmethod length ((this inline-array-class))
(-> this length)
)
;; definition for method 5 of type inline-array-class
;; WARN: Return type mismatch uint vs int.
(defmethod asize-of ((this inline-array-class))
(the-as int (+ (-> this type size) (* (-> this allocated-length) (the-as int (-> this type heap-base)))))
)
;; definition for method 0 of type array
(defmethod new array ((allocation symbol) (type-to-make type) (arg0 type) (arg1 int))
(let ((v0-1 (object-new
allocation
type-to-make
(the-as int (+ (-> type-to-make size) (* arg1 (if (type-type? arg0 number)
(the-as int (-> arg0 size))
4
)
)
)
)
)
)
)
(set! (-> v0-1 allocated-length) arg1)
(set! (-> v0-1 length) arg1)
(set! (-> v0-1 content-type) arg0)
v0-1
)
)
;; definition for method 2 of type array
;; INFO: Used lq/sq
(defmethod print ((this array))
(format #t "#(")
(cond
((type-type? (-> this content-type) integer)
(case (-> this content-type symbol)
(('int32)
(dotimes (s5-0 (-> this length))
(format
#t
(if (zero? s5-0)
"~D"
" ~D"
)
(-> (the-as (array int32) this) s5-0)
)
)
)
(('uint32)
(dotimes (s5-1 (-> this length))
(format
#t
(if (zero? s5-1)
"~D"
" ~D"
)
(-> (the-as (array uint32) this) s5-1)
)
)
)
(('int64)
(dotimes (s5-2 (-> this length))
(format
#t
(if (zero? s5-2)
"~D"
" ~D"
)
(-> (the-as (array int64) this) s5-2)
)
)
)
(('uint64)
(dotimes (s5-3 (-> this length))
(format
#t
(if (zero? s5-3)
"#x~X"
" #x~X"
)
(-> (the-as (array uint64) this) s5-3)
)
)
)
(('int8)
(dotimes (s5-4 (-> this length))
(format
#t
(if (zero? s5-4)
"~D"
" ~D"
)
(-> (the-as (array int8) this) s5-4)
)
)
)
(('uint8)
(dotimes (s5-5 (-> this length))
(format
#t
(if (zero? s5-5)
"~D"
" ~D"
)
(-> (the-as (array uint8) this) s5-5)
)
)
)
(('int16)
(dotimes (s5-6 (-> this length))
(format
#t
(if (zero? s5-6)
"~D"
" ~D"
)
(-> (the-as (array int16) this) s5-6)
)
)
)
(('uint16)
(dotimes (s5-7 (-> this length))
(format
#t
(if (zero? s5-7)
"~D"
" ~D"
)
(-> (the-as (array uint16) this) s5-7)
)
)
)
(('uint128 'int128)
(dotimes (s5-8 (-> this length))
(format
#t
(if (zero? s5-8)
"#x~X"
" #x~X"
)
(-> (the-as (array uint128) this) s5-8)
)
)
)
(else
(dotimes (s5-9 (-> this length))
(format
#t
(if (zero? s5-9)
"~D"
" ~D"
)
(-> (the-as (array int32) this) s5-9)
)
)
)
)
)
((= (-> this content-type) float)
(dotimes (s5-10 (-> this length))
(if (zero? s5-10)
(format #t "~f" (-> (the-as (array float) this) s5-10))
(format #t " ~f" (-> (the-as (array float) this) s5-10))
)
)
)
(else
(dotimes (s5-11 (-> this length))
(if (zero? s5-11)
(format #t "~A" (-> (the-as (array basic) this) s5-11))
(format #t " ~A" (-> (the-as (array basic) this) s5-11))
)
)
)
)
(format #t ")")
this
)
;; definition for method 3 of type array
;; INFO: Used lq/sq
(defmethod inspect ((this array))
(format #t "[~8x] ~A~%" this (-> this type))
(format #t "~Tallocated-length: ~D~%" (-> this allocated-length))
(format #t "~Tlength: ~D~%" (-> this length))
(format #t "~Tcontent-type: ~A~%" (-> this content-type))
(format #t "~Tdata[~D]: @ #x~X~%" (-> this allocated-length) (-> this data))
(cond
((and (= (logand (the-as int (-> this content-type)) 7) 4) (type-type? (-> this content-type) integer))
(case (-> this content-type symbol)
(('int32)
(dotimes (s5-0 (-> this length))
(format #t "~T [~D] ~D~%" s5-0 (-> (the-as (array int32) this) s5-0))
)
)
(('uint32)
(dotimes (s5-1 (-> this length))
(format #t "~T [~D] ~D~%" s5-1 (-> (the-as (array uint32) this) s5-1))
)
)
(('int64)
(dotimes (s5-2 (-> this length))
(format #t "~T [~D] ~D~%" s5-2 (-> (the-as (array int64) this) s5-2))
)
)
(('uint64)
(dotimes (s5-3 (-> this length))
(format #t "~T [~D] #x~X~%" s5-3 (-> (the-as (array uint64) this) s5-3))
)
)
(('int8)
(dotimes (s5-4 (-> this length))
(format #t "~T [~D] ~D~%" s5-4 (-> (the-as (array int8) this) s5-4))
)
)
(('uint8)
(dotimes (s5-5 (-> this length))
(format #t "~T [~D] ~D~%" s5-5 (-> (the-as (array int8) this) s5-5))
)
)
(('int16)
(dotimes (s5-6 (-> this length))
(format #t "~T [~D] ~D~%" s5-6 (-> (the-as (array int16) this) s5-6))
)
)
(('uint16)
(dotimes (s5-7 (-> this length))
(format #t "~T [~D] ~D~%" s5-7 (-> (the-as (array uint16) this) s5-7))
)
)
(('int128 'uint128)
(dotimes (s5-8 (-> this length))
(format #t "~T [~D] #x~X~%" s5-8 (-> (the-as (array uint128) this) s5-8))
)
)
(else
(dotimes (s5-9 (-> this length))
(format #t "~T [~D] ~D~%" s5-9 (-> (the-as (array int32) this) s5-9))
)
)
)
)
((= (-> this content-type) float)
(dotimes (s5-10 (-> this length))
(format #t "~T [~D] ~f~%" s5-10 (-> (the-as (array float) this) s5-10))
)
)
(else
(dotimes (s5-11 (-> this length))
(format #t "~T [~D] ~A~%" s5-11 (-> (the-as (array basic) this) s5-11))
)
)
)
this
)
;; definition for method 4 of type array
(defmethod length ((this array))
(-> this length)
)
;; definition for method 5 of type array
;; WARN: Return type mismatch uint vs int.
(defmethod asize-of ((this array))
(the-as
int
(+ (-> this type size) (* (-> this allocated-length) (if (type-type? (-> this content-type) number)
(the-as int (-> this content-type size))
4
)
)
)
)
)
;; definition for function mem-copy!
(defun mem-copy! ((arg0 pointer) (arg1 pointer) (arg2 int))
(let ((v0-0 arg0))
(dotimes (v1-0 arg2)
(set! (-> (the-as (pointer uint8) arg0)) (-> (the-as (pointer uint8) arg1)))
(&+! arg0 1)
(&+! arg1 1)
)
v0-0
)
)
;; definition for function qmem-copy<-!
;; INFO: Used lq/sq
(defun qmem-copy<-! ((arg0 pointer) (arg1 pointer) (arg2 int))
(let ((v0-0 arg0))
(countdown (v1-1 (/ (+ arg2 15) 16))
(set! (-> (the-as (pointer uint128) arg0)) (-> (the-as (pointer uint128) arg1)))
(&+! arg0 16)
(&+! arg1 16)
)
v0-0
)
)
;; definition for function qmem-copy->!
;; INFO: Used lq/sq
(defun qmem-copy->! ((arg0 pointer) (arg1 pointer) (arg2 int))
(let ((v0-0 arg0))
(let* ((v1-1 (/ (+ arg2 15) 16))
(a0-1 (&+ arg0 (* v1-1 16)))
(a1-1 (&+ arg1 (* v1-1 16)))
)
(while (nonzero? v1-1)
(+! v1-1 -1)
(&+! a0-1 -16)
(&+! a1-1 -16)
(set! (-> (the-as (pointer uint128) a0-1)) (-> (the-as (pointer uint128) a1-1)))
)
)
v0-0
)
)
;; definition for function mem-set32!
(defun mem-set32! ((arg0 pointer) (arg1 int) (arg2 int))
(let ((v0-0 arg0))
(dotimes (v1-0 arg1)
(set! (-> (the-as (pointer int32) arg0)) arg2)
(&+! arg0 4)
(nop!)
)
v0-0
)
)
;; definition for function mem-or!
(defun mem-or! ((arg0 pointer) (arg1 pointer) (arg2 int))
(let ((v0-0 arg0))
(dotimes (v1-0 arg2)
(logior! (-> (the-as (pointer uint8) arg0)) (-> (the-as (pointer uint8) arg1)))
(&+! arg0 1)
(&+! arg1 1)
)
v0-0
)
)
;; definition for function quad-copy!
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for function fact
(defun fact ((arg0 int))
(if (= arg0 1)
1
(* arg0 (fact (+ arg0 -1)))
)
)
;; definition for symbol *print-column*, type binteger
(define *print-column* (the-as binteger 0))
;; definition for function print
;; WARN: Using new Jak 2 rtype-of
(defun print ((arg0 object))
((method-of-type (rtype-of arg0) print) arg0)
)
;; definition for function printl
;; WARN: Using new Jak 2 rtype-of
(defun printl ((arg0 object))
(let ((a0-1 arg0))
((method-of-type (rtype-of a0-1) print) a0-1)
)
(format #t "~%")
arg0
)
;; definition for function inspect
;; WARN: Using new Jak 2 rtype-of
(defun inspect ((arg0 object))
((method-of-type (rtype-of arg0) inspect) arg0)
)
;; definition (debug) for function mem-print
(defun-debug mem-print ((arg0 (pointer uint32)) (arg1 int))
(dotimes (s4-0 (/ arg1 4))
(format
0
"~X: ~X ~X ~X ~X~%"
(&-> arg0 (* s4-0 4))
(-> arg0 (* s4-0 4))
(-> arg0 (+ (* s4-0 4) 1))
(-> arg0 (+ (* s4-0 4) 2))
(-> arg0 (+ (* s4-0 4) 3))
)
)
#f
)
;; definition for symbol *trace-list*, type pair
(define *trace-list* '())
;; definition for function print-tree-bitmask
(defun print-tree-bitmask ((arg0 int) (arg1 int))
(dotimes (s4-0 arg1)
(if (not (logtest? arg0 1))
(format #t " ")
(format #t "| ")
)
(set! arg0 (shr arg0 1))
)
#f
)
;; definition for function breakpoint-range-set!
;; ERROR: Unsupported inline assembly instruction kind - [mtdab a1]
;; ERROR: Unsupported inline assembly instruction kind - [mtdabm a2]
(defun breakpoint-range-set! ((arg0 uint) (arg1 uint) (arg2 uint))
(.mtc0 Debug arg0)
(.mtdab arg1)
(.mtdabm arg2)
0
)
;; definition for function valid?
;; WARN: Using new Jak 2 rtype-of
;; WARN: Using new Jak 2 rtype-of
;; WARN: Using new Jak 2 rtype-of
;; WARN: Using new Jak 2 rtype-of
;; WARN: Using new Jak 2 rtype-of
;; ERROR: Unsupported inline assembly instruction kind - [daddu v1, v1, s7]
;; ERROR: Unsupported inline assembly instruction kind - [daddu v1, v1, s7]
;; ERROR: Unsupported inline assembly instruction kind - [daddu v1, v1, s7]
;; ERROR: Unsupported inline assembly instruction kind - [daddu v1, v1, s7]
(defun valid? ((arg0 object) (arg1 type) (arg2 string) (arg3 symbol) (arg4 object))
(local-vars (v1-11 int) (v1-26 int) (v1-56 int) (v1-60 int) (s7-0 none))
(let ((v1-1
(and (>= (the-as uint arg0) (the-as uint __START-OF-TABLE__)) (< (the-as uint arg0) (the-as uint #x8000000)))
)
)
(cond
((not arg1)
(cond
((logtest? (the-as int arg0) 3)
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object (misaligned)~%" arg0 arg2)
)
#f
)
((not v1-1)
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object (bad address)~%" arg0 arg2)
)
#f
)
(else
#t
)
)
)
((and arg3 (not arg0))
#t
)
((= arg1 structure)
(cond
((logtest? (the-as int arg0) 15)
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (misaligned)~%" arg0 arg2 arg1)
)
#f
)
((or (not v1-1) (begin
(let ((v1-10 #x8000))
(.daddu v1-11 v1-10 s7-0)
)
(< (the-as uint arg0) (the-as uint v1-11))
)
)
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (bad address)~%" arg0 arg2 arg1)
)
#f
)
(else
#t
)
)
)
((= arg1 pair)
(cond
((not (pair? arg0))
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (misaligned)~%" arg0 arg2 arg1)
)
#f
)
((not v1-1)
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (bad address)~%" arg0 arg2 arg1)
)
#f
)
(else
#t
)
)
)
((= arg1 binteger)
(cond
((not (logtest? (the-as int arg0) 7))
#t
)
(else
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (misaligned)~%" arg0 arg2 arg1)
)
#f
)
)
)
((or (= arg1 symbol) (= arg1 boolean))
(cond
((not (logtest? (the-as int arg0) 1))
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (misaligned)~%" arg0 arg2 arg1)
)
#f
)
((or (not v1-1) (< (the-as int arg0) (the-as int __START-OF-TABLE__)) (begin
(let ((v1-25 #x8000))
(.daddu v1-26 v1-25 s7-0)
)
(>= (the-as int arg0) v1-26)
)
)
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (bad address)~%" arg0 arg2 arg1)
)
#f
)
(else
#t
)
)
)
((!= (logand (the-as int arg0) 7) 4)
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (misaligned)~%" arg0 arg2 arg1)
)
#f
)
((not v1-1)
(if arg2
(format arg4 "ERROR: object #x~X ~S is not a valid object of type '~A' (bad address)~%" arg0 arg2 arg1)
)
#f
)
((and (= arg1 type) (!= (rtype-of arg0) type))
(if arg2
(format
arg4
"ERROR: object #x~X ~S is not a valid object of type '~A' (invalid type #x~X)~%"
arg0
arg2
arg1
(rtype-of arg0)
)
)
#f
)
((and (!= arg1 type) (not (valid? (rtype-of arg0) type (the-as string #f) #t 0)))
(if arg2
(format
arg4
"ERROR: object #x~X ~S is not a valid object of type '~A' (invalid type #x~X)~%"
arg0
arg2
arg1
(rtype-of arg0)
)
)
#f
)
((not (type? arg0 arg1))
(if arg2
(format
arg4
"ERROR: object #x~X ~S is not a valid object of type '~A' (is type '~A' instead)~%"
arg0
arg2
arg1
(rtype-of arg0)
)
)
#f
)
((= arg1 symbol)
(let ((v1-55 #x8000))
(.daddu v1-56 v1-55 s7-0)
)
(cond
((>= (the-as uint arg0) (the-as uint v1-56))
(if arg2
(format
arg4
"ERROR: object #x~X ~S is not a valid object of type '~A' (not in symbol table)~%"
arg0
arg2
arg1
)
)
#f
)
(else
#t
)
)
)
((begin
(let ((v1-59 #x8000))
(.daddu v1-60 v1-59 s7-0)
)
(< (the-as uint arg0) (the-as uint v1-60))
)
(if arg2
(format
arg4
"ERROR: object #x~X ~S is not a valid object of type '~A' (inside symbol table)~%"
arg0
arg2
arg1
)
)
#f
)
(else
#t
)
)
)
)
;; failed to figure out what this is:
0
Reference in New Issue View Git Blame Copy Permalink