-
Michael Beck authored
- Hopefully fixed handling of unknown nodes for Cmp and Cond: - let cmp nodes calculate Top like all othe data nodes: this would let Mux nodes to calculate Unknown instead of taking the true result - Let Cond(Top) always select FALSE/default: This is tricky. Nodes are only reavaluated IFF the predecessor changed its type. Because nodes are initialized with Top this never happens, let all Proj(Cond) be unreachable. We avoid this condition by the same way we work around Phi: whenever a Block node is placed on the list, place its Cond nodes (and because they are Tuple all its Proj-nodes either n the cprop list) - BugFix: Proj-Nodes are also pinned if theire predecessor is pinned - while combo is running, add the vcg dump hook, so dumped graphes contains the partition and the type of a node - put simpler condition first in an if-cascade [r23082]
83d1882a