From 0f3f91105edb12739a2f7d44a55c90eca6bfed86 Mon Sep 17 00:00:00 2001 From: dzaima Date: Fri, 25 Nov 2022 19:12:24 +0200 Subject: [PATCH] use anynePositive for squeeze.singeli --- src/singeli/src/squeeze.singeli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/singeli/src/squeeze.singeli b/src/singeli/src/squeeze.singeli index 70baa266..59ce1f11 100644 --- a/src/singeli/src/squeeze.singeli +++ b/src/singeli/src/squeeze.singeli @@ -57,7 +57,7 @@ squeeze{vw, X, CHR, B}(x0:*void, len:Size) : u32 = { if (B) { if (any{M{~q_chr{c}}}) return{3} } else { - if (anyne{broadcast{EV, (1< { v0:= loadBatch{xp, i, XV} - if (anyne{broadcast{EV, 0xfe} & EV~~v0, broadcast{EV, 0}, M}) return{2} + if (anynePositive{broadcast{EV, 0xfe} & EV~~v0, broadcast{EV, 0}, M}) return{2} }} 0 } else { @@ -83,7 +83,7 @@ squeeze{vw, X, CHR, B}(x0:*void, len:Size) : u32 = { def conv{x} = tern{preserve_negative_zero, ty_u{x}, x} - if (anyne{conv{flt}, conv{cvt2{f64, int}}, M}) { # is any not an integer + if (anynePositive{conv{flt}, conv{cvt2{f64, int}}, M}) { # is any not an integer if (B) maskedLoop{bulk, i, len, {i, M} => { # if B, need to give an even more special result def XU = [bulk]u64 v:= XU ~~ loadBatch{xp, i, XV}