#ifndef TEST_AST_MACROS_HDR #define TEST_AST_MACROS_HDR #define TESTVARS() \ ast_block *curblock; \ lex_ctx ctx #define TESTINIT() \ ctx.file = NULL; \ ctx.line = 1; #define DEFVAR(name) \ ast_value *name #define VAR(type, name) \ name = ast_value_new(ctx, #name, type) #define MKGLOBAL(name) \ assert(globals_add(name) >= 0) #define MKCONSTFLOAT(name, value) \ do { \ name->isconst = true; \ name->constval.vfloat = value; \ MKGLOBAL(name); \ } while(0) #define STATE(a) \ do { \ ast_expression *exp = (ast_expression*)(a); \ assert(ast_block_exprs_add(curblock, exp)); \ } while(0) #define ASSIGN(op, a, b) \ (ast_expression*)ast_store_new(ctx, INSTR_##op, (a), (ast_expression*)(b)) #define BIN(op, a, b) \ (ast_expression*)ast_binary_new(ctx, INSTR_##op, (ast_expression*)(a), (ast_expression*)(b)) #define WHILE(cond) \ do { \ ast_expression *wh_cond = (ast_expression*)(cond); \ ast_block *wh_body = ast_block_new(ctx); \ ast_block *oldcur = curblock; \ ast_loop *loop; \ curblock = wh_body; #define ENDWHILE() \ curblock = oldcur; \ loop = ast_loop_new(ctx, NULL, (ast_expression*)wh_cond, \ NULL, NULL, (ast_expression*)wh_body); \ assert(loop); \ STATE(loop); \ } while(0) #define FUNCTION(name) \ do { \ ast_function *func_##name; \ ast_block *my_funcblock; \ DEFVAR(var_##name); \ VAR(TYPE_FUNCTION, var_##name); \ MKGLOBAL(var_##name); \ func_##name = ast_function_new(ctx, #name, var_##name); \ assert(functions_add(func_##name) >= 0); \ my_funcblock = ast_block_new(ctx); \ assert(my_funcblock); \ assert(ast_function_blocks_add(func_##name, my_funcblock)); \ curblock = my_funcblock; #define MKLOCAL(var) \ assert(ast_block_locals_add(curblock, var)) #define ENDFUNCTION(name) \ } while(0) #endif