// Code generated by 'simdgen -o godefs -goroot $GOROOT -xedPath $XED_PATH go.yaml types.yaml categories.yaml'; DO NOT EDIT.

(AESDecryptLastRoundUint8x16 ...) => (VAESDECLAST128 ...)

(AESDecryptLastRoundUint8x32 ...) => (VAESDECLAST256 ...)

(AESDecryptLastRoundUint8x64 ...) => (VAESDECLAST512 ...)

(AESDecryptOneRoundUint8x16 ...) => (VAESDEC128 ...)

(AESDecryptOneRoundUint8x32 ...) => (VAESDEC256 ...)

(AESDecryptOneRoundUint8x64 ...) => (VAESDEC512 ...)

(AESEncryptLastRoundUint8x16 ...) => (VAESENCLAST128 ...)

(AESEncryptLastRoundUint8x32 ...) => (VAESENCLAST256 ...)

(AESEncryptLastRoundUint8x64 ...) => (VAESENCLAST512 ...)

(AESEncryptOneRoundUint8x16 ...) => (VAESENC128 ...)

(AESEncryptOneRoundUint8x32 ...) => (VAESENC256 ...)

(AESEncryptOneRoundUint8x64 ...) => (VAESENC512 ...)

(AESInvMixColumnsUint32x4 ...) => (VAESIMC128 ...)

(AESRoundKeyGenAssistUint32x4 ...) => (VAESKEYGENASSIST128 ...)

(AbsInt8x16 ...) => (VPABSB128 ...)

(AbsInt8x32 ...) => (VPABSB256 ...)

(AbsInt8x64 ...) => (VPABSB512 ...)

(AbsInt16x8 ...) => (VPABSW128 ...)

(AbsInt16x16 ...) => (VPABSW256 ...)

(AbsInt16x32 ...) => (VPABSW512 ...)

(AbsInt32x4 ...) => (VPABSD128 ...)

(AbsInt32x8 ...) => (VPABSD256 ...)

(AbsInt32x16 ...) => (VPABSD512 ...)

(AbsInt64x2 ...) => (VPABSQ128 ...)

(AbsInt64x4 ...) => (VPABSQ256 ...)

(AbsInt64x8 ...) => (VPABSQ512 ...)

(AddFloat32x4 ...) => (VADDPS128 ...)

(AddFloat32x8 ...) => (VADDPS256 ...)

(AddFloat32x16 ...) => (VADDPS512 ...)

(AddFloat64x2 ...) => (VADDPD128 ...)

(AddFloat64x4 ...) => (VADDPD256 ...)

(AddFloat64x8 ...) => (VADDPD512 ...)

(AddInt8x16 ...) => (VPADDB128 ...)

(AddInt8x32 ...) => (VPADDB256 ...)

(AddInt8x64 ...) => (VPADDB512 ...)

(AddInt16x8 ...) => (VPADDW128 ...)

(AddInt16x16 ...) => (VPADDW256 ...)

(AddInt16x32 ...) => (VPADDW512 ...)

(AddInt32x4 ...) => (VPADDD128 ...)

(AddInt32x8 ...) => (VPADDD256 ...)

(AddInt32x16 ...) => (VPADDD512 ...)

(AddInt64x2 ...) => (VPADDQ128 ...)

(AddInt64x4 ...) => (VPADDQ256 ...)

(AddInt64x8 ...) => (VPADDQ512 ...)

(AddUint8x16 ...) => (VPADDB128 ...)

(AddUint8x32 ...) => (VPADDB256 ...)

(AddUint8x64 ...) => (VPADDB512 ...)

(AddUint16x8 ...) => (VPADDW128 ...)

(AddUint16x16 ...) => (VPADDW256 ...)

(AddUint16x32 ...) => (VPADDW512 ...)

(AddUint32x4 ...) => (VPADDD128 ...)

(AddUint32x8 ...) => (VPADDD256 ...)

(AddUint32x16 ...) => (VPADDD512 ...)

(AddUint64x2 ...) => (VPADDQ128 ...)

(AddUint64x4 ...) => (VPADDQ256 ...)

(AddUint64x8 ...) => (VPADDQ512 ...)

(AddPairsFloat32x4 ...) => (VHADDPS128 ...)

(AddPairsFloat64x2 ...) => (VHADDPD128 ...)

(AddPairsInt16x8 ...) => (VPHADDW128 ...)

(AddPairsInt32x4 ...) => (VPHADDD128 ...)

(AddPairsUint16x8 ...) => (VPHADDW128 ...)

(AddPairsUint32x4 ...) => (VPHADDD128 ...)

(AddPairsGroupedFloat32x8 ...) => (VHADDPS256 ...)

(AddPairsGroupedFloat64x4 ...) => (VHADDPD256 ...)

(AddPairsGroupedInt16x16 ...) => (VPHADDW256 ...)

(AddPairsGroupedInt32x8 ...) => (VPHADDD256 ...)

(AddPairsGroupedUint16x16 ...) => (VPHADDW256 ...)

(AddPairsGroupedUint32x8 ...) => (VPHADDD256 ...)

(AddPairsSaturatedInt16x8 ...) => (VPHADDSW128 ...)

(AddPairsSaturatedGroupedInt16x16 ...) => (VPHADDSW256 ...)

(AddSaturatedInt8x16 ...) => (VPADDSB128 ...)

(AddSaturatedInt8x32 ...) => (VPADDSB256 ...)

(AddSaturatedInt8x64 ...) => (VPADDSB512 ...)

(AddSaturatedInt16x8 ...) => (VPADDSW128 ...)

(AddSaturatedInt16x16 ...) => (VPADDSW256 ...)

(AddSaturatedInt16x32 ...) => (VPADDSW512 ...)

(AddSaturatedUint8x16 ...) => (VPADDUSB128 ...)

(AddSaturatedUint8x32 ...) => (VPADDUSB256 ...)

(AddSaturatedUint8x64 ...) => (VPADDUSB512 ...)

(AddSaturatedUint16x8 ...) => (VPADDUSW128 ...)

(AddSaturatedUint16x16 ...) => (VPADDUSW256 ...)

(AddSaturatedUint16x32 ...) => (VPADDUSW512 ...)

(AddSubFloat32x4 ...) => (VADDSUBPS128 ...)

(AddSubFloat32x8 ...) => (VADDSUBPS256 ...)

(AddSubFloat64x2 ...) => (VADDSUBPD128 ...)

(AddSubFloat64x4 ...) => (VADDSUBPD256 ...)

(AndInt8x16 ...) => (VPAND128 ...)

(AndInt8x32 ...) => (VPAND256 ...)

(AndInt8x64 ...) => (VPANDD512 ...)

(AndInt16x8 ...) => (VPAND128 ...)

(AndInt16x16 ...) => (VPAND256 ...)

(AndInt16x32 ...) => (VPANDD512 ...)

(AndInt32x4 ...) => (VPAND128 ...)

(AndInt32x8 ...) => (VPAND256 ...)

(AndInt32x16 ...) => (VPANDD512 ...)

(AndInt64x2 ...) => (VPAND128 ...)

(AndInt64x4 ...) => (VPAND256 ...)

(AndInt64x8 ...) => (VPANDQ512 ...)

(AndUint8x16 ...) => (VPAND128 ...)

(AndUint8x32 ...) => (VPAND256 ...)

(AndUint8x64 ...) => (VPANDD512 ...)

(AndUint16x8 ...) => (VPAND128 ...)

(AndUint16x16 ...) => (VPAND256 ...)

(AndUint16x32 ...) => (VPANDD512 ...)

(AndUint32x4 ...) => (VPAND128 ...)

(AndUint32x8 ...) => (VPAND256 ...)

(AndUint32x16 ...) => (VPANDD512 ...)

(AndUint64x2 ...) => (VPAND128 ...)

(AndUint64x4 ...) => (VPAND256 ...)

(AndUint64x8 ...) => (VPANDQ512 ...)

(AndNotInt8x16 ...) => (VPANDN128 ...)

(AndNotInt8x32 ...) => (VPANDN256 ...)

(AndNotInt8x64 ...) => (VPANDND512 ...)

(AndNotInt16x8 ...) => (VPANDN128 ...)

(AndNotInt16x16 ...) => (VPANDN256 ...)

(AndNotInt16x32 ...) => (VPANDND512 ...)

(AndNotInt32x4 ...) => (VPANDN128 ...)

(AndNotInt32x8 ...) => (VPANDN256 ...)

(AndNotInt32x16 ...) => (VPANDND512 ...)

(AndNotInt64x2 ...) => (VPANDN128 ...)

(AndNotInt64x4 ...) => (VPANDN256 ...)

(AndNotInt64x8 ...) => (VPANDNQ512 ...)

(AndNotUint8x16 ...) => (VPANDN128 ...)

(AndNotUint8x32 ...) => (VPANDN256 ...)

(AndNotUint8x64 ...) => (VPANDND512 ...)

(AndNotUint16x8 ...) => (VPANDN128 ...)

(AndNotUint16x16 ...) => (VPANDN256 ...)

(AndNotUint16x32 ...) => (VPANDND512 ...)

(AndNotUint32x4 ...) => (VPANDN128 ...)

(AndNotUint32x8 ...) => (VPANDN256 ...)

(AndNotUint32x16 ...) => (VPANDND512 ...)

(AndNotUint64x2 ...) => (VPANDN128 ...)

(AndNotUint64x4 ...) => (VPANDN256 ...)

(AndNotUint64x8 ...) => (VPANDNQ512 ...)

(AverageUint8x16 ...) => (VPAVGB128 ...)

(AverageUint8x32 ...) => (VPAVGB256 ...)

(AverageUint8x64 ...) => (VPAVGB512 ...)

(AverageUint16x8 ...) => (VPAVGW128 ...)

(AverageUint16x16 ...) => (VPAVGW256 ...)

(AverageUint16x32 ...) => (VPAVGW512 ...)

(Broadcast1To2Float64x2 ...) => (VPBROADCASTQ128 ...)

(Broadcast1To2Int64x2 ...) => (VPBROADCASTQ128 ...)

(Broadcast1To2Uint64x2 ...) => (VPBROADCASTQ128 ...)

(Broadcast1To4Float32x4 ...) => (VBROADCASTSS128 ...)

(Broadcast1To4Float64x2 ...) => (VBROADCASTSD256 ...)

(Broadcast1To4Int32x4 ...) => (VPBROADCASTD128 ...)

(Broadcast1To4Int64x2 ...) => (VPBROADCASTQ256 ...)

(Broadcast1To4Uint32x4 ...) => (VPBROADCASTD128 ...)

(Broadcast1To4Uint64x2 ...) => (VPBROADCASTQ256 ...)

(Broadcast1To8Float32x4 ...) => (VBROADCASTSS256 ...)

(Broadcast1To8Float64x2 ...) => (VBROADCASTSD512 ...)

(Broadcast1To8Int16x8 ...) => (VPBROADCASTW128 ...)

(Broadcast1To8Int32x4 ...) => (VPBROADCASTD256 ...)

(Broadcast1To8Int64x2 ...) => (VPBROADCASTQ512 ...)

(Broadcast1To8Uint16x8 ...) => (VPBROADCASTW128 ...)

(Broadcast1To8Uint32x4 ...) => (VPBROADCASTD256 ...)

(Broadcast1To8Uint64x2 ...) => (VPBROADCASTQ512 ...)

(Broadcast1To16Float32x4 ...) => (VBROADCASTSS512 ...)

(Broadcast1To16Int8x16 ...) => (VPBROADCASTB128 ...)

(Broadcast1To16Int16x8 ...) => (VPBROADCASTW256 ...)

(Broadcast1To16Int32x4 ...) => (VPBROADCASTD512 ...)

(Broadcast1To16Uint8x16 ...) => (VPBROADCASTB128 ...)

(Broadcast1To16Uint16x8 ...) => (VPBROADCASTW256 ...)

(Broadcast1To16Uint32x4 ...) => (VPBROADCASTD512 ...)

(Broadcast1To32Int8x16 ...) => (VPBROADCASTB256 ...)

(Broadcast1To32Int16x8 ...) => (VPBROADCASTW512 ...)

(Broadcast1To32Uint8x16 ...) => (VPBROADCASTB256 ...)

(Broadcast1To32Uint16x8 ...) => (VPBROADCASTW512 ...)

(Broadcast1To64Int8x16 ...) => (VPBROADCASTB512 ...)

(Broadcast1To64Uint8x16 ...) => (VPBROADCASTB512 ...)

(CeilFloat32x4 x) => (VROUNDPS128 [2] x)

(CeilFloat32x8 x) => (VROUNDPS256 [2] x)

(CeilFloat64x2 x) => (VROUNDPD128 [2] x)

(CeilFloat64x4 x) => (VROUNDPD256 [2] x)

(CeilScaledFloat32x4 [a] x) => (VRNDSCALEPS128 [a+2] x)

(CeilScaledFloat32x8 [a] x) => (VRNDSCALEPS256 [a+2] x)

(CeilScaledFloat32x16 [a] x) => (VRNDSCALEPS512 [a+2] x)

(CeilScaledFloat64x2 [a] x) => (VRNDSCALEPD128 [a+2] x)

(CeilScaledFloat64x4 [a] x) => (VRNDSCALEPD256 [a+2] x)

(CeilScaledFloat64x8 [a] x) => (VRNDSCALEPD512 [a+2] x)

(CeilScaledResidueFloat32x4 [a] x) => (VREDUCEPS128 [a+2] x)

(CeilScaledResidueFloat32x8 [a] x) => (VREDUCEPS256 [a+2] x)

(CeilScaledResidueFloat32x16 [a] x) => (VREDUCEPS512 [a+2] x)

(CeilScaledResidueFloat64x2 [a] x) => (VREDUCEPD128 [a+2] x)

(CeilScaledResidueFloat64x4 [a] x) => (VREDUCEPD256 [a+2] x)

(CeilScaledResidueFloat64x8 [a] x) => (VREDUCEPD512 [a+2] x)

(CompressFloat32x4 x mask) => (VCOMPRESSPSMasked128 x (VPMOVVec32x4ToM <types.TypeMask> mask))

(CompressFloat32x8 x mask) => (VCOMPRESSPSMasked256 x (VPMOVVec32x8ToM <types.TypeMask> mask))

(CompressFloat32x16 x mask) => (VCOMPRESSPSMasked512 x (VPMOVVec32x16ToM <types.TypeMask> mask))

(CompressFloat64x2 x mask) => (VCOMPRESSPDMasked128 x (VPMOVVec64x2ToM <types.TypeMask> mask))

(CompressFloat64x4 x mask) => (VCOMPRESSPDMasked256 x (VPMOVVec64x4ToM <types.TypeMask> mask))

(CompressFloat64x8 x mask) => (VCOMPRESSPDMasked512 x (VPMOVVec64x8ToM <types.TypeMask> mask))

(CompressInt8x16 x mask) => (VPCOMPRESSBMasked128 x (VPMOVVec8x16ToM <types.TypeMask> mask))

(CompressInt8x32 x mask) => (VPCOMPRESSBMasked256 x (VPMOVVec8x32ToM <types.TypeMask> mask))

(CompressInt8x64 x mask) => (VPCOMPRESSBMasked512 x (VPMOVVec8x64ToM <types.TypeMask> mask))

(CompressInt16x8 x mask) => (VPCOMPRESSWMasked128 x (VPMOVVec16x8ToM <types.TypeMask> mask))

(CompressInt16x16 x mask) => (VPCOMPRESSWMasked256 x (VPMOVVec16x16ToM <types.TypeMask> mask))

(CompressInt16x32 x mask) => (VPCOMPRESSWMasked512 x (VPMOVVec16x32ToM <types.TypeMask> mask))

(CompressInt32x4 x mask) => (VPCOMPRESSDMasked128 x (VPMOVVec32x4ToM <types.TypeMask> mask))

(CompressInt32x8 x mask) => (VPCOMPRESSDMasked256 x (VPMOVVec32x8ToM <types.TypeMask> mask))

(CompressInt32x16 x mask) => (VPCOMPRESSDMasked512 x (VPMOVVec32x16ToM <types.TypeMask> mask))

(CompressInt64x2 x mask) => (VPCOMPRESSQMasked128 x (VPMOVVec64x2ToM <types.TypeMask> mask))

(CompressInt64x4 x mask) => (VPCOMPRESSQMasked256 x (VPMOVVec64x4ToM <types.TypeMask> mask))

(CompressInt64x8 x mask) => (VPCOMPRESSQMasked512 x (VPMOVVec64x8ToM <types.TypeMask> mask))

(CompressUint8x16 x mask) => (VPCOMPRESSBMasked128 x (VPMOVVec8x16ToM <types.TypeMask> mask))

(CompressUint8x32 x mask) => (VPCOMPRESSBMasked256 x (VPMOVVec8x32ToM <types.TypeMask> mask))

(CompressUint8x64 x mask) => (VPCOMPRESSBMasked512 x (VPMOVVec8x64ToM <types.TypeMask> mask))

(CompressUint16x8 x mask) => (VPCOMPRESSWMasked128 x (VPMOVVec16x8ToM <types.TypeMask> mask))

(CompressUint16x16 x mask) => (VPCOMPRESSWMasked256 x (VPMOVVec16x16ToM <types.TypeMask> mask))

(CompressUint16x32 x mask) => (VPCOMPRESSWMasked512 x (VPMOVVec16x32ToM <types.TypeMask> mask))

(CompressUint32x4 x mask) => (VPCOMPRESSDMasked128 x (VPMOVVec32x4ToM <types.TypeMask> mask))

(CompressUint32x8 x mask) => (VPCOMPRESSDMasked256 x (VPMOVVec32x8ToM <types.TypeMask> mask))

(CompressUint32x16 x mask) => (VPCOMPRESSDMasked512 x (VPMOVVec32x16ToM <types.TypeMask> mask))

(CompressUint64x2 x mask) => (VPCOMPRESSQMasked128 x (VPMOVVec64x2ToM <types.TypeMask> mask))

(CompressUint64x4 x mask) => (VPCOMPRESSQMasked256 x (VPMOVVec64x4ToM <types.TypeMask> mask))

(CompressUint64x8 x mask) => (VPCOMPRESSQMasked512 x (VPMOVVec64x8ToM <types.TypeMask> mask))

(ConcatPermuteFloat32x4 ...) => (VPERMI2PS128 ...)

(ConcatPermuteFloat32x8 ...) => (VPERMI2PS256 ...)

(ConcatPermuteFloat32x16 ...) => (VPERMI2PS512 ...)

(ConcatPermuteFloat64x2 ...) => (VPERMI2PD128 ...)

(ConcatPermuteFloat64x4 ...) => (VPERMI2PD256 ...)

(ConcatPermuteFloat64x8 ...) => (VPERMI2PD512 ...)

(ConcatPermuteInt8x16 ...) => (VPERMI2B128 ...)

(ConcatPermuteInt8x32 ...) => (VPERMI2B256 ...)

(ConcatPermuteInt8x64 ...) => (VPERMI2B512 ...)

(ConcatPermuteInt16x8 ...) => (VPERMI2W128 ...)

(ConcatPermuteInt16x16 ...) => (VPERMI2W256 ...)

(ConcatPermuteInt16x32 ...) => (VPERMI2W512 ...)

(ConcatPermuteInt32x4 ...) => (VPERMI2D128 ...)

(ConcatPermuteInt32x8 ...) => (VPERMI2D256 ...)

(ConcatPermuteInt32x16 ...) => (VPERMI2D512 ...)

(ConcatPermuteInt64x2 ...) => (VPERMI2Q128 ...)

(ConcatPermuteInt64x4 ...) => (VPERMI2Q256 ...)

(ConcatPermuteInt64x8 ...) => (VPERMI2Q512 ...)

(ConcatPermuteUint8x16 ...) => (VPERMI2B128 ...)

(ConcatPermuteUint8x32 ...) => (VPERMI2B256 ...)

(ConcatPermuteUint8x64 ...) => (VPERMI2B512 ...)

(ConcatPermuteUint16x8 ...) => (VPERMI2W128 ...)

(ConcatPermuteUint16x16 ...) => (VPERMI2W256 ...)

(ConcatPermuteUint16x32 ...) => (VPERMI2W512 ...)

(ConcatPermuteUint32x4 ...) => (VPERMI2D128 ...)

(ConcatPermuteUint32x8 ...) => (VPERMI2D256 ...)

(ConcatPermuteUint32x16 ...) => (VPERMI2D512 ...)

(ConcatPermuteUint64x2 ...) => (VPERMI2Q128 ...)

(ConcatPermuteUint64x4 ...) => (VPERMI2Q256 ...)

(ConcatPermuteUint64x8 ...) => (VPERMI2Q512 ...)

(ConcatShiftBytesRightUint8x16 ...) => (VPALIGNR128 ...)

(ConcatShiftBytesRightGroupedUint8x32 ...) => (VPALIGNR256 ...)

(ConcatShiftBytesRightGroupedUint8x64 ...) => (VPALIGNR512 ...)

(ConvertToFloat32Float64x2 ...) => (VCVTPD2PSX128 ...)

(ConvertToFloat32Float64x4 ...) => (VCVTPD2PSY128 ...)

(ConvertToFloat32Float64x8 ...) => (VCVTPD2PS256 ...)

(ConvertToFloat32Int32x4 ...) => (VCVTDQ2PS128 ...)

(ConvertToFloat32Int32x8 ...) => (VCVTDQ2PS256 ...)

(ConvertToFloat32Int32x16 ...) => (VCVTDQ2PS512 ...)

(ConvertToFloat32Int64x2 ...) => (VCVTQQ2PSX128 ...)

(ConvertToFloat32Int64x4 ...) => (VCVTQQ2PSY128 ...)

(ConvertToFloat32Int64x8 ...) => (VCVTQQ2PS256 ...)

(ConvertToFloat32Uint32x4 ...) => (VCVTUDQ2PS128 ...)

(ConvertToFloat32Uint32x8 ...) => (VCVTUDQ2PS256 ...)

(ConvertToFloat32Uint32x16 ...) => (VCVTUDQ2PS512 ...)

(ConvertToFloat32Uint64x2 ...) => (VCVTUQQ2PSX128 ...)

(ConvertToFloat32Uint64x4 ...) => (VCVTUQQ2PSY128 ...)

(ConvertToFloat32Uint64x8 ...) => (VCVTUQQ2PS256 ...)

(ConvertToFloat64Float32x4 ...) => (VCVTPS2PD256 ...)

(ConvertToFloat64Float32x8 ...) => (VCVTPS2PD512 ...)

(ConvertToFloat64Int32x4 ...) => (VCVTDQ2PD256 ...)

(ConvertToFloat64Int32x8 ...) => (VCVTDQ2PD512 ...)

(ConvertToFloat64Int64x2 ...) => (VCVTQQ2PD128 ...)

(ConvertToFloat64Int64x4 ...) => (VCVTQQ2PD256 ...)

(ConvertToFloat64Int64x8 ...) => (VCVTQQ2PD512 ...)

(ConvertToFloat64Uint32x4 ...) => (VCVTUDQ2PD256 ...)

(ConvertToFloat64Uint32x8 ...) => (VCVTUDQ2PD512 ...)

(ConvertToFloat64Uint64x2 ...) => (VCVTUQQ2PD128 ...)

(ConvertToFloat64Uint64x4 ...) => (VCVTUQQ2PD256 ...)

(ConvertToFloat64Uint64x8 ...) => (VCVTUQQ2PD512 ...)

(ConvertToInt32Float32x4 ...) => (VCVTTPS2DQ128 ...)

(ConvertToInt32Float32x8 ...) => (VCVTTPS2DQ256 ...)

(ConvertToInt32Float32x16 ...) => (VCVTTPS2DQ512 ...)

(ConvertToInt32Float64x2 ...) => (VCVTTPD2DQX128 ...)

(ConvertToInt32Float64x4 ...) => (VCVTTPD2DQY128 ...)

(ConvertToInt32Float64x8 ...) => (VCVTTPD2DQ256 ...)

(ConvertToInt64Float32x4 ...) => (VCVTTPS2QQ256 ...)

(ConvertToInt64Float32x8 ...) => (VCVTTPS2QQ512 ...)

(ConvertToInt64Float64x2 ...) => (VCVTTPD2QQ128 ...)

(ConvertToInt64Float64x4 ...) => (VCVTTPD2QQ256 ...)

(ConvertToInt64Float64x8 ...) => (VCVTTPD2QQ512 ...)

(ConvertToUint32Float32x4 ...) => (VCVTTPS2UDQ128 ...)

(ConvertToUint32Float32x8 ...) => (VCVTTPS2UDQ256 ...)

(ConvertToUint32Float32x16 ...) => (VCVTTPS2UDQ512 ...)

(ConvertToUint32Float64x2 ...) => (VCVTTPD2UDQX128 ...)

(ConvertToUint32Float64x4 ...) => (VCVTTPD2UDQY128 ...)

(ConvertToUint32Float64x8 ...) => (VCVTTPD2UDQ256 ...)

(ConvertToUint64Float32x4 ...) => (VCVTTPS2UQQ256 ...)

(ConvertToUint64Float32x8 ...) => (VCVTTPS2UQQ512 ...)

(ConvertToUint64Float64x2 ...) => (VCVTTPD2UQQ128 ...)

(ConvertToUint64Float64x4 ...) => (VCVTTPD2UQQ256 ...)

(ConvertToUint64Float64x8 ...) => (VCVTTPD2UQQ512 ...)

(CopySignInt8x16 ...) => (VPSIGNB128 ...)

(CopySignInt8x32 ...) => (VPSIGNB256 ...)

(CopySignInt16x8 ...) => (VPSIGNW128 ...)

(CopySignInt16x16 ...) => (VPSIGNW256 ...)

(CopySignInt32x4 ...) => (VPSIGND128 ...)

(CopySignInt32x8 ...) => (VPSIGND256 ...)

(DivFloat32x4 ...) => (VDIVPS128 ...)

(DivFloat32x8 ...) => (VDIVPS256 ...)

(DivFloat32x16 ...) => (VDIVPS512 ...)

(DivFloat64x2 ...) => (VDIVPD128 ...)

(DivFloat64x4 ...) => (VDIVPD256 ...)

(DivFloat64x8 ...) => (VDIVPD512 ...)

(DotProductPairsInt16x8 ...) => (VPMADDWD128 ...)

(DotProductPairsInt16x16 ...) => (VPMADDWD256 ...)

(DotProductPairsInt16x32 ...) => (VPMADDWD512 ...)

(DotProductPairsSaturatedUint8x16 ...) => (VPMADDUBSW128 ...)

(DotProductPairsSaturatedUint8x32 ...) => (VPMADDUBSW256 ...)

(DotProductPairsSaturatedUint8x64 ...) => (VPMADDUBSW512 ...)

(EqualFloat32x4 x y) => (VCMPPS128 [0] x y)

(EqualFloat32x8 x y) => (VCMPPS256 [0] x y)

(EqualFloat32x16 x y) => (VPMOVMToVec32x16 (VCMPPS512 [0] x y))

(EqualFloat64x2 x y) => (VCMPPD128 [0] x y)

(EqualFloat64x4 x y) => (VCMPPD256 [0] x y)

(EqualFloat64x8 x y) => (VPMOVMToVec64x8 (VCMPPD512 [0] x y))

(EqualInt8x16 ...) => (VPCMPEQB128 ...)

(EqualInt8x32 ...) => (VPCMPEQB256 ...)

(EqualInt8x64 x y) => (VPMOVMToVec8x64 (VPCMPEQB512 x y))

(EqualInt16x8 ...) => (VPCMPEQW128 ...)

(EqualInt16x16 ...) => (VPCMPEQW256 ...)

(EqualInt16x32 x y) => (VPMOVMToVec16x32 (VPCMPEQW512 x y))

(EqualInt32x4 ...) => (VPCMPEQD128 ...)

(EqualInt32x8 ...) => (VPCMPEQD256 ...)

(EqualInt32x16 x y) => (VPMOVMToVec32x16 (VPCMPEQD512 x y))

(EqualInt64x2 ...) => (VPCMPEQQ128 ...)

(EqualInt64x4 ...) => (VPCMPEQQ256 ...)

(EqualInt64x8 x y) => (VPMOVMToVec64x8 (VPCMPEQQ512 x y))

(EqualUint8x16 ...) => (VPCMPEQB128 ...)

(EqualUint8x32 ...) => (VPCMPEQB256 ...)

(EqualUint8x64 x y) => (VPMOVMToVec8x64 (VPCMPEQB512 x y))

(EqualUint16x8 ...) => (VPCMPEQW128 ...)

(EqualUint16x16 ...) => (VPCMPEQW256 ...)

(EqualUint16x32 x y) => (VPMOVMToVec16x32 (VPCMPEQW512 x y))

(EqualUint32x4 ...) => (VPCMPEQD128 ...)

(EqualUint32x8 ...) => (VPCMPEQD256 ...)

(EqualUint32x16 x y) => (VPMOVMToVec32x16 (VPCMPEQD512 x y))

(EqualUint64x2 ...) => (VPCMPEQQ128 ...)

(EqualUint64x4 ...) => (VPCMPEQQ256 ...)

(EqualUint64x8 x y) => (VPMOVMToVec64x8 (VPCMPEQQ512 x y))

(ExpandFloat32x4 x mask) => (VEXPANDPSMasked128 x (VPMOVVec32x4ToM <types.TypeMask> mask))

(ExpandFloat32x8 x mask) => (VEXPANDPSMasked256 x (VPMOVVec32x8ToM <types.TypeMask> mask))

(ExpandFloat32x16 x mask) => (VEXPANDPSMasked512 x (VPMOVVec32x16ToM <types.TypeMask> mask))

(ExpandFloat64x2 x mask) => (VEXPANDPDMasked128 x (VPMOVVec64x2ToM <types.TypeMask> mask))

(ExpandFloat64x4 x mask) => (VEXPANDPDMasked256 x (VPMOVVec64x4ToM <types.TypeMask> mask))

(ExpandFloat64x8 x mask) => (VEXPANDPDMasked512 x (VPMOVVec64x8ToM <types.TypeMask> mask))

(ExpandInt8x16 x mask) => (VPEXPANDBMasked128 x (VPMOVVec8x16ToM <types.TypeMask> mask))

(ExpandInt8x32 x mask) => (VPEXPANDBMasked256 x (VPMOVVec8x32ToM <types.TypeMask> mask))

(ExpandInt8x64 x mask) => (VPEXPANDBMasked512 x (VPMOVVec8x64ToM <types.TypeMask> mask))

(ExpandInt16x8 x mask) => (VPEXPANDWMasked128 x (VPMOVVec16x8ToM <types.TypeMask> mask))

(ExpandInt16x16 x mask) => (VPEXPANDWMasked256 x (VPMOVVec16x16ToM <types.TypeMask> mask))

(ExpandInt16x32 x mask) => (VPEXPANDWMasked512 x (VPMOVVec16x32ToM <types.TypeMask> mask))

(ExpandInt32x4 x mask) => (VPEXPANDDMasked128 x (VPMOVVec32x4ToM <types.TypeMask> mask))

(ExpandInt32x8 x mask) => (VPEXPANDDMasked256 x (VPMOVVec32x8ToM <types.TypeMask> mask))

(ExpandInt32x16 x mask) => (VPEXPANDDMasked512 x (VPMOVVec32x16ToM <types.TypeMask> mask))

(ExpandInt64x2 x mask) => (VPEXPANDQMasked128 x (VPMOVVec64x2ToM <types.TypeMask> mask))

(ExpandInt64x4 x mask) => (VPEXPANDQMasked256 x (VPMOVVec64x4ToM <types.TypeMask> mask))

(ExpandInt64x8 x mask) => (VPEXPANDQMasked512 x (VPMOVVec64x8ToM <types.TypeMask> mask))

(ExpandUint8x16 x mask) => (VPEXPANDBMasked128 x (VPMOVVec8x16ToM <types.TypeMask> mask))

(ExpandUint8x32 x mask) => (VPEXPANDBMasked256 x (VPMOVVec8x32ToM <types.TypeMask> mask))

(ExpandUint8x64 x mask) => (VPEXPANDBMasked512 x (VPMOVVec8x64ToM <types.TypeMask> mask))

(ExpandUint16x8 x mask) => (VPEXPANDWMasked128 x (VPMOVVec16x8ToM <types.TypeMask> mask))

(ExpandUint16x16 x mask) => (VPEXPANDWMasked256 x (VPMOVVec16x16ToM <types.TypeMask> mask))

(ExpandUint16x32 x mask) => (VPEXPANDWMasked512 x (VPMOVVec16x32ToM <types.TypeMask> mask))

(ExpandUint32x4 x mask) => (VPEXPANDDMasked128 x (VPMOVVec32x4ToM <types.TypeMask> mask))

(ExpandUint32x8 x mask) => (VPEXPANDDMasked256 x (VPMOVVec32x8ToM <types.TypeMask> mask))

(ExpandUint32x16 x mask) => (VPEXPANDDMasked512 x (VPMOVVec32x16ToM <types.TypeMask> mask))

(ExpandUint64x2 x mask) => (VPEXPANDQMasked128 x (VPMOVVec64x2ToM <types.TypeMask> mask))

(ExpandUint64x4 x mask) => (VPEXPANDQMasked256 x (VPMOVVec64x4ToM <types.TypeMask> mask))

(ExpandUint64x8 x mask) => (VPEXPANDQMasked512 x (VPMOVVec64x8ToM <types.TypeMask> mask))

(ExtendLo2ToInt64Int8x16 ...) => (VPMOVSXBQ128 ...)

(ExtendLo2ToInt64Int16x8 ...) => (VPMOVSXWQ128 ...)

(ExtendLo2ToInt64Int32x4 ...) => (VPMOVSXDQ128 ...)

(ExtendLo2ToUint64Uint8x16 ...) => (VPMOVZXBQ128 ...)

(ExtendLo2ToUint64Uint16x8 ...) => (VPMOVZXWQ128 ...)

(ExtendLo2ToUint64Uint32x4 ...) => (VPMOVZXDQ128 ...)

(ExtendLo4ToInt32Int8x16 ...) => (VPMOVSXBD128 ...)

(ExtendLo4ToInt32Int16x8 ...) => (VPMOVSXWD128 ...)

(ExtendLo4ToInt64Int8x16 ...) => (VPMOVSXBQ256 ...)

(ExtendLo4ToInt64Int16x8 ...) => (VPMOVSXWQ256 ...)

(ExtendLo4ToUint32Uint8x16 ...) => (VPMOVZXBD128 ...)

(ExtendLo4ToUint32Uint16x8 ...) => (VPMOVZXWD128 ...)

(ExtendLo4ToUint64Uint8x16 ...) => (VPMOVZXBQ256 ...)

(ExtendLo4ToUint64Uint16x8 ...) => (VPMOVZXWQ256 ...)

(ExtendLo8ToInt16Int8x16 ...) => (VPMOVSXBW128 ...)

(ExtendLo8ToInt32Int8x16 ...) => (VPMOVSXBD256 ...)

(ExtendLo8ToInt64Int8x16 ...) => (VPMOVSXBQ512 ...)

(ExtendLo8ToUint16Uint8x16 ...) => (VPMOVZXBW128 ...)

(ExtendLo8ToUint32Uint8x16 ...) => (VPMOVZXBD256 ...)

(ExtendLo8ToUint64Uint8x16 ...) => (VPMOVZXBQ512 ...)

(ExtendToInt16Int8x16 ...) => (VPMOVSXBW256 ...)

(ExtendToInt16Int8x32 ...) => (VPMOVSXBW512 ...)

(ExtendToInt32Int8x16 ...) => (VPMOVSXBD512 ...)

(ExtendToInt32Int16x8 ...) => (VPMOVSXWD256 ...)

(ExtendToInt32Int16x16 ...) => (VPMOVSXWD512 ...)

(ExtendToInt64Int16x8 ...) => (VPMOVSXWQ512 ...)

(ExtendToInt64Int32x4 ...) => (VPMOVSXDQ256 ...)

(ExtendToInt64Int32x8 ...) => (VPMOVSXDQ512 ...)

(ExtendToUint16Uint8x16 ...) => (VPMOVZXBW256 ...)

(ExtendToUint16Uint8x32 ...) => (VPMOVZXBW512 ...)

(ExtendToUint32Uint8x16 ...) => (VPMOVZXBD512 ...)

(ExtendToUint32Uint16x8 ...) => (VPMOVZXWD256 ...)

(ExtendToUint32Uint16x16 ...) => (VPMOVZXWD512 ...)

(ExtendToUint64Uint16x8 ...) => (VPMOVZXWQ512 ...)

(ExtendToUint64Uint32x4 ...) => (VPMOVZXDQ256 ...)

(ExtendToUint64Uint32x8 ...) => (VPMOVZXDQ512 ...)

(FloorFloat32x4 x) => (VROUNDPS128 [1] x)

(FloorFloat32x8 x) => (VROUNDPS256 [1] x)

(FloorFloat64x2 x) => (VROUNDPD128 [1] x)

(FloorFloat64x4 x) => (VROUNDPD256 [1] x)

(FloorScaledFloat32x4 [a] x) => (VRNDSCALEPS128 [a+1] x)

(FloorScaledFloat32x8 [a] x) => (VRNDSCALEPS256 [a+1] x)

(FloorScaledFloat32x16 [a] x) => (VRNDSCALEPS512 [a+1] x)

(FloorScaledFloat64x2 [a] x) => (VRNDSCALEPD128 [a+1] x)

(FloorScaledFloat64x4 [a] x) => (VRNDSCALEPD256 [a+1] x)

(FloorScaledFloat64x8 [a] x) => (VRNDSCALEPD512 [a+1] x)

(FloorScaledResidueFloat32x4 [a] x) => (VREDUCEPS128 [a+1] x)

(FloorScaledResidueFloat32x8 [a] x) => (VREDUCEPS256 [a+1] x)

(FloorScaledResidueFloat32x16 [a] x) => (VREDUCEPS512 [a+1] x)

(FloorScaledResidueFloat64x2 [a] x) => (VREDUCEPD128 [a+1] x)

(FloorScaledResidueFloat64x4 [a] x) => (VREDUCEPD256 [a+1] x)

(FloorScaledResidueFloat64x8 [a] x) => (VREDUCEPD512 [a+1] x)

(GaloisFieldAffineTransformUint8x16 ...) => (VGF2P8AFFINEQB128 ...)

(GaloisFieldAffineTransformUint8x32 ...) => (VGF2P8AFFINEQB256 ...)

(GaloisFieldAffineTransformUint8x64 ...) => (VGF2P8AFFINEQB512 ...)

(GaloisFieldAffineTransformInverseUint8x16 ...) => (VGF2P8AFFINEINVQB128 ...)

(GaloisFieldAffineTransformInverseUint8x32 ...) => (VGF2P8AFFINEINVQB256 ...)

(GaloisFieldAffineTransformInverseUint8x64 ...) => (VGF2P8AFFINEINVQB512 ...)

(GaloisFieldMulUint8x16 ...) => (VGF2P8MULB128 ...)

(GaloisFieldMulUint8x32 ...) => (VGF2P8MULB256 ...)

(GaloisFieldMulUint8x64 ...) => (VGF2P8MULB512 ...)

(GetElemFloat32x4 ...) => (VPEXTRD128 ...)

(GetElemFloat64x2 ...) => (VPEXTRQ128 ...)

(GetElemInt8x16 ...) => (VPEXTRB128 ...)

(GetElemInt16x8 ...) => (VPEXTRW128 ...)

(GetElemInt32x4 ...) => (VPEXTRD128 ...)

(GetElemInt64x2 ...) => (VPEXTRQ128 ...)

(GetElemUint8x16 ...) => (VPEXTRB128 ...)

(GetElemUint16x8 ...) => (VPEXTRW128 ...)

(GetElemUint32x4 ...) => (VPEXTRD128 ...)

(GetElemUint64x2 ...) => (VPEXTRQ128 ...)

(GetHiFloat32x8 x) => (VEXTRACTF128128 [1] x)

(GetHiFloat32x16 x) => (VEXTRACTF64X4256 [1] x)

(GetHiFloat64x4 x) => (VEXTRACTF128128 [1] x)

(GetHiFloat64x8 x) => (VEXTRACTF64X4256 [1] x)

(GetHiInt8x32 x) => (VEXTRACTI128128 [1] x)

(GetHiInt8x64 x) => (VEXTRACTI64X4256 [1] x)

(GetHiInt16x16 x) => (VEXTRACTI128128 [1] x)

(GetHiInt16x32 x) => (VEXTRACTI64X4256 [1] x)

(GetHiInt32x8 x) => (VEXTRACTI128128 [1] x)

(GetHiInt32x16 x) => (VEXTRACTI64X4256 [1] x)

(GetHiInt64x4 x) => (VEXTRACTI128128 [1] x)

(GetHiInt64x8 x) => (VEXTRACTI64X4256 [1] x)

(GetHiUint8x32 x) => (VEXTRACTI128128 [1] x)

(GetHiUint8x64 x) => (VEXTRACTI64X4256 [1] x)

(GetHiUint16x16 x) => (VEXTRACTI128128 [1] x)

(GetHiUint16x32 x) => (VEXTRACTI64X4256 [1] x)

(GetHiUint32x8 x) => (VEXTRACTI128128 [1] x)

(GetHiUint32x16 x) => (VEXTRACTI64X4256 [1] x)

(GetHiUint64x4 x) => (VEXTRACTI128128 [1] x)

(GetHiUint64x8 x) => (VEXTRACTI64X4256 [1] x)

(GetLoFloat32x8 x) => (VEXTRACTF128128 [0] x)

(GetLoFloat32x16 x) => (VEXTRACTF64X4256 [0] x)

(GetLoFloat64x4 x) => (VEXTRACTF128128 [0] x)

(GetLoFloat64x8 x) => (VEXTRACTF64X4256 [0] x)

(GetLoInt8x32 x) => (VEXTRACTI128128 [0] x)

(GetLoInt8x64 x) => (VEXTRACTI64X4256 [0] x)

(GetLoInt16x16 x) => (VEXTRACTI128128 [0] x)

(GetLoInt16x32 x) => (VEXTRACTI64X4256 [0] x)

(GetLoInt32x8 x) => (VEXTRACTI128128 [0] x)

(GetLoInt32x16 x) => (VEXTRACTI64X4256 [0] x)

(GetLoInt64x4 x) => (VEXTRACTI128128 [0] x)

(GetLoInt64x8 x) => (VEXTRACTI64X4256 [0] x)

(GetLoUint8x32 x) => (VEXTRACTI128128 [0] x)

(GetLoUint8x64 x) => (VEXTRACTI64X4256 [0] x)

(GetLoUint16x16 x) => (VEXTRACTI128128 [0] x)

(GetLoUint16x32 x) => (VEXTRACTI64X4256 [0] x)

(GetLoUint32x8 x) => (VEXTRACTI128128 [0] x)

(GetLoUint32x16 x) => (VEXTRACTI64X4256 [0] x)

(GetLoUint64x4 x) => (VEXTRACTI128128 [0] x)

(GetLoUint64x8 x) => (VEXTRACTI64X4256 [0] x)

(GreaterFloat32x4 x y) => (VCMPPS128 [14] x y)

(GreaterFloat32x8 x y) => (VCMPPS256 [14] x y)

(GreaterFloat32x16 x y) => (VPMOVMToVec32x16 (VCMPPS512 [14] x y))

(GreaterFloat64x2 x y) => (VCMPPD128 [14] x y)

(GreaterFloat64x4 x y) => (VCMPPD256 [14] x y)

(GreaterFloat64x8 x y) => (VPMOVMToVec64x8 (VCMPPD512 [14] x y))

(GreaterInt8x16 ...) => (VPCMPGTB128 ...)

(GreaterInt8x32 ...) => (VPCMPGTB256 ...)

(GreaterInt8x64 x y) => (VPMOVMToVec8x64 (VPCMPGTB512 x y))

(GreaterInt16x8 ...) => (VPCMPGTW128 ...)

(GreaterInt16x16 ...) => (VPCMPGTW256 ...)

(GreaterInt16x32 x y) => (VPMOVMToVec16x32 (VPCMPGTW512 x y))

(GreaterInt32x4 ...) => (VPCMPGTD128 ...)

(GreaterInt32x8 ...) => (VPCMPGTD256 ...)

(GreaterInt32x16 x y) => (VPMOVMToVec32x16 (VPCMPGTD512 x y))

(GreaterInt64x2 ...) => (VPCMPGTQ128 ...)

(GreaterInt64x4 ...) => (VPCMPGTQ256 ...)

(GreaterInt64x8 x y) => (VPMOVMToVec64x8 (VPCMPGTQ512 x y))

(GreaterUint8x64 x y) => (VPMOVMToVec8x64 (VPCMPUB512 [14] x y))

(GreaterUint16x32 x y) => (VPMOVMToVec16x32 (VPCMPUW512 [14] x y))

(GreaterUint32x16 x y) => (VPMOVMToVec32x16 (VPCMPUD512 [14] x y))

(GreaterUint64x8 x y) => (VPMOVMToVec64x8 (VPCMPUQ512 [14] x y))

(GreaterEqualFloat32x4 x y) => (VCMPPS128 [13] x y)

(GreaterEqualFloat32x8 x y) => (VCMPPS256 [13] x y)

(GreaterEqualFloat32x16 x y) => (VPMOVMToVec32x16 (VCMPPS512 [13] x y))

(GreaterEqualFloat64x2 x y) => (VCMPPD128 [13] x y)

(GreaterEqualFloat64x4 x y) => (VCMPPD256 [13] x y)

(GreaterEqualFloat64x8 x y) => (VPMOVMToVec64x8 (VCMPPD512 [13] x y))

(GreaterEqualInt8x64 x y) => (VPMOVMToVec8x64 (VPCMPB512 [13] x y))

(GreaterEqualInt16x32 x y) => (VPMOVMToVec16x32 (VPCMPW512 [13] x y))

(GreaterEqualInt32x16 x y) => (VPMOVMToVec32x16 (VPCMPD512 [13] x y))

(GreaterEqualInt64x8 x y) => (VPMOVMToVec64x8 (VPCMPQ512 [13] x y))

(GreaterEqualUint8x64 x y) => (VPMOVMToVec8x64 (VPCMPUB512 [13] x y))

(GreaterEqualUint16x32 x y) => (VPMOVMToVec16x32 (VPCMPUW512 [13] x y))

(GreaterEqualUint32x16 x y) => (VPMOVMToVec32x16 (VPCMPUD512 [13] x y))

(GreaterEqualUint64x8 x y) => (VPMOVMToVec64x8 (VPCMPUQ512 [13] x y))

(InterleaveHiInt16x8 ...) => (VPUNPCKHWD128 ...)

(InterleaveHiInt32x4 ...) => (VPUNPCKHDQ128 ...)

(InterleaveHiInt64x2 ...) => (VPUNPCKHQDQ128 ...)

(InterleaveHiUint16x8 ...) => (VPUNPCKHWD128 ...)

(InterleaveHiUint32x4 ...) => (VPUNPCKHDQ128 ...)

(InterleaveHiUint64x2 ...) => (VPUNPCKHQDQ128 ...)

(InterleaveHiGroupedInt16x16 ...) => (VPUNPCKHWD256 ...)

(InterleaveHiGroupedInt16x32 ...) => (VPUNPCKHWD512 ...)

(InterleaveHiGroupedInt32x8 ...) => (VPUNPCKHDQ256 ...)

(InterleaveHiGroupedInt32x16 ...) => (VPUNPCKHDQ512 ...)

(InterleaveHiGroupedInt64x4 ...) => (VPUNPCKHQDQ256 ...)

(InterleaveHiGroupedInt64x8 ...) => (VPUNPCKHQDQ512 ...)

(InterleaveHiGroupedUint16x16 ...) => (VPUNPCKHWD256 ...)

(InterleaveHiGroupedUint16x32 ...) => (VPUNPCKHWD512 ...)

(InterleaveHiGroupedUint32x8 ...) => (VPUNPCKHDQ256 ...)

(InterleaveHiGroupedUint32x16 ...) => (VPUNPCKHDQ512 ...)

(InterleaveHiGroupedUint64x4 ...) => (VPUNPCKHQDQ256 ...)

(InterleaveHiGroupedUint64x8 ...) => (VPUNPCKHQDQ512 ...)

(InterleaveLoInt16x8 ...) => (VPUNPCKLWD128 ...)

(InterleaveLoInt32x4 ...) => (VPUNPCKLDQ128 ...)

(InterleaveLoInt64x2 ...) => (VPUNPCKLQDQ128 ...)

(InterleaveLoUint16x8 ...) => (VPUNPCKLWD128 ...)

(InterleaveLoUint32x4 ...) => (VPUNPCKLDQ128 ...)

(InterleaveLoUint64x2 ...) => (VPUNPCKLQDQ128 ...)

(InterleaveLoGroupedInt16x16 ...) => (VPUNPCKLWD256 ...)

(InterleaveLoGroupedInt16x32 ...) => (VPUNPCKLWD512 ...)

(InterleaveLoGroupedInt32x8 ...) => (VPUNPCKLDQ256 ...)

(InterleaveLoGroupedInt32x16 ...) => (VPUNPCKLDQ512 ...)

(InterleaveLoGroupedInt64x4 ...) => (VPUNPCKLQDQ256 ...)

(InterleaveLoGroupedInt64x8 ...) => (VPUNPCKLQDQ512 ...)

(InterleaveLoGroupedUint16x16 ...) => (VPUNPCKLWD256 ...)

(InterleaveLoGroupedUint16x32 ...) => (VPUNPCKLWD512 ...)

(InterleaveLoGroupedUint32x8 ...) => (VPUNPCKLDQ256 ...)

(InterleaveLoGroupedUint32x16 ...) => (VPUNPCKLDQ512 ...)

(InterleaveLoGroupedUint64x4 ...) => (VPUNPCKLQDQ256 ...)

(InterleaveLoGroupedUint64x8 ...) => (VPUNPCKLQDQ512 ...)

(LeadingZerosInt32x4 ...) => (VPLZCNTD128 ...)

(LeadingZerosInt32x8 ...) => (VPLZCNTD256 ...)

(LeadingZerosInt32x16 ...) => (VPLZCNTD512 ...)

(LeadingZerosInt64x2 ...) => (VPLZCNTQ128 ...)

(LeadingZerosInt64x4 ...) => (VPLZCNTQ256 ...)

(LeadingZerosInt64x8 ...) => (VPLZCNTQ512 ...)

(LeadingZerosUint32x4 ...) => (VPLZCNTD128 ...)

(LeadingZerosUint32x8 ...) => (VPLZCNTD256 ...)

(LeadingZerosUint32x16 ...) => (VPLZCNTD512 ...)

(LeadingZerosUint64x2 ...) => (VPLZCNTQ128 ...)

(LeadingZerosUint64x4 ...) => (VPLZCNTQ256 ...)

(LeadingZerosUint64x8 ...) => (VPLZCNTQ512 ...)

(LessFloat32x4 x y) => (VCMPPS128 [1] x y)

(LessFloat32x8 x y) => (VCMPPS256 [1] x y)

(LessFloat32x16 x y) => (VPMOVMToVec32x16 (VCMPPS512 [1] x y))

(LessFloat64x2 x y) => (VCMPPD128 [1] x y)

(LessFloat64x4 x y) => (VCMPPD256 [1] x y)

(LessFloat64x8 x y) => (VPMOVMToVec64x8 (VCMPPD512 [1] x y))

(LessInt8x64 x y) => (VPMOVMToVec8x64 (VPCMPB512 [1] x y))

(LessInt16x32 x y) => (VPMOVMToVec16x32 (VPCMPW512 [1] x y))

(LessInt32x16 x y) => (VPMOVMToVec32x16 (VPCMPD512 [1] x y))

(LessInt64x8 x y) => (VPMOVMToVec64x8 (VPCMPQ512 [1] x y))

(LessUint8x64 x y) => (VPMOVMToVec8x64 (VPCMPUB512 [1] x y))

(LessUint16x32 x y) => (VPMOVMToVec16x32 (VPCMPUW512 [1] x y))

(LessUint32x16 x y) => (VPMOVMToVec32x16 (VPCMPUD512 [1] x y))

(LessUint64x8 x y) => (VPMOVMToVec64x8 (VPCMPUQ512 [1] x y))

(LessEqualFloat32x4 x y) => (VCMPPS128 [2] x y)

(LessEqualFloat32x8 x y) => (VCMPPS256 [2] x y)

(LessEqualFloat32x16 x y) => (VPMOVMToVec32x16 (VCMPPS512 [2] x y))

(LessEqualFloat64x2 x y) => (VCMPPD128 [2] x y)

(LessEqualFloat64x4 x y) => (VCMPPD256 [2] x y)

(LessEqualFloat64x8 x y) => (VPMOVMToVec64x8 (VCMPPD512 [2] x y))

(LessEqualInt8x64 x y) => (VPMOVMToVec8x64 (VPCMPB512 [2] x y))

(LessEqualInt16x32 x y) => (VPMOVMToVec16x32 (VPCMPW512 [2] x y))

(LessEqualInt32x16 x y) => (VPMOVMToVec32x16 (VPCMPD512 [2] x y))

(LessEqualInt64x8 x y) => (VPMOVMToVec64x8 (VPCMPQ512 [2] x y))

(LessEqualUint8x64 x y) => (VPMOVMToVec8x64 (VPCMPUB512 [2] x y))

(LessEqualUint16x32 x y) => (VPMOVMToVec16x32 (VPCMPUW512 [2] x y))

(LessEqualUint32x16 x y) => (VPMOVMToVec32x16 (VPCMPUD512 [2] x y))

(LessEqualUint64x8 x y) => (VPMOVMToVec64x8 (VPCMPUQ512 [2] x y))

(MaxFloat32x4 ...) => (VMAXPS128 ...)

(MaxFloat32x8 ...) => (VMAXPS256 ...)

(MaxFloat32x16 ...) => (VMAXPS512 ...)

(MaxFloat64x2 ...) => (VMAXPD128 ...)

(MaxFloat64x4 ...) => (VMAXPD256 ...)

(MaxFloat64x8 ...) => (VMAXPD512 ...)

(MaxInt8x16 ...) => (VPMAXSB128 ...)

(MaxInt8x32 ...) => (VPMAXSB256 ...)

(MaxInt8x64 ...) => (VPMAXSB512 ...)

(MaxInt16x8 ...) => (VPMAXSW128 ...)

(MaxInt16x16 ...) => (VPMAXSW256 ...)

(MaxInt16x32 ...) => (VPMAXSW512 ...)

(MaxInt32x4 ...) => (VPMAXSD128 ...)

(MaxInt32x8 ...) => (VPMAXSD256 ...)

(MaxInt32x16 ...) => (VPMAXSD512 ...)

(MaxInt64x2 ...) => (VPMAXSQ128 ...)

(MaxInt64x4 ...) => (VPMAXSQ256 ...)

(MaxInt64x8 ...) => (VPMAXSQ512 ...)

(MaxUint8x16 ...) => (VPMAXUB128 ...)

(MaxUint8x32 ...) => (VPMAXUB256 ...)

(MaxUint8x64 ...) => (VPMAXUB512 ...)

(MaxUint16x8 ...) => (VPMAXUW128 ...)

(MaxUint16x16 ...) => (VPMAXUW256 ...)

(MaxUint16x32 ...) => (VPMAXUW512 ...)

(MaxUint32x4 ...) => (VPMAXUD128 ...)

(MaxUint32x8 ...) => (VPMAXUD256 ...)

(MaxUint32x16 ...) => (VPMAXUD512 ...)

(MaxUint64x2 ...) => (VPMAXUQ128 ...)

(MaxUint64x4 ...) => (VPMAXUQ256 ...)

(MaxUint64x8 ...) => (VPMAXUQ512 ...)

(MinFloat32x4 ...) => (VMINPS128 ...)

(MinFloat32x8 ...) => (VMINPS256 ...)

(MinFloat32x16 ...) => (VMINPS512 ...)

(MinFloat64x2 ...) => (VMINPD128 ...)

(MinFloat64x4 ...) => (VMINPD256 ...)

(MinFloat64x8 ...) => (VMINPD512 ...)

(MinInt8x16 ...) => (VPMINSB128 ...)

(MinInt8x32 ...) => (VPMINSB256 ...)

(MinInt8x64 ...) => (VPMINSB512 ...)

(MinInt16x8 ...) => (VPMINSW128 ...)

(MinInt16x16 ...) => (VPMINSW256 ...)

(MinInt16x32 ...) => (VPMINSW512 ...)

(MinInt32x4 ...) => (VPMINSD128 ...)

(MinInt32x8 ...) => (VPMINSD256 ...)

(MinInt32x16 ...) => (VPMINSD512 ...)

(MinInt64x2 ...) => (VPMINSQ128 ...)

(MinInt64x4 ...) => (VPMINSQ256 ...)

(MinInt64x8 ...) => (VPMINSQ512 ...)

(MinUint8x16 ...) => (VPMINUB128 ...)

(MinUint8x32 ...) => (VPMINUB256 ...)

(MinUint8x64 ...) => (VPMINUB512 ...)

(MinUint16x8 ...) => (VPMINUW128 ...)

(MinUint16x16 ...) => (VPMINUW256 ...)

(MinUint16x32 ...) => (VPMINUW512 ...)

(MinUint32x4 ...) => (VPMINUD128 ...)

(MinUint32x8 ...) => (VPMINUD256 ...)

(MinUint32x16 ...) => (VPMINUD512 ...)

(MinUint64x2 ...) => (VPMINUQ128 ...)

(MinUint64x4 ...) => (VPMINUQ256 ...)

(MinUint64x8 ...) => (VPMINUQ512 ...)

(MulFloat32x4 ...) => (VMULPS128 ...)

(MulFloat32x8 ...) => (VMULPS256 ...)

(MulFloat32x16 ...) => (VMULPS512 ...)

(MulFloat64x2 ...) => (VMULPD128 ...)

(MulFloat64x4 ...) => (VMULPD256 ...)

(MulFloat64x8 ...) => (VMULPD512 ...)

(MulInt16x8 ...) => (VPMULLW128 ...)

(MulInt16x16 ...) => (VPMULLW256 ...)

(MulInt16x32 ...) => (VPMULLW512 ...)

(MulInt32x4 ...) => (VPMULLD128 ...)

(MulInt32x8 ...) => (VPMULLD256 ...)

(MulInt32x16 ...) => (VPMULLD512 ...)

(MulInt64x2 ...) => (VPMULLQ128 ...)

(MulInt64x4 ...) => (VPMULLQ256 ...)

(MulInt64x8 ...) => (VPMULLQ512 ...)

(MulUint16x8 ...) => (VPMULLW128 ...)

(MulUint16x16 ...) => (VPMULLW256 ...)

(MulUint16x32 ...) => (VPMULLW512 ...)

(MulUint32x4 ...) => (VPMULLD128 ...)

(MulUint32x8 ...) => (VPMULLD256 ...)

(MulUint32x16 ...) => (VPMULLD512 ...)

(MulUint64x2 ...) => (VPMULLQ128 ...)

(MulUint64x4 ...) => (VPMULLQ256 ...)

(MulUint64x8 ...) => (VPMULLQ512 ...)

(MulAddFloat32x4 ...) => (VFMADD213PS128 ...)

(MulAddFloat32x8 ...) => (VFMADD213PS256 ...)

(MulAddFloat32x16 ...) => (VFMADD213PS512 ...)

(MulAddFloat64x2 ...) => (VFMADD213PD128 ...)

(MulAddFloat64x4 ...) => (VFMADD213PD256 ...)

(MulAddFloat64x8 ...) => (VFMADD213PD512 ...)

(MulAddSubFloat32x4 ...) => (VFMADDSUB213PS128 ...)

(MulAddSubFloat32x8 ...) => (VFMADDSUB213PS256 ...)

(MulAddSubFloat32x16 ...) => (VFMADDSUB213PS512 ...)

(MulAddSubFloat64x2 ...) => (VFMADDSUB213PD128 ...)

(MulAddSubFloat64x4 ...) => (VFMADDSUB213PD256 ...)

(MulAddSubFloat64x8 ...) => (VFMADDSUB213PD512 ...)

(MulEvenWidenInt32x4 ...) => (VPMULDQ128 ...)

(MulEvenWidenInt32x8 ...) => (VPMULDQ256 ...)

(MulEvenWidenUint32x4 ...) => (VPMULUDQ128 ...)

(MulEvenWidenUint32x8 ...) => (VPMULUDQ256 ...)

(MulHighInt16x8 ...) => (VPMULHW128 ...)

(MulHighInt16x16 ...) => (VPMULHW256 ...)

(MulHighInt16x32 ...) => (VPMULHW512 ...)

(MulHighUint16x8 ...) => (VPMULHUW128 ...)

(MulHighUint16x16 ...) => (VPMULHUW256 ...)

(MulHighUint16x32 ...) => (VPMULHUW512 ...)

(MulSubAddFloat32x4 ...) => (VFMSUBADD213PS128 ...)

(MulSubAddFloat32x8 ...) => (VFMSUBADD213PS256 ...)

(MulSubAddFloat32x16 ...) => (VFMSUBADD213PS512 ...)

(MulSubAddFloat64x2 ...) => (VFMSUBADD213PD128 ...)

(MulSubAddFloat64x4 ...) => (VFMSUBADD213PD256 ...)

(MulSubAddFloat64x8 ...) => (VFMSUBADD213PD512 ...)

(NotEqualFloat32x4 x y) => (VCMPPS128 [4] x y)

(NotEqualFloat32x8 x y) => (VCMPPS256 [4] x y)

(NotEqualFloat32x16 x y) => (VPMOVMToVec32x16 (VCMPPS512 [4] x y))

(NotEqualFloat64x2 x y) => (VCMPPD128 [4] x y)

(NotEqualFloat64x4 x y) => (VCMPPD256 [4] x y)

(NotEqualFloat64x8 x y) => (VPMOVMToVec64x8 (VCMPPD512 [4] x y))

(NotEqualInt8x64 x y) => (VPMOVMToVec8x64 (VPCMPB512 [4] x y))

(NotEqualInt16x32 x y) => (VPMOVMToVec16x32 (VPCMPW512 [4] x y))

(NotEqualInt32x16 x y) => (VPMOVMToVec32x16 (VPCMPD512 [4] x y))

(NotEqualInt64x8 x y) => (VPMOVMToVec64x8 (VPCMPQ512 [4] x y))

(NotEqualUint8x64 x y) => (VPMOVMToVec8x64 (VPCMPUB512 [4] x y))

(NotEqualUint16x32 x y) => (VPMOVMToVec16x32 (VPCMPUW512 [4] x y))

(NotEqualUint32x16 x y) => (VPMOVMToVec32x16 (VPCMPUD512 [4] x y))

(NotEqualUint64x8 x y) => (VPMOVMToVec64x8 (VPCMPUQ512 [4] x y))

(OnesCountInt8x16 ...) => (VPOPCNTB128 ...)

(OnesCountInt8x32 ...) => (VPOPCNTB256 ...)

(OnesCountInt8x64 ...) => (VPOPCNTB512 ...)

(OnesCountInt16x8 ...) => (VPOPCNTW128 ...)

(OnesCountInt16x16 ...) => (VPOPCNTW256 ...)

(OnesCountInt16x32 ...) => (VPOPCNTW512 ...)

(OnesCountInt32x4 ...) => (VPOPCNTD128 ...)

(OnesCountInt32x8 ...) => (VPOPCNTD256 ...)

(OnesCountInt32x16 ...) => (VPOPCNTD512 ...)

(OnesCountInt64x2 ...) => (VPOPCNTQ128 ...)

(OnesCountInt64x4 ...) => (VPOPCNTQ256 ...)

(OnesCountInt64x8 ...) => (VPOPCNTQ512 ...)

(OnesCountUint8x16 ...) => (VPOPCNTB128 ...)

(OnesCountUint8x32 ...) => (VPOPCNTB256 ...)

(OnesCountUint8x64 ...) => (VPOPCNTB512 ...)

(OnesCountUint16x8 ...) => (VPOPCNTW128 ...)

(OnesCountUint16x16 ...) => (VPOPCNTW256 ...)

(OnesCountUint16x32 ...) => (VPOPCNTW512 ...)

(OnesCountUint32x4 ...) => (VPOPCNTD128 ...)

(OnesCountUint32x8 ...) => (VPOPCNTD256 ...)

(OnesCountUint32x16 ...) => (VPOPCNTD512 ...)

(OnesCountUint64x2 ...) => (VPOPCNTQ128 ...)

(OnesCountUint64x4 ...) => (VPOPCNTQ256 ...)

(OnesCountUint64x8 ...) => (VPOPCNTQ512 ...)

(OrInt8x16 ...) => (VPOR128 ...)

(OrInt8x32 ...) => (VPOR256 ...)

(OrInt8x64 ...) => (VPORD512 ...)

(OrInt16x8 ...) => (VPOR128 ...)

(OrInt16x16 ...) => (VPOR256 ...)

(OrInt16x32 ...) => (VPORD512 ...)

(OrInt32x4 ...) => (VPOR128 ...)

(OrInt32x8 ...) => (VPOR256 ...)

(OrInt32x16 ...) => (VPORD512 ...)

(OrInt64x2 ...) => (VPOR128 ...)

(OrInt64x4 ...) => (VPOR256 ...)

(OrInt64x8 ...) => (VPORQ512 ...)

(OrUint8x16 ...) => (VPOR128 ...)

(OrUint8x32 ...) => (VPOR256 ...)

(OrUint8x64 ...) => (VPORD512 ...)

(OrUint16x8 ...) => (VPOR128 ...)

(OrUint16x16 ...) => (VPOR256 ...)

(OrUint16x32 ...) => (VPORD512 ...)

(OrUint32x4 ...) => (VPOR128 ...)

(OrUint32x8 ...) => (VPOR256 ...)

(OrUint32x16 ...) => (VPORD512 ...)

(OrUint64x2 ...) => (VPOR128 ...)

(OrUint64x4 ...) => (VPOR256 ...)

(OrUint64x8 ...) => (VPORQ512 ...)

(PermuteFloat32x8 ...) => (VPERMPS256 ...)

(PermuteFloat32x16 ...) => (VPERMPS512 ...)

(PermuteFloat64x4 ...) => (VPERMPD256 ...)

(PermuteFloat64x8 ...) => (VPERMPD512 ...)

(PermuteInt8x16 ...) => (VPERMB128 ...)

(PermuteInt8x32 ...) => (VPERMB256 ...)

(PermuteInt8x64 ...) => (VPERMB512 ...)

(PermuteInt16x8 ...) => (VPERMW128 ...)

(PermuteInt16x16 ...) => (VPERMW256 ...)

(PermuteInt16x32 ...) => (VPERMW512 ...)

(PermuteInt32x8 ...) => (VPERMD256 ...)

(PermuteInt32x16 ...) => (VPERMD512 ...)

(PermuteInt64x4 ...) => (VPERMQ256 ...)

(PermuteInt64x8 ...) => (VPERMQ512 ...)

(PermuteUint8x16 ...) => (VPERMB128 ...)

(PermuteUint8x32 ...) => (VPERMB256 ...)

(PermuteUint8x64 ...) => (VPERMB512 ...)

(PermuteUint16x8 ...) => (VPERMW128 ...)

(PermuteUint16x16 ...) => (VPERMW256 ...)

(PermuteUint16x32 ...) => (VPERMW512 ...)

(PermuteUint32x8 ...) => (VPERMD256 ...)

(PermuteUint32x16 ...) => (VPERMD512 ...)

(PermuteUint64x4 ...) => (VPERMQ256 ...)

(PermuteUint64x8 ...) => (VPERMQ512 ...)

(PermuteOrZeroInt8x16 ...) => (VPSHUFB128 ...)

(PermuteOrZeroUint8x16 ...) => (VPSHUFB128 ...)

(PermuteOrZeroGroupedInt8x32 ...) => (VPSHUFB256 ...)

(PermuteOrZeroGroupedInt8x64 ...) => (VPSHUFB512 ...)

(PermuteOrZeroGroupedUint8x32 ...) => (VPSHUFB256 ...)

(PermuteOrZeroGroupedUint8x64 ...) => (VPSHUFB512 ...)

(ReciprocalFloat32x4 ...) => (VRCPPS128 ...)

(ReciprocalFloat32x8 ...) => (VRCPPS256 ...)

(ReciprocalFloat32x16 ...) => (VRCP14PS512 ...)

(ReciprocalFloat64x2 ...) => (VRCP14PD128 ...)

(ReciprocalFloat64x4 ...) => (VRCP14PD256 ...)

(ReciprocalFloat64x8 ...) => (VRCP14PD512 ...)

(ReciprocalSqrtFloat32x4 ...) => (VRSQRTPS128 ...)

(ReciprocalSqrtFloat32x8 ...) => (VRSQRTPS256 ...)

(ReciprocalSqrtFloat32x16 ...) => (VRSQRT14PS512 ...)

(ReciprocalSqrtFloat64x2 ...) => (VRSQRT14PD128 ...)

(ReciprocalSqrtFloat64x4 ...) => (VRSQRT14PD256 ...)

(ReciprocalSqrtFloat64x8 ...) => (VRSQRT14PD512 ...)

(RotateAllLeftInt32x4 ...) => (VPROLD128 ...)

(RotateAllLeftInt32x8 ...) => (VPROLD256 ...)

(RotateAllLeftInt32x16 ...) => (VPROLD512 ...)

(RotateAllLeftInt64x2 ...) => (VPROLQ128 ...)

(RotateAllLeftInt64x4 ...) => (VPROLQ256 ...)

(RotateAllLeftInt64x8 ...) => (VPROLQ512 ...)

(RotateAllLeftUint32x4 ...) => (VPROLD128 ...)

(RotateAllLeftUint32x8 ...) => (VPROLD256 ...)

(RotateAllLeftUint32x16 ...) => (VPROLD512 ...)

(RotateAllLeftUint64x2 ...) => (VPROLQ128 ...)

(RotateAllLeftUint64x4 ...) => (VPROLQ256 ...)

(RotateAllLeftUint64x8 ...) => (VPROLQ512 ...)

(RotateAllRightInt32x4 ...) => (VPRORD128 ...)

(RotateAllRightInt32x8 ...) => (VPRORD256 ...)

(RotateAllRightInt32x16 ...) => (VPRORD512 ...)

(RotateAllRightInt64x2 ...) => (VPRORQ128 ...)

(RotateAllRightInt64x4 ...) => (VPRORQ256 ...)

(RotateAllRightInt64x8 ...) => (VPRORQ512 ...)

(RotateAllRightUint32x4 ...) => (VPRORD128 ...)

(RotateAllRightUint32x8 ...) => (VPRORD256 ...)

(RotateAllRightUint32x16 ...) => (VPRORD512 ...)

(RotateAllRightUint64x2 ...) => (VPRORQ128 ...)

(RotateAllRightUint64x4 ...) => (VPRORQ256 ...)

(RotateAllRightUint64x8 ...) => (VPRORQ512 ...)

(RotateLeftInt32x4 ...) => (VPROLVD128 ...)

(RotateLeftInt32x8 ...) => (VPROLVD256 ...)

(RotateLeftInt32x16 ...) => (VPROLVD512 ...)

(RotateLeftInt64x2 ...) => (VPROLVQ128 ...)

(RotateLeftInt64x4 ...) => (VPROLVQ256 ...)

(RotateLeftInt64x8 ...) => (VPROLVQ512 ...)

(RotateLeftUint32x4 ...) => (VPROLVD128 ...)

(RotateLeftUint32x8 ...) => (VPROLVD256 ...)

(RotateLeftUint32x16 ...) => (VPROLVD512 ...)

(RotateLeftUint64x2 ...) => (VPROLVQ128 ...)

(RotateLeftUint64x4 ...) => (VPROLVQ256 ...)

(RotateLeftUint64x8 ...) => (VPROLVQ512 ...)

(RotateRightInt32x4 ...) => (VPRORVD128 ...)

(RotateRightInt32x8 ...) => (VPRORVD256 ...)

(RotateRightInt32x16 ...) => (VPRORVD512 ...)

(RotateRightInt64x2 ...) => (VPRORVQ128 ...)

(RotateRightInt64x4 ...) => (VPRORVQ256 ...)

(RotateRightInt64x8 ...) => (VPRORVQ512 ...)

(RotateRightUint32x4 ...) => (VPRORVD128 ...)

(RotateRightUint32x8 ...) => (VPRORVD256 ...)

(RotateRightUint32x16 ...) => (VPRORVD512 ...)

(RotateRightUint64x2 ...) => (VPRORVQ128 ...)

(RotateRightUint64x4 ...) => (VPRORVQ256 ...)

(RotateRightUint64x8 ...) => (VPRORVQ512 ...)

(RoundToEvenFloat32x4 x) => (VROUNDPS128 [0] x)

(RoundToEvenFloat32x8 x) => (VROUNDPS256 [0] x)

(RoundToEvenFloat64x2 x) => (VROUNDPD128 [0] x)

(RoundToEvenFloat64x4 x) => (VROUNDPD256 [0] x)

(RoundToEvenScaledFloat32x4 [a] x) => (VRNDSCALEPS128 [a+0] x)

(RoundToEvenScaledFloat32x8 [a] x) => (VRNDSCALEPS256 [a+0] x)

(RoundToEvenScaledFloat32x16 [a] x) => (VRNDSCALEPS512 [a+0] x)

(RoundToEvenScaledFloat64x2 [a] x) => (VRNDSCALEPD128 [a+0] x)

(RoundToEvenScaledFloat64x4 [a] x) => (VRNDSCALEPD256 [a+0] x)

(RoundToEvenScaledFloat64x8 [a] x) => (VRNDSCALEPD512 [a+0] x)

(RoundToEvenScaledResidueFloat32x4 [a] x) => (VREDUCEPS128 [a+0] x)

(RoundToEvenScaledResidueFloat32x8 [a] x) => (VREDUCEPS256 [a+0] x)

(RoundToEvenScaledResidueFloat32x16 [a] x) => (VREDUCEPS512 [a+0] x)

(RoundToEvenScaledResidueFloat64x2 [a] x) => (VREDUCEPD128 [a+0] x)

(RoundToEvenScaledResidueFloat64x4 [a] x) => (VREDUCEPD256 [a+0] x)

(RoundToEvenScaledResidueFloat64x8 [a] x) => (VREDUCEPD512 [a+0] x)

(SHA1FourRoundsUint32x4 ...) => (SHA1RNDS4128 ...)

(SHA1Message1Uint32x4 ...) => (SHA1MSG1128 ...)

(SHA1Message2Uint32x4 ...) => (SHA1MSG2128 ...)

(SHA1NextEUint32x4 ...) => (SHA1NEXTE128 ...)

(SHA256Message1Uint32x4 ...) => (SHA256MSG1128 ...)

(SHA256Message2Uint32x4 ...) => (SHA256MSG2128 ...)

(SHA256TwoRoundsUint32x4 ...) => (SHA256RNDS2128 ...)

(SaturateToInt8Int16x8 ...) => (VPMOVSWB128_128 ...)

(SaturateToInt8Int16x16 ...) => (VPMOVSWB128_256 ...)

(SaturateToInt8Int16x32 ...) => (VPMOVSWB256 ...)

(SaturateToInt8Int32x4 ...) => (VPMOVSDB128_128 ...)

(SaturateToInt8Int32x8 ...) => (VPMOVSDB128_256 ...)

(SaturateToInt8Int32x16 ...) => (VPMOVSDB128_512 ...)

(SaturateToInt8Int64x2 ...) => (VPMOVSQB128_128 ...)

(SaturateToInt8Int64x4 ...) => (VPMOVSQB128_256 ...)

(SaturateToInt8Int64x8 ...) => (VPMOVSQB128_512 ...)

(SaturateToInt16Int32x4 ...) => (VPMOVSDW128_128 ...)

(SaturateToInt16Int32x8 ...) => (VPMOVSDW128_256 ...)

(SaturateToInt16Int32x16 ...) => (VPMOVSDW256 ...)

(SaturateToInt16Int64x2 ...) => (VPMOVSQW128_128 ...)

(SaturateToInt16Int64x4 ...) => (VPMOVSQW128_256 ...)

(SaturateToInt16Int64x8 ...) => (VPMOVSQW128_512 ...)

(SaturateToInt16ConcatInt32x4 ...) => (VPACKSSDW128 ...)

(SaturateToInt16ConcatGroupedInt32x8 ...) => (VPACKSSDW256 ...)

(SaturateToInt16ConcatGroupedInt32x16 ...) => (VPACKSSDW512 ...)

(SaturateToInt32Int64x2 ...) => (VPMOVSQD128_128 ...)

(SaturateToInt32Int64x4 ...) => (VPMOVSQD128_256 ...)

(SaturateToInt32Int64x8 ...) => (VPMOVSQD256 ...)

(SaturateToUint8Uint16x8 ...) => (VPMOVUSWB128_128 ...)

(SaturateToUint8Uint16x16 ...) => (VPMOVUSWB128_256 ...)

(SaturateToUint8Uint16x32 ...) => (VPMOVUSWB256 ...)

(SaturateToUint8Uint32x4 ...) => (VPMOVUSDB128_128 ...)

(SaturateToUint8Uint32x8 ...) => (VPMOVUSDB128_256 ...)

(SaturateToUint8Uint32x16 ...) => (VPMOVUSDB128_512 ...)

(SaturateToUint8Uint64x2 ...) => (VPMOVUSQB128_128 ...)

(SaturateToUint8Uint64x4 ...) => (VPMOVUSQB128_256 ...)

(SaturateToUint8Uint64x8 ...) => (VPMOVUSQB128_512 ...)

(SaturateToUint16Uint32x4 ...) => (VPMOVUSDW128_128 ...)

(SaturateToUint16Uint32x8 ...) => (VPMOVUSDW128_256 ...)

(SaturateToUint16Uint32x16 ...) => (VPMOVUSDW256 ...)

(SaturateToUint16Uint64x2 ...) => (VPMOVUSQW128_128 ...)

(SaturateToUint16Uint64x4 ...) => (VPMOVUSQW128_256 ...)

(SaturateToUint16Uint64x8 ...) => (VPMOVUSQW128_512 ...)

(SaturateToUint16ConcatInt32x4 ...) => (VPACKUSDW128 ...)

(SaturateToUint16ConcatGroupedInt32x8 ...) => (VPACKUSDW256 ...)

(SaturateToUint16ConcatGroupedInt32x16 ...) => (VPACKUSDW512 ...)

(SaturateToUint32Uint64x2 ...) => (VPMOVUSQD128_128 ...)

(SaturateToUint32Uint64x4 ...) => (VPMOVUSQD128_256 ...)

(SaturateToUint32Uint64x8 ...) => (VPMOVUSQD256 ...)

(ScaleFloat32x4 ...) => (VSCALEFPS128 ...)

(ScaleFloat32x8 ...) => (VSCALEFPS256 ...)

(ScaleFloat32x16 ...) => (VSCALEFPS512 ...)

(ScaleFloat64x2 ...) => (VSCALEFPD128 ...)

(ScaleFloat64x4 ...) => (VSCALEFPD256 ...)

(ScaleFloat64x8 ...) => (VSCALEFPD512 ...)

(Select128FromPairFloat32x8 ...) => (VPERM2F128256 ...)

(Select128FromPairFloat64x4 ...) => (VPERM2F128256 ...)

(Select128FromPairInt8x32 ...) => (VPERM2I128256 ...)

(Select128FromPairInt16x16 ...) => (VPERM2I128256 ...)

(Select128FromPairInt32x8 ...) => (VPERM2I128256 ...)

(Select128FromPairInt64x4 ...) => (VPERM2I128256 ...)

(Select128FromPairUint8x32 ...) => (VPERM2I128256 ...)

(Select128FromPairUint16x16 ...) => (VPERM2I128256 ...)

(Select128FromPairUint32x8 ...) => (VPERM2I128256 ...)

(Select128FromPairUint64x4 ...) => (VPERM2I128256 ...)

(SetElemFloat32x4 ...) => (VPINSRD128 ...)

(SetElemFloat64x2 ...) => (VPINSRQ128 ...)

(SetElemInt8x16 ...) => (VPINSRB128 ...)

(SetElemInt16x8 ...) => (VPINSRW128 ...)

(SetElemInt32x4 ...) => (VPINSRD128 ...)

(SetElemInt64x2 ...) => (VPINSRQ128 ...)

(SetElemUint8x16 ...) => (VPINSRB128 ...)

(SetElemUint16x8 ...) => (VPINSRW128 ...)

(SetElemUint32x4 ...) => (VPINSRD128 ...)

(SetElemUint64x2 ...) => (VPINSRQ128 ...)

(SetHiFloat32x8 x y) => (VINSERTF128256 [1] x y)

(SetHiFloat32x16 x y) => (VINSERTF64X4512 [1] x y)

(SetHiFloat64x4 x y) => (VINSERTF128256 [1] x y)

(SetHiFloat64x8 x y) => (VINSERTF64X4512 [1] x y)

(SetHiInt8x32 x y) => (VINSERTI128256 [1] x y)

(SetHiInt8x64 x y) => (VINSERTI64X4512 [1] x y)

(SetHiInt16x16 x y) => (VINSERTI128256 [1] x y)

(SetHiInt16x32 x y) => (VINSERTI64X4512 [1] x y)

(SetHiInt32x8 x y) => (VINSERTI128256 [1] x y)

(SetHiInt32x16 x y) => (VINSERTI64X4512 [1] x y)

(SetHiInt64x4 x y) => (VINSERTI128256 [1] x y)

(SetHiInt64x8 x y) => (VINSERTI64X4512 [1] x y)

(SetHiUint8x32 x y) => (VINSERTI128256 [1] x y)

(SetHiUint8x64 x y) => (VINSERTI64X4512 [1] x y)

(SetHiUint16x16 x y) => (VINSERTI128256 [1] x y)

(SetHiUint16x32 x y) => (VINSERTI64X4512 [1] x y)

(SetHiUint32x8 x y) => (VINSERTI128256 [1] x y)

(SetHiUint32x16 x y) => (VINSERTI64X4512 [1] x y)

(SetHiUint64x4 x y) => (VINSERTI128256 [1] x y)

(SetHiUint64x8 x y) => (VINSERTI64X4512 [1] x y)

(SetLoFloat32x8 x y) => (VINSERTF128256 [0] x y)

(SetLoFloat32x16 x y) => (VINSERTF64X4512 [0] x y)

(SetLoFloat64x4 x y) => (VINSERTF128256 [0] x y)

(SetLoFloat64x8 x y) => (VINSERTF64X4512 [0] x y)

(SetLoInt8x32 x y) => (VINSERTI128256 [0] x y)

(SetLoInt8x64 x y) => (VINSERTI64X4512 [0] x y)

(SetLoInt16x16 x y) => (VINSERTI128256 [0] x y)

(SetLoInt16x32 x y) => (VINSERTI64X4512 [0] x y)

(SetLoInt32x8 x y) => (VINSERTI128256 [0] x y)

(SetLoInt32x16 x y) => (VINSERTI64X4512 [0] x y)

(SetLoInt64x4 x y) => (VINSERTI128256 [0] x y)

(SetLoInt64x8 x y) => (VINSERTI64X4512 [0] x y)

(SetLoUint8x32 x y) => (VINSERTI128256 [0] x y)

(SetLoUint8x64 x y) => (VINSERTI64X4512 [0] x y)

(SetLoUint16x16 x y) => (VINSERTI128256 [0] x y)

(SetLoUint16x32 x y) => (VINSERTI64X4512 [0] x y)

(SetLoUint32x8 x y) => (VINSERTI128256 [0] x y)

(SetLoUint32x16 x y) => (VINSERTI64X4512 [0] x y)

(SetLoUint64x4 x y) => (VINSERTI128256 [0] x y)

(SetLoUint64x8 x y) => (VINSERTI64X4512 [0] x y)

(ShiftAllLeftInt16x8 ...) => (VPSLLW128 ...)

(VPSLLW128 x (MOVQconst [c])) => (VPSLLW128const [uint8(c)] x)

(ShiftAllLeftInt16x16 ...) => (VPSLLW256 ...)

(VPSLLW256 x (MOVQconst [c])) => (VPSLLW256const [uint8(c)] x)