Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-14 08:17:35 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

WIP

Browse source
This commit is contained in:
Justin Ethier 2018-11-29 18:51:08 -05:00
parent e4085b2f1e
commit e6e6527be7
1 changed files with 39 additions and 33 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

72
scheme/cyclone/primitives.sld
View file

@ -470,6 +470,9 @@
Cyc-fast-list-4 Cyc-fast-list-4
cell)))) cell))))
;; TODO: get rid of this function and replace this with the same type of pre-alloc that
;; we do for fast numeric operations. That will allow us to prevent out-of-order
;; execution for these as part of Cyc-seq
(define (prim->c-func p use-alloca?) (define (prim->c-func p use-alloca?)
(cond (cond
(use-alloca? (use-alloca?
@ -756,34 +759,38 @@
((member p *udf-prims*) "complex_num_type") ((member p *udf-prims*) "complex_num_type")
(else #f))) (else #f)))
;; TODO: this only makes sense for macros, all functions need to be removed from here.
;; longer-term we need to fix issues with these functions, Cyc-seq, and the
;; possibility of out-of-order execution due to prims being evaluated at the
;; C declaration instead of in the body of the function
;; TODO: does make sense for conts, those can't be in Cyc-seq. OK to keep those here
;; Determine if primitive assigns (allocates) a C variable ;; Determine if primitive assigns (allocates) a C variable
;; EG: int v = prim(); ;; EG: int v = prim();
(define (prim/c-var-assign p) (define (prim/c-var-assign p)
(cond (cond
((eq? p 'Cyc-stdout) "port_type") ;((eq? p 'Cyc-stdout) "port_type")
((eq? p 'Cyc-stdin) "port_type") ;((eq? p 'Cyc-stdin) "port_type")
((eq? p 'Cyc-stderr) "port_type") ;((eq? p 'Cyc-stderr) "port_type")
((eq? p 'open-input-file) "port_type") ;((eq? p 'open-input-file) "port_type")
((eq? p 'open-output-file) "port_type") ;((eq? p 'open-output-file) "port_type")
; TODO: can we remove all of these?? What actually needs to remain?
;((eq? p 'Cyc-fast-plus) "object") ;((eq? p 'Cyc-fast-plus) "object")
;((eq? p 'Cyc-fast-sub) "object") ;((eq? p 'Cyc-fast-sub) "object")
;((eq? p 'Cyc-fast-mul) "object") ;((eq? p 'Cyc-fast-mul) "object")
;((eq? p 'Cyc-fast-div) "object") ;;((eq? p 'Cyc-fast-div) "object")
((eq? p '+) "object") ((eq? p '+) "object")
((eq? p '-) "object") ((eq? p '-) "object")
((eq? p '*) "object") ((eq? p '*) "object")
((eq? p '/) "object") ((eq? p '/) "object")
((eq? p 'Cyc-fast-eq) "object") ;((eq? p 'Cyc-fast-eq) "object")
((eq? p 'Cyc-fast-gt) "object") ;((eq? p 'Cyc-fast-gt) "object")
((eq? p 'Cyc-fast-lt) "object") ;((eq? p 'Cyc-fast-lt) "object")
((eq? p 'Cyc-fast-gte) "object") ;((eq? p 'Cyc-fast-gte) "object")
((eq? p 'Cyc-fast-lte) "object") ;((eq? p 'Cyc-fast-lte) "object")
((eq? p 'Cyc-fast-char-eq) "object") ;((eq? p 'Cyc-fast-char-eq) "object")
((eq? p 'Cyc-fast-char-gt) "object") ;((eq? p 'Cyc-fast-char-gt) "object")
((eq? p 'Cyc-fast-char-lt) "object") ;((eq? p 'Cyc-fast-char-lt) "object")
((eq? p 'Cyc-fast-char-gte) "object") ;((eq? p 'Cyc-fast-char-gte) "object")
((eq? p 'Cyc-fast-char-lte) "object") ;((eq? p 'Cyc-fast-char-lte) "object")
((eq? p '=) "object") ((eq? p '=) "object")
((eq? p '>) "object") ((eq? p '>) "object")
((eq? p '<) "object") ((eq? p '<) "object")
@ -819,11 +826,11 @@
(and (prim? exp) (and (prim? exp)
(or (or
(member exp '( (member exp '(
Cyc-stdout ;Cyc-stdout
Cyc-stdin ;Cyc-stdin
Cyc-stderr ;Cyc-stderr
open-input-file ;open-input-file
open-output-file ;open-output-file
Cyc-installation-dir Cyc-installation-dir
Cyc-compilation-environment Cyc-compilation-environment
string->number string->number
@ -837,21 +844,20 @@
make-vector list->vector make-vector list->vector
symbol->string number->string symbol->string number->string
substring substring
; TODO: can we remove all of these?? What actually needs to remain?
;Cyc-fast-plus ;Cyc-fast-plus
;Cyc-fast-sub ;Cyc-fast-sub
;Cyc-fast-mul ;Cyc-fast-mul
;Cyc-fast-div ;Cyc-fast-div
Cyc-fast-eq ;Cyc-fast-eq
Cyc-fast-gt ;Cyc-fast-gt
Cyc-fast-lt ;Cyc-fast-lt
Cyc-fast-gte ;Cyc-fast-gte
Cyc-fast-lte ;Cyc-fast-lte
Cyc-fast-char-eq ;Cyc-fast-char-eq
Cyc-fast-char-gt ;Cyc-fast-char-gt
Cyc-fast-char-lt ;Cyc-fast-char-lt
Cyc-fast-char-gte ;Cyc-fast-char-gte
Cyc-fast-char-lte ;Cyc-fast-char-lte
+ - * / + - * /
apply apply
Cyc-fast-apply Cyc-fast-apply