projects / libfirm / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96a5d43) | patch
- comaparation of x and Top produces True, as Top is congruent to any other class
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 20 Oct 2008 13:53:01 +0000 (13:53 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 20 Oct 2008 13:53:01 +0000 (13:53 +0000)
commitdd71751dbb9fd6dc5355d3d92c8373320205ddad
tree874c2b9a5b5fcd69706e19c3383a8bd89656eb72tree | snapshot
parent96a5d430bd44d3b0963ab04e8d2db3542b43c26ecommit | diff
- comaparation of x and Top produces True, as Top is congruent to any other class
- do not replace Phi(Top, ..., x, ..., Top) -> x, this might produce non-strict programs
  (does NOt happen as long WITH_UNKNOWN is undefined)

[r23033]
ir/opt/combo.c diff | blob | history
libfirm