Merge branch 'opt_manage'
authorAndreas Zwinkau <zwinkau@kit.edu>
Wed, 14 Sep 2011 11:40:07 +0000 (13:40 +0200)
committerAndreas Zwinkau <zwinkau@kit.edu>
Wed, 14 Sep 2011 11:40:18 +0000 (13:40 +0200)
This is a merge, because it should be considered as a single commit
and libFirm might be broken between the various commits of the branch.
However, there are so many changes, that i do not want to squash
them all into one mega-commit.


Trivial merge