If branch conditions' one successor is dominating another non-latch successor then...
[oota-llvm.git] / test / Transforms / LoopIndexSplit / Crash-2007-08-17.ll
1 ; RUN: llvm-as < %s | opt -loop-index-split -disable-output 
2
3         %struct._edit_script = type { %struct._edit_script*, i32, i8 }
4
5 define void @align_path(i8* %seq1, i8* %seq2, i32 %i1, i32 %j1, i32 %i2, i32 %j2, i32 %dist, %struct._edit_script** %head, %struct._edit_script** %tail, i32 %M, i32 %N) {
6 entry:
7         br label %bb354
8
9 bb354:          ; preds = %bb511, %entry
10         br i1 false, label %bb495, label %bb368
11
12 bb368:          ; preds = %bb354
13         ret void
14
15 bb495:          ; preds = %bb495, %bb354
16         br i1 false, label %bb511, label %bb495
17
18 bb511:          ; preds = %bb495
19         br i1 false, label %xmalloc.exit69, label %bb354
20
21 xmalloc.exit69:         ; preds = %bb511
22         br i1 false, label %bb556, label %bb542.preheader
23
24 bb542.preheader:                ; preds = %xmalloc.exit69
25         ret void
26
27 bb556:          ; preds = %xmalloc.exit69
28         br label %bb583
29
30 bb583:          ; preds = %cond_next693, %bb556
31         %k.4342.0 = phi i32 [ %tmp707, %cond_next693 ], [ 0, %bb556 ]           ; <i32> [#uses=2]
32         %tmp586 = icmp eq i32 %k.4342.0, 0              ; <i1> [#uses=1]
33         br i1 %tmp586, label %cond_true589, label %cond_false608
34
35 cond_true589:           ; preds = %bb583
36         br label %cond_next693
37
38 cond_false608:          ; preds = %bb583
39         br i1 false, label %cond_next661, label %cond_next693
40
41 cond_next661:           ; preds = %cond_false608
42         br label %cond_next693
43
44 cond_next693:           ; preds = %cond_next661, %cond_false608, %cond_true589
45         %tmp705 = getelementptr i32* null, i32 0                ; <i32*> [#uses=0]
46         %tmp707 = add i32 %k.4342.0, 1          ; <i32> [#uses=2]
47         %tmp711 = icmp sgt i32 %tmp707, 0               ; <i1> [#uses=1]
48         br i1 %tmp711, label %bb726.preheader, label %bb583
49
50 bb726.preheader:                ; preds = %cond_next693
51         ret void
52 }