[GHC] #14914: Only turn suitable targets into a fallthrough in CmmContFlowOpt.

GHC ghc-devs at haskell.org
Mon Mar 12 17:20:57 UTC 2018


#14914: Only turn suitable targets into a fallthrough in CmmContFlowOpt.
-------------------------------------+-------------------------------------
           Reporter:  AndreasK       |             Owner:  (none)
               Type:  task           |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:
  (CodeGen)                          |
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 We are inverting Branches in CmmContFlowOpt such that we get as many fall
 through paths as possible.

 However as it stands besides the conditionals themselves the only
 criterion used is the number of predecessors for a Block.

 This often (but not always) aligns with the actual possibility of turning
 branches into a fallthrough.

 We should at least look at the cost/benefit of tracking actual
 predecessors and see if that turns out as something worthwhile.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14914>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list