Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopInfo/reduction_disabled_multiplicative.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: 221
diff changeset
1 ; RUN: opt -basic-aa %loadPolly -polly-stmt-granularity=bb -polly-print-scops -polly-disable-multiplicative-reductions -disable-output < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
2 ;
anatofuz
parents:
diff changeset
3 ; CHECK: ReadAccess := [Reduction Type: +
anatofuz
parents:
diff changeset
4 ; CHECK: { Stmt_for_body[i0] -> MemRef_sum[0] };
anatofuz
parents:
diff changeset
5 ; CHECK: MustWriteAccess := [Reduction Type: +
anatofuz
parents:
diff changeset
6 ; CHECK: { Stmt_for_body[i0] -> MemRef_sum[0] };
anatofuz
parents:
diff changeset
7 ; CHECK: ReadAccess := [Reduction Type: NONE
anatofuz
parents:
diff changeset
8 ; CHECK: { Stmt_for_body[i0] -> MemRef_prod[0] };
anatofuz
parents:
diff changeset
9 ; CHECK: MustWriteAccess := [Reduction Type: NONE
anatofuz
parents:
diff changeset
10 ; CHECK: { Stmt_for_body[i0] -> MemRef_prod[0] };
anatofuz
parents:
diff changeset
11 ;
anatofuz
parents:
diff changeset
12 ; int sum, prod;
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
13 ;
150
anatofuz
parents:
diff changeset
14 ; void f() {
anatofuz
parents:
diff changeset
15 ; int i;
anatofuz
parents:
diff changeset
16 ; for (int i = 0; i < 100; i++) {
anatofuz
parents:
diff changeset
17 ; sum += i * 3;
anatofuz
parents:
diff changeset
18 ; prod *= (i + 3);
anatofuz
parents:
diff changeset
19 ; }
anatofuz
parents:
diff changeset
20 ; }
anatofuz
parents:
diff changeset
21 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 @sum = common global i32 0, align 4
anatofuz
parents:
diff changeset
24 @prod = common global i32 0, align 4
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 define void @f() #0 {
anatofuz
parents:
diff changeset
27 entry:
anatofuz
parents:
diff changeset
28 br label %for.cond
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 for.cond: ; preds = %for.inc, %entry
anatofuz
parents:
diff changeset
31 %i1.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
anatofuz
parents:
diff changeset
32 %exitcond = icmp ne i32 %i1.0, 100
anatofuz
parents:
diff changeset
33 br i1 %exitcond, label %for.body, label %for.end
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 for.body: ; preds = %for.cond
anatofuz
parents:
diff changeset
36 %mul = mul nsw i32 %i1.0, 3
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
37 %tmp = load i32, ptr @sum, align 4
150
anatofuz
parents:
diff changeset
38 %add = add nsw i32 %tmp, %mul
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
39 store i32 %add, ptr @sum, align 4
150
anatofuz
parents:
diff changeset
40 %add2 = add nsw i32 %i1.0, 3
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
41 %tmp1 = load i32, ptr @prod, align 4
150
anatofuz
parents:
diff changeset
42 %mul3 = mul nsw i32 %tmp1, %add2
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
43 store i32 %mul3, ptr @prod, align 4
150
anatofuz
parents:
diff changeset
44 br label %for.inc
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 for.inc: ; preds = %for.body
anatofuz
parents:
diff changeset
47 %inc = add nsw i32 %i1.0, 1
anatofuz
parents:
diff changeset
48 br label %for.cond
anatofuz
parents:
diff changeset
49
anatofuz
parents:
diff changeset
50 for.end: ; preds = %for.cond
anatofuz
parents:
diff changeset
51 ret void
anatofuz
parents:
diff changeset
52 }