X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firarch.c;h=d72fbe951f57e6173fb3f8e01adb1785c5d49ed0;hb=581e5849ae58a13ab250626059da2abb506f24a6;hp=549b747c5a96d11a40405e43e2180d68152e70de;hpb=a169b4d8ce0f7187ed45f9142f28fd0600588ded;p=libfirm

diff --git a/ir/ir/irarch.c b/ir/ir/irarch.c
index 549b747c5..d72fbe951 100644
--- a/ir/ir/irarch.c
+++ b/ir/ir/irarch.c
@@ -27,14 +27,9 @@
  * Implements "Strenght Reduction of Multiplications by Integer Constants" by Youfeng Wu.
  * Implements Division and Modulo by Consts from "Hackers Delight",
  */
-#ifdef HAVE_CONFIG_H
-# include "config.h"
-#endif
-
-#ifdef HAVE_STDLIB_H
-# include <stdlib.h>
-#endif
+#include "config.h"
 
+#include <stdlib.h>
 #include <assert.h>
 
 #include "irnode_t.h"
@@ -52,6 +47,7 @@
 #include "ircons.h"
 #include "irarch.h"
 #include "irflag.h"
+#include "error.h"
 
 #undef DEB
 
@@ -449,12 +445,12 @@ static ir_node *build_graph(mul_env *env, instruction *inst) {
 	case LEA:
 		l = build_graph(env, inst->in[0]);
 		r = build_graph(env, inst->in[1]);
-		c = new_r_Const(current_ir_graph, env->blk, env->shf_mode, new_tarval_from_long(inst->shift_count, env->shf_mode));
+		c = new_Const_long(env->shf_mode, inst->shift_count);
 		r = new_rd_Shl(env->dbg, current_ir_graph, env->blk, r, c, env->mode);
 		return inst->irn = new_rd_Add(env->dbg, current_ir_graph, env->blk, l, r, env->mode);
 	case SHIFT:
 		l = build_graph(env, inst->in[0]);
-		c = new_r_Const(current_ir_graph, env->blk, env->shf_mode, new_tarval_from_long(inst->shift_count, env->shf_mode));
+		c = new_Const_long(env->shf_mode, inst->shift_count);
 		return inst->irn = new_rd_Shl(env->dbg, current_ir_graph, env->blk, l, c, env->mode);
 	case SUB:
 		l = build_graph(env, inst->in[0]);
@@ -465,9 +461,9 @@ static ir_node *build_graph(mul_env *env, instruction *inst) {
 		r = build_graph(env, inst->in[1]);
 		return inst->irn = new_rd_Add(env->dbg, current_ir_graph, env->blk, l, r, env->mode);
 	case ZERO:
-		return inst->irn = new_r_Const(current_ir_graph, env->blk, env->mode, get_mode_null(env->mode));
+		return inst->irn = new_Const(get_mode_null(env->mode));
 	default:
-		assert(0);
+		panic("Unsupported instruction kind");
 		return NULL;
 	}
 }
@@ -507,10 +503,11 @@ static int evaluate_insn(mul_env *env, instruction *inst) {
 	case ZERO:
 		inst->costs = costs = env->evaluate(inst->kind, NULL);
 		return costs;
-	default:
-		assert(0);
-		return 0;
+	case MUL:
+	case ROOT:
+		break;
 	}
+	panic("Unsupported instruction kind");
 }
 
 /**
@@ -825,7 +822,7 @@ static ir_node *replace_div_by_mulh(ir_node *div, tarval *tv) {
 		struct ms mag = magic(tv);
 
 		/* generate the Mulh instruction */
-		c = new_r_Const(current_ir_graph, block, mode, mag.M);
+		c = new_Const(mag.M);
 		q = new_rd_Mulh(dbg, current_ir_graph, block, n, c, mode);
 
 		/* do we need an Add or Sub */
@@ -836,12 +833,12 @@ static ir_node *replace_div_by_mulh(ir_node *div, tarval *tv) {
 
 		/* Do we need the shift */
 		if (mag.s > 0) {
-			c = new_r_Const_long(current_ir_graph, block, mode_Iu, mag.s);
-			q    = new_rd_Shrs(dbg, current_ir_graph, block, q, c, mode);
+			c = new_Const_long(mode_Iu, mag.s);
+			q = new_rd_Shrs(dbg, current_ir_graph, block, q, c, mode);
 		}
 
 		/* final */
-		c = new_r_Const_long(current_ir_graph, block, mode_Iu, bits-1);
+		c = new_Const_long(mode_Iu, bits - 1);
 		t = new_rd_Shr(dbg, current_ir_graph, block, q, c, mode);
 
 		q = new_rd_Add(dbg, current_ir_graph, block, q, t, mode);
@@ -850,7 +847,7 @@ static ir_node *replace_div_by_mulh(ir_node *div, tarval *tv) {
 		ir_node *c;
 
 		/* generate the Mulh instruction */
-		c = new_r_Const(current_ir_graph, block, mode, mag.M);
+		c = new_Const(mag.M);
 		q = new_rd_Mulh(dbg, current_ir_graph, block, n, c, mode);
 
 		if (mag.need_add) {
@@ -858,19 +855,19 @@ static ir_node *replace_div_by_mulh(ir_node *div, tarval *tv) {
 				/* use the GM scheme */
 				t = new_rd_Sub(dbg, current_ir_graph, block, n, q, mode);
 
-				c = new_r_Const(current_ir_graph, block, mode_Iu, get_mode_one(mode_Iu));
+				c = new_Const(get_mode_one(mode_Iu));
 				t = new_rd_Shr(dbg, current_ir_graph, block, t, c, mode);
 
 				t = new_rd_Add(dbg, current_ir_graph, block, t, q, mode);
 
-				c = new_r_Const_long(current_ir_graph, block, mode_Iu, mag.s-1);
+				c = new_Const_long(mode_Iu, mag.s - 1);
 				q = new_rd_Shr(dbg, current_ir_graph, block, t, c, mode);
 			} else {
 				/* use the default scheme */
 				q = new_rd_Add(dbg, current_ir_graph, block, q, n, mode);
 			}
 		} else if (mag.s > 0) { /* default scheme, shift needed */
-			c = new_r_Const_long(current_ir_graph, block, mode_Iu, mag.s);
+			c = new_Const_long(mode_Iu, mag.s);
 			q = new_rd_Shr(dbg, current_ir_graph, block, q, c, mode);
 		}
 	}
@@ -931,13 +928,13 @@ ir_node *arch_dep_replace_div_by_const(ir_node *irn) {
 				ir_node *curr = left;
 
 				/* create the correction code for signed values only if there might be a remainder */
-				if (! is_Div_remainderless(irn)) {
+				if (! get_Div_no_remainder(irn)) {
 					if (k != 1) {
-						k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, k - 1);
+						k_node = new_Const_long(mode_Iu, k - 1);
 						curr   = new_rd_Shrs(dbg, current_ir_graph, block, left, k_node, mode);
 					}
 
-					k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, bits - k);
+					k_node = new_Const_long(mode_Iu, bits - k);
 					curr   = new_rd_Shr(dbg, current_ir_graph, block, curr, k_node, mode);
 
 					curr   = new_rd_Add(dbg, current_ir_graph, block, left, curr, mode);
@@ -945,19 +942,19 @@ ir_node *arch_dep_replace_div_by_const(ir_node *irn) {
 					k_node = left;
 				}
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, k);
+				k_node = new_Const_long(mode_Iu, k);
 				res    = new_rd_Shrs(dbg, current_ir_graph, block, curr, k_node, mode);
 
 				if (n_flag) { /* negate the result */
 					ir_node *k_node;
 
-					k_node = new_r_Const(current_ir_graph, block, mode, get_mode_null(mode));
+					k_node = new_Const(get_mode_null(mode));
 					res = new_rd_Sub(dbg, current_ir_graph, block, k_node, res, mode);
 				}
 			} else {      /* unsigned case */
 				ir_node *k_node;
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, k);
+				k_node = new_Const_long(mode_Iu, k);
 				res    = new_rd_Shr(dbg, current_ir_graph, block, left, k_node, mode);
 			}
 		} else {
@@ -1027,23 +1024,23 @@ ir_node *arch_dep_replace_mod_by_const(ir_node *irn) {
 				ir_node *curr = left;
 
 				if (k != 1) {
-					k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, k - 1);
+					k_node = new_Const_long(mode_Iu, k - 1);
 					curr   = new_rd_Shrs(dbg, current_ir_graph, block, left, k_node, mode);
 				}
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, bits - k);
+				k_node = new_Const_long(mode_Iu, bits - k);
 				curr   = new_rd_Shr(dbg, current_ir_graph, block, curr, k_node, mode);
 
 				curr   = new_rd_Add(dbg, current_ir_graph, block, left, curr, mode);
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode, (-1) << k);
+				k_node = new_Const_long(mode, (-1) << k);
 				curr   = new_rd_And(dbg, current_ir_graph, block, curr, k_node, mode);
 
 				res    = new_rd_Sub(dbg, current_ir_graph, block, left, curr, mode);
 			} else {      /* unsigned case */
 				ir_node *k_node;
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode, (1 << k) - 1);
+				k_node = new_Const_long(mode, (1 << k) - 1);
 				res    = new_rd_And(dbg, current_ir_graph, block, left, k_node, mode);
 			}
 		} else {
@@ -1121,37 +1118,37 @@ void arch_dep_replace_divmod_by_const(ir_node **div, ir_node **mod, ir_node *irn
 				ir_node *curr = left;
 
 				if (k != 1) {
-					k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, k - 1);
+					k_node = new_Const_long(mode_Iu, k - 1);
 					curr   = new_rd_Shrs(dbg, current_ir_graph, block, left, k_node, mode);
 				}
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, bits - k);
+				k_node = new_Const_long(mode_Iu, bits - k);
 				curr   = new_rd_Shr(dbg, current_ir_graph, block, curr, k_node, mode);
 
 				curr   = new_rd_Add(dbg, current_ir_graph, block, left, curr, mode);
 
-				c_k    = new_r_Const_long(current_ir_graph, block, mode_Iu, k);
+				c_k    = new_Const_long(mode_Iu, k);
 
 				*div   = new_rd_Shrs(dbg, current_ir_graph, block, curr, c_k, mode);
 
 				if (n_flag) { /* negate the div result */
 					ir_node *k_node;
 
-					k_node = new_r_Const(current_ir_graph, block, mode, get_mode_null(mode));
+					k_node = new_Const(get_mode_null(mode));
 					*div = new_rd_Sub(dbg, current_ir_graph, block, k_node, *div, mode);
 				}
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode, (-1) << k);
+				k_node = new_Const_long(mode, (-1) << k);
 				curr   = new_rd_And(dbg, current_ir_graph, block, curr, k_node, mode);
 
 				*mod   = new_rd_Sub(dbg, current_ir_graph, block, left, curr, mode);
 			} else {      /* unsigned case */
 				ir_node *k_node;
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode_Iu, k);
+				k_node = new_Const_long(mode_Iu, k);
 				*div   = new_rd_Shr(dbg, current_ir_graph, block, left, k_node, mode);
 
-				k_node = new_r_Const_long(current_ir_graph, block, mode, (1 << k) - 1);
+				k_node = new_Const_long(mode, (1 << k) - 1);
 				*mod   = new_rd_And(dbg, current_ir_graph, block, left, k_node, mode);
 			}
 		} else {