bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Clarify MIR semantics of checked binary operations

Browse source
This commit is contained in:
Tomasz Miąsko 2022-06-30 00:00:00 +00:00
parent 7425fb293f
commit b88479738e
1 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

16
compiler/rustc_middle/src/mir/syntax.rs
View file

@ -990,11 +990,19 @@ pub enum Rvalue<'tcx> {
/// matching types and return a value of that type. /// matching types and return a value of that type.
BinaryOp(BinOp, Box<(Operand<'tcx>, Operand<'tcx>)>), BinaryOp(BinOp, Box<(Operand<'tcx>, Operand<'tcx>)>),
/// Same as `BinaryOp`, but yields `(T, bool)` instead of `T`. In addition to performing the /// Same as `BinaryOp`, but yields `(T, bool)` with a `bool` indicating an error condition.
/// same computation as the matching `BinaryOp`, checks if the infinite precison result would be
/// unequal to the actual result and sets the `bool` if this is the case.
/// ///
/// This only supports addition, subtraction, multiplication, and shift operations on integers. /// When overflow checking is disabled, the error condition is false. Otherwise, the error
/// condition is determined as described below.
///
/// For addition, subtraction, and multiplication on integers the error condition is set when
/// the infinite precision result would be unequal to the actual result.
///
/// For shift operations on integers the error condition is set when the value of right-hand
/// side is greater than or equal to the number of bits in the type of the left-hand side, or
/// when the value of right-hand side is negative.
///
/// Other combinations of types and operators are unsupported.
CheckedBinaryOp(BinOp, Box<(Operand<'tcx>, Operand<'tcx>)>), CheckedBinaryOp(BinOp, Box<(Operand<'tcx>, Operand<'tcx>)>),
/// Computes a value as described by the operation. /// Computes a value as described by the operation.