suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

check JIT and extflonum operations that are not supported

Browse Source 
Goes with 80f84f2132.
This commit is contained in:
Matthew Flatt 2019-02-02 19:55:26 -07:00
parent 80f84f2132
commit 941fe38cee
1 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
pkgs/racket-test-core/tests/racket/jitinline.rktl
View File

@ -931,6 +931,43 @@
(bin-exact 5 'check-not-unsafe-undefined 5 'check-not-unsafe-undefined #:bad-value 'unsafe-undefined)
)
;; Even if extflonums are not available, check that uses don't
;; confuse the JIT
(let ()
(define-syntax-rule (check-jit-ok (proc arg ...))
(test 'no (eval '(lambda (? arg ...)
(if ?
(proc arg ...)
'no)))
#f 'arg ...))
(check-jit-ok (extfl+ x y))
(check-jit-ok (extfl* x y))
(check-jit-ok (extfl- x y))
(check-jit-ok (extfl/ x y))
(check-jit-ok (extflmin x y))
(check-jit-ok (extflmax x y))
(check-jit-ok (extfl< x y))
(check-jit-ok (extfl> x y))
(check-jit-ok (extfl<= x y))
(check-jit-ok (extfl>= x y))
(check-jit-ok (extfl= x y))
(check-jit-ok (extflabs x))
(check-jit-ok (extflsqrt x))
(check-jit-ok (extflsin x))
(check-jit-ok (extflcos x))
(check-jit-ok (extfltan x))
(check-jit-ok (extflasin x))
(check-jit-ok (extflacos x))
(check-jit-ok (extflatan x))
(check-jit-ok (extfllog x))
(check-jit-ok (extflexp x))
(check-jit-ok (extflexpt x y))
(check-jit-ok (->extfl x y))
(check-jit-ok (fx->extfl x y))
(check-jit-ok (extflvector-length x))
(check-jit-ok (extflvector-ref x y))
(check-jit-ok (extflvector-set! x y z)))
(let ([test-setter
(lambda (make-X def-val set-val set-name set ref 3rd-all-ok?)
(let ([v (make-X 3 def-val)])