From 72918c1a97458fb30163677af8dfb4fb573cdeb6 Mon Sep 17 00:00:00 2001
From: Tim <t.diekmann.3dv@gmail.com>
Date: Thu, 6 Sep 2018 16:49:08 +0200
Subject: [PATCH] Remove (overflowing_)add/mul/sub(_with_overflow)

---
 src/intrinsic.rs | 66 ------------------------------------------------
 1 file changed, 66 deletions(-)

diff --git a/src/intrinsic.rs b/src/intrinsic.rs
index a57307ed12e7..a8cb58fdddfe 100644
--- a/src/intrinsic.rs
+++ b/src/intrinsic.rs
@@ -33,39 +33,6 @@ impl<'a, 'mir, 'tcx> EvalContextExt<'tcx> for EvalContext<'a, 'mir, 'tcx, super:
 
         let intrinsic_name = &self.tcx.item_name(instance.def_id()).as_str()[..];
         match intrinsic_name {
-            "add_with_overflow" => {
-                let l = self.read_value(args[0])?;
-                let r = self.read_value(args[1])?;
-                self.binop_with_overflow(
-                    mir::BinOp::Add,
-                    l,
-                    r,
-                    dest,
-                )?
-            }
-
-            "sub_with_overflow" => {
-                let l = self.read_value(args[0])?;
-                let r = self.read_value(args[1])?;
-                self.binop_with_overflow(
-                    mir::BinOp::Sub,
-                    l,
-                    r,
-                    dest,
-                )?
-            }
-
-            "mul_with_overflow" => {
-                let l = self.read_value(args[0])?;
-                let r = self.read_value(args[1])?;
-                self.binop_with_overflow(
-                    mir::BinOp::Mul,
-                    l,
-                    r,
-                    dest,
-                )?
-            }
-
             "arith_offset" => {
                 let offset = self.read_scalar(args[1])?.to_isize(&self)?;
                 let ptr = self.read_scalar(args[0])?.not_undef()?;
@@ -326,39 +293,6 @@ impl<'a, 'mir, 'tcx> EvalContextExt<'tcx> for EvalContext<'a, 'mir, 'tcx, super:
                 self.write_scalar(result_ptr, dest)?;
             }
 
-            "overflowing_sub" => {
-                let l = self.read_value(args[0])?;
-                let r = self.read_value(args[1])?;
-                self.binop_ignore_overflow(
-                    mir::BinOp::Sub,
-                    l,
-                    r,
-                    dest,
-                )?;
-            }
-
-            "overflowing_mul" => {
-                let l = self.read_value(args[0])?;
-                let r = self.read_value(args[1])?;
-                self.binop_ignore_overflow(
-                    mir::BinOp::Mul,
-                    r,
-                    l,
-                    dest,
-                )?;
-            }
-
-            "overflowing_add" => {
-                let l = self.read_value(args[0])?;
-                let r = self.read_value(args[1])?;
-                self.binop_ignore_overflow(
-                    mir::BinOp::Add,
-                    r,
-                    l,
-                    dest,
-                )?;
-            }
-
             "powf32" => {
                 let f = self.read_scalar(args[0])?.to_f32()?;
                 let f2 = self.read_scalar(args[1])?.to_f32()?;