test/ir-test.c

   1 #include "gmqcc.h"
   2 #include "ir.h"
   3
   4 #ifdef assert
   5 #   undef assert
   6 #endif
   7 /* (note: 'do {} while(0)' forces the need for a semicolon after assert() */
   8 #define assert(x) do { if ( !(x) ) { printf("Assertion failed: %s\n", #x); abort(); } } while(0)
   9
  10 int main()
  11 {
  12     int lf;
  13
  14         ir_builder *b  = ir_builder_new("test");
  15         ir_value   *va = ir_builder_create_global(b, "a", TYPE_FLOAT);
  16         ir_value   *v3 = ir_builder_create_global(b, "const_f_3", TYPE_FLOAT);
  17         ir_value   *vb = ir_builder_create_global(b, "b", TYPE_FLOAT);
  18         ir_value   *vc = ir_builder_create_global(b, "c", TYPE_FLOAT);
  19         ir_value   *vd = ir_builder_create_global(b, "d", TYPE_FLOAT);
  20
  21         ir_value   *life1  = ir_builder_create_global(b, "life1", TYPE_FLOAT);
  22         ir_value   *life2  = ir_builder_create_global(b, "life2", TYPE_FLOAT);
  23         ir_value   *life3  = ir_builder_create_global(b, "life3", TYPE_FLOAT);
  24
  25         ir_function *fmain  = NULL;
  26         ir_value    *la     = NULL;
  27         ir_block    *bmain  = NULL;
  28         ir_block    *blt    = NULL;
  29         ir_block    *bge    = NULL;
  30         ir_block    *bend   = NULL;
  31         ir_value    *sum    = NULL;
  32         ir_value    *prd    = NULL;
  33         ir_value    *less   = NULL;
  34         ir_value    *x1     = NULL;
  35         ir_value    *vig    = NULL;
  36         ir_value    *x2     = NULL;
  37         ir_instr    *retphi = NULL;
  38         ir_value    *retval = NULL;
  39
  40         assert(ir_value_set_float(v3, 3.0f)  );
  41         assert(ir_value_set_float(vb, 4.0f)  );
  42         assert(ir_value_set_float(vc, 10.0f) );
  43         assert(ir_value_set_float(vd, 20.0f) );
  44
  45         fmain = ir_builder_create_function(b, "main");
  46         assert(fmain);
  47
  48         la = ir_function_create_local(fmain, "loc1", TYPE_FLOAT);
  49         assert(la);
  50
  51         assert( bmain = ir_function_create_block(fmain, "top")          );
  52         assert( blt   = ir_function_create_block(fmain, "less")         );
  53         assert( bge   = ir_function_create_block(fmain, "greaterequal") );
  54         assert( bend  = ir_function_create_block(fmain, "end")          );
  55
  56         assert(ir_block_create_store_op(bmain, INSTR_STORE_F, va, v3));
  57         assert( sum  = ir_block_create_add(bmain, "%sum", va, vb)               );
  58         assert( prd  = ir_block_create_mul(bmain, "%mul", sum, vc)              );
  59         assert( less = ir_block_create_binop(bmain, "%less", INSTR_LT, prd, vd) );
  60
  61         assert(ir_block_create_if(bmain, less, blt, bge));
  62
  63         x1 = ir_block_create_binop(blt, "%x1", INSTR_ADD_F, sum, v3);
  64         assert(x1);
  65         assert(ir_block_create_goto(blt, bend));
  66
  67         vig = ir_block_create_binop(bge, "%ignore", INSTR_ADD_F, va, vb);
  68         assert(vig);
  69         assert(ir_block_create_store_op(bge, INSTR_STORE_F, la, vig));
  70         x2 = ir_block_create_binop(bge, "%x2", INSTR_ADD_F, sum, v3);
  71         assert(x2);
  72         assert(ir_block_create_goto(bge, bend));
  73
  74         retphi = ir_block_create_phi(bend, "%retval", TYPE_FLOAT);
  75         assert(retphi);
  76         assert(ir_phi_add(retphi, blt, x1));
  77         assert(ir_phi_add(retphi, bge, x2));
  78         retval = ir_phi_value(retphi);
  79         assert(retval);
  80         assert(ir_block_create_return(bend, retval));
  81
  82         /*
  83         printf("%i  should be 1\n", ir_value_life_merge(va, 31));
  84         printf("%i  should be 1\n", ir_value_life_merge(va, 33));
  85         printf("%i  should be 0\n", ir_value_life_merge(va, 33));
  86         printf("%i  should be 1\n", ir_value_life_merge(va, 1));
  87         printf("%i  should be 1\n", ir_value_life_merge(va, 2));
  88         printf("%i  should be 1\n", ir_value_life_merge(va, 20));
  89         printf("%i  should be 1\n", ir_value_life_merge(va, 21));
  90         printf("%i  should be 1\n", ir_value_life_merge(va, 8));
  91         printf("%i  should be 1\n", ir_value_life_merge(va, 9));
  92         printf("%i  should be 1\n", ir_value_life_merge(va, 3));
  93         printf("%i  should be 0\n", ir_value_life_merge(va, 9));
  94         printf("%i  should be 1\n", ir_value_life_merge(va, 17));
  95         printf("%i  should be 1\n", ir_value_life_merge(va, 18));
  96         printf("%i  should be 1\n", ir_value_life_merge(va, 19));
  97         printf("%i  should be 0\n", ir_value_life_merge(va, 19));
  98         ir_value_dump_life(va, printf);
  99         printf("%i  should be 1\n", ir_value_life_merge(va, 10));
 100         printf("%i  should be 1\n", ir_value_life_merge(va, 9));
 101         printf("%i  should be 0\n", ir_value_life_merge(va, 10));
 102         printf("%i  should be 0\n", ir_value_life_merge(va, 10));
 103         ir_value_dump_life(va, printf);
 104         */
 105
 106         ir_builder_dump(b, printf);
 107         assert(ir_function_finalize(fmain));
 108         ir_builder_dump(b, printf);
 109
 110         ir_value_dump_life(sum, printf);
 111         ir_value_dump_life(prd, printf);
 112         ir_value_dump_life(less, printf);
 113         ir_value_dump_life(x1, printf);
 114         ir_value_dump_life(x2, printf);
 115         ir_value_dump_life(retval, printf);
 116         ir_value_dump_life(vig, printf);
 117         ir_value_dump_life(la, printf);
 118
 119         ir_value_life_merge_into(retval, vig);
 120         ir_value_dump_life(retval, printf);
 121         ir_value_life_merge(x1, 12);
 122         ir_value_life_merge(x1, 13);
 123         ir_value_life_merge(x1, 14);
 124         ir_value_life_merge_into(retval, x1);
 125         ir_value_dump_life(retval, printf);
 126         ir_value_life_merge(x1, 20);
 127         ir_value_life_merge(x1, 21);
 128         ir_value_life_merge(x1, 22);
 129         ir_value_life_merge_into(retval, x1);
 130         ir_value_dump_life(retval, printf);
 131         ir_value_life_merge(x2, 1);
 132         ir_value_life_merge(x2, 2);
 133         ir_value_life_merge_into(retval, x2);
 134         ir_value_dump_life(retval, printf);
 135         for (lf = 4; lf <= 15; ++lf)
 136             ir_value_life_merge(life1, lf);
 137         ir_value_life_merge_into(retval, life1);
 138         ir_value_dump_life(retval, printf);
 139         for (lf = 17; lf <= 18; ++lf)
 140             ir_value_life_merge(life2, lf);
 141         ir_value_life_merge_into(retval, life2);
 142         ir_value_dump_life(retval, printf);
 143         for (lf = 2; lf <= 29; ++lf)
 144             ir_value_life_merge(life3, lf);
 145         ir_value_life_merge_into(retval, life3);
 146         ir_value_dump_life(retval, printf);
 147
 148         ir_builder_delete(b);
 149         return 0;
 150 }