Variary and/or in C compilation

FPBench · Nov 7, 2017 · f6027dc · f6027dc
1 parent cbd03b8
commit f6027dc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/benchmarks/rosa.fpcore b/benchmarks/rosa.fpcore
@@ -334,6 +334,7 @@
             (< a c) (< b c))
   :rosa-post (=> res (>= res 0))
   :rosa-ensuring 2e-9
+  :example ((b 4.0) (c 8.5))
   (if (< a b)
       (/ (sqrt (* (* (* (+ c (+ b a)) (- a (- c b)))
                      (+ a (- c b))) (+ c (- b a))))

diff --git a/tools/core2c.rkt b/tools/core2c.rkt
@@ -38,10 +38,10 @@
                        (format "~a != ~a" (car args) b))
                      (loop (cdr args)))))
               " && "))]
-    [(list 'and a b)
-     (format "(~a && ~a)" a b)]
-    [(list 'or a b)
-     (format "(~a || ~a)" a b)]
+    [(list 'and a ...)
+     (format "(~a)" (string-join (map ~a a) " && "))]
+    [(list 'or a ...)
+     (format "(~a)" (string-join (map ~a a) " || "))]
     [(list (? operator? f) args ...)
      (format "~a~a(~a)" f (type->suffix type) (string-join args ", "))]))