Skip to content

Commit 6e00110

Browse files
committed
Merge from rustc
2 parents 936bd46 + f3637b8 commit 6e00110

File tree

3 files changed

+24
-4
lines changed

3 files changed

+24
-4
lines changed

src/intrinsics/simd.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -645,8 +645,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
645645
for i in 0..dest_len {
646646
let src_index: u64 = index[usize::try_from(i).unwrap()]
647647
.unwrap_leaf()
648-
.try_to_u32()
649-
.unwrap()
648+
.to_u32()
650649
.into();
651650
let dest = this.project_index(&dest, i)?;
652651

src/shims/unix/socket.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -222,9 +222,9 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
222222

223223
let fds = &mut this.machine.fds;
224224
let sv0 = fds.insert_fd(FileDescriptor::new(socketpair_0));
225-
let sv0 = Scalar::try_from_int(sv0, sv.layout.size).unwrap();
225+
let sv0 = Scalar::from_int(sv0, sv.layout.size);
226226
let sv1 = fds.insert_fd(FileDescriptor::new(socketpair_1));
227-
let sv1 = Scalar::try_from_int(sv1, sv.layout.size).unwrap();
227+
let sv1 = Scalar::from_int(sv1, sv.layout.size);
228228

229229
this.write_scalar(sv0, &sv)?;
230230
this.write_scalar(sv1, &sv.offset(sv.layout.size, sv.layout, this)?)?;

tests/pass/intrinsics/portable-simd.rs

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -658,11 +658,32 @@ fn simd_masked_loadstore() {
658658
assert_eq!(buf, [2, 3, 4]);
659659
}
660660

661+
fn simd_ops_non_pow2() {
662+
// Just a little smoke test for operations on non-power-of-two vectors.
663+
#[repr(simd, packed)]
664+
#[derive(Copy, Clone)]
665+
pub struct SimdPacked<T, const N: usize>([T; N]);
666+
#[repr(simd)]
667+
#[derive(Copy, Clone)]
668+
pub struct SimdPadded<T, const N: usize>([T; N]);
669+
670+
let x = SimdPacked([1u32; 3]);
671+
let y = SimdPacked([2u32; 3]);
672+
let z = unsafe { intrinsics::simd_add(x, y) };
673+
assert_eq!({ z.0 }, [3u32; 3]);
674+
675+
let x = SimdPadded([1u32; 3]);
676+
let y = SimdPadded([2u32; 3]);
677+
let z = unsafe { intrinsics::simd_add(x, y) };
678+
assert_eq!(z.0, [3u32; 3]);
679+
}
680+
661681
fn main() {
662682
simd_mask();
663683
simd_ops_f32();
664684
simd_ops_f64();
665685
simd_ops_i32();
686+
simd_ops_non_pow2();
666687
simd_cast();
667688
simd_swizzle();
668689
simd_gather_scatter();

0 commit comments

Comments
 (0)