Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopInfo/invariant_load_base_pointer_conditional.ll @ 236:c4bab56944e8 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 1d019706d866
children 1f2b6ac9f198
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-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -disable-output < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
2 ;
anatofuz
parents:
diff changeset
3 ; CHECK: Invariant Accesses:
anatofuz
parents:
diff changeset
4 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
anatofuz
parents:
diff changeset
5 ; CHECK-NEXT: [N] -> { Stmt_bb5[i0] -> MemRef_BPLoc[0] };
anatofuz
parents:
diff changeset
6 ;
anatofuz
parents:
diff changeset
7 ; void f(int **BPLoc, int *A, int N) {
anatofuz
parents:
diff changeset
8 ; for (int i = 0; i < N; i++)
anatofuz
parents:
diff changeset
9 ; if (i > 512)
anatofuz
parents:
diff changeset
10 ; (*BPLoc)[i] = 0;
anatofuz
parents:
diff changeset
11 ; else
anatofuz
parents:
diff changeset
12 ; A[i] = 0;
anatofuz
parents:
diff changeset
13 ; }
anatofuz
parents:
diff changeset
14 ;
anatofuz
parents:
diff changeset
15 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 define void @f(i32** %BPLoc, i32* %A, i32 %N) {
anatofuz
parents:
diff changeset
18 bb:
anatofuz
parents:
diff changeset
19 %tmp = sext i32 %N to i64
anatofuz
parents:
diff changeset
20 br label %bb1
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 bb1: ; preds = %bb11, %bb
anatofuz
parents:
diff changeset
23 %indvars.iv = phi i64 [ %indvars.iv.next, %bb11 ], [ 0, %bb ]
anatofuz
parents:
diff changeset
24 %tmp2 = icmp slt i64 %indvars.iv, %tmp
anatofuz
parents:
diff changeset
25 br i1 %tmp2, label %bb3, label %bb12
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 bb3: ; preds = %bb1
anatofuz
parents:
diff changeset
28 %tmp4 = icmp sgt i64 %indvars.iv, 512
anatofuz
parents:
diff changeset
29 br i1 %tmp4, label %bb5, label %bb8
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 bb5: ; preds = %bb3
anatofuz
parents:
diff changeset
32 %tmp6 = load i32*, i32** %BPLoc, align 8
anatofuz
parents:
diff changeset
33 %tmp7 = getelementptr inbounds i32, i32* %tmp6, i64 %indvars.iv
anatofuz
parents:
diff changeset
34 store i32 0, i32* %tmp7, align 4
anatofuz
parents:
diff changeset
35 br label %bb10
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 bb8: ; preds = %bb3
anatofuz
parents:
diff changeset
38 %tmp9 = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
anatofuz
parents:
diff changeset
39 store i32 0, i32* %tmp9, align 4
anatofuz
parents:
diff changeset
40 br label %bb10
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 bb10: ; preds = %bb8, %bb5
anatofuz
parents:
diff changeset
43 br label %bb11
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 bb11: ; preds = %bb10
anatofuz
parents:
diff changeset
46 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
anatofuz
parents:
diff changeset
47 br label %bb1
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 bb12: ; preds = %bb1
anatofuz
parents:
diff changeset
50 ret void
anatofuz
parents:
diff changeset
51 }