<?php
namespace Targets\TargetDescriptionFiles\RiscV\Services;

use Targets\TargetDescriptionFiles\TargetDescriptionFile;

require_once __DIR__ . '/../../Services/ValidationService.php';
require_once __DIR__ . '/../../TargetDescriptionFile.php';

class ValidationService extends \Targets\TargetDescriptionFiles\Services\ValidationService
{
    public function validateRiscVTdf(TargetDescriptionFile $tdf): array
    {
        $failures = parent::validateTdf($tdf);

        if ($tdf->getAddressSpace('system') === null) {
            $failures[] = 'Missing system address space';
        }

        if ($tdf->getAddressSpace('csr') === null) {
            $failures[] = 'Missing CSR address space';
        }

        if ($tdf->getAddressSpace('gpr') === null) {
            $failures[] = 'Missing GPR address space';
        }

        $mainProgramSegment = $tdf->getMemorySegment('system', 'main_program');
        if ($mainProgramSegment === null) {
            $failures[] = 'Missing main program memory segment';
        }

        $bootProgramSegment = $tdf->getMemorySegment('system', 'boot_program');
        if ($bootProgramSegment === null) {
            $failures[] = 'Missing boot program memory segment';
        }

        if (
            $mainProgramSegment !== null
            && $bootProgramSegment !== null
            && $mainProgramSegment->size() <= $bootProgramSegment->size()
        ) {
            $failures[] = 'Main program segment size is not greater than the boot segment size';
        }

        if ($tdf->getMemorySegment('system', 'internal_ram') === null) {
            $failures[] = 'Missing internal ram memory segment';
        }

        if ($tdf->getProperty('wch_link_interface', 'programming_opcode_key') === null) {
            $failures[] = 'Missing "programming_opcode_key" property';
        }

        $programmingBlockSize = $tdf->getPropertyValue('wch_link_interface', 'programming_block_size');
        if (!is_numeric($programmingBlockSize)) {
            $failures[] = 'Missing/invalid "programming_block_size" property';

        } else {
            if (
                $mainProgramSegment !== null
                && ($mainProgramSegment->addressRange->startAddress % (int)$programmingBlockSize) !== 0
            ) {
                $failures[] = 'Main program memory segment start address does not align with programming block size';
            }

            if (
                $bootProgramSegment !== null
                && ($bootProgramSegment->addressRange->startAddress % (int)$programmingBlockSize) !== 0
            ) {
                $failures[] = 'Boot program memory segment start address does not align with programming block size';
            }
        }

        if ($tdf->getProperty('riscv_debug_module', 'trigger_count') === null) {
            $failures[] = 'Missing "trigger_count" property';
        }

        return $failures;
    }
}