Merge branch 'main' into baseline-uses-rival-machine

Author: pavpanchekha

eval/compile.rkt

@@ -35,37 +35,37 @@
 
     [(list 'if c y f) (list ival-if c y f)]
 
-    [(list 'neg x) (list ival-neg x)]
-    [(list 'acos x) (list ival-acos x)]
-    [(list 'acosh x) (list ival-acosh x)]
-    [(list 'asin x) (list ival-asin x)]
-    [(list 'asinh x) (list ival-asinh x)]
-    [(list 'atan x) (list ival-atan x)]
-    [(list 'atanh x) (list ival-atanh x)]
-    [(list 'cbrt x) (list ival-cbrt x)]
+    [(list 'neg x) (list ival-neg! (alloc-outreg!) x)]
+    [(list 'acos x) (list ival-acos! (alloc-outreg!) x)]
+    [(list 'acosh x) (list ival-acosh! (alloc-outreg!) x)]
+    [(list 'asin x) (list ival-asin! (alloc-outreg!) x)]
+    [(list 'asinh x) (list ival-asinh! (alloc-outreg!) x)]
+    [(list 'atan x) (list ival-atan! (alloc-outreg!) x)]
+    [(list 'atanh x) (list ival-atanh! (alloc-outreg!) x)]
+    [(list 'cbrt x) (list ival-cbrt! (alloc-outreg!) x)]
     [(list 'ceil x) (list ival-ceil x)]
     [(list 'cos x) (list ival-cos x)]
-    [(list 'cosh x) (list ival-cosh x)]
-    [(list 'erf x) (list ival-erf x)]
-    [(list 'erfc x) (list ival-erfc x)]
-    [(list 'exp x) (list ival-exp x)]
-    [(list 'exp2 x) (list ival-exp2 x)]
-    [(list 'expm1 x) (list ival-expm1 x)]
+    [(list 'cosh x) (list ival-cosh! (alloc-outreg!) x)]
+    [(list 'erf x) (list ival-erf! (alloc-outreg!) x)]
+    [(list 'erfc x) (list ival-erfc! (alloc-outreg!) x)]
+    [(list 'exp x) (list ival-exp! (alloc-outreg!) x)]
+    [(list 'exp2 x) (list ival-exp2! (alloc-outreg!) x)]
+    [(list 'expm1 x) (list ival-expm1! (alloc-outreg!) x)]
     [(list 'fabs x) (list ival-fabs x)]
     [(list 'floor x) (list ival-floor x)]
     [(list 'lgamma x) (list ival-lgamma x)]
-    [(list 'log x) (list ival-log x)]
-    [(list 'log10 x) (list ival-log10 x)]
-    [(list 'log1p x) (list ival-log1p x)]
-    [(list 'log2 x) (list ival-log2 x)]
+    [(list 'log x) (list ival-log! (alloc-outreg!) x)]
+    [(list 'log10 x) (list ival-log10! (alloc-outreg!) x)]
+    [(list 'log1p x) (list ival-log1p! (alloc-outreg!) x)]
+    [(list 'log2 x) (list ival-log2! (alloc-outreg!) x)]
     [(list 'logb x) (list ival-logb x)]
-    [(list 'rint x) (list ival-rint x)]
+    [(list 'rint x) (list ival-rint! (alloc-outreg!) x)]
     [(list 'round x) (list ival-round x)]
     [(list 'sin x) (list ival-sin x)]
-    [(list 'sinh x) (list ival-sinh x)]
-    [(list 'sqrt x) (list ival-sqrt x)]
+    [(list 'sinh x) (list ival-sinh! (alloc-outreg!) x)]
+    [(list 'sqrt x) (list ival-sqrt! (alloc-outreg!) x)]
     [(list 'tan x) (list ival-tan x)]
-    [(list 'tanh x) (list ival-tanh x)]
+    [(list 'tanh x) (list ival-tanh! (alloc-outreg!) x)]
     [(list 'tgamma x) (list ival-tgamma x)]
     [(list 'trunc x) (list ival-trunc x)]
 

eval/main.rkt

@@ -74,13 +74,14 @@
                (execution instruction number precision time memory iter))
        (set-rival-machine-profile-ptr! machine 0))]))
 
-(define (ival-real x)
-  (ival x))
-
 ; Assumes that hint (if provided) is correct for the given pt
 (define (rival-apply machine pt [hint #f])
   ; Load arguments
-  (rival-machine-load machine (vector-map ival-real pt))
+  (define ival-pt
+    (for/vector #:length (vector-length pt)
+                ([x (in-vector pt)])
+      (ival x)))
+  (rival-machine-load machine ival-pt)
   (let loop ([iter 0])
     (define-values (good? done? bad? stuck? fvec)
       (parameterize ([*sampling-iteration* iter]

mpfr.rkt

@@ -230,10 +230,12 @@
          bfnan?
          bfinfinite?
          bfnegative?
+         bfrational?
          bfeven?
          bfodd?
          bfcopy
          bfstep
+         bigfloat->flonum
          bigfloats-between
          bfprev
          bfnext

ops/all.rkt

@@ -22,23 +22,33 @@
          ival-sub
          ival-sub!
          ival-neg
+         ival-neg!
          ival-mult
          ival-mult!
          ival-div
          ival-div!
          ival-fma
          ival-fabs
          ival-sqrt
+         ival-sqrt!
          ival-cbrt
+         ival-cbrt!
          ival-hypot
          ival-hypot!
          ival-exp
+         ival-exp!
          ival-exp2
+         ival-exp2!
          ival-expm1
+         ival-expm1!
          ival-log
+         ival-log!
          ival-log2
+         ival-log2!
          ival-log10
+         ival-log10!
          ival-log1p
+         ival-log1p!
          ival-logb
          ival-pow
          ival-pow2
@@ -49,22 +59,34 @@
          ival-sinu
          ival-tanu
          ival-asin
+         ival-asin!
          ival-acos
+         ival-acos!
          ival-atan
+         ival-atan!
          ival-atan2
          ival-sinh
+         ival-sinh!
          ival-cosh
+         ival-cosh!
          ival-tanh
+         ival-tanh!
          ival-asinh
+         ival-asinh!
          ival-acosh
+         ival-acosh!
          ival-atanh
+         ival-atanh!
          ival-erf
+         ival-erf!
          ival-erfc
+         ival-erfc!
          ival-lgamma
          ival-tgamma
          ival-fmod
          ival-remainder
          ival-rint
+         ival-rint!
          ival-round
          ival-ceil
          ival-floor