miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Don't repeatedly evaluate params in different cases - I thought this would be a larger optimization, but it seemed more like 1%...

Browse Source
This commit is contained in:
Nathan Braswell
2022-01-09 00:45:16 -05:00
parent 025b149c28
commit 74a7cb8a20
1 changed files with 13 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
partial_eval.csc
View File

@@ -452,7 +452,7 @@
(partial_eval_helper (rec-lambda recurse (x env env_stack indent) (partial_eval_helper (rec-lambda recurse (x env env_stack indent)
(dlet ((for_progress (needed_for_progress x)) (_ (print_strip "for_progress " for_progress " for " x))) (dlet ((for_progress (needed_for_progress x)) (_ (print_strip "for_progress " for_progress " for " x)))
(if (or true (= for_progress true) ((rec-lambda rec (i) (cond ((= i (len for_progress)) false) (if (or (= for_progress true) ((rec-lambda rec (i) (cond ((= i (len for_progress)) false)
; possible if called from a value context in the compiler ; possible if called from a value context in the compiler
; TODO: I think this should be removed and instead the value/code compilers should ; TODO: I think this should be removed and instead the value/code compilers should
; keep track of actual env stacks ; keep track of actual env stacks
@@ -498,18 +498,23 @@
(rp_eval (lambda (p) (recurse p env env_stack (+ 1 indent)))) (rp_eval (lambda (p) (recurse p env env_stack (+ 1 indent))))
((wrap_level de? se variadic params body) (.comb comb)) ((wrap_level de? se variadic params body) (.comb comb))
(ensure_val_params (map ensure_val literal_params)) (ensure_val_params (map ensure_val literal_params))
((ok appropriatly_evaled_params) ((rec-lambda param-recurse (wrap cparams) ((ok single_eval_params_if_appropriate appropriatly_evaled_params) ((rec-lambda param-recurse (wrap cparams single_eval_params_if_appropriate)
(dlet ((pre_evaled (map rp_eval cparams))) (dlet ((pre_evaled (map rp_eval cparams)))
(mif (!= 0 wrap) (mif (!= 0 wrap)
(dlet (((ok unval_params) (try_unval_array pre_evaled))) (dlet (((ok unval_params) (try_unval_array pre_evaled)))
(mif (not ok) (array ok nil) (mif (not ok) (array ok nil)
(let* ((evaled_params (map rp_eval unval_params))) (let* ((evaled_params (map rp_eval unval_params)))
(param-recurse (- wrap 1) evaled_params)))) (param-recurse (- wrap 1) evaled_params
(array true pre_evaled))) (cond ((= nil single_eval_params_if_appropriate) 1)
) wrap_level ensure_val_params)) ((= 1 single_eval_params_if_appropriate) pre_evaled)
(true single_eval_params_if_appropriate))
))))
(array true (if (= 1 single_eval_params_if_appropriate) pre_evaled single_eval_params_if_appropriate) pre_evaled)))
) wrap_level ensure_val_params nil))
(correct_fail_params (if (!= nil single_eval_params_if_appropriate) single_eval_params_if_appropriate
literal_params))
(ok_and_non_later (and ok (is_all_values appropriatly_evaled_params))) (ok_and_non_later (and ok (is_all_values appropriatly_evaled_params)))
) (mif (not ok_and_non_later) (marked_array false true (cons comb (mif (> wrap_level 0) (map rp_eval literal_params) ) (mif (not ok_and_non_later) (marked_array false true (cons comb correct_fail_params))
literal_params)))
(dlet ( (dlet (
(final_params (mif variadic (concat (slice appropriatly_evaled_params 0 (- (len params) 1)) (final_params (mif variadic (concat (slice appropriatly_evaled_params 0 (- (len params) 1))
(array (marked_array true false (slice appropriatly_evaled_params (- (len params) 1) -1)))) (array (marked_array true false (slice appropriatly_evaled_params (- (len params) 1) -1))))
@@ -537,8 +542,7 @@
; just by re-wrapping it in a comb instead mif we wanted. ; just by re-wrapping it in a comb instead mif we wanted.
; Something to think about! ; Something to think about!
(result (mif (or (not able_to_sub_env) (and result_is_later result_closes_over)) (result (mif (or (not able_to_sub_env) (and result_is_later result_closes_over))
(marked_array false true (cons comb (mif (> wrap_level 0) (map rp_eval literal_params) (marked_array false true (cons comb correct_fail_params))
literal_params)))
func_result)) func_result))
) result)))) ) result))))
((later_head? comb) (marked_array false true (cons comb literal_params))) ((later_head? comb) (marked_array false true (cons comb literal_params)))