Skip to content
  • Chandler Carruth's avatar
    Teach MBP to force-merge layout successors for blocks with unanalyzable · 0bb42c0f
    Chandler Carruth authored
    branches that also may involve fallthrough. In the case of blocks with
    no fallthrough, we can still re-order the blocks profitably. For example
    instruction decoding will in some cases continue past an indirect jump,
    making laying out its most likely successor there profitable.
    
    Note, no test case. I don't know how to write a test case that exercises
    this logic, but it matches the described desired semantics in
    discussions with Jakob and others. If anyone has a nice example of IR
    that will trigger this, that would be lovely.
    
    Also note, there are still assertion failures in real world code with
    this. I'm digging into those next, now that I know this isn't the cause.
    
    llvm-svn: 144499
    0bb42c0f
Loading