X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fopt%2Fscalar_replace.c;h=8c87f7780f49fd2438048787fcb88e497954aeed;hb=0cc8bfc863da28d3799e9eca1d1765d564b6e573;hp=eaa8ee64ad8fa3526098cc74ff9d6c75f11cb642;hpb=4b1138a9eee25ce11adbb7d7162eaa49421e8b51;p=libfirm

diff --git a/ir/opt/scalar_replace.c b/ir/opt/scalar_replace.c
index eaa8ee64a..8c87f7780 100644
--- a/ir/opt/scalar_replace.c
+++ b/ir/opt/scalar_replace.c
@@ -172,9 +172,9 @@ static int check_load_store_mode(ir_mode *mode, ir_mode *ent_mode) {
  */
 int is_address_taken(ir_node *sel)
 {
-	int     i;
-	ir_mode *emode, *mode;
-	ir_node *value;
+	int       i, input_nr, k;
+	ir_mode   *emode, *mode;
+	ir_node   *value;
 	ir_entity *ent;
 
 	if (! is_const_sel(sel))
@@ -185,15 +185,15 @@ int is_address_taken(ir_node *sel)
 
 		switch (get_irn_opcode(succ)) {
 		case iro_Load:
+			/* do not remove volatile variables */
+			if (get_Load_volatility(succ) == volatility_is_volatile)
+				return 1;
 			/* check if this load is not a hidden conversion */
 			mode = get_Load_mode(succ);
 			ent = get_Sel_entity(sel);
 			emode = get_type_mode(get_entity_type(ent));
 			if (! check_load_store_mode(mode, emode))
 				return 1;
-			/* do not remove volatile variables */
-			if (get_Load_volatility(succ) == volatility_is_volatile)
-				return 1;
 			break;
 
 		case iro_Store:
@@ -201,15 +201,15 @@ int is_address_taken(ir_node *sel)
 			value = get_Store_value(succ);
 			if (value == sel)
 				return 1;
+			/* do not remove volatile variables */
+			if (get_Store_volatility(succ) == volatility_is_volatile)
+				return 1;
 			/* check if this Store is not a hidden conversion */
 			mode = get_irn_mode(value);
 			ent = get_Sel_entity(sel);
 			emode = get_type_mode(get_entity_type(ent));
 			if (! check_load_store_mode(mode, emode))
 				return 1;
-			/* do not remove volatile variables */
-			if (get_Store_volatility(succ) == volatility_is_volatile)
-				return 1;
 			break;
 
 		case iro_Sel: {
@@ -230,6 +230,33 @@ int is_address_taken(ir_node *sel)
 			 */
 			return 1;
 
+		case iro_Id: {
+			int res = is_address_taken(succ);
+			if (res)
+				return 1;
+			break;
+		}
+
+		case iro_Tuple:
+			/* Non-optimized Tuple, happens in inlining */
+			for (input_nr = get_Tuple_n_preds(succ) - 1; input_nr >= 0; --input_nr) {
+				ir_node *pred = get_Tuple_pred(succ, input_nr);
+
+				if (pred == sel) {
+					/* we found one input */
+					for (k = get_irn_n_outs(succ) - 1; k >= 0; --k) {
+						ir_node *proj = get_irn_out(succ, k);
+
+						if (is_Proj(proj) && get_Proj_proj(proj) == input_nr) {
+							int res = is_address_taken(proj);
+							if (res)
+								return 1;
+						}
+					}
+				}
+			}
+			break;
+
 		default:
 			/* another op, the address is taken */
 			return 1;
@@ -263,7 +290,7 @@ static void link_all_leave_sels(ir_entity *ent, ir_node *sel) {
 		 * visited more than once causing a ring here, so we use the
 		 * node flag to mark linked nodes
 		 */
-		if (irn_visited(sel))
+		if (irn_visited_else_mark(sel))
 			return;
 
 		/* we know we are at a leave, because this function is only
@@ -272,8 +299,6 @@ static void link_all_leave_sels(ir_entity *ent, ir_node *sel) {
 		 */
 		set_irn_link(sel, get_entity_link(ent));
 		set_entity_link(ent, sel);
-
-		mark_irn_visited(sel);
 	}
 }
 
@@ -379,8 +404,7 @@ static path_t *find_path(ir_node *sel, unsigned len) {
 
 	if (! is_Sel(pred)) {
 		/* we found the root */
-
-		res = xmalloc(sizeof(*res) + (len - 1) * sizeof(res->path));
+		res = XMALLOCF(path_t, path, len);
 		res->path_len = len;
 	} else
 		res = find_path(pred, len);