dzaima
|
5748833060
|
fast inds⊸⊏˘bits for ≤8-bit input & output cells
|
2024-08-14 05:18:13 +03:00 |
|
dzaima
|
081b928cb4
|
fix zip_halves being weird
|
2024-07-28 05:10:46 +03:00 |
|
dzaima
|
ffc250eb0e
|
clearer aarch64 zip_halves mzip usage
|
2024-07-28 04:02:54 +03:00 |
|
dzaima
|
bd3789963c
|
these are actually good
|
2024-07-28 02:52:58 +03:00 |
|
dzaima
|
6f25e76e5d
|
tune NEON inds⊸⊏˘f64arr
|
2024-07-28 02:47:12 +03:00 |
|
dzaima
|
93fca7c628
|
fix overflow in index widening
|
2024-07-26 22:17:49 +03:00 |
|
dzaima
|
7cc1031f70
|
use outside-of-loop index widening on aarch64
slower as-is due to reduced supported ranges, but that's not an inherent restriction
|
2024-07-26 22:17:49 +03:00 |
|
dzaima
|
69ca524251
|
widen inds outside select-cells loops
|
2024-07-26 22:17:49 +03:00 |
|
dzaima
|
90646563a0
|
don't use zip method for select-cells
|
2024-07-26 22:16:23 +03:00 |
|
dzaima
|
4a874710c7
|
allow unhandled types for select_rows
|
2024-07-26 22:16:23 +03:00 |
|
dzaima
|
478c389c4b
|
fast inds⊸⊏˘ mat
|
2024-07-26 22:16:23 +03:00 |
|
dzaima
|
f7dd900b3a
|
faster 𝕨⊏𝕩, incl. aarch64 support
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
d6483a93d3
|
x86 unzip & unzip128
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
2ed06e0db6
|
get_range Singeli binding
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
2ca488dd66
|
aarch64 bool128 select
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
0d5e77766a
|
build select.singeli everywhere
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
c274c35b1e
|
Singeli @for_blocks
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
079d3ffe91
|
better aarch64 homMask{[16]u8,[16]u8}
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
0b69fa84cd
|
NEON comparisons to 0
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
c0573d602c
|
don't error on non-vector types checked by genchk
|
2024-07-26 00:01:54 +03:00 |
|
dzaima
|
2dd3798228
|
more Singeli cleanup
|
2024-07-15 00:56:02 +03:00 |
|
dzaima
|
2436c45f1d
|
Singeli ceil_log2 for compile-time numbers
|
2024-07-15 00:52:00 +03:00 |
|
dzaima
|
66a8529d88
|
remove redundant parentheses in Singeli destructuring
|
2024-07-15 00:52:00 +03:00 |
|
dzaima
|
f79e4c6d0a
|
make /(m?zip(128)?|pack)(Lo|Hi)/ not have Lo/Hi as part of name
instead being an optional 3rg arg
|
2024-07-15 00:52:00 +03:00 |
|
dzaima
|
a671ec9462
|
aarch64 bittab
|
2024-07-13 00:10:34 +03:00 |
|
dzaima
|
7aab7ceb8b
|
cleanup
|
2024-07-10 03:44:05 +03:00 |
|
dzaima
|
2bc1ba9f4a
|
fix aarch64 squeeze
|
2024-07-10 03:43:58 +03:00 |
|
dzaima
|
52d1e61fe0
|
don't bother early-exiting on masked iteration
|
2024-07-10 03:24:10 +03:00 |
|
dzaima
|
2fdd72f1c4
|
faster <SSE4.1 integer accumulating in squeeze
|
2024-07-10 03:18:17 +03:00 |
|
dzaima
|
a45925b0c6
|
fix SSE2 squeeze
|
2024-07-10 03:18:17 +03:00 |
|
dzaima
|
f941245b34
|
avoid needing two final folds on x86
|
2024-07-10 03:18:17 +03:00 |
|
dzaima
|
40a5c40bda
|
faster squeeze
|
2024-07-10 03:18:17 +03:00 |
|
dzaima
|
d66be091be
|
shufps Singeli mapping
|
2024-07-10 00:55:43 +03:00 |
|
dzaima
|
e96948cb64
|
Singeli zip128
|
2024-07-10 00:55:43 +03:00 |
|
dzaima
|
6824b9a747
|
fix another unaligned load
|
2024-06-26 06:09:30 +03:00 |
|
dzaima
|
7474e51642
|
rename mask_of in spaced.singeli
otherwise confusable with maskOf in mask.singeli
|
2024-06-26 05:39:48 +03:00 |
|
Marshall Lochbaum
|
ace6105bf6
|
Fixes for ∧˝˘ and ∨˝˘ on long rows
|
2024-06-25 22:30:56 -04:00 |
|
Marshall Lochbaum
|
355efd1eb4
|
Insert-cells and scan implementation comments, and minor tweaks
|
2024-06-19 18:36:53 -04:00 |
|
Marshall Lochbaum
|
4b0f105a7f
|
Implement short-row num⊏˘bool (including ⊣˝˘ ⊢˝˘) with fold code
|
2024-06-18 14:05:16 -04:00 |
|
Marshall Lochbaum
|
1e6c7057e8
|
Extend boolean F`˘ special code to any frame and cell rank
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
5e3cc6de81
|
Refactoring, simplification, comments
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
a8b036ad08
|
Implement ≠˝˘ and =˝˘ like ∧∨ on width<64 boolean
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
f0f130c42e
|
Use a lookup table for evenly-spaced masks, getting division results from those
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
e6f1e04de2
|
Fast generic and pext-based ∧˝˘ and ∨˝˘ on width<64
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
40bf3bfd1c
|
AVX2-based boolean short-row scans
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
efde979fe9
|
Fast boolean ⊣`˘
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
8331a05547
|
Boolean ≠`˘ implementation
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
5591d0f4f0
|
Boolean row-wise scans ∧˘ and ∨˘
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
7b4468c394
|
Move logical fold-rows functions to Singeli
|
2024-06-18 07:46:31 -04:00 |
|
Marshall Lochbaum
|
2590222988
|
Generic-architecture implementations of fold.singeli
|
2024-06-18 07:46:31 -04:00 |
|
dzaima
|
563c30c596
|
allSame Singeli helper, make NEON homMask accept signed types
|
2024-06-16 14:00:40 +03:00 |
|
dzaima
|
d85f628d72
|
accept tuple argument in homMask
|
2024-06-14 04:28:53 +03:00 |
|
dzaima
|
d161f93a38
|
more Singeli refactoring
makes some conditions more strict
removes wrong el_m & el_s definitions
|
2024-05-26 04:25:54 +03:00 |
|
Marshall Lochbaum
|
56944b8985
|
Minor Singeli simplifications
|
2024-05-25 18:31:47 -04:00 |
|
Marshall Lochbaum
|
90863851b7
|
Use new Singeli type destructuring (no change to generated C)
|
2024-05-25 18:31:47 -04:00 |
|
dzaima
|
44c8da7dc7
|
add checks for l>0 on equal() impls
some Singeli `fn equal` paths already assumed such, this just makes the requirement properly checked for, benefited from, and documented
|
2024-05-20 01:03:57 +03:00 |
|
dzaima
|
4f898f38d2
|
various Singeli usage improvements and fixes
|
2024-05-11 05:57:30 +03:00 |
|
Marshall Lochbaum
|
b2e3a5ff74
|
Move from & to if/and for Singeli conditions
|
2024-05-10 10:26:28 -04:00 |
|
Marshall Lochbaum
|
4d6612cb16
|
Replace tuplen{} and tupsel{} with length{} and select{}
|
2024-05-10 09:49:58 -04:00 |
|
Marshall Lochbaum
|
12d7629f9c
|
Replace top-level if with if_inline
|
2024-05-10 08:36:24 -04:00 |
|
Marshall Lochbaum
|
526d9bbebe
|
Wrap non-destructuring type parameters in parens
|
2024-05-10 08:30:08 -04:00 |
|
dzaima
|
606e07ff14
|
fix vqtbl1 NEON argument type
|
2024-02-27 01:42:56 +02:00 |
|
dzaima
|
c078f62b1f
|
add GLOBAL, INIT_GLOBAL, or const to globals
|
2024-02-01 21:13:39 +02:00 |
|
dzaima
|
6e39b59e73
|
use tuple destructuring in mask.singeli
|
2024-01-28 02:38:16 +02:00 |
|
dzaima
|
83afa4ba99
|
rename functions in cmp.singeli
|
2024-01-11 23:36:03 +02:00 |
|
Marshall Lochbaum
|
f62981e370
|
Make Singeli if conditions have type u1
|
2024-01-10 17:10:53 -05:00 |
|
Marshall Lochbaum
|
7511420077
|
Fix first element of 1-byte Deduplicate result in some cases with 256 uniques
|
2024-01-07 21:27:12 -05:00 |
|
Marshall Lochbaum
|
5f3a4769be
|
Rename constrep.singeli to replicate.singeli; not just constant now
|
2023-12-31 15:30:20 -05:00 |
|
Marshall Lochbaum
|
e50ae40f8b
|
Port replicate-by-scan code from C to Singeli
|
2023-12-31 15:26:58 -05:00 |
|
Marshall Lochbaum
|
771496a25c
|
Pass slow-pdep build option to Singeli to suppress BMI2 bool/bool
|
2023-12-31 10:05:51 -05:00 |
|
Marshall Lochbaum
|
9604844d0b
|
Don't need ..._ before & in Singeli any more
|
2023-12-30 21:45:24 -05:00 |
|
Marshall Lochbaum
|
eb34213f0f
|
Fast ≍˘ for matching-type type-sized cells
|
2023-12-30 21:45:24 -05:00 |
|
Marshall Lochbaum
|
58f4f15f8f
|
Move more functionality to avx512.singeli
|
2023-12-30 10:43:40 -05:00 |
|
Marshall Lochbaum
|
92db3f15d0
|
Implement ≠` with AVX-512 clmul and GFNI
|
2023-12-30 10:43:06 -05:00 |
|
dzaima
|
9dc44ed1a9
|
make singeli/arch.bqn the source of SINGELI_AVX2
+ removes noting of lack of AVX2, which isn't shown from the makefile anyway
|
2023-12-30 02:09:56 +02:00 |
|
dzaima
|
18d2fa5f1c
|
rename Singeli select function
in anticipation to Singeli update which adds select as a builtin
|
2023-12-29 23:35:22 +02:00 |
|
dzaima
|
f11bebf8f4
|
fix usz=64 build
|
2023-12-28 19:17:57 +02:00 |
|
Marshall Lochbaum
|
dcb031d142
|
Make sure value in store{} has an appropriate type
|
2023-12-27 16:44:53 -05:00 |
|
dzaima
|
840c40748f
|
fix f64 scans on SSE2
|
2023-12-15 19:18:23 +02:00 |
|
dzaima
|
94b1d90995
|
SSE2 & NEON /⁼
|
2023-12-14 18:08:56 +02:00 |
|
dzaima
|
ec4db6dbad
|
tiny Singeli include changes
|
2023-12-10 15:55:57 +02:00 |
|
dzaima
|
3454fbe3ee
|
defer negated ≤AVX2 comparison negation to GPR result
|
2023-12-05 17:37:37 +02:00 |
|
dzaima
|
f02c92ee6a
|
fix 3 ∨ "abc"
|
2023-11-23 18:13:51 +02:00 |
|
dzaima
|
8814a7e66e
|
use 2x unroll for i16→u1 copying to utilize two-vector homMask
|
2023-11-21 02:45:33 +02:00 |
|
dzaima
|
773429a959
|
recursive base-case of homMask
|
2023-11-21 02:40:50 +02:00 |
|
dzaima
|
08fa7d3d30
|
specialize x86-64 homMask of 2x[n]i16, use for comparison
|
2023-11-21 02:29:03 +02:00 |
|
dzaima
|
3ebfb24b0f
|
unroll copying to bitarr
+ clean up comparison code as bulk homMask is supported everywhere
|
2023-11-21 00:18:18 +02:00 |
|
dzaima
|
fe985722c2
|
move multi-vector homMask to allow NEON to override it
|
2023-11-21 00:18:18 +02:00 |
|
dzaima
|
56cbe4aa03
|
mulHi → mulh for high half of element result
to not be confused with mulwHi or zipHi where it means providing the high batch of elements
|
2023-11-18 00:43:20 +02:00 |
|
dzaima
|
46e8ed1a3f
|
fix SSE4.2 usz=64 build
|
2023-11-13 23:28:30 +02:00 |
|
dzaima
|
b4e53abbe4
|
some comments
|
2023-11-13 16:38:02 +02:00 |
|
Marshall Lochbaum
|
c94d51dcaf
|
Fixes for 64-bit usz
|
2023-11-13 08:24:51 -05:00 |
|
dzaima
|
4fb6ce602f
|
add a require{} for CRC32
|
2023-11-13 12:56:48 +02:00 |
|
Marshall Lochbaum
|
09572de49a
|
Credible resizing policy for dyadic search hashes
|
2023-11-12 22:07:29 -05:00 |
|
Marshall Lochbaum
|
ee7a11a279
|
Unify self-search hash thresholds across primitives; doesn't seem to hurt performance
|
2023-11-12 14:35:25 -05:00 |
|
Marshall Lochbaum
|
5957487b70
|
Faster iteration over non-empty entries for hash table resizing
|
2023-11-11 20:24:20 -05:00 |
|
Marshall Lochbaum
|
b404c7c1d1
|
Eliminate a loop when resizing ordered hash
|
2023-11-11 20:24:20 -05:00 |
|
Marshall Lochbaum
|
3a50cda5d3
|
Specialize Index-of tables on result type
|
2023-11-10 17:12:37 -05:00 |
|
Marshall Lochbaum
|
b782693d15
|
Insert maxh to a special end bucket for ⊒ and reverse ⊐ (fixes ⊒ maxh bugs)
|
2023-11-10 12:04:55 -05:00 |
|
Marshall Lochbaum
|
e1b0c53c92
|
Fix various sentinel bugs
|
2023-11-09 20:24:46 -05:00 |
|
Marshall Lochbaum
|
2c625127d5
|
Reverse hashed Index-of
|
2023-11-09 10:39:07 -05:00 |
|
Marshall Lochbaum
|
f1485ca98c
|
Turn hash function definition structure inside-out
|
2023-11-09 09:19:47 -05:00 |
|
Marshall Lochbaum
|
aded9d4782
|
Shortcutting for reverse Member-of hash
|
2023-11-08 17:34:33 -05:00 |
|
Marshall Lochbaum
|
8e9c04523a
|
Fix overflow bug in hashed Member-of max_off calculation
|
2023-11-08 10:28:14 -05:00 |
|
Marshall Lochbaum
|
c75fdbc277
|
Reverse Member-of hash lookup
|
2023-11-07 22:07:17 -05:00 |
|
Marshall Lochbaum
|
8a2190b092
|
64-bit hashes with float normalization
|
2023-11-07 14:54:16 -05:00 |
|
Marshall Lochbaum
|
a4290b1f5c
|
Shortcut for hash-table dyadic ⊒
|
2023-11-07 09:59:53 -05:00 |
|
Marshall Lochbaum
|
4bf4149d40
|
Use hash deletion for forward ⊒ as well as reverse
|
2023-11-07 09:41:50 -05:00 |
|
Marshall Lochbaum
|
289658a59c
|
Delete hash entry as soon as it's cleared, not on next access
|
2023-11-07 07:53:45 -05:00 |
|
Marshall Lochbaum
|
30331eb800
|
Fix write off end for reverse ⊒
|
2023-11-07 07:15:17 -05:00 |
|
Marshall Lochbaum
|
c042fe6ca3
|
Vector binary search for integer Index-of
|
2023-11-06 15:43:26 -05:00 |
|
Marshall Lochbaum
|
d154ece51a
|
Vector binary search for 16-bit Member-of in addition to 32 (8 is too slow)
|
2023-11-06 09:37:58 -05:00 |
|
Marshall Lochbaum
|
11245d385e
|
Vector binary search Member-of
|
2023-11-05 22:10:39 -05:00 |
|
Marshall Lochbaum
|
75aed91f32
|
And max offset of 8 by testing two vectors
|
2023-11-05 15:46:26 -05:00 |
|
Marshall Lochbaum
|
ec31543604
|
Vector Member-of search up to an offset of 4
|
2023-11-05 15:45:07 -05:00 |
|
Marshall Lochbaum
|
af81da50e4
|
Don't need to initialize indices for hashed Index-of
|
2023-11-04 17:52:22 -04:00 |
|
Marshall Lochbaum
|
1286ee32ec
|
Reverse lookup for hashed Progressive Index-of
|
2023-11-03 21:58:17 -04:00 |
|
Marshall Lochbaum
|
84f3205547
|
Use a larger initial hash table if non-hashed argument is large
|
2023-11-03 21:50:38 -04:00 |
|
Marshall Lochbaum
|
a9f33c1454
|
Refactoring
|
2023-11-03 16:38:08 -04:00 |
|
Marshall Lochbaum
|
8aa6c07199
|
And hashed 32-bit Progressive Index-of
|
2023-11-02 20:29:54 -04:00 |
|
Marshall Lochbaum
|
64f2a10fbb
|
Return hash_resize{} from hash_alloc{}
|
2023-11-02 13:21:11 -04:00 |
|
Marshall Lochbaum
|
d54621b5dd
|
Extend hash table to 32-bit Index-of
|
2023-11-02 12:00:32 -04:00 |
|
Marshall Lochbaum
|
ed03720441
|
Robin Hood hash table for 32-bit membership
|
2023-11-01 15:46:45 -04:00 |
|
Marshall Lochbaum
|
cb8be206be
|
Move hash allocation to a generator
|
2023-10-31 22:09:11 -04:00 |
|
Marshall Lochbaum
|
ee856a4880
|
Move hash resizing to a generator, and other refactoring
|
2023-10-31 22:09:11 -04:00 |
|
Marshall Lochbaum
|
0fb845d336
|
Move self-search hash table code to Singeli
|
2023-10-31 22:09:11 -04:00 |
|
dzaima
|
9c68e67544
|
fix compilation error when targeting AVX1-only
|
2023-10-07 13:22:27 +03:00 |
|
Marshall Lochbaum
|
6330d61a88
|
Some rearrangement and minor simplifications
|
2023-09-12 10:24:00 -04:00 |
|
Marshall Lochbaum
|
72da47d48a
|
Use standard for loops
|
2023-09-12 09:12:57 -04:00 |
|
Marshall Lochbaum
|
40ed55bc43
|
Use built-in NEON include for basic vector instructions
|
2023-09-11 21:17:38 -04:00 |
|
Marshall Lochbaum
|
7b9f7ba331
|
Move x86 vector and NEON includes into base.singeli
|
2023-09-11 20:25:25 -04:00 |
|
Marshall Lochbaum
|
082f800b3e
|
Combine x86 vector extensions and use iintrinsic/basic when possible
|
2023-09-11 20:11:16 -04:00 |
|
Marshall Lochbaum
|
c85ca66dae
|
Unify Scan and Bins min-scan code
|
2023-08-26 09:27:59 -04:00 |
|
Marshall Lochbaum
|
0a30fb309d
|
SSE2 min- and max-scans
|
2023-08-26 07:26:33 -04:00 |
|
Marshall Lochbaum
|
a040a14744
|
Unify power-of-two shift pattern for scans
|
2023-08-26 07:26:33 -04:00 |
|
Marshall Lochbaum
|
d16ba6c3b1
|
Move xor-scan to scan.singeli; remove neq.singeli
|
2023-08-26 07:26:33 -04:00 |
|
Marshall Lochbaum
|
e261e80168
|
SSE min/max and pluswrap scans
|
2023-08-26 07:26:33 -04:00 |
|
Marshall Lochbaum
|
f9a4a5b68c
|
Remove duplicated SSE4.1 min/max bindings
|
2023-08-26 07:26:33 -04:00 |
|
Marshall Lochbaum
|
00c454d37a
|
Add generic-architecture versions of Singeli scans
|
2023-08-26 07:26:33 -04:00 |
|
dzaima
|
34d4fd6433
|
more explicit loadu/storeu
|
2023-08-20 00:18:09 +03:00 |
|
dzaima
|
4d19654e3b
|
fix store types
|
2023-08-16 19:01:04 +03:00 |
|
dzaima
|
acca5c0c7c
|
fix completely wrong dyTable lookup
|
2023-08-15 14:45:27 +03:00 |
|
Marshall Lochbaum
|
4e9745688b
|
Use generic boolean Compress as the sparse case with Singeli
|
2023-08-07 13:47:58 -04:00 |
|
Marshall Lochbaum
|
bbad98bce1
|
In AVX2 boolean Compress, jump from 8 to 32 with 32-bit shifts
|
2023-08-07 11:41:53 -04:00 |
|
Marshall Lochbaum
|
120df26814
|
mullo works for both signed and unsigned
|
2023-08-07 11:23:38 -04:00 |
|
Marshall Lochbaum
|
d039562efe
|
Fix disabled BMI2 boolean Compress; cleaner SIMD width system
|
2023-08-06 08:09:08 -04:00 |
|
Marshall Lochbaum
|
9046dd6b53
|
Handle boolean Compress SIMD tail with conditional write, not scalar loop
|
2023-08-06 08:03:14 -04:00 |
|
Marshall Lochbaum
|
07ace41d6c
|
Vectorized version of the clmul boolean Compress
|
2023-08-06 07:36:05 -04:00 |
|
Marshall Lochbaum
|
371aa6f2ef
|
AVX2 boolean Compress using variable shifts
|
2023-08-05 21:50:22 -04:00 |
|
Marshall Lochbaum
|
66c0fe041c
|
Get pext and popcount together, since generic pext emulation includes popc
|
2023-08-05 20:38:54 -04:00 |
|
Marshall Lochbaum
|
056b18edd2
|
Move pext-based compress loop from C to Singeli
|
2023-08-05 20:38:54 -04:00 |
|
Marshall Lochbaum
|
e09d385df5
|
Simplify pairwise pext implementation; drop 12-bit as no longer competitive
|
2023-08-05 20:38:54 -04:00 |
|
dzaima
|
0b6c5189d8
|
move arithdDispatch declarations to a header
+ rename some things to make more sense
|
2023-07-31 20:26:05 +03:00 |
|
dzaima
|
0d7de8b190
|
define ux in Singeli, replacing Size; return ux from popc/clz/ctz
|
2023-07-26 17:42:23 +03:00 |
|
dzaima
|
f7a0eb94a3
|
don't use AVX2 buffer copying for a 16-byte buffer
|
2023-07-22 21:34:20 +03:00 |
|
dzaima
|
1451395ef5
|
don't do fancy char stuff for unchecked arith
|
2023-07-22 21:13:49 +03:00 |
|
dzaima
|
959614c785
|
use partial application
|
2023-07-22 18:19:31 +03:00 |
|
dzaima
|
033f3de6b9
|
remove unnecessary lambda wrappers
also use fmtnat
|
2023-07-22 18:15:07 +03:00 |
|
dzaima
|
446b2d09ed
|
Singeli renames & docs
|
2023-07-22 17:37:20 +03:00 |
|
dzaima
|
6e96600878
|
move unaligned load & store to base.singeli
|
2023-07-20 00:21:09 +03:00 |
|
dzaima
|
0486adccb5
|
fix signedness of abs{x}
|
2023-07-20 00:19:54 +03:00 |
|
dzaima
|
2243fa76c1
|
better base case list
|
2023-07-19 21:56:35 +03:00 |
|
dzaima
|
eb46ec8d9c
|
rename __mulhi & __mul32
|
2023-07-19 21:54:12 +03:00 |
|
dzaima
|
700d69e7dd
|
unpack → zip & mzip; enable slash.singeli SIMD parts for NEON
|
2023-07-19 21:39:22 +03:00 |
|
dzaima
|
ba2e859dce
|
use existing unpackLo in neq.singeli
|
2023-07-19 20:56:08 +03:00 |
|
dzaima
|
19b35e1074
|
fix size comment
|
2023-07-19 20:11:14 +03:00 |
|
dzaima
|
9945711b5e
|
AVX2 i32 & i64 slash{} via widening load
|
2023-07-19 20:00:46 +03:00 |
|
dzaima
|
ff9bb258c2
|
more comments in slash.singeli
|
2023-07-19 18:50:01 +03:00 |
|
dzaima
|
48111d4873
|
extract iota{} for AVX-512
|
2023-07-19 17:24:20 +03:00 |
|
dzaima
|
a0797318ca
|
use has_simd & arch_defvw
|
2023-07-19 17:03:41 +03:00 |
|
dzaima
|
03c21112c2
|
make NEON builds work
|
2023-07-19 16:58:35 +03:00 |
|
Marshall Lochbaum
|
77188b8e73
|
Add clmul.singeli
|
2023-07-19 09:38:37 -04:00 |
|
Marshall Lochbaum
|
c4364aefa6
|
SSSE3 4-byte compress with half-width table
|
2023-07-19 08:15:53 -04:00 |
|
Marshall Lochbaum
|
ba837ba01b
|
Remove table-less where/compress methods, as they're not competitive
|
2023-07-19 07:22:55 -04:00 |
|
Marshall Lochbaum
|
64d65ae837
|
Never use generic dense compress methods if use_table: where is faster
|
2023-07-18 21:35:12 -04:00 |
|
Marshall Lochbaum
|
b0e0f210c6
|
2- and 4-byte Where with unpack and table
|
2023-07-18 21:10:39 -04:00 |
|
Marshall Lochbaum
|
93e1262864
|
Avoid using popcount primitive in Singeli if POPCNT isn't present
|
2023-07-18 16:52:08 -04:00 |
|
Marshall Lochbaum
|
6df283c379
|
Always increment by full popcount instead of two halves when splitting byte
|
2023-07-17 17:52:59 -04:00 |
|
Marshall Lochbaum
|
2f6a8e55a1
|
Always use vectors for for_special_buffered buffer copy
|
2023-07-17 16:52:10 -04:00 |
|
Marshall Lochbaum
|
8add95b7ab
|
Remove BMI2 where/compress methods
|
2023-07-17 16:20:30 -04:00 |
|
Marshall Lochbaum
|
f005169518
|
1- and 2-byte compress with table and SSSE3
|
2023-07-17 16:19:05 -04:00 |
|
Marshall Lochbaum
|
68978f7e10
|
Table-based 1- and 2-byte Where
|
2023-07-17 16:05:06 -04:00 |
|
Marshall Lochbaum
|
fc187afdf2
|
Extend 1-byte SSE2 Where to 2-byte and 4-byte with unpacked writes
|
2023-07-17 11:28:04 -04:00 |
|
Marshall Lochbaum
|
8b297ae2dc
|
Dedicated 32-bit Singeli where, taking index offset
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
3bd8d1de68
|
Extend all Singeli Compress methods to do Where
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
4415869496
|
Generic Singeli where implementation
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
c484f8ee8d
|
Avoid UB from shifting by 64
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
da5f1faa07
|
Merge BMI2 slash{} cases, with some simplifications
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
b244ba98f5
|
Unify slash1{} and slash2{}
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
f5121f6806
|
Thresholds for compress methods (versus sparse) defined in Singeli
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
824bb04b4d
|
Plain SSE2 1-byte compress
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
f852d12a5c
|
Generic Singeli compress implementation
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
f36426031a
|
Slightly faster table-less compress method
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
84a928863b
|
AVX-512 compress implementations
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
80e93c41c9
|
Use new undefined{type,len} instead of alloca
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
13b3bcd74b
|
Table-less AVX2 1-byte compress
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
d956ba921b
|
Non-overwriting 1-byte and 2-byte compress/where
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
8f4b1966cb
|
Non-overwriting AVX2 4-byte and 8-byte compress, using a buffer
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
9010f648bb
|
Unify permutevar-based compress implementations
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
0921fc2c62
|
AVX2 compress implementations using permutevar and lookup tables
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
03d8919307
|
Add has='pclmul' option and avoid using broadcast
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
871a81ca5f
|
BMI2 pext not-emulation in Singeli
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
1314859a80
|
clmul-based pext emulation
|
2023-07-16 21:56:33 -04:00 |
|
Marshall Lochbaum
|
f315a6d3ea
|
Emulate pext instruction in Singeli
|
2023-07-16 21:56:33 -04:00 |
|
dzaima
|
3946f2cc87
|
use new Singeli builtins
|
2023-07-17 02:23:50 +03:00 |
|
dzaima
|
0601a86f56
|
don't special-case 2/𝕩 on NEON
|
2023-07-11 02:40:05 +03:00 |
|
dzaima
|
cb9f4dbbc1
|
remove debug include
:|
|
2023-07-10 19:19:55 +03:00 |
|
dzaima
|
cd7807fba0
|
NEON constrep
|
2023-07-10 17:11:15 +03:00 |
|
dzaima
|
bf89d2d561
|
a little size reduction on write_indices
|
2023-07-10 16:29:21 +03:00 |
|
Marshall Lochbaum
|
f6d1f9fcab
|
Move utilities from bins to appropriate files
|
2023-07-10 07:14:44 -04:00 |
|
Marshall Lochbaum
|
492e97e2ca
|
Right argument narrowing for numeric Bins
|
2023-07-10 07:14:44 -04:00 |
|
Marshall Lochbaum
|
1fa00c9c6f
|
Update bins implementation comments
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
46c6d47055
|
Permutevar instead of shuffle for 4-byte vector binary search
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
fc57e0012d
|
Shuffle-based 4-byte vector binary search
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
af5ba0a2d2
|
Switch from Eytzinger to linear search on extra lanes
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
64ae8f9afd
|
Slightly better blend pattern for >16-byte bit table
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
c8d20fbf26
|
And 2-byte vector binary search on 4 lanes
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
fe92f91ca1
|
2-byte vector binary search on 2 lanes
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
d19df2693a
|
Merge 1-byte table code with normal bins_lookup
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
f36dc7adba
|
Use max-scan instead of plus-scan for 1-byte Bins table
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
8054597004
|
Handle up to 64 unique values in bit-table 1-byte Bins
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
b62bd02bc0
|
Precomputed midpoint bits in vector binary search
Clang already optimized to this but it's more explicit
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
7f5ba961c2
|
Use default bins_lookup if there's no AVX2
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
1080236433
|
2-byte vector binary searches
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
d665b90bbf
|
Slightly faster binary search pattern with a blend
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
a711eb72eb
|
Table-based 2-byte Bins, using max-scan
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
724f685a57
|
Cleanup
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
2c9e07f33d
|
1-byte Bins up to 32 unique eleemnts by unique lookup then index
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
81da9c586f
|
Table-based 1-byte Bins with >1-byte result
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
0346ff7c2d
|
Use type of ≠𝕨 for Singeli Bins result and allocate outside Singeli
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
e0621f99f8
|
Unroll vector binary searches for different search depths
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
ed9e8b4057
|
Table-based 1-byte Bins implementations, including AVX2
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
7161689196
|
Fix bin_search_vec over-writing
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
302d637129
|
Allocate binary search result in Singeli, using i8 for vectors
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
70249d8b64
|
In bins, promote to smallest common int type instead of i32
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
ff9919dde2
|
AVX2 binary search on one lane of i8 (unused for now)
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
ee84f9fe1f
|
4-way branchless binary search unrolling
|
2023-07-10 07:13:21 -04:00 |
|
Marshall Lochbaum
|
464a53463d
|
Generic Singeli version of 32-bit binary search
|
2023-07-10 07:13:21 -04:00 |
|
dzaima
|
5c7934387a
|
update Singeli submodule, match{} → same{}
|
2023-06-29 15:19:57 +03:00 |
|
dzaima
|
a67a19dd0b
|
move pair{{a,b}} expanding to base.singeli
|
2023-06-29 01:31:58 +03:00 |
|
dzaima
|
4ee8dfbbda
|
update Singeli submodule, use destructuring parameters
|
2023-06-28 00:59:28 +03:00 |
|
dzaima
|
7618dce2f3
|
fix return value of overflowed dyadic arith
|
2023-06-23 12:10:42 +03:00 |
|
dzaima
|
4dbe72ae03
|
properly indicate estimating Singeli instructions
|
2023-06-23 11:51:34 +03:00 |
|
dzaima
|
8f8380749b
|
generic Singeli builds
|
2023-06-16 11:12:15 +03:00 |
|
dzaima
|
5032c9a3ab
|
remove unnecessary 'over _ to'
|
2023-06-15 19:12:20 +03:00 |
|
dzaima
|
90e7537225
|
move maskedLoopPositive to @-based
|
2023-06-15 19:09:53 +03:00 |
|
dzaima
|
dee29a1a02
|
block → iter
|
2023-06-15 18:11:57 +03:00 |
|
dzaima
|
9da567cd57
|
switch to new Singeli block execution
|
2023-06-15 18:08:57 +03:00 |
|
dzaima
|
2da457dafa
|
fix el_half
|
2023-06-15 00:32:19 +03:00 |
|
dzaima
|
4260ef93b3
|
rename away underscores in __adds and __subs
plus add NEON addw, subw, and mulw (which is renamed from mul1)
|
2023-06-12 00:52:09 +03:00 |
|