bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add an assertion in const eval

Browse source
This commit is contained in:
Maybe Waffle 2024-04-16 11:56:21 +00:00
parent e4a854e495
commit 7ce867f552
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_const_eval/src/interpret/intrinsics.rs
View file

@ -488,8 +488,14 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
} }
sym::ctlz | sym::ctlz_nonzero => u128::from(bits.leading_zeros()) - extra, sym::ctlz | sym::ctlz_nonzero => u128::from(bits.leading_zeros()) - extra,
sym::cttz | sym::cttz_nonzero => u128::from((bits << extra).trailing_zeros()) - extra, sym::cttz | sym::cttz_nonzero => u128::from((bits << extra).trailing_zeros()) - extra,
sym::bswap => (bits << extra).swap_bytes(), sym::bswap => {
sym::bitreverse => (bits << extra).reverse_bits(), assert_eq!(layout, ret_layout);
(bits << extra).swap_bytes()
}
sym::bitreverse => {
assert_eq!(layout, ret_layout);
(bits << extra).reverse_bits()
}
_ => bug!("not a numeric intrinsic: {}", name), _ => bug!("not a numeric intrinsic: {}", name),
}; };
Ok(Scalar::from_uint(bits_out, ret_layout.size)) Ok(Scalar::from_uint(bits_out, ret_layout.size))