X-Git-Url: http://de.git.xonotic.org/?a=blobdiff_plain;f=ir.h;h=973f89d45a49b20a0ef1613f874ebcb753fe88ef;hb=29db4a44edb5cce12197ae1e25129d38f70e0225;hp=5379ee0d4bf5f9bdceade3ea5a27cb840ac0cb37;hpb=94560d1873a5d36da8864238443d541f6fc1fd2b;p=xonotic%2Fgmqcc.git diff --git a/ir.h b/ir.h index 5379ee0..973f89d 100644 --- a/ir.h +++ b/ir.h @@ -1,5 +1,5 @@ /* - * Copyright (C) 2012 + * Copyright (C) 2012, 2013 * Wolfgang Bumiller * * Permission is hereby granted, free of charge, to any person obtaining a copy of @@ -22,7 +22,7 @@ */ #ifndef GMQCC_IR_HDR #define GMQCC_IR_HDR - +#include "gmqcc.h" /* ir_value */ typedef struct @@ -77,6 +77,9 @@ typedef struct ir_value_s { /* arrays will never overlap with temps */ bool unique_life; + /* temps living during a CALL must be locked */ + bool locked; + bool callparam; /* For the temp allocator */ ir_life_entry_t *life; @@ -94,7 +97,7 @@ void ir_value_delete(ir_value*); bool ir_value_set_name(ir_value*, const char *name); ir_value* ir_value_vector_member(ir_value*, unsigned int member); -bool GMQCC_WARN vec_ir_value_find(ir_value **vec, ir_value *what, size_t *idx); +bool GMQCC_WARN vec_ir_value_find(ir_value **vec, const ir_value *what, size_t *idx); bool GMQCC_WARN ir_value_set_float(ir_value*, float f); bool GMQCC_WARN ir_value_set_func(ir_value*, int f); @@ -151,7 +154,7 @@ void ir_instr_delete(ir_instr*); bool GMQCC_WARN vec_ir_instr_find(ir_instr **vec, ir_instr *what, size_t *idx); -bool GMQCC_WARN ir_instr_op(ir_instr*, int op, ir_value *value, bool writing); +bool ir_instr_op(ir_instr*, int op, ir_value *value, bool writing); void ir_instr_dump(ir_instr* in, char *ind, int (*oprintf)(const char*,...)); @@ -202,14 +205,10 @@ ir_value* ir_block_create_fieldaddress(ir_block*, lex_ctx, const char *label, ir ir_value* ir_block_create_general_instr(ir_block *self, lex_ctx, const char *label, int op, ir_value *a, ir_value *b, int outype); -ir_value* ir_block_create_add(ir_block*, lex_ctx, const char *label, ir_value *l, ir_value *r); -ir_value* ir_block_create_sub(ir_block*, lex_ctx, const char *label, ir_value *l, ir_value *r); -ir_value* ir_block_create_mul(ir_block*, lex_ctx, const char *label, ir_value *l, ir_value *r); -ir_value* ir_block_create_div(ir_block*, lex_ctx, const char *label, ir_value *l, ir_value *r); ir_instr* ir_block_create_phi(ir_block*, lex_ctx, const char *label, int vtype); ir_value* ir_phi_value(ir_instr*); void ir_phi_add(ir_instr*, ir_block *b, ir_value *v); -ir_instr* ir_block_create_call(ir_block*, lex_ctx, const char *label, ir_value *func); +ir_instr* ir_block_create_call(ir_block*, lex_ctx, const char *label, ir_value *func, bool noreturn); ir_value* ir_call_value(ir_instr*); void ir_call_param(ir_instr*, ir_value*); @@ -237,6 +236,8 @@ typedef struct ir_function_s int *params; ir_block **blocks; + uint32_t flags; + int builtin; ir_value *value; @@ -251,6 +252,7 @@ typedef struct ir_function_s ir_value **locals; size_t allocated_locals; + size_t globaltemps; ir_block* first; ir_block* last; @@ -270,6 +272,10 @@ typedef struct ir_function_s struct ir_builder_s *owner; } ir_function; +#define IR_FLAG_HAS_ARRAYS (1<<1) +#define IR_FLAG_HAS_UNINITIALIZED (1<<2) +#define IR_FLAG_HAS_GOTO (1<<3) +#define IR_FLAG_MASK_NO_OVERLAP (IR_FLAG_HAS_ARRAYS | IR_FLAG_HAS_UNINITIALIZED) ir_function* ir_function_new(struct ir_builder_s *owner, int returntype); void ir_function_delete(ir_function*); @@ -305,11 +311,20 @@ typedef struct ir_builder_s ht htfields; ir_value **extparams; + ir_value **extparam_protos; + + /* the highest func->allocated_locals */ + size_t max_locals; + size_t max_globaltemps; + uint32_t first_common_local; + uint32_t first_common_globaltemp; const char **filenames; qcint *filestrings; /* we cache the #IMMEDIATE string here */ - qcint str_immediate; + qcint str_immediate; + /* there should just be this one nil */ + ir_value *nil; } ir_builder; ir_builder* ir_builder_new(const char *modulename);