import os

const dump_expr_vexe = @VEXE
const dump_expr_tests_dir = os.dir(@FILE)
const dump_expr_v3_dir = os.dir(dump_expr_tests_dir)
const dump_expr_vlib_dir = os.dir(dump_expr_v3_dir)
const dump_expr_v3_src = os.join_path(dump_expr_v3_dir, 'v3.v')

fn dump_expr_build_v3() string {
    v3_bin := os.join_path(os.temp_dir(), 'v3_dump_expr_codegen_test_${os.getpid()}')
    os.rm(v3_bin) or {}
    build :=
        os.execute('${dump_expr_vexe} -gc none -path "${dump_expr_vlib_dir}|@vlib|@vmodules" -o ${v3_bin} ${dump_expr_v3_src}')
    assert build.exit_code == 0, build.output
    return v3_bin
}

fn dump_expr_compact_c(s string) string {
    return s.replace('\t', '').replace(' ', '').replace('\n', '')
}

fn test_dump_expr_is_transparent_for_c_oracle_output() {
    v3_bin := dump_expr_build_v3()
    src := os.join_path(os.temp_dir(), 'v3_dump_expr_codegen_${os.getpid()}.v')
    source := [
        'module main',
        '',
        'fn f() int {',
        '    return dump(3)',
        '}',
        '',
        'fn take_int(n int) int {',
        '    return n + 1',
        '}',
        '',
        "fn bump(n int) int { println('side'); return n + 1 }",
        '',
        'fn main() {',
        '    x := dump(1 + 2)',
        '    assert x == 3',
        '    mut n := 4',
        '    n = dump(n + 2)',
        '    assert n == 6',
        '    assert f() == 3',
        '    y := take_int(dump(6))',
        '    assert y == 7',
        '    z := dump(bump(0))',
        '    assert z == 1',
        '    println(int_str(x + n + f() + y + z))',
        '}',
    ].join('\n')
    os.write_file(src, source) or { panic(err) }
    bin := os.join_path(os.temp_dir(), 'v3_dump_expr_codegen_${os.getpid()}')
    compile := os.execute('${v3_bin} ${src} -b c -o ${bin}')
    assert compile.exit_code == 0, compile.output
    run := os.execute(bin)
    assert run.exit_code == 0, run.output
    lines := run.output.trim_space().replace('\r\n', '\n').split('\n')
    assert lines == ['side', '20'], run.output
    generated := os.read_file(bin + '.c') or { panic(err) }
    compact := dump_expr_compact_c(generated)
    assert !generated.contains('dump('), generated
    assert !generated.contains('= ;'), generated
    assert compact.count('1+2') == 1, generated
    assert compact.contains('n=n+2;'), generated
    assert compact.contains('return3;'), generated
    assert compact.contains('take_int(6)'), generated
    assert compact.count('bump(0)') == 1, generated
}