Skip to content
  1. Aug 22, 2012
  2. Aug 21, 2012
  3. Aug 20, 2012
    • Jakob Stoklund Olesen's avatar
      Don't add CFG edges for redundant conditional branches. · 7d33c573
      Jakob Stoklund Olesen authored
      IR that hasn't been through SimplifyCFG can look like this:
      
        br i1 %b, label %r, label %r
      
      Make sure we don't create duplicate Machine CFG edges in this case.
      
      Fix the machine code verifier to accept conditional branches with a
      single CFG edge.
      
      llvm-svn: 162230
      7d33c573
    • Jakob Stoklund Olesen's avatar
      Clarify that duplicate edges are not allowed in the Machine CFG. · 784973b8
      Jakob Stoklund Olesen authored
      LLVM IR has labeled duplicate CFG edges, but since Machine CFG edges
      don't have labels, it doesn't make sense to allow duplicates. There is
      no way of telling what the edges mean.
      
      Duplicate CFG edges cause confusion when dealing with edge weights. It
      seems that code producing duplicate CFG edges usually does the wrong
      thing with edge weights.
      
      llvm-svn: 162227
      784973b8
Loading