From 7474e51642e2f3693cc378461350df51750def32 Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 26 Jun 2024 05:23:41 +0300 Subject: [PATCH] rename mask_of in spaced.singeli otherwise confusable with maskOf in mask.singeli --- src/singeli/src/spaced.singeli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/singeli/src/spaced.singeli b/src/singeli/src/spaced.singeli index 7b89d6f9..ff477cb3 100644 --- a/src/singeli/src/spaced.singeli +++ b/src/singeli/src/spaced.singeli @@ -1,14 +1,14 @@ -def mask_of{l} = emit{u64, 'get_spaced_mask', l} # see slash.singeli +def spaced_mask_of{l} = emit{u64, 'get_spaced_mask', l} # see slash.singeli def aligned_spaced_mask{l} = { assert{l <= 64} assert{l&(l-1) == 0} - mask_of{l} + spaced_mask_of{l} } def unaligned_spaced_mask_mod{l:T} = { assert{l < 64} - def m = mask_of{l} + def m = spaced_mask_of{l} def d = cast_i{T, ctz{m}} # = 64%l tup{m>>d | m<<(l-d), d} }