[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / LoopRotate / PhiSelfReference-1.ll
blob7726c53e55eee2649c8a4e81b4ac72f378add624
1 ; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
2 ; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
3 ; ModuleID = 'PhiSelfReference-1.bc'
5 define void @snrm2(i32 %incx) {
6 entry:
7         br i1 false, label %START, label %return
9 START:          ; preds = %entry
10         br i1 false, label %bb85, label %cond_false93
12 bb52:           ; preds = %bb85
13         br i1 false, label %bb307, label %cond_next71
15 cond_next71:            ; preds = %bb52
16         ret void
18 bb85:           ; preds = %START
19         br i1 false, label %bb52, label %bb88
21 bb88:           ; preds = %bb85
22         ret void
24 cond_false93:           ; preds = %START
25         ret void
27 bb243:          ; preds = %bb307
28         br label %bb307
30 bb307:          ; preds = %bb243, %bb52
31         %sx_addr.2.pn = phi float* [ %sx_addr.5, %bb243 ], [ null, %bb52 ]              ; <float*> [#uses=1]
32         %sx_addr.5 = getelementptr float, float* %sx_addr.2.pn, i32 %incx               ; <float*> [#uses=1]
33         br i1 false, label %bb243, label %bb310
35 bb310:          ; preds = %bb307
36         ret void
38 return:         ; preds = %entry
39         ret void