From 4e071cf17045fb111c1aa758169ca72139332b53 Mon Sep 17 00:00:00 2001 From: dzaima Date: Thu, 10 Oct 2024 03:17:36 +0300 Subject: [PATCH] =?UTF-8?q?disable=20|,=20=E2=8C=8A,=20=E2=8C=88,=20<,=20>?= =?UTF-8?q?=20wrapping=20for=20RT=5FVERIFY?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit boring arith, and native versions have differences around NaNs --- src/rtwrap.c | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/rtwrap.c b/src/rtwrap.c index cf1ccb7e..2f8a626f 100644 --- a/src/rtwrap.c +++ b/src/rtwrap.c @@ -1,9 +1,9 @@ #include "core.h" +#if RT_WRAP #include "vm.h" -#if RT_PERF #include "builtins.h" -#endif #include "utils/time.h" +#endif #if defined(RT_WRAP) || defined(WRAP_NNBI) @@ -209,7 +209,9 @@ B rtWrap_wrap(B t, bool nnbi) { #endif if (isFun(t)) { #if RT_VERIFY - if(RTID(t) == RTID_NONE) return t; + if (RTID(t) == RTID_NONE) return t; + u8 rtid = RTID(t); + if (rtid==n_stile || rtid==n_floor || rtid==n_ceil || rtid==n_lt || rtid==n_gt) return t; #endif WFun* r = mm_alloc(sizeof(WFun), t_funWrap); r->extra = v(t)->extra;