From 5c5f86cdea7a82c7ee47b510933b71f4d03b6de4 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sun, 10 Sep 2017 12:09:25 +0800
Subject: [PATCH] runtime: export floor() in ksupport. Closes #828

---
 artiq/runtime/ksupport.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/artiq/runtime/ksupport.c b/artiq/runtime/ksupport.c
index 60a8eb023..65334da26 100644
--- a/artiq/runtime/ksupport.c
+++ b/artiq/runtime/ksupport.c
@@ -18,8 +18,9 @@
 #include "dds.h"
 #include "i2c.h"
 
-double round(double x);
 double sqrt(double x);
+double round(double x);
+double floor(double x);
 
 void ksupport_abort(void);
 static void attribute_writeback(void *);
@@ -88,8 +89,9 @@ static const struct symbol runtime_exports[] = {
     {"__powidf2", &__powidf2},
 
     /* libm */
-    {"round", &round},
     {"sqrt", &sqrt},
+    {"round", &round},
+    {"floor", &floor},
 
     /* exceptions */
     {"_Unwind_Resume", &_Unwind_Resume},