projects / libfirm / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b5ca3e) | patch
- if all Condb has Cmp predecessors, allow Unknown nodes to produce TOP
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 15 Aug 2008 01:30:51 +0000 (01:30 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 15 Aug 2008 01:30:51 +0000 (01:30 +0000)
commit0481fff9d8163639a6cac25b6db008f745658d32
tree0f56a0ca39221181e48a85abc1da0ea5753af324tree | snapshot
parent7b5ca3e1ebc7ad2159428d369b7e9c5a60edc703commit | diff
- if all Condb has Cmp predecessors, allow Unknown nodes to produce TOP
- Cmp(a, TOP) produces !=, not TOP (like icc, Clicks work returns ==
  here because they congruent, but it isn't important waht to choose as
  long as it is monotone

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