// Code generated by 'simdgen -o godefs -goroot $GOROOT -arch sve -arm64Path $ARM64_ISA_PATH go_sve.yaml types.yaml categories.yaml'; DO NOT EDIT.

(AddFloat32s ...) => (ZFADDS ...) // pureVreg
(AddFloat64s ...) => (ZFADDD ...) // pureVreg
(AddInt8s ...) => (ZADDB ...) // pureVreg
(AddInt16s ...) => (ZADDH ...) // pureVreg
(AddInt32s ...) => (ZADDS ...) // pureVreg
(AddInt64s ...) => (ZADDD ...) // pureVreg
(AddUint8s ...) => (ZADDB ...) // pureVreg
(AddUint16s ...) => (ZADDH ...) // pureVreg
(AddUint32s ...) => (ZADDS ...) // pureVreg
(AddUint64s ...) => (ZADDD ...) // pureVreg
(AddSaturatedInt8s ...) => (ZSQADDB ...) // pureVreg
(AddSaturatedInt16s ...) => (ZSQADDH ...) // pureVreg
(AddSaturatedInt32s ...) => (ZSQADDS ...) // pureVreg
(AddSaturatedInt64s ...) => (ZSQADDD ...) // pureVreg
(AddSaturatedUint8s ...) => (ZUQADDB ...) // pureVreg
(AddSaturatedUint16s ...) => (ZUQADDH ...) // pureVreg
(AddSaturatedUint32s ...) => (ZUQADDS ...) // pureVreg
(AddSaturatedUint64s ...) => (ZUQADDD ...) // pureVreg
(AndInt8s ...) => (ZANDD ...) // pureVreg
(AndInt16s ...) => (ZANDD ...) // pureVreg
(AndInt32s ...) => (ZANDD ...) // pureVreg
(AndInt64s ...) => (ZANDD ...) // pureVreg
(AndUint8s ...) => (ZANDD ...) // pureVreg
(AndUint16s ...) => (ZANDD ...) // pureVreg
(AndUint32s ...) => (ZANDD ...) // pureVreg
(AndUint64s ...) => (ZANDD ...) // pureVreg
(AndNotInt8s ...) => (ZBICD ...) // pureVreg
(AndNotInt16s ...) => (ZBICD ...) // pureVreg
(AndNotInt32s ...) => (ZBICD ...) // pureVreg
(AndNotInt64s ...) => (ZBICD ...) // pureVreg
(AndNotUint8s ...) => (ZBICD ...) // pureVreg
(AndNotUint16s ...) => (ZBICD ...) // pureVreg
(AndNotUint32s ...) => (ZBICD ...) // pureVreg
(AndNotUint64s ...) => (ZBICD ...) // pureVreg
(MulFloat32s ...) => (ZFMULS ...) // pureVreg
(MulFloat64s ...) => (ZFMULD ...) // pureVreg
(OrInt8s ...) => (ZORRD ...) // pureVreg
(OrInt16s ...) => (ZORRD ...) // pureVreg
(OrInt32s ...) => (ZORRD ...) // pureVreg
(OrInt64s ...) => (ZORRD ...) // pureVreg
(OrUint8s ...) => (ZORRD ...) // pureVreg
(OrUint16s ...) => (ZORRD ...) // pureVreg
(OrUint32s ...) => (ZORRD ...) // pureVreg
(OrUint64s ...) => (ZORRD ...) // pureVreg
(SubFloat32s ...) => (ZFSUBS ...) // pureVreg
(SubFloat64s ...) => (ZFSUBD ...) // pureVreg
(SubInt8s ...) => (ZSUBB ...) // pureVreg
(SubInt16s ...) => (ZSUBH ...) // pureVreg
(SubInt32s ...) => (ZSUBS ...) // pureVreg
(SubInt64s ...) => (ZSUBD ...) // pureVreg
(SubUint8s ...) => (ZSUBB ...) // pureVreg
(SubUint16s ...) => (ZSUBH ...) // pureVreg
(SubUint32s ...) => (ZSUBS ...) // pureVreg
(SubUint64s ...) => (ZSUBD ...) // pureVreg
(SubSaturatedInt8s ...) => (ZSQSUBB ...) // pureVreg
(SubSaturatedInt16s ...) => (ZSQSUBH ...) // pureVreg
(SubSaturatedInt32s ...) => (ZSQSUBS ...) // pureVreg
(SubSaturatedInt64s ...) => (ZSQSUBD ...) // pureVreg
(SubSaturatedUint8s ...) => (ZUQSUBB ...) // pureVreg
(SubSaturatedUint16s ...) => (ZUQSUBH ...) // pureVreg
(SubSaturatedUint32s ...) => (ZUQSUBS ...) // pureVreg
(SubSaturatedUint64s ...) => (ZUQSUBD ...) // pureVreg
(XorInt8s ...) => (ZEORD ...) // pureVreg
(XorInt16s ...) => (ZEORD ...) // pureVreg
(XorInt32s ...) => (ZEORD ...) // pureVreg
(XorInt64s ...) => (ZEORD ...) // pureVreg
(XorUint8s ...) => (ZEORD ...) // pureVreg
(XorUint16s ...) => (ZEORD ...) // pureVreg
(XorUint32s ...) => (ZEORD ...) // pureVreg
(XorUint64s ...) => (ZEORD ...) // pureVreg
(AbsFloat32s x) => (ZFABSS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(AbsFloat64s x) => (ZFABSD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(AbsInt16s x) => (ZABSH x (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(AbsInt32s x) => (ZABSS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(AbsInt64s x) => (ZABSD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(AbsInt8s x) => (ZABSB x (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(CeilFloat32s x) => (ZFRINTPS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(CeilFloat64s x) => (ZFRINTPD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(EqualFloat32s x y) => (ZFCMEQS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(EqualFloat64s x y) => (ZFCMEQD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(EqualInt16s x y) => (ZCMPEQH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(EqualInt32s x y) => (ZCMPEQS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(EqualInt64s x y) => (ZCMPEQD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(EqualInt8s x y) => (ZCMPEQB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(EqualUint16s x y) => (ZCMPEQH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(EqualUint32s x y) => (ZCMPEQS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(EqualUint64s x y) => (ZCMPEQD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(EqualUint8s x y) => (ZCMPEQB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(FloorFloat32s x) => (ZFRINTMS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(FloorFloat64s x) => (ZFRINTMD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(GreaterEqualFloat32s x y) => (ZFCMGES x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(GreaterEqualFloat64s x y) => (ZFCMGED x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(GreaterEqualInt16s x y) => (ZCMPGEH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(GreaterEqualInt32s x y) => (ZCMPGES x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(GreaterEqualInt64s x y) => (ZCMPGED x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(GreaterEqualInt8s x y) => (ZCMPGEB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(GreaterEqualUint16s x y) => (ZCMPHSH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(GreaterEqualUint32s x y) => (ZCMPHSS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(GreaterEqualUint64s x y) => (ZCMPHSD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(GreaterEqualUint8s x y) => (ZCMPHSB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(GreaterFloat32s x y) => (ZFCMGTS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(GreaterFloat64s x y) => (ZFCMGTD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(GreaterInt16s x y) => (ZCMPGTH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(GreaterInt32s x y) => (ZCMPGTS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(GreaterInt64s x y) => (ZCMPGTD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(GreaterInt8s x y) => (ZCMPGTB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(GreaterUint16s x y) => (ZCMPHIH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(GreaterUint32s x y) => (ZCMPHIS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(GreaterUint64s x y) => (ZCMPHID x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(GreaterUint8s x y) => (ZCMPHIB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(MulHighInt16s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZSMULHH x y)
(MulHighInt16s x y) => (ZSMULHMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(MulHighInt32s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZSMULHS x y)
(MulHighInt32s x y) => (ZSMULHMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(MulHighInt64s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZSMULHD x y)
(MulHighInt64s x y) => (ZSMULHMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(MulHighInt8s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZSMULHB x y)
(MulHighInt8s x y) => (ZSMULHMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(MulHighUint16s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZUMULHH x y)
(MulHighUint16s x y) => (ZUMULHMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(MulHighUint32s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZUMULHS x y)
(MulHighUint32s x y) => (ZUMULHMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(MulHighUint64s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZUMULHD x y)
(MulHighUint64s x y) => (ZUMULHMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(MulHighUint8s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZUMULHB x y)
(MulHighUint8s x y) => (ZUMULHMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(MulInt16s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZMULH x y)
(MulInt16s x y) => (ZMULMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(MulInt32s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZMULS x y)
(MulInt32s x y) => (ZMULMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(MulInt64s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZMULD x y)
(MulInt64s x y) => (ZMULMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(MulInt8s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZMULB x y)
(MulInt8s x y) => (ZMULMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(MulUint16s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZMULH x y)
(MulUint16s x y) => (ZMULMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(MulUint32s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZMULS x y)
(MulUint32s x y) => (ZMULMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(MulUint64s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZMULD x y)
(MulUint64s x y) => (ZMULMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(MulUint8s x y) && v.Block.CPUfeatures.HasFeature(ssa.CPUsve2) => (ZMULB x y)
(MulUint8s x y) => (ZMULMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(NegFloat32s x) => (ZFNEGS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(NegFloat64s x) => (ZFNEGD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(NegInt16s x) => (ZNEGH x (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(NegInt32s x) => (ZNEGS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(NegInt64s x) => (ZNEGD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(NegInt8s x) => (ZNEGB x (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(NotEqualFloat32s x y) => (ZFCMNES x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(NotEqualFloat64s x y) => (ZFCMNED x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(NotEqualInt16s x y) => (ZCMPNEH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(NotEqualInt32s x y) => (ZCMPNES x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(NotEqualInt64s x y) => (ZCMPNED x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(NotEqualInt8s x y) => (ZCMPNEB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(NotEqualUint16s x y) => (ZCMPNEH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16]))))
(NotEqualUint32s x y) => (ZCMPNES x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(NotEqualUint64s x y) => (ZCMPNED x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(NotEqualUint8s x y) => (ZCMPNEB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32]))))
(RoundFloat32s x) => (ZFRINTNS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(RoundFloat64s x) => (ZFRINTND x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(SqrtFloat32s x) => (ZFSQRTS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(SqrtFloat64s x) => (ZFSQRTD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(TruncFloat32s x) => (ZFRINTZS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8]))))
(TruncFloat64s x) => (ZFRINTZD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4]))))
(ZSELB (ZABSB x (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) z mask) => (ZABSMergingB z x mask)
(ZSELB (ZADDB x y) x mask) => (ZADDMergingB x y mask)
(ZSELB (ZADDB x y) y mask) => (ZADDMergingB y x mask)
(ZSELB (ZADDB x y) z mask) => (ZADDMergingPrefixedB z x y mask)
(ZSELB (ZANDD x y) x mask) => (ZANDMergingB x y mask)
(ZSELB (ZANDD x y) y mask) => (ZANDMergingB y x mask)
(ZSELB (ZANDD x y) z mask) => (ZANDMergingPrefixedB z x y mask)
(ZSELB (ZBICD x y) x mask) => (ZBICMergingB x y mask)
(ZSELB (ZEORD x y) x mask) => (ZEORMergingB x y mask)
(ZSELB (ZEORD x y) y mask) => (ZEORMergingB y x mask)
(ZSELB (ZEORD x y) z mask) => (ZEORMergingPrefixedB z x y mask)
(ZSELB (ZMULMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) x mask) => (ZMULMergingB x y mask)
(ZSELB (ZMULMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) y mask) => (ZMULMergingB y x mask)
(ZSELB (ZMULMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) z mask) => (ZMULMergingPrefixedB z x y mask)
(ZSELB (ZNEGB x (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) z mask) => (ZNEGMergingB z x mask)
(ZSELB (ZORRD x y) x mask) => (ZORRMergingB x y mask)
(ZSELB (ZORRD x y) y mask) => (ZORRMergingB y x mask)
(ZSELB (ZORRD x y) z mask) => (ZORRMergingPrefixedB z x y mask)
(ZSELB (ZSMULHMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) x mask) => (ZSMULHMergingB x y mask)
(ZSELB (ZSMULHMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) y mask) => (ZSMULHMergingB y x mask)
(ZSELB (ZSMULHMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) z mask) => (ZSMULHMergingPrefixedB z x y mask)
(ZSELB (ZSQADDB x y) x mask) => (ZSQADDMergingB x y mask)
(ZSELB (ZSQADDB x y) y mask) => (ZSQADDMergingB y x mask)
(ZSELB (ZSQADDB x y) z mask) => (ZSQADDMergingPrefixedB z x y mask)
(ZSELB (ZSQSUBB x y) x mask) => (ZSQSUBMergingB x y mask)
(ZSELB (ZSUBB x y) x mask) => (ZSUBMergingB x y mask)
(ZSELB (ZUMULHMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) x mask) => (ZUMULHMergingB x y mask)
(ZSELB (ZUMULHMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) y mask) => (ZUMULHMergingB y x mask)
(ZSELB (ZUMULHMergingB x y (Select0 <types.TypeMask> (PWHILELTB (MOVDconst [0]) (MOVDconst [32])))) z mask) => (ZUMULHMergingPrefixedB z x y mask)
(ZSELB (ZUQADDB x y) x mask) => (ZUQADDMergingB x y mask)
(ZSELB (ZUQADDB x y) y mask) => (ZUQADDMergingB y x mask)
(ZSELB (ZUQADDB x y) z mask) => (ZUQADDMergingPrefixedB z x y mask)
(ZSELB (ZUQSUBB x y) x mask) => (ZUQSUBMergingB x y mask)
(ZSELD (ZABSD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) z mask) => (ZABSMergingD z x mask)
(ZSELD (ZADDD x y) x mask) => (ZADDMergingD x y mask)
(ZSELD (ZADDD x y) y mask) => (ZADDMergingD y x mask)
(ZSELD (ZADDD x y) z mask) => (ZADDMergingPrefixedD z x y mask)
(ZSELD (ZANDD x y) x mask) => (ZANDMergingD x y mask)
(ZSELD (ZANDD x y) y mask) => (ZANDMergingD y x mask)
(ZSELD (ZANDD x y) z mask) => (ZANDMergingPrefixedD z x y mask)
(ZSELD (ZBICD x y) x mask) => (ZBICMergingD x y mask)
(ZSELD (ZEORD x y) x mask) => (ZEORMergingD x y mask)
(ZSELD (ZEORD x y) y mask) => (ZEORMergingD y x mask)
(ZSELD (ZEORD x y) z mask) => (ZEORMergingPrefixedD z x y mask)
(ZSELD (ZFABSD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) z mask) => (ZFABSMergingD z x mask)
(ZSELD (ZFADDD x y) x mask) => (ZFADDMergingD x y mask)
(ZSELD (ZFADDD x y) y mask) => (ZFADDMergingD y x mask)
(ZSELD (ZFADDD x y) z mask) => (ZFADDMergingPrefixedD z x y mask)
(ZSELD (ZFMULD x y) x mask) => (ZFMULMergingD x y mask)
(ZSELD (ZFMULD x y) y mask) => (ZFMULMergingD y x mask)
(ZSELD (ZFMULD x y) z mask) => (ZFMULMergingPrefixedD z x y mask)
(ZSELD (ZFNEGD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) z mask) => (ZFNEGMergingD z x mask)
(ZSELD (ZFSQRTD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) z mask) => (ZFSQRTMergingD z x mask)
(ZSELD (ZFSUBD x y) x mask) => (ZFSUBMergingD x y mask)
(ZSELD (ZMULMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) x mask) => (ZMULMergingD x y mask)
(ZSELD (ZMULMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) y mask) => (ZMULMergingD y x mask)
(ZSELD (ZMULMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) z mask) => (ZMULMergingPrefixedD z x y mask)
(ZSELD (ZNEGD x (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) z mask) => (ZNEGMergingD z x mask)
(ZSELD (ZORRD x y) x mask) => (ZORRMergingD x y mask)
(ZSELD (ZORRD x y) y mask) => (ZORRMergingD y x mask)
(ZSELD (ZORRD x y) z mask) => (ZORRMergingPrefixedD z x y mask)
(ZSELD (ZSMULHMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) x mask) => (ZSMULHMergingD x y mask)
(ZSELD (ZSMULHMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) y mask) => (ZSMULHMergingD y x mask)
(ZSELD (ZSMULHMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) z mask) => (ZSMULHMergingPrefixedD z x y mask)
(ZSELD (ZSQADDD x y) x mask) => (ZSQADDMergingD x y mask)
(ZSELD (ZSQADDD x y) y mask) => (ZSQADDMergingD y x mask)
(ZSELD (ZSQADDD x y) z mask) => (ZSQADDMergingPrefixedD z x y mask)
(ZSELD (ZSQSUBD x y) x mask) => (ZSQSUBMergingD x y mask)
(ZSELD (ZSUBD x y) x mask) => (ZSUBMergingD x y mask)
(ZSELD (ZUMULHMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) x mask) => (ZUMULHMergingD x y mask)
(ZSELD (ZUMULHMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) y mask) => (ZUMULHMergingD y x mask)
(ZSELD (ZUMULHMergingD x y (Select0 <types.TypeMask> (PWHILELTD (MOVDconst [0]) (MOVDconst [4])))) z mask) => (ZUMULHMergingPrefixedD z x y mask)
(ZSELD (ZUQADDD x y) x mask) => (ZUQADDMergingD x y mask)
(ZSELD (ZUQADDD x y) y mask) => (ZUQADDMergingD y x mask)
(ZSELD (ZUQADDD x y) z mask) => (ZUQADDMergingPrefixedD z x y mask)
(ZSELD (ZUQSUBD x y) x mask) => (ZUQSUBMergingD x y mask)
(ZSELH (ZABSH x (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) z mask) => (ZABSMergingH z x mask)
(ZSELH (ZADDH x y) x mask) => (ZADDMergingH x y mask)
(ZSELH (ZADDH x y) y mask) => (ZADDMergingH y x mask)
(ZSELH (ZADDH x y) z mask) => (ZADDMergingPrefixedH z x y mask)
(ZSELH (ZANDD x y) x mask) => (ZANDMergingH x y mask)
(ZSELH (ZANDD x y) y mask) => (ZANDMergingH y x mask)
(ZSELH (ZANDD x y) z mask) => (ZANDMergingPrefixedH z x y mask)
(ZSELH (ZBICD x y) x mask) => (ZBICMergingH x y mask)
(ZSELH (ZEORD x y) x mask) => (ZEORMergingH x y mask)
(ZSELH (ZEORD x y) y mask) => (ZEORMergingH y x mask)
(ZSELH (ZEORD x y) z mask) => (ZEORMergingPrefixedH z x y mask)
(ZSELH (ZMULMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) x mask) => (ZMULMergingH x y mask)
(ZSELH (ZMULMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) y mask) => (ZMULMergingH y x mask)
(ZSELH (ZMULMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) z mask) => (ZMULMergingPrefixedH z x y mask)
(ZSELH (ZNEGH x (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) z mask) => (ZNEGMergingH z x mask)
(ZSELH (ZORRD x y) x mask) => (ZORRMergingH x y mask)
(ZSELH (ZORRD x y) y mask) => (ZORRMergingH y x mask)
(ZSELH (ZORRD x y) z mask) => (ZORRMergingPrefixedH z x y mask)
(ZSELH (ZSMULHMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) x mask) => (ZSMULHMergingH x y mask)
(ZSELH (ZSMULHMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) y mask) => (ZSMULHMergingH y x mask)
(ZSELH (ZSMULHMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) z mask) => (ZSMULHMergingPrefixedH z x y mask)
(ZSELH (ZSQADDH x y) x mask) => (ZSQADDMergingH x y mask)
(ZSELH (ZSQADDH x y) y mask) => (ZSQADDMergingH y x mask)
(ZSELH (ZSQADDH x y) z mask) => (ZSQADDMergingPrefixedH z x y mask)
(ZSELH (ZSQSUBH x y) x mask) => (ZSQSUBMergingH x y mask)
(ZSELH (ZSUBH x y) x mask) => (ZSUBMergingH x y mask)
(ZSELH (ZUMULHMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) x mask) => (ZUMULHMergingH x y mask)
(ZSELH (ZUMULHMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) y mask) => (ZUMULHMergingH y x mask)
(ZSELH (ZUMULHMergingH x y (Select0 <types.TypeMask> (PWHILELTH (MOVDconst [0]) (MOVDconst [16])))) z mask) => (ZUMULHMergingPrefixedH z x y mask)
(ZSELH (ZUQADDH x y) x mask) => (ZUQADDMergingH x y mask)
(ZSELH (ZUQADDH x y) y mask) => (ZUQADDMergingH y x mask)
(ZSELH (ZUQADDH x y) z mask) => (ZUQADDMergingPrefixedH z x y mask)
(ZSELH (ZUQSUBH x y) x mask) => (ZUQSUBMergingH x y mask)
(ZSELS (ZABSS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) z mask) => (ZABSMergingS z x mask)
(ZSELS (ZADDS x y) x mask) => (ZADDMergingS x y mask)
(ZSELS (ZADDS x y) y mask) => (ZADDMergingS y x mask)
(ZSELS (ZADDS x y) z mask) => (ZADDMergingPrefixedS z x y mask)
(ZSELS (ZANDD x y) x mask) => (ZANDMergingS x y mask)
(ZSELS (ZANDD x y) y mask) => (ZANDMergingS y x mask)
(ZSELS (ZANDD x y) z mask) => (ZANDMergingPrefixedS z x y mask)
(ZSELS (ZBICD x y) x mask) => (ZBICMergingS x y mask)
(ZSELS (ZEORD x y) x mask) => (ZEORMergingS x y mask)
(ZSELS (ZEORD x y) y mask) => (ZEORMergingS y x mask)
(ZSELS (ZEORD x y) z mask) => (ZEORMergingPrefixedS z x y mask)
(ZSELS (ZFABSS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) z mask) => (ZFABSMergingS z x mask)
(ZSELS (ZFADDS x y) x mask) => (ZFADDMergingS x y mask)
(ZSELS (ZFADDS x y) y mask) => (ZFADDMergingS y x mask)
(ZSELS (ZFADDS x y) z mask) => (ZFADDMergingPrefixedS z x y mask)
(ZSELS (ZFMULS x y) x mask) => (ZFMULMergingS x y mask)
(ZSELS (ZFMULS x y) y mask) => (ZFMULMergingS y x mask)
(ZSELS (ZFMULS x y) z mask) => (ZFMULMergingPrefixedS z x y mask)
(ZSELS (ZFNEGS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) z mask) => (ZFNEGMergingS z x mask)
(ZSELS (ZFSQRTS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) z mask) => (ZFSQRTMergingS z x mask)
(ZSELS (ZFSUBS x y) x mask) => (ZFSUBMergingS x y mask)
(ZSELS (ZMULMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) x mask) => (ZMULMergingS x y mask)
(ZSELS (ZMULMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) y mask) => (ZMULMergingS y x mask)
(ZSELS (ZMULMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) z mask) => (ZMULMergingPrefixedS z x y mask)
(ZSELS (ZNEGS x (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) z mask) => (ZNEGMergingS z x mask)
(ZSELS (ZORRD x y) x mask) => (ZORRMergingS x y mask)
(ZSELS (ZORRD x y) y mask) => (ZORRMergingS y x mask)
(ZSELS (ZORRD x y) z mask) => (ZORRMergingPrefixedS z x y mask)
(ZSELS (ZSMULHMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) x mask) => (ZSMULHMergingS x y mask)
(ZSELS (ZSMULHMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) y mask) => (ZSMULHMergingS y x mask)
(ZSELS (ZSMULHMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) z mask) => (ZSMULHMergingPrefixedS z x y mask)
(ZSELS (ZSQADDS x y) x mask) => (ZSQADDMergingS x y mask)
(ZSELS (ZSQADDS x y) y mask) => (ZSQADDMergingS y x mask)
(ZSELS (ZSQADDS x y) z mask) => (ZSQADDMergingPrefixedS z x y mask)
(ZSELS (ZSQSUBS x y) x mask) => (ZSQSUBMergingS x y mask)
(ZSELS (ZSUBS x y) x mask) => (ZSUBMergingS x y mask)
(ZSELS (ZUMULHMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) x mask) => (ZUMULHMergingS x y mask)
(ZSELS (ZUMULHMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) y mask) => (ZUMULHMergingS y x mask)
(ZSELS (ZUMULHMergingS x y (Select0 <types.TypeMask> (PWHILELTS (MOVDconst [0]) (MOVDconst [8])))) z mask) => (ZUMULHMergingPrefixedS z x y mask)
(ZSELS (ZUQADDS x y) x mask) => (ZUQADDMergingS x y mask)
(ZSELS (ZUQADDS x y) y mask) => (ZUQADDMergingS y x mask)
(ZSELS (ZUQADDS x y) z mask) => (ZUQADDMergingPrefixedS z x y mask)
(ZSELS (ZUQSUBS x y) x mask) => (ZUQSUBMergingS x y mask)