X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firopt.c;h=824181077dc6ff56f33bdbe18adf38abccc01ed1;hb=57298884a0b02e67f3f3e31636ca3382b74abef8;hp=631570b4ba1d124a0889aeb26dbc95f955b77be3;hpb=8afe079f9adaa453d795b711f7a0dab7e3c27156;p=libfirm

diff --git a/ir/ir/iropt.c b/ir/ir/iropt.c
index 631570b4b..824181077 100644
--- a/ir/ir/iropt.c
+++ b/ir/ir/iropt.c
@@ -4546,7 +4546,7 @@ static ir_node *transform_node_Or_bf_store(ir_node *or) {
 static ir_node *transform_node_Or_Rotl(ir_node *or) {
 	ir_mode *mode = get_irn_mode(or);
 	ir_node *shl, *shr, *block;
-	ir_node *irn, *x, *c1, *c2, *v, *sub, *n;
+	ir_node *irn, *x, *c1, *c2, *v, *sub, *n, *rotval;
 	tarval *tv1, *tv2;
 
 	if (! mode_is_int(mode))
@@ -4587,64 +4587,45 @@ static ir_node *transform_node_Or_Rotl(ir_node *or) {
 			return or;
 
 		/* yet, condition met */
-		block = get_irn_n(or, -1);
+		block = get_nodes_block(or);
 
 		n = new_r_Rotl(current_ir_graph, block, x, c1, mode);
 
 		DBG_OPT_ALGSIM1(or, shl, shr, n, FS_OPT_OR_SHFT_TO_ROTL);
 		return n;
-	} else if (is_Sub(c1)) {
-		v   = c2;
-		sub = c1;
-
-		if (get_Sub_right(sub) != v)
-			return or;
-
-		c1 = get_Sub_left(sub);
-		if (!is_Const(c1))
-			return or;
-
-		tv1 = get_Const_tarval(c1);
-		if (! tarval_is_long(tv1))
-			return or;
-
-		if (get_tarval_long(tv1) != (int) get_mode_size_bits(mode))
-			return or;
-
-		/* yet, condition met */
-		block = get_nodes_block(or);
-
-		/* a Rot right is not supported, so use a rot left */
-		n =  new_r_Rotl(current_ir_graph, block, x, sub, mode);
+	}
 
-		DBG_OPT_ALGSIM0(or, n, FS_OPT_OR_SHFT_TO_ROTL);
-		return n;
-	} else if (is_Sub(c2)) {
-		v   = c1;
-		sub = c2;
+    if (is_Sub(c1)) {
+	    v      = c2;
+		sub    = c1;
+        rotval = sub; /* a Rot right is not supported, so use a rot left */
+    } else if (is_Sub(c2)) {
+		v      = c1;
+    	sub    = c2;
+        rotval = v;
+    } else return or;
 
-		c1 = get_Sub_left(sub);
-		if (!is_Const(c1))
-			return or;
+	if (get_Sub_right(sub) != v)
+		return or;
 
-		tv1 = get_Const_tarval(c1);
-		if (! tarval_is_long(tv1))
-			return or;
+	c1 = get_Sub_left(sub);
+	if (!is_Const(c1))
+		return or;
 
-		if (get_tarval_long(tv1) != (int) get_mode_size_bits(mode))
-			return or;
+	tv1 = get_Const_tarval(c1);
+	if (! tarval_is_long(tv1))
+		return or;
 
-		/* yet, condition met */
-		block = get_irn_n(or, -1);
+	if (get_tarval_long(tv1) != (int) get_mode_size_bits(mode))
+		return or;
 
-		/* a Rot Left */
-		n = new_r_Rotl(current_ir_graph, block, x, v, mode);
+	/* yet, condition met */
+	block = get_nodes_block(or);
 
-		DBG_OPT_ALGSIM0(or, n, FS_OPT_OR_SHFT_TO_ROTL);
-		return n;
-	}
+	n = new_r_Rotl(current_ir_graph, block, x, rotval, mode);
 
-	return or;
+	DBG_OPT_ALGSIM0(or, n, FS_OPT_OR_SHFT_TO_ROTL);
+	return n;
 }  /* transform_node_Or_Rotl */
 
 /**
@@ -4857,10 +4838,10 @@ static ir_node *transform_node_bitop_shift(ir_node *n) {
 
 /**
  * normalisation:
- *    (x << c1) >> c2  <=>  x>>(c2-c1) & (-1>>c2)
+ *    (x << c1) >> c2  <=>  x OP (c2-c1) & ((-1 << c1) >> c2)
  *    also:
- *    	if c2 > c1:   x << (c2-c1)
- *    (x >>s c2) << c1  <=>  x>>s(c2-c1) & (-1>>c2)
+ *    (x >> c1) << c2  <=>  x OP (c2-c1) & ((-1 >> c1) << c2)
+ *      (also with x >>s c1  when c1>=c2)
  */
 static ir_node *transform_node_shl_shr(ir_node *n) {
 	ir_node  *left;