Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopDetect/nested_loop_single_exit.ll @ 252:1f2b6ac9f198 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents c4bab56944e8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
1 ; RUN: opt %loadPolly -polly-print-detect -disable-output < %s | FileCheck %s
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
2 ; RUN: opt %loadPolly -polly-codegen -disable-output < %s
150
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 ; void f(long A[], long N) {
anatofuz
parents:
diff changeset
5 ; long i, j;
anatofuz
parents:
diff changeset
6 ; if (true)
anatofuz
parents:
diff changeset
7 ; for (j = 0; j < N; ++j)
anatofuz
parents:
diff changeset
8 ; for (i = 0; i < N; ++i)
anatofuz
parents:
diff changeset
9 ; A[i] = i;
anatofuz
parents:
diff changeset
10 ; }
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 target 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"
anatofuz
parents:
diff changeset
13
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
14 define void @f(ptr %A, i64 %N) nounwind {
150
anatofuz
parents:
diff changeset
15 entry:
anatofuz
parents:
diff changeset
16 fence seq_cst
anatofuz
parents:
diff changeset
17 br label %next
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 next:
anatofuz
parents:
diff changeset
20 br i1 true, label %for.j, label %return
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 for.j:
anatofuz
parents:
diff changeset
23 %j.015 = phi i64 [ %inc5, %for.inc8 ], [ 0, %next ]
anatofuz
parents:
diff changeset
24 br label %for.i
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 for.i:
anatofuz
parents:
diff changeset
27 %indvar = phi i64 [ 0, %for.j], [ %indvar.next, %for.i ]
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
28 %scevgep = getelementptr i64, ptr %A, i64 %indvar
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
29 store i64 %indvar, ptr %scevgep
150
anatofuz
parents:
diff changeset
30 %indvar.next = add nsw i64 %indvar, 1
anatofuz
parents:
diff changeset
31 %exitcond = icmp eq i64 %indvar.next, %N
anatofuz
parents:
diff changeset
32 br i1 %exitcond, label %for.inc8, label %for.i
anatofuz
parents:
diff changeset
33
anatofuz
parents:
diff changeset
34 for.inc8: ; preds = %for.body3
anatofuz
parents:
diff changeset
35 %inc5 = add nsw i64 %j.015, 1
anatofuz
parents:
diff changeset
36 %exitcond16 = icmp eq i64 %inc5, %N
anatofuz
parents:
diff changeset
37 br i1 %exitcond16, label %return, label %for.j
anatofuz
parents:
diff changeset
38
anatofuz
parents:
diff changeset
39 return:
anatofuz
parents:
diff changeset
40 fence seq_cst
anatofuz
parents:
diff changeset
41 ret void
anatofuz
parents:
diff changeset
42 }
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 ; CHECK: Valid Region for Scop: next => return