Commit 1521188
committed
feat: add per-lane popcount on batch
Count the bits set in each element of an integer batch. The common kernel is
the SWAR fold; x86 uses the PSHUFB nibble lookup from SSSE3 up, NEON uses CNT
with pairwise widening adds, SVE uses svcnt_x, and WASM uses i8x16.popcnt with
pairwise widening extends, folding 32-bit counts with a shift-and-add pair for
64-bit elements. VSX and VXE use vec_popcnt, which the compiler maps to a
single VPOPCNTB/H/W/D or VPOPCT. The scalar overload forwards to
detail::popcount and returns T, so it agrees with the batch overload.
The common kernel runs the whole fold on 64-bit lanes whatever T is, and masks
the surviving byte at the end. Every step of the fold confines its own carries,
so a bit that crosses a T boundary is masked off again, and a target with no
narrow shift does not pay for one to be emulated. This drops emulated<128> u8
from 356 instructions to 20, and measures 35.4x there, 12.6x on emulated<128>
u16 and 2.60x on avx2 u8.
repeat_pattern<U, P>() builds the fold's masks from the pattern and the type of
the repeat unit, so 0x5555555555555555 reads as repeat_pattern<uint64_t,
uint8_t(0x55)>() rather than as a literal.
For 64-bit elements the two x86 nibble tables carry a +4 and a -4 bias, after
libpopcnt, so PSADBW yields the byte count and the 8-byte sum in one
instruction. This drops the VPADDB, and measures 1.09x on SSE and AVX2 and
1.05x on AVX-512.
sse2 gets its own kernel, since the SWAR fold is what a default x86-64 build
runs and it leaves PSADBW and PMADDWD unused. PSADBW sums the eight byte counts
of a 64-bit element in one instruction, PMADDWD adds the two halves of a 32-bit
one, and the byte shifts drop the mask that the fold already applies. This cuts
64-bit elements from 25 instructions to 16, 32-bit ones from 22 to 19 and 8-bit
ones from 15 to 14, and measures 1.5x, 1.09x and 1.08x. 16-bit elements keep
the fold's instruction count, since SSE2 has no PMADDUBSW to combine the two
byte counts of an element.
avx512vnni gains a 32-bit kernel: VPDPBUSD does in one uop what the VPMADDUBSW
and VPMADDWD pair does in two, and the zero accumulator is free because the
register copy is eliminated at rename. This measures 1.14x. The same
substitution on 256-bit vectors is neutral, since three ports serve them, so
avxvnni gets no kernel.
The CI job labelled avx512vnni built for knm, which enables avx5124vnniw rather
than avx512vnni and selected the avx512pf arch, so it covered neither kernel.
It now builds for cascadelake.
Assisted-by: Claude Opus 5 <noreply@anthropic.com>1 parent 55d2d40 commit 1521188
22 files changed
Lines changed: 492 additions & 1 deletion
File tree
- .github/workflows
- docs/source/api
- include/xsimd
- arch
- common
- types
- test
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
116 | 116 | | |
117 | 117 | | |
118 | 118 | | |
119 | | - | |
| 119 | + | |
| 120 | + | |
120 | 121 | | |
121 | 122 | | |
122 | 123 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
48 | 48 | | |
49 | 49 | | |
50 | 50 | | |
| 51 | + | |
| 52 | + | |
51 | 53 | | |
52 | 54 | | |
53 | 55 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1411 | 1411 | | |
1412 | 1412 | | |
1413 | 1413 | | |
| 1414 | + | |
| 1415 | + | |
| 1416 | + | |
| 1417 | + | |
| 1418 | + | |
| 1419 | + | |
| 1420 | + | |
| 1421 | + | |
| 1422 | + | |
1414 | 1423 | | |
1415 | 1424 | | |
1416 | 1425 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
962 | 962 | | |
963 | 963 | | |
964 | 964 | | |
| 965 | + | |
| 966 | + | |
| 967 | + | |
| 968 | + | |
| 969 | + | |
| 970 | + | |
| 971 | + | |
| 972 | + | |
| 973 | + | |
| 974 | + | |
| 975 | + | |
| 976 | + | |
| 977 | + | |
| 978 | + | |
| 979 | + | |
| 980 | + | |
| 981 | + | |
| 982 | + | |
| 983 | + | |
| 984 | + | |
| 985 | + | |
| 986 | + | |
| 987 | + | |
| 988 | + | |
| 989 | + | |
| 990 | + | |
| 991 | + | |
| 992 | + | |
| 993 | + | |
| 994 | + | |
| 995 | + | |
| 996 | + | |
965 | 997 | | |
966 | 998 | | |
967 | 999 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
561 | 561 | | |
562 | 562 | | |
563 | 563 | | |
| 564 | + | |
| 565 | + | |
| 566 | + | |
| 567 | + | |
| 568 | + | |
| 569 | + | |
| 570 | + | |
| 571 | + | |
| 572 | + | |
| 573 | + | |
| 574 | + | |
| 575 | + | |
| 576 | + | |
| 577 | + | |
| 578 | + | |
| 579 | + | |
| 580 | + | |
| 581 | + | |
| 582 | + | |
| 583 | + | |
| 584 | + | |
| 585 | + | |
| 586 | + | |
| 587 | + | |
| 588 | + | |
| 589 | + | |
| 590 | + | |
| 591 | + | |
| 592 | + | |
| 593 | + | |
| 594 | + | |
| 595 | + | |
| 596 | + | |
| 597 | + | |
| 598 | + | |
| 599 | + | |
| 600 | + | |
| 601 | + | |
| 602 | + | |
| 603 | + | |
| 604 | + | |
| 605 | + | |
| 606 | + | |
564 | 607 | | |
565 | 608 | | |
566 | 609 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
16 | 37 | | |
17 | 38 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
16 | 37 | | |
17 | 38 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
| 17 | + | |
17 | 18 | | |
18 | 19 | | |
19 | 20 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
85 | 85 | | |
86 | 86 | | |
87 | 87 | | |
| 88 | + | |
| 89 | + | |
88 | 90 | | |
89 | 91 | | |
90 | 92 | | |
| |||
0 commit comments