X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_transform.c;h=6b603efcd7aec84477dfab593f725b342d4408e3;hb=a1a465eb2b3f54027b29f829423fffd0396937f4;hp=91f7e37eabd2937d251fb8875b5187696d7803f7;hpb=45f1501fe375cb88ba71ceeb0be5fe6a19445ac2;p=libfirm

diff --git a/ir/be/ia32/ia32_transform.c b/ir/be/ia32/ia32_transform.c
index 91f7e37ea..6b603efcd 100644
--- a/ir/be/ia32/ia32_transform.c
+++ b/ir/be/ia32/ia32_transform.c
@@ -421,7 +421,7 @@ static ir_node *gen_shift_binop(ia32_transform_env_t *env, ir_node *op1, ir_node
 		tv = get_ia32_Immop_tarval(imm_op);
 
 		if (tv) {
-			tv = tarval_mod(tv, new_tarval_from_long(32, mode_Iu));
+			tv = tarval_mod(tv, new_tarval_from_long(32, get_tarval_mode(tv)));
 			set_ia32_Immop_tarval(imm_op, tv);
 		}
 		else {
@@ -515,7 +515,7 @@ static ir_node *gen_imm_Add(ia32_transform_env_t *env, ir_node *expr_op, ir_node
 	DEBUG_ONLY(firm_dbg_module_t *mod = env->mod;)
 
 	/* try to optimize to inc/dec  */
-	if ((env->cg->opt & IA32_OPT_INCDEC) && (get_ia32_op_type(const_op) == ia32_Const)) {
+	if ((env->cg->opt & IA32_OPT_INCDEC) && tv && (get_ia32_op_type(const_op) == ia32_Const)) {
 		/* optimize tarvals */
 		class_tv    = classify_tarval(tv);
 		class_negtv = classify_tarval(tarval_neg(tv));
@@ -839,7 +839,7 @@ static ir_node *gen_imm_Sub(ia32_transform_env_t *env, ir_node *expr_op, ir_node
 	DEBUG_ONLY(firm_dbg_module_t *mod = env->mod;)
 
 	/* try to optimize to inc/dec  */
-	if ((env->cg->opt & IA32_OPT_INCDEC) && tv) {
+	if ((env->cg->opt & IA32_OPT_INCDEC) && tv && (get_ia32_op_type(const_op) == ia32_Const)) {
 		/* optimize tarvals */
 		class_tv    = classify_tarval(tv);
 		class_negtv = classify_tarval(tarval_neg(tv));
@@ -1434,7 +1434,7 @@ static ir_node *gen_Load(ia32_transform_env_t *env) {
 	*/
 	if (! get_proj_for_pn(node, pn_Load_res) && get_Load_volatility(node) == volatility_is_volatile) {
 		/* add a result proj and a Keep to produce a pseudo use */
-		ir_node *proj = new_r_Proj(env->irg, env->block, new_op, mode, pn_ia32_Load_res);
+		ir_node *proj = new_r_Proj(env->irg, env->block, node, mode, pn_ia32_Load_res);
 		be_new_Keep(arch_get_irn_reg_class(env->cg->arch_env, proj, -1), env->irg, env->block, 1, &proj);
 	}
 
@@ -2226,7 +2226,8 @@ static ir_node *gen_Conv(ia32_transform_env_t *env) {
 		set_ia32_tgt_mode(new_op, tgt_mode);
 		set_ia32_src_mode(new_op, src_mode);
 
-		set_ia32_am_support(new_op, ia32_am_Source);
+		if(tgt_bits >= src_bits)
+			set_ia32_am_support(new_op, ia32_am_Source);
 
 		new_op = new_rd_Proj(dbg, irg, block, new_op, tgt_mode, pn);
 
@@ -2851,11 +2852,24 @@ static ir_node *gen_ia32_l_MulS(ia32_transform_env_t *env) {
 
 	ir_node *new_op = gen_binop(env, get_binop_left(env->irn), get_binop_right(env->irn), new_rd_ia32_MulS);
 	ir_node *muls   = get_Proj_pred(new_op);
+	ir_node *proj;
 
 	/* MulS cannot have AM for destination */
 	if (get_ia32_am_support(muls) != ia32_am_None)
 		set_ia32_am_support(muls, ia32_am_Source);
 
+	/* check if EAX and EDX proj exist, add missing one */
+	proj = get_proj_for_pn(env->irn, pn_ia32_MulS_EAX);
+	if (! proj) {
+		proj = new_r_Proj(env->irg, env->block, muls, get_ia32_res_mode(env->irn), pn_ia32_MulS_EAX);
+		be_new_Keep(&ia32_reg_classes[CLASS_ia32_gp], env->irg, env->block, 1, &proj);
+	}
+	proj = get_proj_for_pn(env->irn, pn_ia32_MulS_EDX);
+	if (! proj) {
+		proj = new_r_Proj(env->irg, env->block, muls, get_ia32_res_mode(env->irn), pn_ia32_MulS_EDX);
+		be_new_Keep(&ia32_reg_classes[CLASS_ia32_gp], env->irg, env->block, 1, &proj);
+	}
+
 	return muls;
 }