projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2111fbc) | patch
NCG: Do explicit check for precondition of computeLiveness
authorbenl@ouroborus.net <unknown>
Thu, 24 Jun 2010 08:07:47 +0000 (08:07 +0000)
committerbenl@ouroborus.net <unknown>
Thu, 24 Jun 2010 08:07:47 +0000 (08:07 +0000)
commit1d5beef40a2611746f7345919e9b52f7904556bb
tree168df5e75b3f9bcaa4286ca81c8a3301fe0dfab8tree | snapshot
parent2111fbcd87caec8e05250df399a6d63420807e71commit | diff
NCG: Do explicit check for precondition of computeLiveness

 computeLiveness requires the SCCs of blocks to be in reverse dependent
 order, and if they're not it was silently giving bad liveness info,
 yielding a bad allocation.

 Now it complains, loudly.
compiler/nativeGen/RegAlloc/Liveness.hs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)