diff options
| author | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-05-24 10:18:54 +0200 |
|---|---|---|
| committer | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-05-24 20:49:38 +0200 |
| commit | 09a996b0a66e48a02f31d58dfce22a328969791d (patch) | |
| tree | 38af2c50f4bb448d79b44f3472dc2b973eb638a2 | |
| parent | 98e5129375d9fb70bf5d173d565e439940d26d04 (diff) | |
| download | rust-09a996b0a66e48a02f31d58dfce22a328969791d.tar.gz rust-09a996b0a66e48a02f31d58dfce22a328969791d.zip | |
Printing values should ignore whether bits are undefined
| -rw-r--r-- | src/librustc/mir/mod.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/librustc/mir/mod.rs b/src/librustc/mir/mod.rs index 86970866055..ce36d013b18 100644 --- a/src/librustc/mir/mod.rs +++ b/src/librustc/mir/mod.rs @@ -1899,11 +1899,11 @@ pub fn fmt_const_val<W: Write>(fmt: &mut W, const_val: &ty::Const) -> fmt::Resul pub fn print_miri_value<W: Write>(value: Value, ty: Ty, f: &mut W) -> fmt::Result { use ty::TypeVariants::*; match (value, &ty.sty) { - (Value::Scalar(Scalar::Bits { bits: 0, defined: 8 }), &TyBool) => write!(f, "false"), - (Value::Scalar(Scalar::Bits { bits: 1, defined: 8 }), &TyBool) => write!(f, "true"), - (Value::Scalar(Scalar::Bits { bits, defined: 32 }), &TyFloat(ast::FloatTy::F32)) => + (Value::Scalar(Scalar::Bits { bits: 0, .. }), &TyBool) => write!(f, "false"), + (Value::Scalar(Scalar::Bits { bits: 1, .. }), &TyBool) => write!(f, "true"), + (Value::Scalar(Scalar::Bits { bits, .. }), &TyFloat(ast::FloatTy::F32)) => write!(f, "{}f32", Single::from_bits(bits)), - (Value::Scalar(Scalar::Bits { bits, defined: 64 }), &TyFloat(ast::FloatTy::F64)) => + (Value::Scalar(Scalar::Bits { bits, .. }), &TyFloat(ast::FloatTy::F64)) => write!(f, "{}f64", Double::from_bits(bits)), (Value::Scalar(Scalar::Bits { bits, .. }), &TyUint(ui)) => write!(f, "{:?}{}", bits, ui), (Value::Scalar(Scalar::Bits { bits, .. }), &TyInt(i)) => { @@ -1914,9 +1914,9 @@ pub fn print_miri_value<W: Write>(value: Value, ty: Ty, f: &mut W) -> fmt::Resul let amt = 128 - bit_width; write!(f, "{:?}{}", ((bits as i128) << amt) >> amt, i) }, - (Value::Scalar(Scalar::Bits { bits, defined: 32 }), &TyChar) => + (Value::Scalar(Scalar::Bits { bits, .. }), &TyChar) => write!(f, "{:?}", ::std::char::from_u32(bits as u32).unwrap()), - (Value::Scalar(Scalar::Bits { defined: 0, .. }), &TyFnDef(did, _)) => + (Value::Scalar(Scalar::Bits { .. }), &TyFnDef(did, _)) => write!(f, "{}", item_path_str(did)), (Value::ScalarPair(Scalar::Ptr(ptr), Scalar::Bits { bits: len, .. }), &TyRef(_, &ty::TyS { sty: TyStr, .. }, _)) => { |