From d48194c3c8b582caf0e4a076daa42822627ec5fc Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 12 Mar 2025 17:20:18 +0200 Subject: [PATCH] fix comment --- src/singeli/src/search.singeli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/singeli/src/search.singeli b/src/singeli/src/search.singeli index 9f85780c..cbf7401b 100644 --- a/src/singeli/src/search.singeli +++ b/src/singeli/src/search.singeli @@ -312,7 +312,7 @@ def acc{unr, init:T} = { def bad_float_i64{x:T=[_](f64)} = { a:= abs{x} s:= T**(1<<53) - min{s,a} != s-(s-a) # (a<=s) & (a == s-(s-a)) + min{s,a} != s-(s-a) # ~ ((a<=s) & (a == s-(s-a))) } def bad_float_i64{x:T=[_](f64) if hasarch{'SSE4.1'}} = (x!=floor{x}) | (abs{x}>T**(1<<53)) def bad_float_i64{x:T=[_](f64) if hasarch{'AARCH64'}} = x != cvt{f64, cvt{i64, x}}