miri::shims::x86::gfni

Function affine_transform

Source
fn affine_transform<'tcx>(
    this: &mut MiriInterpCx<'tcx>,
    left: &OpTy<'tcx>,
    right: &OpTy<'tcx>,
    imm8: &OpTy<'tcx>,
    dest: &MPlaceTy<'tcx>,
    inverse: bool,
) -> InterpResult<'tcx, ()>
Expand description

Calculates the affine transformation right * left + imm8 inside the finite field GF(2^8). right is an 8x8 bit matrix, left and imm8 are bit vectors. If inverse is set, then the inverse transformation with respect to the reduction polynomial x^8 + x^4 + x^3 + x + 1 is performed instead.