diff options
| author | Scott McMurray <scottmcm@users.noreply.github.com> | 2023-06-03 02:38:22 -0700 |
|---|---|---|
| committer | Scott McMurray <scottmcm@users.noreply.github.com> | 2023-06-19 01:47:03 -0700 |
| commit | 0c3e15283f31f4b7e6de382be70c4cc61c2b32d7 (patch) | |
| tree | 7674962d61f291f59160be2111e60738a22e2392 | |
| parent | 9efe5e746a8897b8dc59b3a94ce03f055869e5f6 (diff) | |
| download | rust-0c3e15283f31f4b7e6de382be70c4cc61c2b32d7.tar.gz rust-0c3e15283f31f4b7e6de382be70c4cc61c2b32d7.zip | |
Remove unchecked_add/sub/mul/shl/shr from CTFE/cg_ssa/cg_clif
| -rw-r--r-- | src/intrinsics/mod.rs | 20 |
1 files changed, 3 insertions, 17 deletions
diff --git a/src/intrinsics/mod.rs b/src/intrinsics/mod.rs index 1e83c30bd67..5862f18299e 100644 --- a/src/intrinsics/mod.rs +++ b/src/intrinsics/mod.rs @@ -472,25 +472,11 @@ fn codegen_regular_intrinsic_call<'tcx>( ret.write_cvalue(fx, CValue::by_val(align, usize_layout)); } - sym::unchecked_add - | sym::unchecked_sub - | sym::unchecked_mul - | sym::exact_div - | sym::unchecked_shl - | sym::unchecked_shr => { + sym::exact_div => { intrinsic_args!(fx, args => (x, y); intrinsic); - // FIXME trap on overflow - let bin_op = match intrinsic { - sym::unchecked_add => BinOp::Add, - sym::unchecked_sub => BinOp::Sub, - sym::unchecked_mul => BinOp::Mul, - sym::exact_div => BinOp::Div, - sym::unchecked_shl => BinOp::Shl, - sym::unchecked_shr => BinOp::Shr, - _ => unreachable!(), - }; - let res = crate::num::codegen_int_binop(fx, bin_op, x, y); + // FIXME trap on inexact + let res = crate::num::codegen_int_binop(fx, BinOp::Div, x, y); ret.write_cvalue(fx, res); } sym::saturating_add | sym::saturating_sub => { |