prog_enter/leavefunction made static

[xonotic/gmqcc.git] / ir.h

diff --git a/ir.h b/ir.h
index 592f69c48e83a9b213b8bf646977ed48229c2ce6..a611dba13cba29e8f655f8e26ad9da27ecd7f272 100644 (file)
--- a/ir.h
+++ b/ir.h
@@ -38,6 +38,8 @@ typedef struct ir_value_s {
     int       vtype;
     int       store;
     lex_ctx   context;
+    /* even the IR knows the subtype of a field */
+    int       fieldtype;
 
     MEM_VECTOR_MAKE(struct ir_instr_s*, reads);
     MEM_VECTOR_MAKE(struct ir_instr_s*, writes);
@@ -50,8 +52,16 @@ typedef struct ir_value_s {
         vector   vvec;
         char    *vstring;
         struct ir_value_s *vpointer;
+        struct ir_function_s *vfunc;
     } constval;
 
+    struct {
+        int32_t globaladdr;
+        int32_t name;
+        /* filled by the local-allocator */
+        int32_t local;
+    } code;
+
     /* For the temp allocator */
     MEM_VECTOR_MAKE(ir_life_entry_t, life);
 } ir_value;
@@ -81,8 +91,11 @@ MEM_VECTOR_PROTO(ir_value, ir_life_entry_t, life);
 /* merge an instruction into the life-range */
 /* returns false if the lifepoint was already known */
 bool ir_value_life_merge(ir_value*, size_t);
+bool ir_value_life_merge_into(ir_value*, const ir_value*);
 /* check if a value lives at a specific point */
 bool ir_value_lives(ir_value*, size_t);
+/* check if the life-range of 2 values overlaps */
+bool ir_values_overlap(const ir_value*, const ir_value*);
 
 void ir_value_dump(ir_value*, int (*oprintf)(const char*,...));
 void ir_value_dump_life(ir_value *self, int (*oprintf)(const char*,...));
@@ -135,6 +148,9 @@ typedef struct ir_block_s
     size_t run_id;
 
     struct ir_function_s *owner;
+
+    bool   generated;
+    size_t code_start;
 } ir_block;
 
 ir_block* ir_block_new(struct ir_function_s *owner, const char *label);
@@ -150,6 +166,18 @@ ir_value* ir_block_create_binop(ir_block*, const char *label, int op,
                                 ir_value *left, ir_value *right);
 bool GMQCC_WARN ir_block_create_store_op(ir_block*, int op, ir_value *target, ir_value *what);
 bool GMQCC_WARN ir_block_create_store(ir_block*, ir_value *target, ir_value *what);
+bool GMQCC_WARN ir_block_create_storep(ir_block*, ir_value *target, ir_value *what);
+
+/* field must be of TYPE_FIELD */
+ir_value* ir_block_create_load_from_ent(ir_block*, const char *label, ir_value *ent, ir_value *field, int outype);
+
+ir_value* ir_block_create_fieldaddress(ir_block*, const char *label, ir_value *entity, ir_value *field);
+
+/* This is to create an instruction of the form
+ * <outtype>%label := opcode a, b
+ */
+ir_value* ir_block_create_general_instr(ir_block *self, const char *label,
+                                        int op, ir_value *a, ir_value *b, int outype);
 
 ir_value* ir_block_create_add(ir_block*, const char *label, ir_value *l, ir_value *r);
 ir_value* ir_block_create_sub(ir_block*, const char *label, ir_value *l, ir_value *r);
@@ -162,7 +190,7 @@ bool GMQCC_WARN ir_phi_add(ir_instr*, ir_block *b, ir_value *v);
 bool GMQCC_WARN ir_block_create_return(ir_block*, ir_value *opt_value);
 
 bool GMQCC_WARN ir_block_create_if(ir_block*, ir_value *cond,
-                             ir_block *ontrue, ir_block *onfalse);
+                                   ir_block *ontrue, ir_block *onfalse);
 /* A 'goto' is an actual 'goto' coded in QC, whereas
  * a 'jump' is a virtual construct which simply names the
  * next block to go to.
@@ -194,6 +222,8 @@ typedef struct ir_function_s
     /* locally defined variables */
     MEM_VECTOR_MAKE(ir_value*, locals);
 
+    size_t allocated_locals;
+
     ir_block*     first;
     ir_block*     last;
 
@@ -250,6 +280,12 @@ ir_function* ir_builder_create_function(ir_builder*, const char *name);
 ir_value* ir_builder_get_global(ir_builder*, const char *fun);
 ir_value* ir_builder_create_global(ir_builder*, const char *name, int vtype);
 
+bool ir_builder_generate(ir_builder *self, const char *filename);
+
 void ir_builder_dump(ir_builder*, int (*oprintf)(const char*, ...));
 
+/* This code assumes 32 bit floats while generating binary */
+extern int check_int_and_float_size
+[ (sizeof(int32_t) == sizeof(( (ir_value*)(NULL) )->constval.vvec.x)) ? 1 : -1 ];
+
 #endif