(include "lib/asm/func.inc")

(include "././num/class.inc")

(include "././sym/class.inc")

(include "././lisp/class.inc")

(def-method 'list :lisp_list)

;inputs

;:r0 = lisp object (ptr)

;:r1 = args list object (ptr)

;outputs

;:r0 = lisp object (ptr)

;:r1 = return value object (ptr)

;trashes

;:r1-:r14

(entry 'list :lisp_list '(:r0 :r1))

(class/obj/ref :r1 :r2)

(exit 'list :lisp_list '(:r0 :r1))

(vp-ret)

(def-func-end)

(def-method 'list :lisp_merge)

;inputs

;:r0 = lisp object (ptr)

;:r1 = args list object (ptr)

;outputs

;:r0 = lisp object (ptr)

;:r1 = return value object (ptr)

;trashes

;:r1-:r14

(entry 'list :lisp_merge '(:r0 :r1))

(errorif-lisp-args-sig 'error :r1 2)

(vp-push :r0)

(array-bind-args :r1 '(:r0 :r1))

(class/array/get_both :r1 :r8 :r7)

(assign '((:r0 array_length)) '(:r1))

(call 'list :set_cap '(:r0 :r1) '(:r0))

(loop-while '(:r8 /= :r7))

(assign '((:r8 0)) '(:r1))

(vp-add-cr +ptr_size :r8)

(call 'list :rfind '(:r0 :r1 (:r0 array_length)) '(:r0 :r1 :r2))

(continueif '(:r2 /= -1))

(class/obj/ref :r1 :r2)

(call 'list :push_back '(:r0 :r1) '(:r0 _ _ _))

(loop-end)

(call 'obj :ref '(:r0) '(:r1))

(vp-pop :r0)

(exit 'list :lisp_merge '(:r0 :r1))

(vp-ret)

(errorcase

(vp-label 'error)

(jump 'lisp :repl_error '(:r0 "(merge-obj dlist slist) -> dlist" +error_msg_wrong_types :r1))

(signature '(list list)))

(def-func-end)

(def-method 'list :lisp_pivot)

;inputs

;:r0 = lisp object (ptr)

;:r1 = args list object (ptr)

;outputs

;:r0 = lisp object (ptr)

;:r1 = return value object (ptr)

;trashes

;:r1-:r14

(def-struct pdata 0

(ptr this func params))

(def-vars

(ptr this func)

(union

(ptr args)

(ptr params))

(ptr value list)

(pptr iter_begin liter hiter)

(int start end))

(errorcase

(def-vars

(int length)))

(push-scope)

(entry 'list :lisp_pivot {this, args})

(errorif-lisp-args-sig 'error1 :r1 4)

(call 'list :get_begin {args} {_, iter_begin})

(assign {iter_begin[0]} {func})

(assign {iter_begin[+ptr_size]} {list})

(call 'num :get_value {iter_begin[+ptr_size * 2]} {_, start})

(call 'num :get_value {iter_begin[+ptr_size * 3]} {_, end})

(errorcase

(d-call 'list :get_length {list} {_, length})

(gotoif {start < 0 || start >= end || end > length} 'error2))

(call 'list :create :nil {params})

(call 'list :get_iter {list, start} {_, liter})

(call 'list :get_iter {list, end} {_, hiter})

(call 'list :pivot {list, liter, hiter, $callback, &this} {_, liter})

(call 'list :get_begin {list} {_, iter_begin})

(call 'num :create {(liter - iter_begin) >> 3} {value})

(call 'list :deref {params})

(call 'sys_task :sleep '(0))

(exit 'list :lisp_pivot {this, value})

(return)

(errorcase

(vp-label 'error1)

(jump 'lisp :repl_error {this, "(pivot lambda list start end)", +error_msg_wrong_types, args})

(vp-label 'error2)

(jump 'lisp :repl_error {this, "(pivot lambda list start end)", +error_msg_not_valid_index, args})

(signature '(obj list num num)))

(pop-scope-syms)

(vp-label 'callback)

(def-vars

(ptr pdata)

(union

(pptr liter)

(ptr value))

(union

(pptr hiter)

(long result)))

(push-scope)

(entry 'array :sort_callback {pdata, liter, hiter})

(call 'obj :ref {*liter} {liter})

(call 'obj :ref {*hiter} {hiter})

(d-call 'list :clear {pdata->pdata_params})

(call 'list :push_back2 {pdata->pdata_params, liter, hiter})

(call 'lisp :repl_apply {pdata->pdata_this, pdata->pdata_params, pdata->pdata_func} {_, value})

(assign {0} {result})

(call 'obj :inst_of (cat {value, @} (f-path 'num :vtable)) '(val tmp))

(vpif `(,tmp /= 0))

(call 'num :get_value `(,val) {_, result})

(endif)

(call 'obj :deref `(,val))

(exit 'array :sort_callback {result})

(pop-scope)

(return)

(def-func-end)

(def-method 'list :lisp_match)

;inputs

;:r0 = lisp object (ptr)

;:r1 = args list object (ptr)

;outputs

;:r0 = lisp object (ptr)

;:r1 = return value object (ptr)

;trashes

;:r1-:r14

(entry 'list :lisp_match '(:r0 :r1))

(errorif-lisp-args-sig 'error1 :r1 2)

(vp-push :r0)

(assign '((:r0 lisp_sym_underscore)) '(:r5))

(array-bind-args :r1 '(:r0 :r1))

(assign '((:r0 array_length) (:r1 array_length)) '(:r4 :r3))

(vpif '(:r3 = :r4))

(assign '((:r0 array_begin) (:r1 array_begin)) '(:r3 :r2))

(vp-shl-cr (log2 +ptr_size) :r4)

(vp-add-rr :r3 :r4)

(vpif '(:r3 /= :r4))

(loop-start)

(assign '((:r3 0) (:r2 0)) '(:r0 :r1))

(vp-add-cr +ptr_size :r3)

(vp-add-cr +ptr_size :r2)

(vpif '(:r0 /= :r1))

(gotoif '(:r1 /= :r5) 'nomatch)

(endif)

(loop-until '(:r3 = :r4))

(endif)

(vp-pop :r0)

(assign '((:r0 lisp_sym_t)) '(:r1))

(else)

(vp-label 'nomatch)

(vp-pop :r0)

(assign '((:r0 lisp_sym_nil)) '(:r1))

(endif)

(class/obj/ref :r1 :r2)

(exit 'list :lisp_match '(:r0 :r1))

(vp-ret)

(errorcase

(vp-label 'error1)

(jump 'lisp :repl_error '(:r0 "(lmatch? list list)" +error_msg_wrong_types :r1))

(signature '(list list)))

(def-func-end)

(def-method 'list :lisp_copy)

;inputs

;:r0 = lisp object (ptr)

;:r1 = args list object (ptr)

;outputs

;:r0 = lisp object (ptr)

;:r1 = return value object (ptr)

;trashes

;:r1-:r14

(entry 'list :lisp_copy '(:r0 :r1))

(errorif-lisp-args-len 'error :r1 /= 1)

(array-bind-args :r1 '(:r1))

(f-bind 'list :vtable :r2)

(assign '((:r1 obj_vtable)) '(:r3))

(vpif '(:r2 = :r3))

(vp-push :r0)

(vp-swp-rr :r0 :r1)

(call 'list :copy '(:r0 (:r1 lisp_stack)) '(_ :r1))

(vp-pop :r0)

(else)

(class/obj/ref :r1 :r2)

(endif)

(exit 'list :lisp_copy '(:r0 :r1))

(vp-ret)

(errorcase

(vp-label 'error)

(jump 'lisp :repl_error '(:r0 "(copy form)" +error_msg_wrong_num_of_args :r1)))

(def-func-end)