// Copyright 2026 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 sve

import (
	"flag"
	"strings"
	"testing"
)

// svePath points at an extracted ARM64 ISA XML directory (see the download
// instructions in the package doc / TestRealXMLNoAnomalies). When unset, the
// corpus tests are skipped so the package still tests offline.
var svePath = flag.String("svePath", "", "path to extracted ISA_A64 XML directory")

// TestRealXMLNoAnomalies runs the loader across the whole SVE instruction set
// and fails if any instruction is classified as an anomaly — a form the loader
// does not understand. Deferred-but-recognized skips (memory, immediate, etc.)
// are allowed. This mirrors how instgen validates against the real XML.
//
// Download the data once:
//
//	curl -L -o isa.tgz https://developer.arm.com/-/cdn-downloads/permalink/Exploration-Tools-A64-ISA/ISA_A64/ISA_A64_xml_A_profile-2025-12.tar.gz
//	tar xzf isa.tgz
//
// then run:
//
//	go test ./simdgen/sve/ -run TestRealXML -svePath ./ISA_A64_xml_A_profile-2025-12 -v
func TestRealXMLNoAnomalies(t *testing.T) {
	if *svePath == "" {
		t.Skip("set -svePath to an extracted ISA_A64 XML directory")
	}
	r, err := analyze(*svePath)
	if err != nil {
		t.Fatal(err)
	}
	t.Logf("\n%s", r.String())
	if len(r.Anomalies) > 0 {
		t.Errorf("loader did not understand %d instruction form(s):\n  %s",
			len(r.Anomalies), strings.Join(r.Anomalies, "\n  "))
	}
}

// TestRealXMLAddFamily checks that the core Add-family instructions are emitted
// with the expected arrangements against the real XML.
func TestRealXMLAddFamily(t *testing.T) {
	if *svePath == "" {
		t.Skip("set -svePath to an extracted ISA_A64 XML directory")
	}
	insts, err := parseInstructions(*svePath)
	if err != nil {
		t.Fatal(err)
	}
	// mnemonic -> whether we saw it emit at least one def.
	want := map[string]bool{"ADD": false, "FADD": false, "SQADD": false, "UQADD": false}
	for _, inst := range insts {
		m := inst.mnemonic()
		if _, ok := want[m]; !ok {
			continue
		}
		if len(inst.emitAll()) > 0 {
			want[m] = true
		}
	}
	for m, ok := range want {
		if !ok {
			t.Errorf("expected %s to emit at least one def", m)
		}
	}
}