diff options
| author | Eduardo Sánchez Muñoz <eduardosm-dev@e64.io> | 2024-04-27 16:41:27 +0200 |
|---|---|---|
| committer | Eduardo Sánchez Muñoz <eduardosm-dev@e64.io> | 2024-04-27 16:41:27 +0200 |
| commit | b3b1b498b9f98c229d90c33c1ae87d6eb4758291 (patch) | |
| tree | 4415808317783628ec0cf99a6e73815fbf0f2a7e | |
| parent | ee47a8e6b610626034f89b4e04132857f5bb2127 (diff) | |
| download | rust-b3b1b498b9f98c229d90c33c1ae87d6eb4758291.tar.gz rust-b3b1b498b9f98c229d90c33c1ae87d6eb4758291.zip | |
Clarify behavior of AVX2 gather when dest and offsets have different numbers of elements
| -rw-r--r-- | src/tools/miri/src/shims/x86/avx2.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/src/shims/x86/avx2.rs b/src/tools/miri/src/shims/x86/avx2.rs index bbf53f9f1e5..ba361ec6558 100644 --- a/src/tools/miri/src/shims/x86/avx2.rs +++ b/src/tools/miri/src/shims/x86/avx2.rs @@ -71,6 +71,8 @@ pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>: let (dest, dest_len) = this.mplace_to_simd(dest)?; // There are cases like dest: i32x4, offsets: i64x2 + // If dest has more elements than offset, extra dest elements are filled with zero. + // If offsets has more elements than dest, extra offsets are ignored. let actual_len = dest_len.min(offsets_len); assert_eq!(dest_len, mask_len); |