• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -analyze -scalar-evolution \
2; RUN:  | grep {Loop %for\\.body: backedge-taken count is (-1 + \[%\]ecx)}
3; PR4599
4
5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
6
7define i32 @foo(i32 %ecx) nounwind {
8entry:
9	%cmp2 = icmp eq i32 %ecx, 0		; <i1> [#uses=1]
10	br i1 %cmp2, label %for.end, label %bb.nph
11
12for.cond:		; preds = %for.inc
13	%cmp = icmp ult i32 %inc, %ecx		; <i1> [#uses=1]
14	br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge
15
16for.cond.for.end_crit_edge:		; preds = %for.cond
17	%phitmp = add i32 %i.01, 2		; <i32> [#uses=1]
18	br label %for.end
19
20bb.nph:		; preds = %entry
21	br label %for.body
22
23for.body:		; preds = %bb.nph, %for.cond
24	%i.01 = phi i32 [ %inc, %for.cond ], [ 0, %bb.nph ]		; <i32> [#uses=3]
25	%call = call i32 @bar(i32 %i.01) nounwind		; <i32> [#uses=0]
26	br label %for.inc
27
28for.inc:		; preds = %for.body
29	%inc = add i32 %i.01, 1		; <i32> [#uses=2]
30	br label %for.cond
31
32for.end:		; preds = %for.cond.for.end_crit_edge, %entry
33	%i.0.lcssa = phi i32 [ %phitmp, %for.cond.for.end_crit_edge ], [ 1, %entry ]		; <i32> [#uses=1]
34	ret i32 %i.0.lcssa
35}
36
37declare i32 @bar(i32)
38