Many fixes

Author: pavpanchekha

src/core/egg-herbie.rkt

@@ -310,6 +310,7 @@
 
 (module+ test
   (require "../utils/float.rkt")
+  (activate-platform! (*platform-name*))
   (define ctx (context '(x y z) <binary64> (make-list 3 <binary64>)))
 
   (define test-exprs

src/core/egglog-herbie-tests.rkt

@@ -307,7 +307,10 @@
            "../syntax/types.rkt"
            "batch.rkt"
            "rules.rkt"
-           "../config.rkt")
+           "../config.rkt"
+           "../syntax/platform.rkt"
+           "../utils/float.rkt")
+  (activate-platform! (*platform-name*))
 
   (define batch
     (progs->batch (list '(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))

src/core/regimes.rkt

@@ -149,6 +149,8 @@
     (list-ref errs (si-cidx (findf (lambda (x) (< i (si-pidx x))) split-indices)))))
 
 (module+ test
+  (require "../syntax/platform.rkt")
+  (activate-platform! (*platform-name*))
   (define ctx (context '(x) <binary64> (list <binary64>)))
   (define pctx (mk-pcontext '(#(0.5) #(4.0)) '(1.0 1.0)))
   (define alts (map make-alt (list '(fmin.f64 x 1) '(fmax.f64 x 1))))

src/core/sampling.rkt

@@ -8,7 +8,6 @@
          "../utils/float.rkt"
          "../utils/timeline.rkt"
          "../syntax/types.rkt"
-         (only-in "../syntax/platform.rkt" get-representation)
          "searchreals.rkt"
          "rival.rkt")
 
@@ -33,6 +32,8 @@
 
 (module+ test
   (require rackunit)
+  (require "../syntax/platform.rkt")
+  (activate-platform! (*platform-name*))
   (define binary64 (get-representation 'binary64))
   (define pre '(and (and (<= 0 a) (<= a 1)) (and (<= 0 b) (<= b 1))))
 

src/core/test-rules.rkt

@@ -10,6 +10,8 @@
          "../syntax/platform.rkt"
          "sampling.rkt")
 
+(activate-platform! (*platform-name*))
+
 (define num-test-points (make-parameter 100))
 (define double-repr (get-representation 'binary64))
 

src/platforms/c.rkt

@@ -8,6 +8,7 @@
          "runtime/libm.rkt"    ; libm wrapper
          "../utils/float.rkt"  ; for shift/unshift
          "../syntax/platform.rkt")
+(provide platform)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; EMPTY PLATFORM ;;;;;;;;;;;;;;;;;;;;;;;;
 
@@ -22,16 +23,7 @@
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; representation ;;;;;;;;;;;;;;;;;;;;;;;;
 
-(define bool
-  (make-representation #:name 'bool
-                       #:type 'bool
-                       #:repr? boolean?
-                       #:bf->repr identity
-                       #:repr->bf identity
-                       #:ordinal->repr (λ (x) (= x 0))
-                       #:repr->ordinal (λ (x) (if x 1 0))
-                       #:total-bits 1
-                       #:special-value? (const #f)))
+(define bool <bool>)
 
 (platform-register-representation! platform #:repr bool #:cost boolean-move-cost)
 
@@ -59,16 +51,7 @@
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; representation ;;;;;;;;;;;;;;;;;;;;;;;;
 
-(define binary32
-  (make-representation #:name 'binary32
-                       #:type 'real
-                       #:repr? flonum?
-                       #:bf->repr bigfloat->float32
-                       #:repr->bf bf
-                       #:ordinal->repr (shift 31 ordinal->float32)
-                       #:repr->ordinal (unshift 31 float32->ordinal)
-                       #:total-bits 32
-                       #:special-value? nan?))
+(define binary32 <binary32>)
 
 (platform-register-representation! platform #:repr binary32 #:cost 32bit-move-cost)
 
@@ -166,16 +149,7 @@
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; representation ;;;;;;;;;;;;;;;;;;;;;;;;
 
-(define binary64
-  (make-representation #:name 'binary64
-                       #:type 'real
-                       #:repr? flonum?
-                       #:bf->repr bigfloat->flonum
-                       #:repr->bf bf
-                       #:ordinal->repr (shift 63 ordinal->flonum)
-                       #:repr->ordinal (unshift 63 flonum->ordinal)
-                       #:total-bits 64
-                       #:special-value? nan?))
+(define binary64 <binary64>)
 
 (platform-register-representation! platform #:repr binary64 #:cost 64bit-move-cost)
 

src/syntax/platform.rkt

@@ -69,7 +69,6 @@
 (define-runtime-path platform-dir "../platforms/")
 
 (define (load-platform! name)
-  (eprintf "Loading platform ~a\n" name)
   (if (or (string-contains? name "/") (string-contains? name "."))
       (dynamic-require name 'platform)
       (dynamic-require (build-path platform-dir (format "~a.rkt" name)) 'platform)))

src/syntax/read.rkt

@@ -282,6 +282,7 @@
   (require rackunit
            "../utils/float.rkt")
 
+  (activate-platform! (*platform-name*))
   (define precision 'binary64)
   (define ctx (context '(x y z a) <binary64> (make-list 4 <binary64>)))
 

src/syntax/syntax-check.rkt

@@ -199,6 +199,7 @@
 ;; testing FPCore format
 (module+ test
   (require rackunit)
+  (activate-platform! (*platform-name*))
 
   (define (get-errs stx)
     (reap [sow]

src/syntax/test-syntax.rkt

@@ -7,9 +7,10 @@
 
 (module+ test
   (require rackunit
-           math/bigfloat)
+           math/bigfloat
+           "../config.rkt")
 
-  (load-herbie-builtins)
+  (activate-platform! (*platform-name*))
   (define platform (platform-copy (*active-platform*)))
   (define binary64 (get-representation 'binary64))
   ; log1pmd(x) = log1p(x) - log1p(-x)