darcs patch: CmmOpt cannot assume single assignment for hand-writte...

Edward Z. Yang ezyang at MIT.EDU
Thu Mar 31 18:41:06 CEST 2011


This is a kind of curious patch that I want to chat with Marlow about.
Basically, I believe that CmmOpt is making an assumption about the
incoming Cmm that doesn't necessarily hold, though it doesn't seem like
it's been a problem in practice.

1 patch for repository http://darcs.haskell.org/ghc:

Thu Mar 31 16:56:20 BST 2011  Edward Z. Yang <ezyang at mit.edu>
  * CmmOpt cannot assume single assignment for hand-written or new codegen Cmm.
  
  This change may constitute a substantial performance hit.  We should
  check this, and also see if we can convert hand-written Cmm to single
  assignment, and then use the old code w/o running the optimizer on
  the new code generator output.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 311669 bytes
Desc: A darcs patch for your repository!
URL: <http://www.haskell.org/pipermail/cvs-ghc/attachments/20110331/59db4afe/attachment-0001.bin>


More information about the Cvs-ghc mailing list