test/ir-test.c

   1 #include "ir.h"
   2 void builder1()
   3 {
   4         ir_builder *b = ir_builder_new("test");
   5         ir_value *va = ir_builder_create_global(b, "a", TYPE_FLOAT);
   6         ir_value *v3 = ir_builder_create_global(b, "const_f_3", TYPE_FLOAT);
   7         ir_value *vb = ir_builder_create_global(b, "b", TYPE_FLOAT);
   8         ir_value *vc = ir_builder_create_global(b, "c", TYPE_FLOAT);
   9         ir_value *vd = ir_builder_create_global(b, "d", TYPE_FLOAT);
  10
  11         if (!ir_value_set_float(v3, 3.0f)  ||
  12             !ir_value_set_float(vb, 4.0f)  ||
  13             !ir_value_set_float(vc, 10.0f) ||
  14             !ir_value_set_float(vd, 20.0f) )
  15             abort();
  16
  17         ir_function *fmain = ir_builder_create_function(b, "main");
  18
  19         ir_value *la = ir_function_create_local(fmain, "loc1", TYPE_FLOAT);
  20         (void)la;
  21
  22         ir_block *bmain = ir_function_create_block(fmain, "top");
  23         ir_block *blt   = ir_function_create_block(fmain, "less");
  24         ir_block *bge   = ir_function_create_block(fmain, "greaterequal");
  25         ir_block *bend  = ir_function_create_block(fmain, "end");
  26
  27         if (!ir_block_create_store_op(bmain, INSTR_STORE_F, va, v3)) abort();
  28         ir_value *sum = ir_block_create_add(bmain, "%sum", va, vb);
  29         ir_value *prd = ir_block_create_mul(bmain, "%mul", sum, vc);
  30         ir_value *less = ir_block_create_binop(bmain, "%less",
  31                                                INSTR_LT, prd, vd);
  32
  33         if (!ir_block_create_if(bmain, less, blt, bge)) abort();
  34
  35         ir_value *x1 = ir_block_create_binop(blt, "%x1", INSTR_ADD_F, sum, v3);
  36         if (!ir_block_create_goto(blt, bend)) abort();
  37
  38         ir_value *vig = ir_block_create_binop(bge, "%ignore", INSTR_ADD_F, va, vb);
  39         if (!ir_block_create_store_op(bge, INSTR_STORE_F, la, vig)) abort();
  40         ir_value *x2 = ir_block_create_binop(bge, "%x2", INSTR_ADD_F, sum, v3);
  41         if (!ir_block_create_goto(bge, bend)) abort();
  42
  43         ir_instr *retphi = ir_block_create_phi(bend, "%retval", TYPE_FLOAT);
  44         if (!ir_phi_add(retphi, blt, x1) ||
  45             !ir_phi_add(retphi, bge, x2) )
  46             abort();
  47         ir_value *retval = ir_phi_value(retphi);
  48         if (!ir_block_create_return(bend, retval)) abort();
  49
  50         /*
  51         printf("%i  should be 1\n", ir_value_life_merge(va, 31));
  52         printf("%i  should be 1\n", ir_value_life_merge(va, 33));
  53         printf("%i  should be 0\n", ir_value_life_merge(va, 33));
  54         printf("%i  should be 1\n", ir_value_life_merge(va, 1));
  55         printf("%i  should be 1\n", ir_value_life_merge(va, 2));
  56         printf("%i  should be 1\n", ir_value_life_merge(va, 20));
  57         printf("%i  should be 1\n", ir_value_life_merge(va, 21));
  58         printf("%i  should be 1\n", ir_value_life_merge(va, 8));
  59         printf("%i  should be 1\n", ir_value_life_merge(va, 9));
  60         printf("%i  should be 1\n", ir_value_life_merge(va, 3));
  61         printf("%i  should be 0\n", ir_value_life_merge(va, 9));
  62         printf("%i  should be 1\n", ir_value_life_merge(va, 17));
  63         printf("%i  should be 1\n", ir_value_life_merge(va, 18));
  64         printf("%i  should be 1\n", ir_value_life_merge(va, 19));
  65         printf("%i  should be 0\n", ir_value_life_merge(va, 19));
  66         ir_value_dump_life(va, printf);
  67         printf("%i  should be 1\n", ir_value_life_merge(va, 10));
  68         printf("%i  should be 1\n", ir_value_life_merge(va, 9));
  69         printf("%i  should be 0\n", ir_value_life_merge(va, 10));
  70         printf("%i  should be 0\n", ir_value_life_merge(va, 10));
  71         ir_value_dump_life(va, printf);
  72         */
  73
  74         ir_builder_dump(b, printf);
  75         if (!ir_function_finalize(fmain)) abort();
  76         ir_builder_dump(b, printf);
  77
  78         ir_value_dump_life(sum, printf);
  79         ir_value_dump_life(prd, printf);
  80         ir_value_dump_life(less, printf);
  81         ir_value_dump_life(x1, printf);
  82         ir_value_dump_life(x2, printf);
  83         ir_value_dump_life(retval, printf);
  84         ir_value_dump_life(vig, printf);
  85         ir_value_dump_life(la, printf);
  86
  87         ir_builder_delete(b);
  88 }