Function miri::shims::x86::horizontal_bin_op

fn horizontal_bin_op<'tcx>(
    this: &mut MiriInterpCx<'_, 'tcx>,
    which: BinOp,
    saturating: bool,
    left: &OpTy<'tcx, Provenance>,
    right: &OpTy<'tcx, Provenance>,
    dest: &MPlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx, ()>

Horizontaly performs which operation on adjacent values of left and right SIMD vectors and stores the result in dest. “Horizontal” means that the i-th output element is calculated from the elements 2i and 2i+1 of the concatenation of left and right.

Each 128-bit chunk is treated independently (i.e., the value for the is i-th 128-bit chunk of dest is calculated with the i-th 128-bit chunks of left and right).