VMAXFP:         "vmaxfp",
	VMAXSB:         "vmaxsb",
	VMAXSH:         "vmaxsh",
	VMAXSW:         "vmaxsw",
	VMAXUB:         "vmaxub",
	VMAXUH:         "vmaxuh",
	VMAXUW:         "vmaxuw",
	VMHADDSHS:      "vmhaddshs",
	VMHRADDSHS:     "vmhraddshs",
	VMINFP:         "vminfp",
	VMINSB:         "vminsb",
	VMINSH:         "vminsh",
	VMINSW:         "vminsw",
	VMINUB:         "vminub",

}

func Float32Min(a, b float32) float32 {
	// amd64:"MINSS"
	// arm64:"FMINS"
	// riscv64:"FMINS"
	// ppc64/power9:"XSMINJDP"
	// ppc64/power10:"XSMINJDP"
	return min(a, b)
}

func Float32Max(a, b float32) float32 {
	// amd64:"MINSS"
	// arm64:"FMAXS"
	// riscv64:"FMAXS"
	// ppc64/power9:"XSMAXJDP"
	// ppc64/power10:"XSMAXJDP"
	return max(a, b)
}

// ------------------------ //

	"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",

	VMINPD Z14, Z0, K1, Z14                            // 6251fd495df6
	VMINPD Z7, Z0, K1, Z14                             // 6271fd495df7
	VMINPD Z1, Z22, K2, Z8                             // 6271cd425dc1
	VMINPD Z16, Z22, K2, Z8                            // 6231cd425dc0
	VMINPD -7(CX), Z22, K2, Z8                         // 6271cd425d81f9ffffff
	VMINPD 15(DX)(BX*4), Z22, K2, Z8                   // 6271cd425d849a0f000000

	VPMINSB (BX), Y15, Y2                   // c4e2053813
	VPMINSB (R11), Y15, Y2                  // c4c2053813
	VPMINSB Y2, Y15, Y2                     // c4e20538d2
	VPMINSB Y11, Y15, Y2                    // c4c20538d3
	VPMINSB (BX), Y15, Y11                  // c46205381b
	VPMINSB (R11), Y15, Y11                 // c44205381b
	VPMINSB Y2, Y15, Y11                    // c4620538da

		"shlxq", "shlxl", "shlx",
		"shrxq", "shrxl", "shrx",
	},
	"sse41": {
		"roundsd",
		"pinsrq", "pinsrl", "pinsrd", "pinsrb", "pinsr",
		"pextrq", "pextrl", "pextrd", "pextrb", "pextr",
		"pminsb", "pminsd", "pminuw", "pminud", // Note: ub and sw are ok.
		"pmaxsb", "pmaxsd", "pmaxuw", "pmaxud",
		"pmovzxbw", "pmovzxbd", "pmovzxbq", "pmovzxwd", "pmovzxwq", "pmovzxdq",

	VPMINSB Z12, Z14, K2, Z13                          // 62520d4a38ec or 62528d4a38ec
	VPMINSB (R8), Z14, K2, Z13                         // 62520d4a3828 or 62528d4a3828
	VPMINSB 15(DX)(BX*2), Z14, K2, Z13                 // 62720d4a38ac5a0f000000 or 62728d4a38ac5a0f000000
	VPMINSB Z3, Z28, K2, Z13                           // 62721d4238eb or 62729d4238eb
	VPMINSB Z12, Z28, K2, Z13                          // 62521d4238ec or 62529d4238ec

	fmt.Fprintf(bout, "func main() {\n")

	index := []string{
		"0",
		"1",
		"2",
		"3",
		"10",
		"20",
		"vminus1",
		"v0",
		"v1",
		"v2",
		"v3",
		"v10",
		"v20",
	}

	parse := func(s string) (n int, isconst bool) {
		if s == "vminus1" {
			return -1, false
		}
		isconst = true
		if s[0] == 'v' {
			isconst = false
			s = s[1:]
		}
		n, _ = strconv.Atoi(s)

	ALSLQ
	ALSLW
	ALSSL
	ALSSQ
	ALSSW
	ALTR
	ALZCNTL
	ALZCNTQ
	ALZCNTW
	AMASKMOVOU
	AMASKMOVQ
	AMAXPD
	AMAXPS
	AMAXSD
	AMAXSS
	AMFENCE
	AMINPD
	AMINPS
	AMINSD
	AMINSS
	AMONITOR
	AMOVAPD
	AMOVAPS
	AMOVB
	AMOVBEL
	AMOVBEQ
	AMOVBEW
	AMOVBLSX
	AMOVBLZX
	AMOVBQSX
	AMOVBQZX
	AMOVBWSX
	AMOVBWZX
	AMOVDDUP
	AMOVHLPS
	AMOVHPD

// difference returns a-b and b-a as sorted lists
func difference(a, b []string) ([]string, []string) {
	aMinusB := map[string]bool{}
	bMinusA := map[string]bool{}
	for _, dependency := range a {
		aMinusB[dependency] = true
	}
	for _, dependency := range b {
		if _, found := aMinusB[dependency]; found {
			delete(aMinusB, dependency)
		} else {
			bMinusA[dependency] = true
		}
	}
	aMinusBList := []string{}