7 use crate::value::{DataValueExt, ValueConversionKind, ValueError, ValueResult};
169         DataValue::convert(imm(), ValueConversionKind::Exact(ctrl_ty))  in step()
219             let imm = imm.convert(ValueConversionKind::ZeroExtend(addr_ty))?;  in step()
222                 .map(|v| v.convert(ValueConversionKind::ZeroExtend(addr_ty)))  in step()
360                 let condition = arg.convert(ValueConversionKind::ToBoolean)?.into_bool()?;  in step()
485                 Opcode::Uload8 => (types::I8, Some(ValueConversionKind::ZeroExtend(ctrl_ty))),  in step()
486                 Opcode::Sload8 => (types::I8, Some(ValueConversionKind::SignExtend(ctrl_ty))),  in step()
487                 Opcode::Uload16 => (types::I16, Some(ValueConversionKind::ZeroExtend(ctrl_ty))),  in step()
488                 Opcode::Sload16 => (types::I16, Some(ValueConversionKind::SignExtend(ctrl_ty))),  in step()
489                 Opcode::Uload32 => (types::I32, Some(ValueConversionKind::ZeroExtend(ctrl_ty))),  in step()
490                 Opcode::Sload32 => (types::I32, Some(ValueConversionKind::SignExtend(ctrl_ty))),  in step()
519                 Opcode::Istore8 => Some(ValueConversionKind::Truncate(types::I8)),  in step()
520                 Opcode::Istore16 => Some(ValueConversionKind::Truncate(types::I16)),  in step()
521                 Opcode::Istore32 => Some(ValueConversionKind::Truncate(types::I32)),  in step()
695                 ValueConversionKind::ZeroExtend(double_length)  in step()
697                 ValueConversionKind::SignExtend(double_length)  in step()
710                         .convert(ValueConversionKind::ExtractUpper(ctrl_ty.lane_type()))?)  in step()
961                     .map(|x| DataValue::convert(x, ValueConversionKind::Exact(ctrl_ty.lane_type())))  in step()
972             ValueConversionKind::Truncate(ctrl_ty),  in step()
989                 lane = lane.convert(ValueConversionKind::Truncate(new_type.lane_type()))?;  in step()
1004                 .map(|lane| lane.convert(ValueConversionKind::Mask(ctrl_ty.lane_type())))  in step()
1010             ValueConversionKind::SignExtend(ctrl_ty),  in step()
1014             ValueConversionKind::ZeroExtend(ctrl_ty),  in step()
1018             ValueConversionKind::Exact(ctrl_ty),  in step()
1022             ValueConversionKind::RoundNearestEven(ctrl_ty),  in step()
1096                     ValueConversionKind::SignExtend(new_type.lane_type())  in step()
1099                     ValueConversionKind::ZeroExtend(new_type.lane_type())  in step()
1214                             ValueConversionKind::Exact(out_ty.lane_type()),  in step()
1229                     DataValue::convert(x, ValueConversionKind::RoundNearestEven(out_ty.lane_type()))  in step()
1239             DataValueExt::convert(arg(0), ValueConversionKind::Truncate(types::I64))?,  in step()
1240             DataValueExt::convert(arg(0), ValueConversionKind::ExtractUpper(types::I64))?,  in step()
1338                     let z = z.convert(ValueConversionKind::Truncate(lane_type))?;  in step()
1558             .convert(ValueConversionKind::Exact(lane_type.as_int()))?  in vectorizelanes_all()
1654     splat(ty, val.convert(ValueConversionKind::Exact(ty.lane_type()))?)  in shift_amt()