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

Add place to handle (calls unreachable for now) for non wrap-1 combiners

Browse Source
This commit is contained in:
Nathan Braswell
2021-12-29 14:38:36 -05:00
parent 6e5a372f07
commit accad76fa9
1 changed files with 19 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
partial_eval.csc
View File

@@ -1812,16 +1812,29 @@
(dlet ( (dlet (
(func_param_values (.marked_array_values c)) (func_param_values (.marked_array_values c))
(num_params (- (len func_param_values) 1)) (num_params (- (len func_param_values) 1))
((func_code datasi funcs memo) (recurse-code datasi funcs memo env (idx func_param_values 0)))
((param_code datasi funcs memo) (foldr (dlambda (x (a datasi funcs memo)) ((param_code datasi funcs memo) (foldr (dlambda (x (a datasi funcs memo))
(dlet (((code datasi funcs memo) (recurse-code datasi funcs memo env x))) (dlet (((code datasi funcs memo) (recurse-code datasi funcs memo env x)))
(array (concat code a) datasi funcs memo))) (array (concat code a) datasi funcs memo)))
(array (array) datasi funcs memo) func_param_values)) (array (array) datasi funcs memo) (slice func_param_values 1 -1)))
(result_code (concat (result_code (concat
func_code
(local.set '$tmp)
(_if '$is_wrap_1
(i64.eq (i64.const #x10) (i64.and (local.get '$tmp) (i64.const #x30)))
(then
(local.get '$tmp) ; saving ito restore it
param_code param_code
(local.set '$param_ptr (call '$malloc (i32.const (* 8 num_params)))) (local.set '$param_ptr (call '$malloc (i32.const (* 8 num_params))))
(flat_map (lambda (i) (i64.store (* i 8) (local.set '$tmp) (local.get '$param_ptr) (local.get '$tmp))) (flat_map (lambda (i) (i64.store (* i 8) (local.set '$tmp) (local.get '$param_ptr) (local.get '$tmp)))
(range (- num_params 1) -1)) (range (- num_params 1) -1))
(local.set '$tmp) (local.set '$tmp) ; restoring tmp
)
(else
; TODO: Handle other wrap levels
(unreachable)
)
)
(call_indirect (call_indirect
;type ;type
k_vau k_vau