From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Sat, 2 Jan 2010 02:49:51 +0000 (+0000)
Subject: - implement a <= x <= b ==> x-a <=u b-a
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;ds=sidebyside;h=b37cb8b4d7d36d8f7477d0d21bf474e1f58c074f;hp=b37cb8b4d7d36d8f7477d0d21bf474e1f58c074f;p=libfirm

- implement a <= x <= b ==> x-a <=u b-a
- fixed path compression
- use debug output instead of fprintf

[r26872]
---