Lines Matching refs:loop
2 ; RUN: opt -lcssa -loop-simplify -S < %s | opt -S -passes='require<targetir>,require<scalar-evoluti…
4 ;; Check if llvm can narrow !range metadata based on loop entry
14 br i1 %entry.pred, label %abort, label %loop.preheader
16 loop.preheader:
17 br label %loop
19 loop:
20 ; CHECK: loop
21 %idx = phi i32 [ %idx.inc, %loop.next ], [ 0, %loop.preheader ]
23 br i1 %oob.pred, label %loop.next, label %oob
24 ; CHECK: br i1 true, label %loop.next, label %oob
26 loop.next:
27 ; CHECK: loop.next
30 br i1 %exit.pred, label %loop, label %abort.loopexit
48 br i1 %entry.pred, label %abort, label %loop.preheader
50 loop.preheader:
51 br label %loop
53 loop:
54 ; CHECK: loop
55 %idx = phi i32 [ %idx.inc, %loop.next ], [ 0, %loop.preheader ]
57 br i1 %oob.pred, label %loop.next, label %oob
58 ; CHECK: br i1 true, label %loop.next, label %oob
60 loop.next:
61 ; CHECK: loop.next
64 br i1 %exit.pred, label %loop, label %abort.loopexit
84 br label %loop.begin
86 loop.begin:
87 ; CHECK: loop.begin:
88 %i.01 = phi i64 [ 2, %entry ], [ %add, %loop.end ]
91 br i1 %cmp, label %loop, label %loop.end
93 loop:
94 ; CHECK: loop
99 br i1 %c, label %loop.end, label %abort.now
105 loop.end:
108 br i1 %eq, label %exit, label %loop.begin