fn deconstruct_args<'tcx>(
unprefixed_name: &str,
this: &mut MiriInterpCx<'tcx>,
link_name: Symbol,
abi: Abi,
args: &[OpTy<'tcx>],
) -> InterpResult<'tcx, (OpTy<'tcx>, OpTy<'tcx>, Option<(u64, u64)>, u8)>
Expand description
Obtain the arguments of the intrinsic based on its name. The result is a tuple with the following values:
- The first string argument.
- The second string argument.
- The string length values, if the intrinsic requires them.
- The immediate instruction byte.
The string arguments will be transmuted into arrays of bytes or two-byte words, depending on the value of the immediate byte. Originally, they are __m128i values corresponding to the x86 128-bit integer SIMD type.