// Copyright (c) 2026 Petr Balvín <opensource@petrbalvin.org> (https://petrbalvin.org)
// SPDX-License-Identifier: BSD-3-Clause

package disasm

import (
	"testing"

	"sourcedock.dev/petrbalvin/gasm-sdk/arch"
)

// TestRejectedNaming pins the supplementary arm64 naming table over the
// corpus rows whose encodings the decoder refuses: every row's bytes are
// the corpus's own expected-encoding comments (machine-checked by the
// toolchain's assembler test suite) and every text is the corpus's own
// spelling.
func TestRejectedNaming(t *testing.T) {
	for _, tt := range []struct {
		code []byte
		text string
	}{
		// arm64enc.s: HVC $61428 // 82fe1dd4 and SMC $37977 // 238b12d4.
		{[]byte{0x82, 0xfe, 0x1d, 0xd4}, "HVC $61428"},
		{[]byte{0x23, 0x8b, 0x12, 0xd4}, "SMC $37977"},
		// arm64enc.s: SB // ff3003d5.
		{[]byte{0xff, 0x30, 0x03, 0xd5}, "SB"},
	} {
		ins, err := Decode(arch.ARM64, tt.code, 0)
		if err != nil {
			t.Errorf("% x: %v", tt.code, err)
			continue
		}
		if ins.Text != tt.text || ins.Len != len(tt.code) {
			t.Errorf("% x: %q (%d bytes), want %q (%d)",
				tt.code, ins.Text, ins.Len, tt.text, len(tt.code))
		}
	}
}

// TestRejectedNamingBoundaries guards the table's edges: the exception
// space shapes the corpus does not spell keep the placeholder, and the
// neighbours the decoder names itself never reach the table.
func TestRejectedNamingBoundaries(t *testing.T) {
	for _, tt := range []struct {
		code []byte
		text string
	}{
		// The unallocated corners of the same opc group (op2 00000,
		// 00100 and 11000), which the corpus does not spell.
		{[]byte{0x00, 0x00, 0x00, 0xd4}, "???"},
		{[]byte{0x04, 0x00, 0x00, 0xd4}, "???"},
		{[]byte{0x60, 0x00, 0x00, 0xd4}, "???"},
		// BRK and HLT sit in the same space one opc step away and the
		// decoder names them itself.
		{[]byte{0x00, 0x00, 0x20, 0xd4}, "BRK $0"},
		{[]byte{0x00, 0x00, 0x40, 0xd4}, "HLT $0"},
	} {
		ins, err := Decode(arch.ARM64, tt.code, 0)
		if err != nil {
			t.Errorf("% x: %v", tt.code, err)
			continue
		}
		if ins.Text != tt.text {
			t.Errorf("% x: %q, want %q", tt.code, ins.Text, tt.text)
		}
	}
}