5 ir_builder *b = ir_builder_new("test");
6 ir_value *va = ir_builder_create_global(b, "a", TYPE_FLOAT);
7 ir_value *v3 = ir_builder_create_global(b, "const_f_3", TYPE_FLOAT);
8 ir_value *vb = ir_builder_create_global(b, "b", TYPE_FLOAT);
9 ir_value *vc = ir_builder_create_global(b, "c", TYPE_FLOAT);
10 ir_value *vd = ir_builder_create_global(b, "d", TYPE_FLOAT);
12 ir_function *fmain = NULL;
14 ir_block *bmain = NULL;
17 ir_block *bend = NULL;
20 ir_value *less = NULL;
24 ir_instr *retphi = NULL;
25 ir_value *retval = NULL;
27 if (!ir_value_set_float(v3, 3.0f) ||
28 !ir_value_set_float(vb, 4.0f) ||
29 !ir_value_set_float(vc, 10.0f) ||
30 !ir_value_set_float(vd, 20.0f) )
33 fmain = ir_builder_create_function(b, "main");
35 la = ir_function_create_local(fmain, "loc1", TYPE_FLOAT);
38 bmain = ir_function_create_block(fmain, "top");
39 blt = ir_function_create_block(fmain, "less");
40 bge = ir_function_create_block(fmain, "greaterequal");
41 bend = ir_function_create_block(fmain, "end");
43 if (!ir_block_create_store_op(bmain, INSTR_STORE_F, va, v3)) abort();
44 sum = ir_block_create_add(bmain, "%sum", va, vb);
45 prd = ir_block_create_mul(bmain, "%mul", sum, vc);
46 less = ir_block_create_binop(bmain, "%less",
49 if (!ir_block_create_if(bmain, less, blt, bge)) abort();
51 x1 = ir_block_create_binop(blt, "%x1", INSTR_ADD_F, sum, v3);
52 if (!ir_block_create_goto(blt, bend)) abort();
54 vig = ir_block_create_binop(bge, "%ignore", INSTR_ADD_F, va, vb);
55 if (!ir_block_create_store_op(bge, INSTR_STORE_F, la, vig)) abort();
56 x2 = ir_block_create_binop(bge, "%x2", INSTR_ADD_F, sum, v3);
57 if (!ir_block_create_goto(bge, bend)) abort();
59 retphi = ir_block_create_phi(bend, "%retval", TYPE_FLOAT);
60 if (!ir_phi_add(retphi, blt, x1) ||
61 !ir_phi_add(retphi, bge, x2) )
63 retval = ir_phi_value(retphi);
64 if (!ir_block_create_return(bend, retval)) abort();
67 printf("%i should be 1\n", ir_value_life_merge(va, 31));
68 printf("%i should be 1\n", ir_value_life_merge(va, 33));
69 printf("%i should be 0\n", ir_value_life_merge(va, 33));
70 printf("%i should be 1\n", ir_value_life_merge(va, 1));
71 printf("%i should be 1\n", ir_value_life_merge(va, 2));
72 printf("%i should be 1\n", ir_value_life_merge(va, 20));
73 printf("%i should be 1\n", ir_value_life_merge(va, 21));
74 printf("%i should be 1\n", ir_value_life_merge(va, 8));
75 printf("%i should be 1\n", ir_value_life_merge(va, 9));
76 printf("%i should be 1\n", ir_value_life_merge(va, 3));
77 printf("%i should be 0\n", ir_value_life_merge(va, 9));
78 printf("%i should be 1\n", ir_value_life_merge(va, 17));
79 printf("%i should be 1\n", ir_value_life_merge(va, 18));
80 printf("%i should be 1\n", ir_value_life_merge(va, 19));
81 printf("%i should be 0\n", ir_value_life_merge(va, 19));
82 ir_value_dump_life(va, printf);
83 printf("%i should be 1\n", ir_value_life_merge(va, 10));
84 printf("%i should be 1\n", ir_value_life_merge(va, 9));
85 printf("%i should be 0\n", ir_value_life_merge(va, 10));
86 printf("%i should be 0\n", ir_value_life_merge(va, 10));
87 ir_value_dump_life(va, printf);
90 ir_builder_dump(b, printf);
91 if (!ir_function_finalize(fmain)) abort();
92 ir_builder_dump(b, printf);
94 ir_value_dump_life(sum, printf);
95 ir_value_dump_life(prd, printf);
96 ir_value_dump_life(less, printf);
97 ir_value_dump_life(x1, printf);
98 ir_value_dump_life(x2, printf);
99 ir_value_dump_life(retval, printf);
100 ir_value_dump_life(vig, printf);
101 ir_value_dump_life(la, printf);
103 ir_builder_delete(b);