golang.org/x/arch@v0.17.0/x86/x86avxgen/avxgen_test.go

// Copyright 2018 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package main

import (
	"bytes"
	"io/ioutil"
	"path/filepath"
	"regexp"
	"strings"
	"sync"
	"testing"

	"golang.org/x/arch/x86/xeddata"
)

func newTestContext(t testing.TB) *context {
	ctx := &context{xedPath: filepath.Join("testdata", "xedpath")}
	db, err := xeddata.NewDatabase(ctx.xedPath)
	if err != nil {
		t.Fatalf("open test database: %v", err)
	}
	ctx.db = db
	return ctx
}

func newStringSet(keys ...string) map[string]bool {
	set := make(map[string]bool)
	for _, k := range keys {
		set[k] = true
	}
	return set
}

func generateToString(t *testing.T) string {
	ctx := newTestContext(t)
	buildTables(ctx)
	var buf bytes.Buffer
	writeTables(&buf, ctx)
	return buf.String()
}

func TestOutput(t *testing.T) {
	// Ytab lists and optabs output checks.
	//
	// These tests are very fragile.
	// Slight changes can invalidate them.
	// It is better to keep testCases count at the minimum.

	type testCase struct {
		opcode     string
		ytabs      string
		optabLines string
	}
	var testCases []testCase
	{
		opcodeRE := regexp.MustCompile(`as: ([A-Z][A-Z0-9]*)`)
		data, err := ioutil.ReadFile(filepath.Join("testdata", "golden.txt"))
		if err != nil {
			t.Fatalf("read golden file: %v", err)
		}
		for _, entry := range bytes.Split(data, []byte("======")) {
			parts := bytes.Split(entry, []byte("----"))
			ytabs := parts[0]
			optabLines := parts[1]
			opcode := opcodeRE.FindSubmatch(optabLines)[1]
			testCases = append(testCases, testCase{
				ytabs:      strings.TrimSpace(string(ytabs)),
				optabLines: strings.TrimSpace(string(optabLines)),
				opcode:     string(opcode)[len("A"):],
			})
		}
	}

	output := generateToString(t)
	for _, tc := range testCases {
		if !strings.Contains(output, tc.ytabs) {
			t.Errorf("%s: ytabs not matched", tc.opcode)
		}
		if !strings.Contains(output, tc.optabLines) {
			t.Errorf("%s: optab lines not matched", tc.opcode)
		}
	}
}

func TestOutputStability(t *testing.T) {
	// Generate output count+1 times and check that every time
	// it is exactly the same string.
	//
	// The output should be deterministic to avoid unwanted diffs
	// between each code generation.
	const count = 8

	want := generateToString(t)
	var wg sync.WaitGroup
	for i := 0; i < count; i++ {
		wg.Add(1)
		go func(i int) {
			if want != generateToString(t) {
				t.Errorf("output #%d mismatches", i)
			}
			wg.Done()
		}(i)
	}
	wg.Wait()
}

func TestOpcodeCoverage(t *testing.T) {
	// Check that generator produces all expected opcodes from testdata files.
	// All opcodes are in Go syntax.

	// VEX/EVEX opcodes collected from XED-based x86.csv.
	expectedOpcodes := newStringSet(
		"ANDNL",
		"ANDNQ",
		"BEXTRL",
		"BEXTRQ",
		"BLSIL",
		"BLSIQ",
		"BLSMSKL",
		"BLSMSKQ",
		"BLSRL",
		"BLSRQ",
		"BZHIL",
		"BZHIQ",
		"KADDB",
		"KADDD",
		"KADDQ",
		"KADDW",
		"KANDB",
		"KANDD",
		"KANDNB",
		"KANDND",
		"KANDNQ",
		"KANDNW",
		"KANDQ",
		"KANDW",
		"KMOVB",
		"KMOVD",
		"KMOVQ",
		"KMOVW",
		"KNOTB",
		"KNOTD",
		"KNOTQ",
		"KNOTW",
		"KORB",
		"KORD",
		"KORQ",
		"KORTESTB",
		"KORTESTD",
		"KORTESTQ",
		"KORTESTW",
		"KORW",
		"KSHIFTLB",
		"KSHIFTLD",
		"KSHIFTLQ",
		"KSHIFTLW",
		"KSHIFTRB",
		"KSHIFTRD",
		"KSHIFTRQ",
		"KSHIFTRW",
		"KTESTB",
		"KTESTD",
		"KTESTQ",
		"KTESTW",
		"KUNPCKBW",
		"KUNPCKDQ",
		"KUNPCKWD",
		"KXNORB",
		"KXNORD",
		"KXNORQ",
		"KXNORW",
		"KXORB",
		"KXORD",
		"KXORQ",
		"KXORW",
		"MULXL",
		"MULXQ",
		"PDEPL",
		"PDEPQ",
		"PEXTL",
		"PEXTQ",
		"RORXL",
		"RORXQ",
		"SARXL",
		"SARXQ",
		"SHLXL",
		"SHLXQ",
		"SHRXL",
		"SHRXQ",
		"V4FMADDPS",
		"V4FMADDSS",
		"V4FNMADDPS",
		"V4FNMADDSS",
		"VADDPD",
		"VADDPS",
		"VADDSD",
		"VADDSS",
		"VADDSUBPD",
		"VADDSUBPS",
		"VAESDEC",
		"VAESDECLAST",
		"VAESENC",
		"VAESENCLAST",
		"VAESIMC",
		"VAESKEYGENASSIST",
		"VALIGND",
		"VALIGNQ",
		"VANDNPD",
		"VANDNPS",
		"VANDPD",
		"VANDPS",
		"VBLENDMPD",
		"VBLENDMPS",
		"VBLENDPD",
		"VBLENDPS",
		"VBLENDVPD",
		"VBLENDVPS",
		"VBROADCASTF128",
		"VBROADCASTF32X2",
		"VBROADCASTF32X4",
		"VBROADCASTF32X8",
		"VBROADCASTF64X2",
		"VBROADCASTF64X4",
		"VBROADCASTI128",
		"VBROADCASTI32X2",
		"VBROADCASTI32X4",
		"VBROADCASTI32X8",
		"VBROADCASTI64X2",
		"VBROADCASTI64X4",
		"VBROADCASTSD",
		"VBROADCASTSS",
		"VCMPPD",
		"VCMPPS",
		"VCMPSD",
		"VCMPSS",
		"VCOMISD",
		"VCOMISS",
		"VCOMPRESSPD",
		"VCOMPRESSPS",
		"VCVTDQ2PD",
		"VCVTDQ2PS",
		"VCVTPD2DQ",
		"VCVTPD2DQX",
		"VCVTPD2DQY",
		"VCVTPD2PS",
		"VCVTPD2PSX",
		"VCVTPD2PSY",
		"VCVTPD2QQ",
		"VCVTPD2UDQ",
		"VCVTPD2UDQX",
		"VCVTPD2UDQY",
		"VCVTPD2UQQ",
		"VCVTPH2PS",
		"VCVTPS2DQ",
		"VCVTPS2PD",
		"VCVTPS2PH",
		"VCVTPS2QQ",
		"VCVTPS2UDQ",
		"VCVTPS2UQQ",
		"VCVTQQ2PD",
		"VCVTQQ2PS",
		"VCVTQQ2PSX",
		"VCVTQQ2PSY",
		"VCVTSD2SI",
		"VCVTSD2SIQ",
		"VCVTSD2SS",
		"VCVTSD2USIL",
		"VCVTSD2USIQ",
		"VCVTSI2SDL",
		"VCVTSI2SDQ",
		"VCVTSI2SSL",
		"VCVTSI2SSQ",
		"VCVTSS2SD",
		"VCVTSS2SI",
		"VCVTSS2SIQ",
		"VCVTSS2USIL",
		"VCVTSS2USIQ",
		"VCVTTPD2DQ",
		"VCVTTPD2DQX",
		"VCVTTPD2DQY",
		"VCVTTPD2QQ",
		"VCVTTPD2UDQ",
		"VCVTTPD2UDQX",
		"VCVTTPD2UDQY",
		"VCVTTPD2UQQ",
		"VCVTTPS2DQ",
		"VCVTTPS2QQ",
		"VCVTTPS2UDQ",
		"VCVTTPS2UQQ",
		"VCVTTSD2SI",
		"VCVTTSD2SIQ",
		"VCVTTSD2USIL",
		"VCVTTSD2USIQ",
		"VCVTTSS2SI",
		"VCVTTSS2SIQ",
		"VCVTTSS2USIL",
		"VCVTTSS2USIQ",
		"VCVTUDQ2PD",
		"VCVTUDQ2PS",
		"VCVTUQQ2PD",
		"VCVTUQQ2PS",
		"VCVTUQQ2PSX",
		"VCVTUQQ2PSY",
		"VCVTUSI2SDL",
		"VCVTUSI2SDQ",
		"VCVTUSI2SSL",
		"VCVTUSI2SSQ",
		"VDBPSADBW",
		"VDIVPD",
		"VDIVPS",
		"VDIVSD",
		"VDIVSS",
		"VDPPD",
		"VDPPS",
		"VEXP2PD",
		"VEXP2PS",
		"VEXPANDPD",
		"VEXPANDPS",
		"VEXTRACTF128",
		"VEXTRACTF32X4",
		"VEXTRACTF32X8",
		"VEXTRACTF64X2",
		"VEXTRACTF64X4",
		"VEXTRACTI128",
		"VEXTRACTI32X4",
		"VEXTRACTI32X8",
		"VEXTRACTI64X2",
		"VEXTRACTI64X4",
		"VEXTRACTPS",
		"VFIXUPIMMPD",
		"VFIXUPIMMPS",
		"VFIXUPIMMSD",
		"VFIXUPIMMSS",
		"VFMADD132PD",
		"VFMADD132PS",
		"VFMADD132SD",
		"VFMADD132SS",
		"VFMADD213PD",
		"VFMADD213PS",
		"VFMADD213SD",
		"VFMADD213SS",
		"VFMADD231PD",
		"VFMADD231PS",
		"VFMADD231SD",
		"VFMADD231SS",
		"VFMADDPD",
		"VFMADDPS",
		"VFMADDSD",
		"VFMADDSS",
		"VFMADDSUB132PD",
		"VFMADDSUB132PS",
		"VFMADDSUB213PD",
		"VFMADDSUB213PS",
		"VFMADDSUB231PD",
		"VFMADDSUB231PS",
		"VFMADDSUBPD",
		"VFMADDSUBPS",
		"VFMSUB132PD",
		"VFMSUB132PS",
		"VFMSUB132SD",
		"VFMSUB132SS",
		"VFMSUB213PD",
		"VFMSUB213PS",
		"VFMSUB213SD",
		"VFMSUB213SS",
		"VFMSUB231PD",
		"VFMSUB231PS",
		"VFMSUB231SD",
		"VFMSUB231SS",
		"VFMSUBADD132PD",
		"VFMSUBADD132PS",
		"VFMSUBADD213PD",
		"VFMSUBADD213PS",
		"VFMSUBADD231PD",
		"VFMSUBADD231PS",
		"VFMSUBADDPD",
		"VFMSUBADDPS",
		"VFMSUBPD",
		"VFMSUBPS",
		"VFMSUBSD",
		"VFMSUBSS",
		"VFNMADD132PD",
		"VFNMADD132PS",
		"VFNMADD132SD",
		"VFNMADD132SS",
		"VFNMADD213PD",
		"VFNMADD213PS",
		"VFNMADD213SD",
		"VFNMADD213SS",
		"VFNMADD231PD",
		"VFNMADD231PS",
		"VFNMADD231SD",
		"VFNMADD231SS",
		"VFNMADDPD",
		"VFNMADDPS",
		"VFNMADDSD",
		"VFNMADDSS",
		"VFNMSUB132PD",
		"VFNMSUB132PS",
		"VFNMSUB132SD",
		"VFNMSUB132SS",
		"VFNMSUB213PD",
		"VFNMSUB213PS",
		"VFNMSUB213SD",
		"VFNMSUB213SS",
		"VFNMSUB231PD",
		"VFNMSUB231PS",
		"VFNMSUB231SD",
		"VFNMSUB231SS",
		"VFNMSUBPD",
		"VFNMSUBPS",
		"VFNMSUBSD",
		"VFNMSUBSS",
		"VFPCLASSPDX",
		"VFPCLASSPDY",
		"VFPCLASSPDZ",
		"VFPCLASSPSX",
		"VFPCLASSPSY",
		"VFPCLASSPSZ",
		"VFPCLASSSD",
		"VFPCLASSSS",
		"VGATHERDPD",
		"VGATHERDPS",
		"VGATHERPF0DPD",
		"VGATHERPF0DPS",
		"VGATHERPF0QPD",
		"VGATHERPF0QPS",
		"VGATHERPF1DPD",
		"VGATHERPF1DPS",
		"VGATHERPF1QPD",
		"VGATHERPF1QPS",
		"VGATHERQPD",
		"VGATHERQPS",
		"VGETEXPPD",
		"VGETEXPPS",
		"VGETEXPSD",
		"VGETEXPSS",
		"VGETMANTPD",
		"VGETMANTPS",
		"VGETMANTSD",
		"VGETMANTSS",
		"VGF2P8AFFINEINVQB",
		"VGF2P8AFFINEQB",
		"VGF2P8MULB",
		"VHADDPD",
		"VHADDPS",
		"VHSUBPD",
		"VHSUBPS",
		"VINSERTF128",
		"VINSERTF32X4",
		"VINSERTF32X8",
		"VINSERTF64X2",
		"VINSERTF64X4",
		"VINSERTI128",
		"VINSERTI32X4",
		"VINSERTI32X8",
		"VINSERTI64X2",
		"VINSERTI64X4",
		"VINSERTPS",
		"VLDDQU",
		"VLDMXCSR",
		"VMASKMOVDQU",
		"VMASKMOVPD",
		"VMASKMOVPS",
		"VMAXPD",
		"VMAXPS",
		"VMAXSD",
		"VMAXSS",
		"VMINPD",
		"VMINPS",
		"VMINSD",
		"VMINSS",
		"VMOVAPD",
		"VMOVAPS",
		"VMOVD",
		"VMOVDDUP",
		"VMOVDQA",
		"VMOVDQA32",
		"VMOVDQA64",
		"VMOVDQU",
		"VMOVDQU16",
		"VMOVDQU32",
		"VMOVDQU64",
		"VMOVDQU8",
		"VMOVHLPS",
		"VMOVHPD",
		"VMOVHPS",
		"VMOVLHPS",
		"VMOVLPD",
		"VMOVLPS",
		"VMOVMSKPD",
		"VMOVMSKPS",
		"VMOVNTDQ",
		"VMOVNTDQA",
		"VMOVNTPD",
		"VMOVNTPS",
		"VMOVQ",
		"VMOVSD",
		"VMOVSHDUP",
		"VMOVSLDUP",
		"VMOVSS",
		"VMOVUPD",
		"VMOVUPS",
		"VMPSADBW",
		"VMULPD",
		"VMULPS",
		"VMULSD",
		"VMULSS",
		"VORPD",
		"VORPS",
		"VP4DPWSSD",
		"VP4DPWSSDS",
		"VPABSB",
		"VPABSD",
		"VPABSQ",
		"VPABSW",
		"VPACKSSDW",
		"VPACKSSWB",
		"VPACKUSDW",
		"VPACKUSWB",
		"VPADDB",
		"VPADDD",
		"VPADDQ",
		"VPADDSB",
		"VPADDSW",
		"VPADDUSB",
		"VPADDUSW",
		"VPADDW",
		"VPALIGNR",
		"VPAND",
		"VPANDD",
		"VPANDN",
		"VPANDND",
		"VPANDNQ",
		"VPANDQ",
		"VPAVGB",
		"VPAVGW",
		"VPBLENDD",
		"VPBLENDMB",
		"VPBLENDMD",
		"VPBLENDMQ",
		"VPBLENDMW",
		"VPBLENDVB",
		"VPBLENDW",
		"VPBROADCASTB",
		"VPBROADCASTD",
		"VPBROADCASTMB2Q",
		"VPBROADCASTMW2D",
		"VPBROADCASTQ",
		"VPBROADCASTW",
		"VPCLMULQDQ",
		"VPCMPB",
		"VPCMPD",
		"VPCMPEQB",
		"VPCMPEQD",
		"VPCMPEQQ",
		"VPCMPEQW",
		"VPCMPESTRI",
		"VPCMPESTRM",
		"VPCMPGTB",
		"VPCMPGTD",
		"VPCMPGTQ",
		"VPCMPGTW",
		"VPCMPISTRI",
		"VPCMPISTRM",
		"VPCMPQ",
		"VPCMPUB",
		"VPCMPUD",
		"VPCMPUQ",
		"VPCMPUW",
		"VPCMPW",
		"VPCOMPRESSB",
		"VPCOMPRESSD",
		"VPCOMPRESSQ",
		"VPCOMPRESSW",
		"VPCONFLICTD",
		"VPCONFLICTQ",
		"VPDPBUSD",
		"VPDPBUSDS",
		"VPDPWSSD",
		"VPDPWSSDS",
		"VPERM2F128",
		"VPERM2I128",
		"VPERMB",
		"VPERMD",
		"VPERMI2B",
		"VPERMI2D",
		"VPERMI2PD",
		"VPERMI2PS",
		"VPERMI2Q",
		"VPERMI2W",
		"VPERMIL2PD",
		"VPERMIL2PS",
		"VPERMILPD",
		"VPERMILPS",
		"VPERMPD",
		"VPERMPS",
		"VPERMQ",
		"VPERMT2B",
		"VPERMT2D",
		"VPERMT2PD",
		"VPERMT2PS",
		"VPERMT2Q",
		"VPERMT2W",
		"VPERMW",
		"VPEXPANDB",
		"VPEXPANDD",
		"VPEXPANDQ",
		"VPEXPANDW",
		"VPEXTRB",
		"VPEXTRD",
		"VPEXTRQ",
		"VPEXTRW",
		"VPGATHERDD",
		"VPGATHERDQ",
		"VPGATHERQD",
		"VPGATHERQQ",
		"VPHADDD",
		"VPHADDSW",
		"VPHADDW",
		"VPHMINPOSUW",
		"VPHSUBD",
		"VPHSUBSW",
		"VPHSUBW",
		"VPINSRB",
		"VPINSRD",
		"VPINSRQ",
		"VPINSRW",
		"VPLZCNTD",
		"VPLZCNTQ",
		"VPMADD52HUQ",
		"VPMADD52LUQ",
		"VPMADDUBSW",
		"VPMADDWD",
		"VPMASKMOVD",
		"VPMASKMOVQ",
		"VPMAXSB",
		"VPMAXSD",
		"VPMAXSQ",
		"VPMAXSW",
		"VPMAXUB",
		"VPMAXUD",
		"VPMAXUQ",
		"VPMAXUW",
		"VPMINSB",
		"VPMINSD",
		"VPMINSQ",
		"VPMINSW",
		"VPMINUB",
		"VPMINUD",
		"VPMINUQ",
		"VPMINUW",
		"VPMOVB2M",
		"VPMOVD2M",
		"VPMOVDB",
		"VPMOVDW",
		"VPMOVM2B",
		"VPMOVM2D",
		"VPMOVM2Q",
		"VPMOVM2W",
		"VPMOVMSKB",
		"VPMOVQ2M",
		"VPMOVQB",
		"VPMOVQD",
		"VPMOVQW",
		"VPMOVSDB",
		"VPMOVSDW",
		"VPMOVSQB",
		"VPMOVSQD",
		"VPMOVSQW",
		"VPMOVSWB",
		"VPMOVSXBD",
		"VPMOVSXBQ",
		"VPMOVSXBW",
		"VPMOVSXDQ",
		"VPMOVSXWD",
		"VPMOVSXWQ",
		"VPMOVUSDB",
		"VPMOVUSDW",
		"VPMOVUSQB",
		"VPMOVUSQD",
		"VPMOVUSQW",
		"VPMOVUSWB",
		"VPMOVW2M",
		"VPMOVWB",
		"VPMOVZXBD",
		"VPMOVZXBQ",
		"VPMOVZXBW",
		"VPMOVZXDQ",
		"VPMOVZXWD",
		"VPMOVZXWQ",
		"VPMULDQ",
		"VPMULHRSW",
		"VPMULHUW",
		"VPMULHW",
		"VPMULLD",
		"VPMULLQ",
		"VPMULLW",
		"VPMULTISHIFTQB",
		"VPMULUDQ",
		"VPOPCNTB",
		"VPOPCNTD",
		"VPOPCNTQ",
		"VPOPCNTW",
		"VPOR",
		"VPORD",
		"VPORQ",
		"VPROLD",
		"VPROLQ",
		"VPROLVD",
		"VPROLVQ",
		"VPRORD",
		"VPRORQ",
		"VPRORVD",
		"VPRORVQ",
		"VPSADBW",
		"VPSCATTERDD",
		"VPSCATTERDQ",
		"VPSCATTERQD",
		"VPSCATTERQQ",
		"VPSHLDD",
		"VPSHLDQ",
		"VPSHLDVD",
		"VPSHLDVQ",
		"VPSHLDVW",
		"VPSHLDW",
		"VPSHRDD",
		"VPSHRDQ",
		"VPSHRDVD",
		"VPSHRDVQ",
		"VPSHRDVW",
		"VPSHRDW",
		"VPSHUFB",
		"VPSHUFBITQMB",
		"VPSHUFD",
		"VPSHUFHW",
		"VPSHUFLW",
		"VPSIGNB",
		"VPSIGND",
		"VPSIGNW",
		"VPSLLD",
		"VPSLLDQ",
		"VPSLLQ",
		"VPSLLVD",
		"VPSLLVQ",
		"VPSLLVW",
		"VPSLLW",
		"VPSRAD",
		"VPSRAQ",
		"VPSRAVD",
		"VPSRAVQ",
		"VPSRAVW",
		"VPSRAW",
		"VPSRLD",
		"VPSRLDQ",
		"VPSRLQ",
		"VPSRLVD",
		"VPSRLVQ",
		"VPSRLVW",
		"VPSRLW",
		"VPSUBB",
		"VPSUBD",
		"VPSUBQ",
		"VPSUBSB",
		"VPSUBSW",
		"VPSUBUSB",
		"VPSUBUSW",
		"VPSUBW",
		"VPTERNLOGD",
		"VPTERNLOGQ",
		"VPTEST",
		"VPTESTMB",
		"VPTESTMD",
		"VPTESTMQ",
		"VPTESTMW",
		"VPTESTNMB",
		"VPTESTNMD",
		"VPTESTNMQ",
		"VPTESTNMW",
		"VPUNPCKHBW",
		"VPUNPCKHDQ",
		"VPUNPCKHQDQ",
		"VPUNPCKHWD",
		"VPUNPCKLBW",
		"VPUNPCKLDQ",
		"VPUNPCKLQDQ",
		"VPUNPCKLWD",
		"VPXOR",
		"VPXORD",
		"VPXORQ",
		"VRANGEPD",
		"VRANGEPS",
		"VRANGESD",
		"VRANGESS",
		"VRCP14PD",
		"VRCP14PS",
		"VRCP14SD",
		"VRCP14SS",
		"VRCP28PD",
		"VRCP28PS",
		"VRCP28SD",
		"VRCP28SS",
		"VRCPPS",
		"VRCPSS",
		"VREDUCEPD",
		"VREDUCEPS",
		"VREDUCESD",
		"VREDUCESS",
		"VRNDSCALEPD",
		"VRNDSCALEPS",
		"VRNDSCALESD",
		"VRNDSCALESS",
		"VROUNDPD",
		"VROUNDPS",
		"VROUNDSD",
		"VROUNDSS",
		"VRSQRT14PD",
		"VRSQRT14PS",
		"VRSQRT14SD",
		"VRSQRT14SS",
		"VRSQRT28PD",
		"VRSQRT28PS",
		"VRSQRT28SD",
		"VRSQRT28SS",
		"VRSQRTPS",
		"VRSQRTSS",
		"VSCALEFPD",
		"VSCALEFPS",
		"VSCALEFSD",
		"VSCALEFSS",
		"VSCATTERDPD",
		"VSCATTERDPS",
		"VSCATTERPF0DPD",
		"VSCATTERPF0DPS",
		"VSCATTERPF0QPD",
		"VSCATTERPF0QPS",
		"VSCATTERPF1DPD",
		"VSCATTERPF1DPS",
		"VSCATTERPF1QPD",
		"VSCATTERPF1QPS",
		"VSCATTERQPD",
		"VSCATTERQPS",
		"VSHUFF32X4",
		"VSHUFF64X2",
		"VSHUFI32X4",
		"VSHUFI64X2",
		"VSHUFPD",
		"VSHUFPS",
		"VSQRTPD",
		"VSQRTPS",
		"VSQRTSD",
		"VSQRTSS",
		"VSTMXCSR",
		"VSUBPD",
		"VSUBPS",
		"VSUBSD",
		"VSUBSS",
		"VTESTPD",
		"VTESTPS",
		"VUCOMISD",
		"VUCOMISS",
		"VUNPCKHPD",
		"VUNPCKHPS",
		"VUNPCKLPD",
		"VUNPCKLPS",
		"VXORPD",
		"VXORPS",
		"VZEROALL",
		"VZEROUPPER")

	// AMD-specific VEX opcodes.
	// Excluded from x86avxgen output for now.
	amdOpcodes := newStringSet(
		"VFMADDPD",
		"VFMADDPS",
		"VFMADDSD",
		"VFMADDSS",
		"VFMADDSUBPD",
		"VFMADDSUBPS",
		"VFMSUBADDPD",
		"VFMSUBADDPS",
		"VFMSUBPD",
		"VFMSUBPS",
		"VFMSUBSD",
		"VFMSUBSS",
		"VFNMADDPD",
		"VFNMADDPS",
		"VFNMADDSD",
		"VFNMADDSS",
		"VFNMSUBPD",
		"VFNMSUBPS",
		"VFNMSUBSD",
		"VFNMSUBSS",
		"VPERMIL2PD",
		"VPERMIL2PS")

	ctx := newTestContext(t)
	buildTables(ctx)

	for op := range amdOpcodes {
		delete(expectedOpcodes, op)
	}
	for op := range ctx.optabs {
		delete(expectedOpcodes, op)
	}

	for op := range expectedOpcodes {
		t.Errorf("missing opcode: %s", op)
	}
}