From 0766da6fbeba2e4cd3183f181e10bbc7ba69ade8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 18 Nov 2021 09:36:01 -0500
Subject: [PATCH] implement simd_add

---
 src/shims/intrinsics.rs         | 18 ++++++++++++++++++
 tests/run-pass/portable-simd.rs |  8 ++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 tests/run-pass/portable-simd.rs

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index f2f046a3ada..9f44f5bac6c 100644
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -305,6 +305,24 @@ fn call_intrinsic(
                 this.write_scalar(res, dest)?;
             }
 
+            // SIMD operations
+            "simd_add" => {
+                let &[ref left, ref right] = check_arg_count(args)?;
+                let (left, left_len) = this.operand_to_simd(left)?;
+                let (right, right_len) = this.operand_to_simd(right)?;
+                let (dest, dest_len) = this.place_to_simd(dest)?;
+
+                assert_eq!(dest_len, left_len);
+                assert_eq!(dest_len, right_len);
+
+                for i in 0..dest_len {
+                    let left = this.read_immediate(&this.mplace_index(&left, i)?.into())?;
+                    let right = this.read_immediate(&this.mplace_index(&right, i)?.into())?;
+                    let dest = this.mplace_index(&dest, i)?.into();
+                    this.binop_ignore_overflow(mir::BinOp::Add, &left, &right, &dest)?;
+                }
+            }
+
             // Atomic operations
             "atomic_load" => this.atomic_load(args, dest, AtomicReadOp::SeqCst)?,
             "atomic_load_relaxed" => this.atomic_load(args, dest, AtomicReadOp::Relaxed)?,
diff --git a/tests/run-pass/portable-simd.rs b/tests/run-pass/portable-simd.rs
new file mode 100644
index 00000000000..1ea7931aed3
--- /dev/null
+++ b/tests/run-pass/portable-simd.rs
@@ -0,0 +1,8 @@
+#![feature(portable_simd)]
+use std::simd::*;
+
+fn main() {
+    let a = f32x4::splat(10.0);
+    let b = f32x4::from_array([1.0, 2.0, 3.0, 4.0]);
+    assert_eq!(a + b, f32x4::from_array([11.0, 12.0, 13.0, 14.0]));
+}