From: Matthias Braun <matze@braunis.de>
Date: Tue, 11 Oct 2011 13:20:25 +0000 (+0200)
Subject: sparc: prefer andn,orn,xorn when they lead to smaller constants
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=f4879e055d2411c7627d9e161b427a0ce6632eb2;p=libfirm

sparc: prefer andn,orn,xorn when they lead to smaller constants

(see testsuite/backend/sparc_notconsts.c for an example)
---

diff --git a/ir/be/sparc/sparc_transform.c b/ir/be/sparc/sparc_transform.c
index 7fd42f692..a0fd236ec 100644
--- a/ir/be/sparc/sparc_transform.c
+++ b/ir/be/sparc/sparc_transform.c
@@ -998,6 +998,24 @@ static ir_node *gen_helper_bitop(ir_node *node,
 		                             flags,
 		                             new_not_reg, new_not_imm);
 	}
+	if (is_Const(op2) && get_irn_n_edges(op2) == 1) {
+		ir_tarval *tv    = get_Const_tarval(op2);
+		long       value = get_tarval_long(tv);
+		if (!sparc_is_value_imm_encodeable(value)) {
+			long notvalue = ~value;
+			if ((notvalue & 0x3ff) == 0) {
+				ir_node  *block     = get_nodes_block(node);
+				ir_node  *new_block = be_transform_node(block);
+				dbg_info *dbgi      = get_irn_dbg_info(node);
+				ir_node  *new_op2
+					= new_bd_sparc_SetHi(NULL, new_block, NULL, notvalue);
+				ir_node  *new_op1   = be_transform_node(op1);
+				ir_node  *result
+					= new_not_reg(dbgi, new_block, new_op1, new_op2);
+				return result;
+			}
+		}
+	}
 	return gen_helper_binop_args(node, op1, op2,
 								 flags | MATCH_COMMUTATIVE,
 								 new_reg, new_imm);