//! RV64 assembler tests.

use std::testing;

use std::mem;

use std::lang::alloc;

use std::lang::sexpr;

use std::lang::strings;

use std::arch::rv64;

use std::arch::rv64::encode;

use std::arch::rv64::printer;

use super::scanner;

static ASM_ARENA_STORAGE: [u8; 65536] = undefined;

static ASM_TEXT_STORAGE: [u32; 256] = undefined;

static ASM_DATA_STORAGE: [u8; 1024] = undefined;

static ASM_STRING_POOL: strings::Pool = strings::Pool { table: undefined, count: 0 };

static PRINT_ARENA_STORAGE: [u8; 1024] = undefined;

static PRINT_BUFFER: [u8; 128] = undefined;

fn assembleSource(source: *[u8]) -> super::Program throws (testing::TestError) {

    let mut arena = alloc::new(&mut ASM_ARENA_STORAGE[..]);

    return try super::assemble(

        scanner::SourceKind::String,

        source,

        &mut ASM_TEXT_STORAGE[..],

        &mut ASM_DATA_STORAGE[..],

        &mut arena,

        &mut ASM_STRING_POOL,

        rv64::RO_DATA_BASE

    ) catch {

        throw testing::TestError::Failed;

    };

}

fn expectAssembleFail(source: *[u8]) throws (testing::TestError) {

    let mut arena = alloc::new(&mut ASM_ARENA_STORAGE[..]);

    try super::assemble(

        scanner::SourceKind::String,

        source,

        &mut ASM_TEXT_STORAGE[..],

        &mut ASM_DATA_STORAGE[..],

        &mut arena,

        &mut ASM_STRING_POOL,

        rv64::RO_DATA_BASE

    ) catch {

        return;

    };

    throw testing::TestError::Failed;

}

fn printInstrText(instr: u32) -> *[u8] {

    let mut arena = alloc::new(&mut PRINT_ARENA_STORAGE[..]);

    let mut pos: u32 = 0;

    let mut out = sexpr::Output::Buffer { buf: &mut PRINT_BUFFER[..], pos: &mut pos };

    printer::printInstr(&mut out, &mut arena, instr);

    return &PRINT_BUFFER[..pos];

}

@test fn testAssemblePercentPrefixedRegisters() throws (testing::TestError) {

    let program = try assembleSource(

        ".text;\naddi %a0 %zero 42;\nsd %a0 8(%sp);\n"

    );

    try testing::expect(program.text.len == 2);

    try testing::expect(program.text[0] == encode::addi(rv64::A0, rv64::ZERO, 42));

    try testing::expect(program.text[1] == encode::sd(rv64::A0, rv64::SP, 8));

}

@test fn testAssembleDataAddressUsesRoDataBase() throws (testing::TestError) {

    let program = try assembleSource(

        ".text;\nla %t0 @value;\n.data;\n.byte 0;\n@value\n.byte 1;\n"

    );

    try testing::expect(program.text.len == 2);

    try testing::expect(program.text[0] == encode::lui(rv64::T0, 0x10));

    try testing::expect(program.text[1] == encode::addi(rv64::T0, rv64::T0, 1));

}

@test fn testAssembleTextAddressUsesPcRelative() throws (testing::TestError) {

    let program = try assembleSource(

        ".text;\nla %t0 @target;\n@target\nret;\n"

    );

    try testing::expect(program.text.len == 3);

    try testing::expect(program.text[0] == encode::auipc(rv64::T0, 0));

    try testing::expect(program.text[1] == encode::addi(rv64::T0, rv64::T0, 8));

}

@test fn testAssembleQuotedLabelNames() throws (testing::TestError) {

    let program = try assembleSource(

        ".text;\nj @\"foo.bar.baz\";\n@\"foo.bar.baz\"\nret;\n"

    );

    try testing::expect(program.text.len == 2);

    try testing::expect(program.text[0] == encode::jal(rv64::ZERO, 4));

    try testing::expect(program.text[1] == encode::jalr(rv64::ZERO, rv64::RA, 0));

}

@test fn testAssembleGlobalMarksOnlyDeclaredSymbols() throws (testing::TestError) {

    let program = try assembleSource(

        ".text;\n.export @exported;\n@local\nret;\n@exported\nret;\n@late\n.export @late;\nret;\n"

    );

    try testing::expect(program.symbols.len == 3);

    try testing::expect(not program.symbols[0].isExported);

    try testing::expect(program.symbols[1].isExported);

    try testing::expect(program.symbols[2].isExported);

}

@test fn testAssembleInvalidOperandsFail() throws (testing::TestError) {

    try expectAssembleFail(

        ".text;\nbeq %a0 %a1 @missing;\n"

    );

    try expectAssembleFail(

        ".text;\naddi a0 zero 1;\n"

    );

    try expectAssembleFail(

        ".text;\naddi % a0 %zero 1;\n"

    );

    try expectAssembleFail(

        ".text;\nli %a0 UNKNOWN;\n"

    );

    try expectAssembleFail(

        ".text;\n@start\nj start;\n"

    );

}

@test fn testAssembleInvalidSyntaxFails() throws (testing::TestError) {

    try expectAssembleFail(

        ".text;\n@dup\n@dup\nret;\n"

    );

    try expectAssembleFail(

        ".text;\naddi %a0, %zero, 1\n"

    );

    try expectAssembleFail(

        ".constant PAGE, 4096;\n"

    );

    try expectAssembleFail(

        ".text;\naddi %a0, %zero, 1;\n"

    );

    try expectAssembleFail(

        ".export @kernel::main, @data::sym;\n"

    );

}

@test fn testAssembleInvalidSectionsFail() throws (testing::TestError) {

    try expectAssembleFail(

        ".data;\n.dword @target;\n.text;\n@target\nret;\n"

    );

    try expectAssembleFail(

        ".data;\naddi %a0 %zero 1;\n"

    );

    try expectAssembleFail(

        ".text;\n.byte 1;\n"

    );

    try expectAssembleFail(

        ".text;\n.word 1;\n"

    );

    try expectAssembleFail(

        ".text;\n.dword 1;\n"

    );

    try expectAssembleFail(

        ".text;\n.ascii \"x\";\n"

    );

    try expectAssembleFail(

        ".data;\n@value\n.byte 1;\n.text;\nj @value;\n"

    );

}

@test fn testAssembleInvalidDirectivesFail() throws (testing::TestError) {

    try expectAssembleFail(

        ".data;\n.ascii 'x';\n"

    );

    try expectAssembleFail(

        ".data;\n.byte 1 + 2;\n"

    );

    try expectAssembleFail(

        ".data;\n.byte 256;\n"

    );

    try expectAssembleFail(

        ".data;\n.word 2147483648;\n"

    );

    try expectAssembleFail(

        ".data;\n.space 4294967296;\n"

    );

    try expectAssembleFail(

        ".data;\n.align 3;\n"

    );

    try expectAssembleFail(

        ".text;\n.align 12;\n"

    );

    try expectAssembleFail(

        ".data;\n.align 4294967296;\n"

    );

}

@test fn testAssembleInvalidImmediateRangesFail() throws (testing::TestError) {

    try expectAssembleFail(

        ".text;\nslli %a0 %a1 64;\n"

    );

    try expectAssembleFail(

        ".text;\nslli %a0 %a1 4294967296;\n"

    );

    try expectAssembleFail(

        ".text;\nslliw %a0 %a1 2147483648;\n"

    );

    try expectAssembleFail(

        ".text;\ncsrsi mstatus 32;\n"

    );

}

@test fn testPrintInstrUsesPercentPrefixedRegisters() throws (testing::TestError) {

    let text = printInstrText(encode::addi(rv64::A0, rv64::SP, 42));

    try testing::expect(mem::eq(text, "addi    %a0, %sp, 42"));

}