user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove (overflowing_)add/mul/sub(_with_overflow)

Browse source
This commit is contained in:
Tim 2018-09-06 16:49:08 +02:00
parent 055c63ab0d
commit 72918c1a97
1 changed files with 0 additions and 66 deletions
Download patch file Download diff file Expand all files Collapse all files

66
src/intrinsic.rs
View file

@ -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()?;