@@ -243,12 +243,13 @@ extern "platform-intrinsic" {
243
243
///
244
244
/// `T` must be a vector.
245
245
///
246
- /// `U` must be a vector of pointers to the element type of `T`, with the same length as `T`.
246
+ /// `U` must be a pointer to the element type of `T`
247
247
///
248
248
/// `V` must be a vector of integers with the same length as `T` (but any element size).
249
249
///
250
250
/// For each element, if the corresponding value in `mask` is `!0`, read the corresponding
251
- /// pointer from `ptr`.
251
+ /// pointer offset from `ptr`.
252
+ /// The first element is loaded from `ptr`, the second from `ptr.offset(1)` and so on.
252
253
/// Otherwise if the corresponding value in `mask` is `0`, return the corresponding value from
253
254
/// `val`.
254
255
///
@@ -264,12 +265,13 @@ extern "platform-intrinsic" {
264
265
///
265
266
/// `T` must be a vector.
266
267
///
267
- /// `U` must be a vector of pointers to the element type of `T`, with the same length as `T`.
268
+ /// `U` must be a pointer to the element type of `T`
268
269
///
269
270
/// `V` must be a vector of integers with the same length as `T` (but any element size).
270
271
///
271
272
/// For each element, if the corresponding value in `mask` is `!0`, write the corresponding
272
- /// value in `val` to the pointer.
273
+ /// value in `val` to the pointer offset from `ptr`.
274
+ /// The first element is written to `ptr`, the second to `ptr.offset(1)` and so on.
273
275
/// Otherwise if the corresponding value in `mask` is `0`, do nothing.
274
276
///
275
277
/// # Safety
0 commit comments