#!/usr/bin/env python3
"""Tests for the RDNA3 pseudocode DSL."""
import unittest
from extra.assembly.amd.pcode import (Reg, TypedView, SliceProxy, MASK32, MASK64,
                                       _f32, _i32, _f16, _i16, f32_to_f16, _isnan, _bf16, _ibf16, bf16_to_f32, f32_to_bf16,
                                       BYTE_PERMUTE, v_sad_u8, v_msad_u8)
from extra.assembly.amd.pdf import compile_pseudocode, _expr
from extra.assembly.amd.test.helpers import ExecContext
from extra.assembly.amd.autogen.rdna3.gen_pcode import _VOP3SDOp_V_DIV_SCALE_F32, _VOPCOp_V_CMP_CLASS_F32

class TestReg(unittest.TestCase):
  def test_u32_read(self):
    r = Reg(0xDEADBEEF)
    self.assertEqual(int(r.u32), 0xDEADBEEF)

  def test_u32_write(self):
    r = Reg(0)
    r.u32 = 0x12345678
    self.assertEqual(r._val, 0x12345678)

  def test_f32_read(self):
    r = Reg(0x40400000)  # 3.0f
    self.assertAlmostEqual(float(r.f32), 3.0)

  def test_f32_write(self):
    r = Reg(0)
    r.f32 = 3.0
    self.assertEqual(r._val, 0x40400000)

  def test_i32_signed(self):
    r = Reg(0xFFFFFFFF)  # -1 as signed
    self.assertEqual(int(r.i32), -1)

  def test_u64(self):
    r = Reg(0xDEADBEEFCAFEBABE)
    self.assertEqual(int(r.u64), 0xDEADBEEFCAFEBABE)

  def test_f64(self):
    r = Reg(0x4008000000000000)  # 3.0 as f64
    self.assertAlmostEqual(float(r.f64), 3.0)

class TestTypedView(unittest.TestCase):
  def test_bit_slice(self):
    r = Reg(0xDEADBEEF)
    # Slices return SliceProxy which supports .u32, .u16 etc (matching pseudocode like S1.u32[1:0].u32)
    self.assertEqual(r.u32[7:0].u32, 0xEF)
    self.assertEqual(r.u32[15:8].u32, 0xBE)
    self.assertEqual(r.u32[23:16].u32, 0xAD)
    self.assertEqual(r.u32[31:24].u32, 0xDE)
    # Also works with int() for arithmetic
    self.assertEqual(int(r.u32[7:0]), 0xEF)

  def test_single_bit_read(self):
    r = Reg(0b11010101)
    self.assertEqual(r.u32[0], 1)
    self.assertEqual(r.u32[1], 0)
    self.assertEqual(r.u32[2], 1)
    self.assertEqual(r.u32[3], 0)

  def test_single_bit_write(self):
    r = Reg(0)
    r.u32[5] = 1
    r.u32[3] = 1
    self.assertEqual(r._val, 0b00101000)

  def test_nested_bit_access(self):
    # S0.u32[S1.u32[4:0]] - access bit at position from another register
    s0 = Reg(0b11010101)
    s1 = Reg(3)
    bit_pos = s1.u32[4:0]  # SliceProxy, int value = 3
    bit_val = s0.u32[int(bit_pos)]  # bit 3 of s0 = 0
    self.assertEqual(int(bit_pos), 3)
    self.assertEqual(bit_val, 0)

  def test_arithmetic(self):
    r1 = Reg(0x40400000)  # 3.0f
    r2 = Reg(0x40800000)  # 4.0f
    result = r1.f32 + r2.f32
    self.assertAlmostEqual(result, 7.0)

  def test_comparison(self):
    r1 = Reg(5)
    r2 = Reg(3)
    self.assertTrue(r1.u32 > r2.u32)
    self.assertFalse(r1.u32 < r2.u32)
    self.assertTrue(r1.u32 != r2.u32)

class TestSliceProxy(unittest.TestCase):
  def test_slice_read(self):
    r = Reg(0x56781234)
    self.assertEqual(r[15:0].u16, 0x1234)
    self.assertEqual(r[31:16].u16, 0x5678)

  def test_slice_write(self):
    r = Reg(0)
    r[15:0].u16 = 0x1234
    r[31:16].u16 = 0x5678
    self.assertEqual(r._val, 0x56781234)

  def test_slice_f16(self):
    r = Reg(0)
    r[15:0].f16 = 3.0
    self.assertAlmostEqual(_f16(r._val & 0xffff), 3.0, places=2)

class TestCompiler(unittest.TestCase):
  def test_ternary(self):
    result = _expr("a > b ? 1 : 0")
    self.assertIn("if", result)
    self.assertIn("else", result)

  def test_type_prefix_strip(self):
    self.assertEqual(_expr("1'0U"), "0")
    self.assertEqual(_expr("32'1"), "1")
    self.assertEqual(_expr("16'0xFFFF"), "0xFFFF")

  def test_suffix_strip(self):
    self.assertEqual(_expr("0ULL"), "0")
    self.assertEqual(_expr("1LL"), "1")
    self.assertEqual(_expr("5U"), "5")
    self.assertEqual(_expr("3.14F"), "3.14")

  def test_boolean_ops(self):
    self.assertIn("and", _expr("a && b"))
    self.assertIn("or", _expr("a || b"))
    self.assertIn("!=", _expr("a <> b"))

  def test_pack16(self):
    result = _expr("{ a, b }")
    self.assertIn("_pack", result)

  def test_type_cast_strip(self):
    self.assertEqual(_expr("64'U(x)"), "(x)")
    self.assertEqual(_expr("32'I(y)"), "(y)")

class TestExecContext(unittest.TestCase):
  def test_float_add(self):
    ctx = ExecContext(s0=0x40400000, s1=0x40800000)  # 3.0f, 4.0f
    ctx.D0.f32 = ctx.S0.f32 + ctx.S1.f32
    self.assertAlmostEqual(_f32(ctx.D0._val), 7.0)

  def test_float_mul(self):
    ctx = ExecContext(s0=0x40400000, s1=0x40800000)  # 3.0f, 4.0f
    ctx.run("D0.f32 = S0.f32 * S1.f32")
    self.assertAlmostEqual(_f32(ctx.D0._val), 12.0)

  def test_scc_comparison(self):
    ctx = ExecContext(s0=42, s1=42)
    ctx.run("SCC = S0.u32 == S1.u32")
    self.assertEqual(ctx.SCC._val, 1)

  def test_scc_comparison_false(self):
    ctx = ExecContext(s0=42, s1=43)
    ctx.run("SCC = S0.u32 == S1.u32")
    self.assertEqual(ctx.SCC._val, 0)

  def test_ternary(self):
    code = compile_pseudocode("D0.u32 = S0.u32 > S1.u32 ? 1'1U : 1'0U")
    ctx = ExecContext(s0=5, s1=3)
    ctx.run(code)
    self.assertEqual(ctx.D0._val, 1)

  def test_pack(self):
    code = compile_pseudocode("D0 = { S1[15:0].u16, S0[15:0].u16 }")
    ctx = ExecContext(s0=0x1234, s1=0x5678)
    ctx.run(code)
    self.assertEqual(ctx.D0._val, 0x56781234)

  def test_tmp_with_typed_access(self):
    code = compile_pseudocode("""tmp = S0.u32 + S1.u32
D0.u32 = tmp.u32""")
    ctx = ExecContext(s0=100, s1=200)
    ctx.run(code)
    self.assertEqual(ctx.D0._val, 300)

  def test_s_add_u32_pattern(self):
    # Real pseudocode pattern from S_ADD_U32
    code = compile_pseudocode("""tmp = 64'U(S0.u32) + 64'U(S1.u32)
SCC = tmp >= 0x100000000ULL ? 1'1U : 1'0U
D0.u32 = tmp.u32""")
    # Test overflow case
    ctx = ExecContext(s0=0xFFFFFFFF, s1=0x00000001)
    ctx.run(code)
    self.assertEqual(ctx.D0._val, 0)  # Wraps to 0
    self.assertEqual(ctx.SCC._val, 1)  # Carry set

  def test_s_add_u32_no_overflow(self):
    code = compile_pseudocode("""tmp = 64'U(S0.u32) + 64'U(S1.u32)
SCC = tmp >= 0x100000000ULL ? 1'1U : 1'0U
D0.u32 = tmp.u32""")
    ctx = ExecContext(s0=100, s1=200)
    ctx.run(code)
    self.assertEqual(ctx.D0._val, 300)
    self.assertEqual(ctx.SCC._val, 0)  # No carry

  def test_vcc_lane_read(self):
    ctx = ExecContext(vcc=0b1010, lane=1)
    # Lane 1 is set
    self.assertEqual(ctx.VCC.u64[1], 1)
    self.assertEqual(ctx.VCC.u64[2], 0)

  def test_vcc_lane_write(self):
    ctx = ExecContext(vcc=0, lane=0)
    ctx.VCC.u64[3] = 1
    ctx.VCC.u64[1] = 1
    self.assertEqual(ctx.VCC._val, 0b1010)

  def test_for_loop(self):
    # CTZ pattern - find first set bit
    code = compile_pseudocode("""tmp = -1
for i in 0 : 31 do
  if S0.u32[i] == 1 then
    tmp = i
  endif
endfor
D0.i32 = tmp""")
    ctx = ExecContext(s0=0b1000)  # Bit 3 is set
    ctx.run(code)
    self.assertEqual(ctx.D0._val & MASK32, 3)

  def test_result_dict(self):
    ctx = ExecContext(s0=5, s1=3)
    ctx.D0.u32 = 42
    ctx.SCC._val = 1
    result = ctx.result()
    self.assertEqual(result['d0'], 42)
    self.assertEqual(result['scc'], 1)

class TestPseudocodeRegressions(unittest.TestCase):
  """Regression tests for pseudocode instruction emulation bugs."""

  def test_v_div_scale_f32_vcc_always_returned(self):
    """V_DIV_SCALE_F32 must always return VCC, even when VCC=0 (no scaling needed).
    Bug: when VCC._val == vcc (both 0), VCC wasn't returned, so VCC bits weren't written.
    This caused division to produce wrong results for multiple lanes."""
    # Normal case: 1.0 / 3.0, no scaling needed, VCC should be 0
    S0 = Reg(0x3f800000)  # 1.0
    S1 = Reg(0x40400000)  # 3.0
    S2 = Reg(0x3f800000)  # 1.0 (numerator)
    D0, SCC, VCC, EXEC = Reg(0), Reg(0), Reg(0), Reg(0xffffffff)
    result = _VOP3SDOp_V_DIV_SCALE_F32(S0, S1, S2, D0, SCC, VCC, 0, EXEC, 0, None)
    # Must always have VCC in result
    self.assertIn('VCC', result, "V_DIV_SCALE_F32 must always return VCC")
    self.assertEqual(result['VCC']._val & 1, 0, "VCC lane 0 should be 0 when no scaling needed")

  def test_v_cmp_class_f32_detects_quiet_nan(self):
    """V_CMP_CLASS_F32 must correctly identify quiet NaN vs signaling NaN.
    Bug: isQuietNAN and isSignalNAN both used math.isnan which can't distinguish them."""
    quiet_nan = 0x7fc00000   # quiet NaN: exponent=255, bit22=1
    signal_nan = 0x7f800001  # signaling NaN: exponent=255, bit22=0
    # Test quiet NaN detection (bit 1 in mask)
    s1_quiet = 0b0000000010  # bit 1 = quiet NaN
    S0, S1, S2, D0, SCC, VCC, EXEC = Reg(quiet_nan), Reg(s1_quiet), Reg(0), Reg(0), Reg(0), Reg(0), Reg(0xffffffff)
    result = _VOPCOp_V_CMP_CLASS_F32(S0, S1, S2, D0, SCC, VCC, 0, EXEC, 0, None)
    self.assertEqual(result['D0']._val & 1, 1, "Should detect quiet NaN with quiet NaN mask")
    # Test signaling NaN detection (bit 0 in mask)
    s1_signal = 0b0000000001  # bit 0 = signaling NaN
    S0, S1 = Reg(signal_nan), Reg(s1_signal)
    result = _VOPCOp_V_CMP_CLASS_F32(S0, S1, S2, D0, SCC, VCC, 0, EXEC, 0, None)
    self.assertEqual(result['D0']._val & 1, 1, "Should detect signaling NaN with signaling NaN mask")
    # Test that quiet NaN doesn't match signaling NaN mask
    S0, S1 = Reg(quiet_nan), Reg(s1_signal)
    result = _VOPCOp_V_CMP_CLASS_F32(S0, S1, S2, D0, SCC, VCC, 0, EXEC, 0, None)
    self.assertEqual(result['D0']._val & 1, 0, "Quiet NaN should not match signaling NaN mask")
    # Test that signaling NaN doesn't match quiet NaN mask
    S0, S1 = Reg(signal_nan), Reg(s1_quiet)
    result = _VOPCOp_V_CMP_CLASS_F32(S0, S1, S2, D0, SCC, VCC, 0, EXEC, 0, None)
    self.assertEqual(result['D0']._val & 1, 0, "Signaling NaN should not match quiet NaN mask")

  def test_isnan_with_typed_view(self):
    """_isnan must work with TypedView objects, not just Python floats.
    Bug: _isnan checked isinstance(x, float) which returned False for TypedView."""
    nan_reg = Reg(0x7fc00000)  # quiet NaN
    normal_reg = Reg(0x3f800000)  # 1.0
    inf_reg = Reg(0x7f800000)  # +inf
    self.assertTrue(_isnan(nan_reg.f32), "_isnan should return True for NaN TypedView")
    self.assertFalse(_isnan(normal_reg.f32), "_isnan should return False for normal TypedView")
    self.assertFalse(_isnan(inf_reg.f32), "_isnan should return False for inf TypedView")

class TestBF16(unittest.TestCase):
  """Tests for BF16 (bfloat16) support."""

  def test_bf16_conversion(self):
    """Test bf16 <-> f32 conversion."""
    # bf16 is just the top 16 bits of f32
    # 1.0f = 0x3f800000, bf16 = 0x3f80
    self.assertAlmostEqual(_bf16(0x3f80), 1.0, places=2)
    self.assertEqual(_ibf16(1.0), 0x3f80)
    # 2.0f = 0x40000000, bf16 = 0x4000
    self.assertAlmostEqual(_bf16(0x4000), 2.0, places=2)
    self.assertEqual(_ibf16(2.0), 0x4000)
    # -1.0f = 0xbf800000, bf16 = 0xbf80
    self.assertAlmostEqual(_bf16(0xbf80), -1.0, places=2)
    self.assertEqual(_ibf16(-1.0), 0xbf80)

  def test_bf16_special_values(self):
    """Test bf16 special values (inf, nan)."""
    import math
    # +inf: f32 = 0x7f800000, bf16 = 0x7f80
    self.assertTrue(math.isinf(_bf16(0x7f80)))
    self.assertEqual(_ibf16(float('inf')), 0x7f80)
    # -inf: f32 = 0xff800000, bf16 = 0xff80
    self.assertTrue(math.isinf(_bf16(0xff80)))
    self.assertEqual(_ibf16(float('-inf')), 0xff80)
    # NaN: quiet NaN bf16 = 0x7fc0
    self.assertTrue(math.isnan(_bf16(0x7fc0)))
    self.assertEqual(_ibf16(float('nan')), 0x7fc0)

  def test_bf16_register_property(self):
    """Test Reg.bf16 property."""
    r = Reg(0)
    r.bf16 = 3.0  # 3.0f = 0x40400000, bf16 = 0x4040
    self.assertEqual(r._val & 0xffff, 0x4040)
    self.assertAlmostEqual(float(r.bf16), 3.0, places=1)

  def test_bf16_slice_property(self):
    """Test SliceProxy.bf16 property."""
    r = Reg(0x40404040)  # Two bf16 3.0 values
    self.assertAlmostEqual(r[15:0].bf16, 3.0, places=1)
    self.assertAlmostEqual(r[31:16].bf16, 3.0, places=1)

class TestBytePermute(unittest.TestCase):
  """Tests for BYTE_PERMUTE helper function (V_PERM_B32)."""

  def test_byte_select_0_to_7(self):
    """Test selecting bytes 0-7 from 64-bit data."""
    # data = {s0, s1} where s0 is bytes 0-3, s1 is bytes 4-7
    # Combined: 0x0706050403020100 (byte 0 = 0x00, byte 7 = 0x07)
    data = 0x0706050403020100
    for i in range(8):
      self.assertEqual(BYTE_PERMUTE(data, i), i, f"byte {i} should be {i}")

  def test_sign_extend_bytes(self):
    """Test sign extension selectors 8-11."""
    # sel 8: sign of byte 1 (bits 15:8)
    # sel 9: sign of byte 3 (bits 31:24)
    # sel 10: sign of byte 5 (bits 47:40)
    # sel 11: sign of byte 7 (bits 63:56)
    data = 0x8000800080008000  # All relevant bytes have sign bit set
    self.assertEqual(BYTE_PERMUTE(data, 8), 0xff)
    self.assertEqual(BYTE_PERMUTE(data, 9), 0xff)
    self.assertEqual(BYTE_PERMUTE(data, 10), 0xff)
    self.assertEqual(BYTE_PERMUTE(data, 11), 0xff)
    data = 0x7f007f007f007f00  # No sign bits set
    self.assertEqual(BYTE_PERMUTE(data, 8), 0x00)
    self.assertEqual(BYTE_PERMUTE(data, 9), 0x00)
    self.assertEqual(BYTE_PERMUTE(data, 10), 0x00)
    self.assertEqual(BYTE_PERMUTE(data, 11), 0x00)

  def test_constant_zero(self):
    """Test selector 12 returns 0x00."""
    self.assertEqual(BYTE_PERMUTE(0xffffffffffffffff, 12), 0x00)

  def test_constant_ff(self):
    """Test selectors >= 13 return 0xFF."""
    for sel in [13, 14, 15, 255]:
      self.assertEqual(BYTE_PERMUTE(0, sel), 0xff, f"sel {sel} should be 0xff")

class TestSADHelpers(unittest.TestCase):
  """Tests for V_SAD_U8 and V_MSAD_U8 helper functions."""

  def test_v_sad_u8_basic(self):
    """Test v_sad_u8 with simple values."""
    # s0 = 0x04030201, s1 = 0x04030201 -> diff = 0 for all bytes
    result = v_sad_u8(0x04030201, 0x04030201, 0)
    self.assertEqual(result, 0)
    # s0 = 0x05040302, s1 = 0x04030201 -> diff = 1+1+1+1 = 4
    result = v_sad_u8(0x05040302, 0x04030201, 0)
    self.assertEqual(result, 4)

  def test_v_sad_u8_with_accumulator(self):
    """Test v_sad_u8 with non-zero accumulator."""
    # s0 = 0x05040302, s1 = 0x04030201, s2 = 100 -> 4 + 100 = 104
    result = v_sad_u8(0x05040302, 0x04030201, 100)
    self.assertEqual(result, 104)

  def test_v_sad_u8_large_diff(self):
    """Test v_sad_u8 with maximum byte differences."""
    # s0 = 0xffffffff, s1 = 0x00000000 -> diff = 255*4 = 1020
    result = v_sad_u8(0xffffffff, 0x00000000, 0)
    self.assertEqual(result, 1020)

  def test_v_msad_u8_basic(self):
    """Test v_msad_u8 masks when reference byte is 0."""
    # s0 = 0x10101010, s1 = 0x00000000 -> all masked, result = 0
    result = v_msad_u8(0x10101010, 0x00000000, 0)
    self.assertEqual(result, 0)
    # s0 = 0x10101010, s1 = 0x01010101 -> diff = |0x10-0x01|*4 = 15*4 = 60
    result = v_msad_u8(0x10101010, 0x01010101, 0)
    self.assertEqual(result, 60)

  def test_v_msad_u8_partial_mask(self):
    """Test v_msad_u8 with partial masking."""
    # s0 = 0x10101010, s1 = 0x00010001 -> bytes 1 and 3 masked
    # diff = |0x10-0x01| + |0x10-0x01| = 15 + 15 = 30
    result = v_msad_u8(0x10101010, 0x00010001, 0)
    self.assertEqual(result, 30)

  def test_v_msad_u8_with_accumulator(self):
    """Test v_msad_u8 with non-zero accumulator."""
    result = v_msad_u8(0x10101010, 0x01010101, 50)
    self.assertEqual(result, 110)  # 60 + 50

if __name__ == '__main__':
  unittest.main()