[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