PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen.