NOP:       true,
	NOT:       true,
	OR:        true,
	OUT:       true,
	POP:       true,
	POPA:      true,
	POPCNT:    true,
	PUSH:      true,
	PUSHA:     true,
	RCL:       true,
	RCR:       true,
	ROL:       true,
	ROR:       true,
	SAR:       true,
	SBB:       true,
	SHL:       true,
	SHLD:      true,
	SHR:       true,
	SHRD:      true,
	SUB:       true,
	TEST:      true,

	/*11055*/ uint16(xSetOp), uint16(RCR),
	/*11057*/ uint16(xArgRM16),
	/*11058*/ uint16(xArg1),
	/*11059*/ uint16(xMatch),
	/*11060*/ uint16(xSetOp), uint16(RCR),
	/*11062*/ uint16(xArgRM32),
	/*11063*/ uint16(xArg1),
	/*11064*/ uint16(xMatch),
	/*11065*/ uint16(xCondDataSize), 11055, 11060, 11069,
	/*11069*/ uint16(xSetOp), uint16(RCR),
	/*11071*/ uint16(xArgRM64),
	/*11072*/ uint16(xArg1),

SuffixLoop:
	for i, a := range inst.Args {
		if a == nil {
			break
		}
		switch a := a.(type) {
		case Reg:
			switch inst.Op {
			case MOVSX, MOVZX:
				continue

			case SHL, SHR, RCL, RCR, ROL, ROR, SAR:
				if i == 1 {
					// shift count does not tell us operand size
					continue
				}

			case CRC32:
				// The source argument does tell us operand size,