[llvm-commits] [llvm] r89530 - in /llvm/trunk: include/llvm/CodeGen/LiveVariables.h lib/CodeGen/LiveVariables.cpp lib/CodeGen/PHIElimination.cpp lib/CodeGen/PHIElimination.h

[Jakob Stoklund Olesen]

On Nov 22, 2009, at 6:09 AM, Chris Lattner wrote:
> 
> I haven't looked at the code at all, but I want to bring up one subtlety of critical edge splitting.  In switches which have multiple edges to the same destination (on different values), these edges are always critical.  However, they should be split together as a unit, not individually.  I don't know if your code considers this or not, but this is the idea behind the "SplitEdgeNicely" logic that appears in a couple places.

I hadn't considered that issue, but I think I have managed to avoid it.

At the machine code level, switches become either branching trees or jumptable branches. In the first case, the switch has been converted to if/else code, and the issue disappears. In the second case I leave the edge alone because AnalyzeBranch fails.

I don't want to start tampering with jump tables because I think they can be shared.

Thanks,
/jakob

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 1929 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20091122/c95e093c/attachment.bin>