• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc -disable-lsr -march=hexagon < %s | FileCheck %s
2
3; Test for multiple phis with induction variables.
4
5; CHECK: loop0(.LBB{{.}}_{{.}}, r{{[0-9]+}})
6; CHECK: endloop0
7
8define i32 @hwloop4(i32* nocapture %s, i32* nocapture %a, i32 %n) {
9entry:
10  %cmp3 = icmp eq i32 %n, 0
11  br i1 %cmp3, label %for.end, label %for.body.lr.ph
12
13for.body.lr.ph:
14  %.pre = load i32, i32* %s, align 4
15  br label %for.body
16
17for.body:
18  %0 = phi i32 [ %.pre, %for.body.lr.ph ], [ %add1, %for.body ]
19  %j.05 = phi i32 [ 0, %for.body.lr.ph ], [ %add2, %for.body ]
20  %lsr.iv = phi i32 [ %lsr.iv.next, %for.body ], [ %n, %for.body.lr.ph ]
21  %lsr.iv1 = phi i32* [ %scevgep, %for.body ], [ %a, %for.body.lr.ph ]
22  %1 = load i32, i32* %lsr.iv1, align 4
23  %add1 = add nsw i32 %0, %1
24  store i32 %add1, i32* %s, align 4
25  %add2 = add nsw i32 %j.05, 1
26  %lsr.iv.next = add i32 %lsr.iv, -1
27  %scevgep = getelementptr i32, i32* %lsr.iv1, i32 1
28  %cmp = icmp eq i32 %lsr.iv.next, 0
29  br i1 %cmp, label %for.end.loopexit, label %for.body
30
31for.end.loopexit:
32  br label %for.end
33
34for.end:
35  %j.0.lcssa = phi i32 [ 0, %entry ], [ %add2, %for.end.loopexit ]
36  ret i32 %j.0.lcssa
37}
38