trueno 0.17.3

use super::*;

// =========================================================================
// SimdBackendState Tests
// =========================================================================

#[test]
fn test_simd_backend_state_default() {
    let state = SimdBackendState::default();
    assert_eq!(state, SimdBackendState::Uninitialized);
}

#[test]
fn test_simd_backend_state_variants() {
    let states = [
        SimdBackendState::Uninitialized,
        SimdBackendState::Configuring,
        SimdBackendState::Ready,
        SimdBackendState::Failed,
    ];
    // All variants are distinct
    for i in 0..states.len() {
        for j in (i + 1)..states.len() {
            assert_ne!(states[i], states[j]);
        }
    }
}

// =========================================================================
// LazySimdConfig Tests
// =========================================================================

#[test]
fn test_lazy_simd_config_new() {
    let config = LazySimdConfig::new();
    assert_eq!(config.state(), SimdBackendState::Uninitialized);
}

#[test]
fn test_lazy_simd_config_best_backend() {
    let config = LazySimdConfig::new();
    // Best backend should be detected and not crash
    let _backend = config.best_backend();
}

#[test]
fn test_lazy_simd_config_ensure_ready() {
    let mut config = LazySimdConfig::new();
    let result = config.ensure_ready();
    assert!(result.is_ok());
    assert_eq!(config.state(), SimdBackendState::Ready);
}

#[test]
fn test_lazy_simd_config_ensure_ready_idempotent() {
    let mut config = LazySimdConfig::new();

    let result1 = config.ensure_ready();
    let result2 = config.ensure_ready();

    assert_eq!(result1, result2);
}

#[test]
fn test_lazy_simd_config_reset() {
    let mut config = LazySimdConfig::new();
    let _ = config.ensure_ready();
    assert_eq!(config.state(), SimdBackendState::Ready);

    config.reset();
    assert_eq!(config.state(), SimdBackendState::Uninitialized);
}

#[test]
fn test_lazy_simd_config_has_amx() {
    let config = LazySimdConfig::new();
    // AMX is typically not available, but this shouldn't crash
    let _has_amx = config.has_amx();
}

#[test]
fn test_lazy_simd_config_default() {
    let config = LazySimdConfig::default();
    assert_eq!(config.state(), SimdBackendState::Uninitialized);
}

// =========================================================================
// AmxTileConfig Tests
// =========================================================================

#[test]
fn test_amx_tile_config_default() {
    let config = AmxTileConfig::default();
    assert_eq!(config.palette, 0);
    assert_eq!(config.start_row, 0);
    assert_eq!(config.rows, 0);
    assert_eq!(config.bytes_per_row, 0);
}

#[test]
fn test_amx_tile_config_custom() {
    let config = AmxTileConfig { palette: 1, start_row: 0, rows: 16, bytes_per_row: 64 };
    assert_eq!(config.palette, 1);
    assert_eq!(config.rows, 16);
    assert_eq!(config.bytes_per_row, 64);
}

// =========================================================================
// UnrollFactor Tests
// =========================================================================

#[test]
fn test_unroll_factor_value() {
    assert_eq!(UnrollFactor::None.value(), 1);
    assert_eq!(UnrollFactor::X2.value(), 2);
    assert_eq!(UnrollFactor::X4.value(), 4);
    assert_eq!(UnrollFactor::X8.value(), 8);
}

#[test]
fn test_unroll_factor_for_backend() {
    assert_eq!(UnrollFactor::for_backend(ComputeBackend::Avx512), UnrollFactor::X8);
    assert_eq!(UnrollFactor::for_backend(ComputeBackend::Avx2), UnrollFactor::X4);
    assert_eq!(UnrollFactor::for_backend(ComputeBackend::Sse2), UnrollFactor::X2);
    assert_eq!(UnrollFactor::for_backend(ComputeBackend::Neon), UnrollFactor::X2);
    assert_eq!(UnrollFactor::for_backend(ComputeBackend::Scalar), UnrollFactor::None);
}

// =========================================================================
// UnrollTailIterator Tests
// =========================================================================

#[test]
fn test_unroll_tail_iterator_basic() {
    let iter = UnrollTailIterator::new(10, UnrollFactor::X4);
    assert_eq!(iter.full_iterations(), 2); // 10 / 4 = 2
    assert_eq!(iter.tail_size(), 2); // 10 % 4 = 2
    assert!(iter.has_tail());
}

#[test]
fn test_unroll_tail_iterator_no_tail() {
    let iter = UnrollTailIterator::new(12, UnrollFactor::X4);
    assert_eq!(iter.full_iterations(), 3);
    assert_eq!(iter.tail_size(), 0);
    assert!(!iter.has_tail());
}

#[test]
fn test_unroll_tail_iterator_next_chunk() {
    let mut iter = UnrollTailIterator::new(10, UnrollFactor::X4);

    assert_eq!(iter.next_chunk(), Some((0, 4)));
    assert_eq!(iter.next_chunk(), Some((4, 8)));
    assert_eq!(iter.next_chunk(), None); // No more full chunks
}

#[test]
fn test_unroll_tail_iterator_tail_range() {
    let iter = UnrollTailIterator::new(10, UnrollFactor::X4);
    assert_eq!(iter.tail_range(), Some((8, 10)));
}

#[test]
fn test_unroll_tail_iterator_tail_range_no_tail() {
    let iter = UnrollTailIterator::new(8, UnrollFactor::X4);
    assert_eq!(iter.tail_range(), None);
}

#[test]
fn test_unroll_tail_iterator_empty() {
    let iter = UnrollTailIterator::new(0, UnrollFactor::X4);
    assert_eq!(iter.full_iterations(), 0);
    assert_eq!(iter.tail_size(), 0);
    assert!(!iter.has_tail());
}

// =========================================================================
// unroll_tail_process Tests
// =========================================================================

#[test]
fn test_unroll_tail_process_basic() {
    let data = vec![1.0f32, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0];
    let results = unroll_tail_process(
        &data,
        UnrollFactor::X4,
        |chunk| chunk.iter().sum::<f32>(),
        |elem| *elem,
    );

    // 2 full chunks: [1,2,3,4] -> 10.0, [5,6,7,8] -> 26.0
    // Tail: 9.0, 10.0
    assert_eq!(results.len(), 4);
    assert_eq!(results[0], 10.0); // 1+2+3+4
    assert_eq!(results[1], 26.0); // 5+6+7+8
    assert_eq!(results[2], 9.0);
    assert_eq!(results[3], 10.0);
}

#[test]
fn test_unroll_tail_process_no_tail() {
    let data = vec![1, 2, 3, 4, 5, 6, 7, 8];
    let results = unroll_tail_process(
        &data,
        UnrollFactor::X4,
        |chunk| chunk.iter().sum::<i32>(),
        |elem| *elem,
    );

    assert_eq!(results.len(), 2);
    assert_eq!(results[0], 10); // 1+2+3+4
    assert_eq!(results[1], 26); // 5+6+7+8
}

#[test]
fn test_unroll_tail_process_empty() {
    let data: Vec<i32> = vec![];
    let results = unroll_tail_process(&data, UnrollFactor::X4, |_| 0, |_| 0);
    assert!(results.is_empty());
}

#[test]
fn test_unroll_tail_process_small() {
    let data = vec![1, 2, 3]; // Smaller than chunk size
    let results = unroll_tail_process(&data, UnrollFactor::X4, |_| 0, |elem| *elem);

    // No full chunks, only tail
    assert_eq!(results.len(), 3);
    assert_eq!(results, vec![1, 2, 3]);
}

// =========================================================================
// FALSIFICATION TESTS
// =========================================================================

/// FALSIFICATION TEST: UnrollFactor values must be powers of 2
#[test]
fn test_falsify_unroll_factor_powers_of_two() {
    let factors = [UnrollFactor::None, UnrollFactor::X2, UnrollFactor::X4, UnrollFactor::X8];

    for factor in &factors {
        let value = factor.value();
        assert!(
            value.is_power_of_two(),
            "FALSIFICATION FAILED: UnrollFactor {:?} value {} is not power of 2",
            factor,
            value
        );
    }
}

/// FALSIFICATION TEST: UnrollTailIterator must cover all elements exactly once
#[test]
fn test_falsify_unroll_tail_covers_all() {
    for total in [1, 7, 8, 10, 100, 1000] {
        for factor in [UnrollFactor::None, UnrollFactor::X2, UnrollFactor::X4, UnrollFactor::X8] {
            let mut iter = UnrollTailIterator::new(total, factor);
            let mut covered = 0usize;

            // Count elements in full chunks
            while let Some((start, end)) = iter.next_chunk() {
                covered += end - start;
            }

            // Count elements in tail
            if let Some((start, end)) = iter.tail_range() {
                covered += end - start;
            }

            assert_eq!(
                    covered, total,
                    "FALSIFICATION FAILED: UnrollTailIterator({}, {:?}) covered {} elements, expected {}",
                    total, factor, covered, total
                );
        }
    }
}

/// FALSIFICATION TEST: LazySimdConfig state transitions must be valid
#[test]
fn test_falsify_simd_config_state_transitions() {
    let mut config = LazySimdConfig::new();

    // Initial state must be Uninitialized
    assert_eq!(
        config.state(),
        SimdBackendState::Uninitialized,
        "FALSIFICATION FAILED: Initial state should be Uninitialized"
    );

    // After ensure_ready, state must be Ready
    let result = config.ensure_ready();
    assert!(result.is_ok(), "FALSIFICATION FAILED: ensure_ready should succeed");
    assert_eq!(
        config.state(),
        SimdBackendState::Ready,
        "FALSIFICATION FAILED: State should be Ready after ensure_ready"
    );

    // After reset, state must be Uninitialized again
    config.reset();
    assert_eq!(
        config.state(),
        SimdBackendState::Uninitialized,
        "FALSIFICATION FAILED: State should be Uninitialized after reset"
    );
}