diff options
| -rw-r--r-- | lib/Transforms/Scalar/LoopRotation.cpp | 6 | ||||
| -rw-r--r-- | test/Transforms/LoopRotate/crash.ll | 16 |
2 files changed, 21 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/LoopRotation.cpp b/lib/Transforms/Scalar/LoopRotation.cpp index 95e15784df..e7b1a031f8 100644 --- a/lib/Transforms/Scalar/LoopRotation.cpp +++ b/lib/Transforms/Scalar/LoopRotation.cpp @@ -184,7 +184,11 @@ bool LoopRotate::rotateLoop(Loop *L) { // Now, this loop is suitable for rotation. BasicBlock *OrigPreheader = L->getLoopPreheader(); BasicBlock *OrigLatch = L->getLoopLatch(); - assert(OrigPreheader && OrigLatch && "Loop not in canonical form?"); + + // If the loop could not be converted to canonical form, it must have an + // indirectbr in it, just give up. + if (OrigPreheader == 0 || OrigLatch == 0) + return false; // Anything ScalarEvolution may know about this loop or the PHI nodes // in its header will soon be invalidated. diff --git a/test/Transforms/LoopRotate/crash.ll b/test/Transforms/LoopRotate/crash.ll index 9dc9862d15..16a6868f8f 100644 --- a/test/Transforms/LoopRotate/crash.ll +++ b/test/Transforms/LoopRotate/crash.ll @@ -137,3 +137,19 @@ bb17: ; preds = %bb15 } + + +; PR9523 - Non-canonical loop. +define void @test7(i8* %P) nounwind { +entry: + indirectbr i8* %P, [label %"3", label %"5"] + +"3": ; preds = %"4", %entry + br i1 undef, label %"5", label %"4" + +"4": ; preds = %"3" + br label %"3" + +"5": ; preds = %"3", %entry + ret void +} |