opset(ASTVEWX, r0)
			opset(ASTVX, r0)
			opset(ASTVXL, r0)

		case AVAND: /* vand, vandc, vnand */
			opset(AVAND, r0)
			opset(AVANDC, r0)
			opset(AVNAND, r0)

		case AVMRGOW: /* vmrgew, vmrgow */
			opset(AVMRGEW, r0)

		case AVOR: /* vor, vorc, vxor, vnor, veqv */
			opset(AVOR, r0)
			opset(AVORC, r0)
			opset(AVXOR, r0)
			opset(AVNOR, r0)
			opset(AVEQV, r0)

ACjB3R,SAAU,CACTljB,IAAK,SAAUohB,GACd,IAAIrR,EAIJ,OAA6B,IAAxBqR,EAAM1gB,KAAK9C,UACa,MAA5BwjB,EAAM1gB,KAAM0gB,EAAMlC,OAAoD,MAAlCkC,EAAM1gB,KAAKqgB,MAAOK,EAAMlC,MACrDkC,EAAM1gB,KAAM0gB,EAAMlC,OAO1BnP,EAAS1Q,EAAO4hB,IAAKG,EAAM1gB,KAAM0gB,EAAMlC,KAAM,MAGhB,SAAXnP,EAAwBA,EAAJ,GAEvCiP,IAAK,SAAUoC,GAKT/hB,EAAO+1B,GAAGD,KAAM/T,EAAMlC,MAC1B7f,EAAO+1B,GAAGD,KAAM/T,EAAMlC,MAAQkC,GACK,IAAxBA,EAAM1gB,KAAK9C,WACtByB,EAAOszB,SAAUvR,EAAMlC,OAC6B,MAAnDkC,EAAM1gB,KAAKqgB,MAAO+P,GAAe1P,EAAMlC,OAGxCkC,EAAM1gB,KAAM0...

			opset(AVMXLG, r)
			opset(AVMNB, r)
			opset(AVMNH, r)
			opset(AVMNF, r)
			opset(AVMNG, r)
			opset(AVMNLB, r)
			opset(AVMNLH, r)
			opset(AVMNLF, r)
			opset(AVMNLG, r)
			opset(AVMRHB, r)
			opset(AVMRHH, r)
			opset(AVMRHF, r)
			opset(AVMRHG, r)
			opset(AVMRLB, r)
			opset(AVMRLH, r)
			opset(AVMRLF, r)
			opset(AVMRLG, r)
			opset(AVMEB, r)
			opset(AVMEH, r)