fn imm_to_carg<'tcx>(
v: &ImmTy<'tcx>,
cx: &impl HasDataLayout,
) -> InterpResult<'tcx, CArg>
Expand description
Extract the scalar value from the result of reading a scalar from the machine,
and convert it to a CArg
.
fn imm_to_carg<'tcx>(
v: &ImmTy<'tcx>,
cx: &impl HasDataLayout,
) -> InterpResult<'tcx, CArg>
Extract the scalar value from the result of reading a scalar from the machine,
and convert it to a CArg
.