run-tests.py

import os
import compiler
import compiler_register_allocator
import interp_Lvar
import interp_Lif
import interp_Lwhile
import interp_Cif
import type_check_Lvar
import type_check_Lif
import type_check_Lwhile
import type_check_Cif
from utils import enable_tracing, run_tests, run_one_test
from interp_x86.eval_x86 import interp_x86

compiler = compiler.Compiler()
compiler_register = compiler_register_allocator.Compiler()

# Test Options for Lvar

typecheck_Lvar = type_check_Lvar.TypeCheckLvar().type_check

typecheck_dict = {
    'source': typecheck_Lvar,
    'shrink': typecheck_Lvar,
    'remove_complex_operands': typecheck_Lvar
}
interpLvar = interp_Lvar.InterpLvar().interp
interp_dict = {
    'remove_complex_operands': interpLvar,
    'shrink': interpLvar,
    'select_instructions': interp_x86,
    'assign_homes': interp_x86,
    'patch_instructions': interp_x86,
}


# Test Options for Lif

typecheckLif = type_check_Lif.TypeCheckLif().type_check
typecheckCif = type_check_Cif.TypeCheckCif().type_check
interpLif = interp_Lif.InterpLif().interp
interpCif = interp_Cif.InterpCif().interp

typecheck_if_dict = {
    'source': typecheckLif,
    'shrink': typecheckLif,
    'remove_complex_operands': typecheckLif,
    'explicate_control': typecheckCif
}
interp_if_dict = {
    'shrink': interpLif,
    'remove_complex_operands': interpLif,
    'explicate_control': interpCif,
    'select_instructions': interp_x86,
    'assign_homes': interp_x86,
    'patch_instructions': interp_x86,
}

# Test Options for Lwhile

typecheckLwhile = type_check_Lwhile.TypeCheckLwhile().type_check
typecheckCwhile = typecheckCif
interpLwhile = interp_Lwhile.InterpLwhile().interp
interpCwhile = interpCif

typecheck_while_dict = {
    'source': typecheckLwhile,
    'shrink': typecheckLwhile,
    'remove_complex_operands': typecheckLwhile,
    'explicate_control': typecheckCwhile
}
interp_while_dict = {
    'shrink': interpLwhile,
    'remove_complex_operands': interpLwhile,
    'explicate_control': interpCwhile,
    'select_instructions': interp_x86,
    'assign_homes': interp_x86,
    'patch_instructions': interp_x86,
}

if False:
    run_one_test(os.getcwd() + '/tests/var/zero.py',
                 'var',
                 compiler,
                 'var',
                 typecheck_dict,
                 interp_dict)
else:
    enable_tracing()
    # run_tests('if', compiler_register, 'if',
            #   typecheck_if_dict,
            #   interp_if_dict)
    # run_tests('var', compiler_register, 'var',
            #   typecheck_dict,
            #   interp_dict)
    run_tests('while', compiler_register, 'while',
              typecheck_while_dict,
              interp_while_dict)