;;-*-Lisp-*-
(in-package goal)

;; definition for method 0 of type state
(defmethod
  new
  state
  ((allocation symbol)
   (type-to-make type)
   (name basic)
   (code function)
   (trans (function object))
   (enter (function object object object object object object object))
   (exit (function object))
   (event (function process int symbol event-message-block object))
   )
  (let
   ((obj
     (object-new allocation type-to-make (the-as int (-> type-to-make size)))
     )
    )
   (set! (-> obj name) name)
   (set! (-> obj next) #f)
   (set! (-> obj exit) exit)
   (set! (-> obj code) code)
   (set! (-> obj trans) trans)
   (set! (-> obj post) #f)
   (set! (-> obj enter) enter)
   (set! (-> obj event) event)
   obj
   )
  )

;; definition for function inherit-state
(defun inherit-state ((arg0 state) (arg1 state))
  (set! (-> arg0 exit) (-> arg1 exit))
  (set! (-> arg0 code) (-> arg1 code))
  (set! (-> arg0 trans) (-> arg1 trans))
  (set! (-> arg0 post) (-> arg1 post))
  (set! (-> arg0 enter) (-> arg1 enter))
  (set! (-> arg0 event) (-> arg1 event))
  arg0
  )

;; definition for method 2 of type state
(defmethod print state ((obj state))
  (format #t "#<~A ~A @ #x~X>" (-> obj type) (-> obj name) obj)
  obj
  )

;; definition for function enter-state
;; WARN: Unsupported inline assembly instruction kind - [lwu sp, 28(v1)]
;; WARN: Unsupported inline assembly instruction kind - [lw ra, return-from-thread-dead(s7)]
;; WARN: Unsupported inline assembly instruction kind - [jr t9]
;; WARN: Unsupported inline assembly instruction kind - [sw v0, 0(sp)]
(defun
  enter-state
  ((arg0 object)
   (arg1 object)
   (arg2 object)
   (arg3 object)
   (arg4 object)
   (arg5 object)
   )
  (local-vars (s7-0 none) (sp-0 none) (sp-1 int) (ra-0 int) (sv-0 none))
  (with-pp
   (logclear! (-> pp mask) (process-mask sleep sleep-code))
   (logior! (-> pp mask) (process-mask going))
   (cond
    ((= (-> pp status) 'initialize)
     (set! (-> pp trans-hook) #f)
     (set-to-run (-> pp main-thread) enter-state arg0 arg1 arg2 arg3 arg4 arg5)
     (set! (-> pp status) 'initialize-go)
     (throw 'initialize #t)
     #t
     )
    ((!= (-> *kernel-context* current-process) pp)
     (let ((s0-0 (-> pp status)))
      (set! (-> pp trans-hook) #f)
      (set-to-run (-> pp main-thread) enter-state arg0 arg1 arg2 arg3 arg4 arg5)
      (set! (-> pp status) s0-0)
      )
     #t
     )
    ((= (-> pp main-thread) (-> pp top-thread))
     (set! (-> pp state) (-> pp next-state))
     (let ((s0-1 (-> pp stack-frame-top)))
      (while s0-1
       (case (-> s0-1 type) 
        ((protect-frame state)
          ((-> (the-as protect-frame s0-1) exit))
          )
        )
       (set! s0-1 (-> s0-1 next))
       )
      )
     (logclear! (-> pp mask) (process-mask going))
     (let ((s0-2 (-> pp state)))
      (set! (-> pp event-hook) (-> s0-2 event))
      (if (-> s0-2 exit)
       (set! (-> pp stack-frame-top) s0-2)
       (set! (-> pp stack-frame-top) #f)
       )
      (set! (-> pp post-hook) (-> s0-2 post))
      (set! (-> pp trans-hook) (-> s0-2 trans))
      (let ((t9-4 (-> s0-2 enter)))
       (if t9-4
        (t9-4 arg0 arg1 arg2 arg3 arg4 arg5)
        )
       )
      (let ((t9-5 (-> s0-2 trans)))
       (if t9-5
        (t9-5)
        )
       )
      (let ((v1-28 (-> pp main-thread)))
       (.lwu sp-1 28 v1-28)
       )
      (let ((t9-6 (-> s0-2 code)))
       (.lw ra-0 return-from-thread-dead s7-0)
       (.jr t9-6)
       )
      )
     arg4
     )
    (else
     (set! (-> pp trans-hook) #f)
     (set-to-run (-> pp main-thread) enter-state arg0 arg1 arg2 arg3 arg4 arg5)
     (when (!= (-> pp top-thread name) 'post)
      (let ((v0-2 (the-as object return-from-thread)))
       (.sw (the-as (function none) v0-2) 0 sp-0)
       v0-2
       )
      )
     )
    )
   )
  )

;; definition for function send-event-function
(defun send-event-function ((arg0 process) (arg1 event-message-block))
  (with-pp
   (when (and arg0 (!= (-> arg0 type) process-tree) (-> arg0 event-hook))
    (let ((gp-0 pp))
     (let ((s6-1 arg0))
      )
     (let
      ((v0-0
        ((-> arg0 event-hook)
         (-> arg1 from)
         (-> arg1 num-params)
         (-> arg1 message)
         arg1
         )
        )
       )
      (let ((s6-2 gp-0))
       )
      v0-0
      )
     )
    )
   )
  )

;; definition for function looping-code
;; INFO: Return type mismatch none vs symbol.
;; WARN: rewrite_to_get_var got a none typed variable. Is there unreachable code?
(defun looping-code ()
  (while #t
   (suspend)
   )
  (the-as symbol #f)
  )