Commit bb30a74
authored
`cmov` now contains optimized implementations of its `Cmov` and `CmovEq`
traits for the following slice types:
- `[i8]`, `[i16]`, `[i32]`, `[i64]`, `[i128]`
- `[u8]`, `[u16]`, `[u32]`, `[u64]`, `[u128]`
These impls coalesce the inputs into word-size chunks and perform the
underlying predication/equality testing operation on words, whereas the
generic implementation in this crate previously would widen each array
element to a word and perform the operation, which is much less
efficient.
We'd previously added duplicated specialized traits for operating on
bytes which called the fast path for `[u8]` in #1359, but not only are
the redundant traits annoying but such an optimization is useful for any
integer type smaller than the word size.
This commit removes the generic trait impls of `CtAssign`, `CtEq`, and
`CtSelect` for arrays and slices, factoring them into free functions in
the `array` and `slice` modules so they're still available, just not via
a trait-based interface.
Next, the existing macros for delegating to `cmov` like
`impl_ct_assign_with_cmov!` are used to delegate to the above slice
types. The array impls have been changed to be generic around when the
underlying slice type impls the same trait.
This means we have a bunch of specialized impls of these traits for the
core integer types which are always fast, instead of a leaky generic
implementation which is potentially quite slow. It means users may need
to add their own concrete impls where the generic impl would've
previously sufficed, but they can call into the generic implementations
in `array` and `slice` for that, and if it's too annoying we can add a
macro to write the impl for them.
The impl of `CtSelect` for `[T; N]` has been changed to bound on `T:
Clone` and `[T]: CtAssign`, but should perform well, and this is
actually more consistent with the impls on `Box` and `Vec`. The old
generic implementation which avoids a clone bound by using
`core::array::from_fn` is retained in the new `array` module.
Since the impls of `CtAssign` and `CtEq` for `[T]` and `[T; N]` should
now be fast (along with the `CtSelect` impl for `[T; N]`), this removes
the `BytesCt*` traits since they're no longer needed.
1 parent eaeb331 commit bb30a74
File tree
10 files changed
+267
-333
lines changed- ctutils/src
- traits
10 files changed
+267
-333
lines changed| 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 | + | |
| 88 | + | |
| 89 | + | |
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
162 | 162 | | |
163 | 163 | | |
164 | 164 | | |
165 | | - | |
| 165 | + | |
166 | 166 | | |
167 | 167 | | |
168 | 168 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
91 | 91 | | |
92 | 92 | | |
93 | 93 | | |
94 | | - | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
95 | 97 | | |
96 | 98 | | |
97 | 99 | | |
98 | 100 | | |
99 | | - | |
100 | 101 | | |
101 | 102 | | |
102 | 103 | | |
| |||
| 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 | + | |
0 commit comments