X-Git-Url: https://de.git.xonotic.org/?a=blobdiff_plain;f=test%2Fir-test.c;h=38fa764cb7c5bf122b1795aca97323af08ba3458;hb=fe06c9dadc8adf9db8523a7d8dcfeef03d2f15a2;hp=c90bfd6f206d16708bb1ae8d4a2c03dedfbf9fba;hpb=8156374a71b8c4e7e5eb53703a74dcc15cc260d9;p=xonotic%2Fgmqcc.git

diff --git a/test/ir-test.c b/test/ir-test.c
index c90bfd6..38fa764 100644
--- a/test/ir-test.c
+++ b/test/ir-test.c
@@ -1,7 +1,16 @@
 #include "gmqcc.h"
 #include "ir.h"
+
+#ifdef assert
+#   undef assert
+#endif
+/* (note: 'do {} while(0)' forces the need for a semicolon after assert() */
+#define assert(x) do { if ( !(x) ) { printf("Assertion failed: %s\n", #x); abort(); } } while(0)
+
 int main()
 {
+    int lf;
+
 	ir_builder *b  = ir_builder_new("test");
 	ir_value   *va = ir_builder_create_global(b, "a", TYPE_FLOAT);
 	ir_value   *v3 = ir_builder_create_global(b, "const_f_3", TYPE_FLOAT);
@@ -9,6 +18,10 @@ int main()
 	ir_value   *vc = ir_builder_create_global(b, "c", TYPE_FLOAT);
 	ir_value   *vd = ir_builder_create_global(b, "d", TYPE_FLOAT);
 
+	ir_value   *life1  = ir_builder_create_global(b, "life1", TYPE_FLOAT);
+	ir_value   *life2  = ir_builder_create_global(b, "life2", TYPE_FLOAT);
+	ir_value   *life3  = ir_builder_create_global(b, "life3", TYPE_FLOAT);
+
 	ir_function *fmain  = NULL;
 	ir_value    *la     = NULL;
 	ir_block    *bmain  = NULL;
@@ -24,44 +37,47 @@ int main()
 	ir_instr    *retphi = NULL;
 	ir_value    *retval = NULL;
 
-	if (!ir_value_set_float(v3, 3.0f)  ||
-	    !ir_value_set_float(vb, 4.0f)  ||
-	    !ir_value_set_float(vc, 10.0f) ||
-	    !ir_value_set_float(vd, 20.0f) )
-	    abort();
+	assert(ir_value_set_float(v3, 3.0f)  );
+	assert(ir_value_set_float(vb, 4.0f)  );
+	assert(ir_value_set_float(vc, 10.0f) );
+	assert(ir_value_set_float(vd, 20.0f) );
 
 	fmain = ir_builder_create_function(b, "main");
+	assert(fmain);
 
 	la = ir_function_create_local(fmain, "loc1", TYPE_FLOAT);
-	(void)la;
+	assert(la);
 
-	bmain = ir_function_create_block(fmain, "top");
-	blt   = ir_function_create_block(fmain, "less");
-	bge   = ir_function_create_block(fmain, "greaterequal");
-	bend  = ir_function_create_block(fmain, "end");
+	assert( bmain = ir_function_create_block(fmain, "top")          );
+	assert( blt   = ir_function_create_block(fmain, "less")         );
+	assert( bge   = ir_function_create_block(fmain, "greaterequal") );
+	assert( bend  = ir_function_create_block(fmain, "end")          );
 
-	if (!ir_block_create_store_op(bmain, INSTR_STORE_F, va, v3)) abort();
-	sum = ir_block_create_add(bmain, "%sum", va, vb);
-	prd = ir_block_create_mul(bmain, "%mul", sum, vc);
-	less = ir_block_create_binop(bmain, "%less",
-	                                       INSTR_LT, prd, vd);
+	assert(ir_block_create_store_op(bmain, INSTR_STORE_F, va, v3));
+	assert( sum  = ir_block_create_add(bmain, "%sum", va, vb)               );
+	assert( prd  = ir_block_create_mul(bmain, "%mul", sum, vc)              );
+	assert( less = ir_block_create_binop(bmain, "%less", INSTR_LT, prd, vd) );
 
-	if (!ir_block_create_if(bmain, less, blt, bge)) abort();
+	assert(ir_block_create_if(bmain, less, blt, bge));
 
 	x1 = ir_block_create_binop(blt, "%x1", INSTR_ADD_F, sum, v3);
-	if (!ir_block_create_goto(blt, bend)) abort();
+	assert(x1);
+	assert(ir_block_create_goto(blt, bend));
 
 	vig = ir_block_create_binop(bge, "%ignore", INSTR_ADD_F, va, vb);
-	if (!ir_block_create_store_op(bge, INSTR_STORE_F, la, vig)) abort();
+	assert(vig);
+	assert(ir_block_create_store_op(bge, INSTR_STORE_F, la, vig));
 	x2 = ir_block_create_binop(bge, "%x2", INSTR_ADD_F, sum, v3);
-	if (!ir_block_create_goto(bge, bend)) abort();
+	assert(x2);
+	assert(ir_block_create_goto(bge, bend));
 
 	retphi = ir_block_create_phi(bend, "%retval", TYPE_FLOAT);
-	if (!ir_phi_add(retphi, blt, x1) ||
-	    !ir_phi_add(retphi, bge, x2) )
-	    abort();
+	assert(retphi);
+	assert(ir_phi_add(retphi, blt, x1));
+	assert(ir_phi_add(retphi, bge, x2));
 	retval = ir_phi_value(retphi);
-	if (!ir_block_create_return(bend, retval)) abort();
+	assert(retval);
+	assert(ir_block_create_return(bend, retval));
 
 	/*
 	printf("%i  should be 1\n", ir_value_life_merge(va, 31));
@@ -88,7 +104,7 @@ int main()
 	*/
 
 	ir_builder_dump(b, printf);
-	if (!ir_function_finalize(fmain)) abort();
+	assert(ir_function_finalize(fmain));
 	ir_builder_dump(b, printf);
 
 	ir_value_dump_life(sum, printf);
@@ -100,6 +116,35 @@ int main()
 	ir_value_dump_life(vig, printf);
 	ir_value_dump_life(la, printf);
 
+	ir_value_life_merge_into(retval, vig);
+	ir_value_dump_life(retval, printf);
+	ir_value_life_merge(x1, 12);
+	ir_value_life_merge(x1, 13);
+	ir_value_life_merge(x1, 14);
+	ir_value_life_merge_into(retval, x1);
+	ir_value_dump_life(retval, printf);
+	ir_value_life_merge(x1, 20);
+	ir_value_life_merge(x1, 21);
+	ir_value_life_merge(x1, 22);
+	ir_value_life_merge_into(retval, x1);
+	ir_value_dump_life(retval, printf);
+	ir_value_life_merge(x2, 1);
+	ir_value_life_merge(x2, 2);
+	ir_value_life_merge_into(retval, x2);
+	ir_value_dump_life(retval, printf);
+	for (lf = 4; lf <= 15; ++lf)
+	    ir_value_life_merge(life1, lf);
+	ir_value_life_merge_into(retval, life1);
+	ir_value_dump_life(retval, printf);
+	for (lf = 17; lf <= 18; ++lf)
+	    ir_value_life_merge(life2, lf);
+	ir_value_life_merge_into(retval, life2);
+	ir_value_dump_life(retval, printf);
+	for (lf = 2; lf <= 29; ++lf)
+	    ir_value_life_merge(life3, lf);
+	ir_value_life_merge_into(retval, life3);
+	ir_value_dump_life(retval, printf);
+
 	ir_builder_delete(b);
 	return 0;
 }