for _, yt := range o.ytab {
		// ytab matching is purely args-based,
		// but AVX512 suffixes like "Z" or "RU_SAE" will
		// add EVEX-only filter that will reject non-EVEX matches.
		//
		// Consider "VADDPD.BCST 2032(DX), X0, X0".
		// Without this rule, operands will lead to VEX-encoded form
		// and produce "c5b15813" encoding.
		if !yt.match(args) {
			// "xo" is always zero for VEX/EVEX encoded insts.

HeapAlloc dt=28 heapalloc_value=196540880
HeapAlloc dt=22 heapalloc_value=196549072
HeapAlloc dt=26 heapalloc_value=196557264
HeapAlloc dt=38 heapalloc_value=196565456
HeapAlloc dt=51 heapalloc_value=196573648
GoStop dt=3032 reason_string=16 stack=19
GoStart dt=10 g=117 g_seq=5
GCMarkAssistBegin dt=16 stack=3
GoBlock dt=51 reason_string=10 stack=18
ProcStop dt=29
ProcStart dt=9381 p=4 p_seq=2
GoStart dt=190 g=105 g_seq=16

			} else if p.Pool.To.Offset < 0 {
				w = 2 /* 32-bit, sign-extended to 64-bit */
			} else if p.Pool.To.Offset >= 0 {
				w = 0 /* 32-bit, zero-extended to 64-bit */
			} else {
				c.ctxt.Diag("invalid operand %v in %v", a, p)
			}

		case AMOVBU, AMOVHU, AMOVWU:
			w = 0 /* 32-bit, zero-extended to 64-bit */

		case AMOVB, AMOVH, AMOVW:
			w = 2 /* 32-bit, sign-extended to 64-bit */

		default: