Mercurial > hg > CbC > CbC_llvm

annotate polly/test/DependenceInfo/reduction_multiple_reductions.ll @ 221:79ff65ed7e25

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1 ; RUN: opt %loadPolly -basic-aa -polly-dependences -analyze < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
2 ;
anatofuz
parents:
diff changeset
3 ; Verify we do not have dependences between the if and the else clause
anatofuz
parents:
diff changeset
4 ;
anatofuz
parents:
diff changeset
5 ; CHECK: RAW dependences:
anatofuz
parents:
diff changeset
6 ; CHECK-NEXT: { }
anatofuz
parents:
diff changeset
7 ; CHECK-NEXT: WAR dependences:
anatofuz
parents:
diff changeset
8 ; CHECK-NEXT: { }
anatofuz
parents:
diff changeset
9 ; CHECK-NEXT: WAW dependences:
anatofuz
parents:
diff changeset
10 ; CHECK-NEXT: { }
anatofuz
parents:
diff changeset
11 ; CHECK-NEXT: Reduction dependences:
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
12 ; CHECK-NEXT: { Stmt_if_else[i0] -> Stmt_if_else[1 + i0] : 512 <= i0 <= 1022; Stmt_if_then[i0] -> Stmt_if_then[1 + i0] : 0 <= i0 <= 510 }
150
anatofuz
parents:
diff changeset
13 ;
anatofuz
parents:
diff changeset
14 ; void f(int *restrict sum, int *restrict prod) {
anatofuz
parents:
diff changeset
15 ; for (int i = 0; i < 1024; i++)
anatofuz
parents:
diff changeset
16 ; if (i < 512)
anatofuz
parents:
diff changeset
17 ; *sum += i;
anatofuz
parents:
diff changeset
18 ; else
anatofuz
parents:
diff changeset
19 ; *prod *= i;
anatofuz
parents:
diff changeset
20 ; }
anatofuz
parents:
diff changeset
21 ;
anatofuz
parents:
diff changeset
22 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
anatofuz
parents:
diff changeset
23
anatofuz
parents:
diff changeset
24 define void @f(i32* noalias %sum, i32* noalias %prod) {
anatofuz
parents:
diff changeset
25 entry:
anatofuz
parents:
diff changeset
26 br label %for.cond
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 for.cond: ; preds = %for.inc, %entry
anatofuz
parents:
diff changeset
29 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
anatofuz
parents:
diff changeset
30 %exitcond = icmp ne i32 %i.0, 1024
anatofuz
parents:
diff changeset
31 br i1 %exitcond, label %for.body, label %for.end
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 for.body: ; preds = %for.cond
anatofuz
parents:
diff changeset
34 %cmp1 = icmp slt i32 %i.0, 512
anatofuz
parents:
diff changeset
35 br i1 %cmp1, label %if.then, label %if.else
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 if.then: ; preds = %for.body
anatofuz
parents:
diff changeset
38 %tmp = load i32, i32* %sum, align 4
anatofuz
parents:
diff changeset
39 %add = add nsw i32 %tmp, %i.0
anatofuz
parents:
diff changeset
40 store i32 %add, i32* %sum, align 4
anatofuz
parents:
diff changeset
41 br label %if.end
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 if.else: ; preds = %for.body
anatofuz
parents:
diff changeset
44 %tmp1 = load i32, i32* %prod, align 4
anatofuz
parents:
diff changeset
45 %mul = mul nsw i32 %tmp1, %i.0
anatofuz
parents:
diff changeset
46 store i32 %mul, i32* %prod, align 4
anatofuz
parents:
diff changeset
47 br label %if.end
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 if.end: ; preds = %if.else, %if.then
anatofuz
parents:
diff changeset
50 br label %for.inc
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 for.inc: ; preds = %if.end
anatofuz
parents:
diff changeset
53 %inc = add nsw i32 %i.0, 1
anatofuz
parents:
diff changeset
54 br label %for.cond
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 for.end: ; preds = %for.cond
anatofuz
parents:
diff changeset
57 ret void
anatofuz
parents:
diff changeset
58 }