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)
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);
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);
25 ir_function *fmain = NULL;
27 ir_block *bmain = NULL;
30 ir_block *bend = NULL;
33 ir_value *less = NULL;
37 ir_instr *retphi = NULL;
38 ir_value *retval = NULL;
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) );
45 fmain = ir_builder_create_function(b, "main");
48 la = ir_function_create_local(fmain, "loc1", TYPE_FLOAT);
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") );
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) );
61 assert(ir_block_create_if(bmain, less, blt, bge));
63 x1 = ir_block_create_binop(blt, "%x1", INSTR_ADD_F, sum, v3);
65 assert(ir_block_create_goto(blt, bend));
67 vig = ir_block_create_binop(bge, "%ignore", INSTR_ADD_F, va, vb);
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);
72 assert(ir_block_create_goto(bge, bend));
74 retphi = ir_block_create_phi(bend, "%retval", TYPE_FLOAT);
76 assert(ir_phi_add(retphi, blt, x1));
77 assert(ir_phi_add(retphi, bge, x2));
78 retval = ir_phi_value(retphi);
80 assert(ir_block_create_return(bend, retval));
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);
106 ir_builder_dump(b, printf);
107 assert(ir_function_finalize(fmain));
108 ir_builder_dump(b, printf);
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);
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);
148 ir_builder_delete(b);