projects
/
libfirm
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
ensure that the tail call is in the same block as the return (fixes fehler62)
[libfirm]
/
ir
/
opt
/
tailrec.c
diff --git
a/ir/opt/tailrec.c
b/ir/opt/tailrec.c
index
ea75333
..
7db1fea
100644
(file)
--- a/
ir/opt/tailrec.c
+++ b/
ir/opt/tailrec.c
@@
-328,13
+328,14
@@
int opt_tail_rec_irg(ir_graph *irg) {
if (! is_Call(call))
continue;
if (! is_Call(call))
continue;
+ /* the call must be in the same block as the return */
+ if (get_nodes_block(call) != get_nodes_block(ret))
+ continue;
+
/* check if it's a recursive call */
call_ptr = get_Call_ptr(call);
/* check if it's a recursive call */
call_ptr = get_Call_ptr(call);
- if (get_irn_op(call_ptr) != op_SymConst)
- continue;
-
- if (get_SymConst_kind(call_ptr) != symconst_addr_ent)
+ if (! is_SymConst(call_ptr) || get_SymConst_kind(call_ptr) != symconst_addr_ent)
continue;
ent = get_SymConst_entity(call_ptr);
continue;
ent = get_SymConst_entity(call_ptr);