Mercurial > hg > CbC > CbC_llvm

comparison polly/test/ForwardOpTree/forward_load_differentarray.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
comparison
equal deleted inserted replaced
237:c80f45b162ad 252:1f2b6ac9f198
13 ; 13 ;
14 ; bodyC: 14 ; bodyC:
15 ; A[j] = val; 15 ; A[j] = val;
16 ; } 16 ; }
17 ; 17 ;
18 define void @func(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B, double* noalias nonnull %C) { 18 define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B, ptr noalias nonnull %C) {
19 entry: 19 entry:
20 br label %for 20 br label %for
21 21
22 for: 22 for:
23 %j = phi i32 [0, %entry], [%j.inc, %inc] 23 %j = phi i32 [0, %entry], [%j.inc, %inc]
24 %j.cmp = icmp slt i32 %j, %n 24 %j.cmp = icmp slt i32 %j, %n
25 br i1 %j.cmp, label %bodyA, label %exit 25 br i1 %j.cmp, label %bodyA, label %exit
26 26
27 bodyA: 27 bodyA:
28 %B_idx = getelementptr inbounds double, double* %B, i32 %j 28 %B_idx = getelementptr inbounds double, ptr %B, i32 %j
29 %val = load double, double* %B_idx 29 %val = load double, ptr %B_idx
30 br label %bodyB 30 br label %bodyB
31 31
32 bodyB: 32 bodyB:
33 store double 0.0, double* %B_idx 33 store double 0.0, ptr %B_idx
34 %C_idx = getelementptr inbounds double, double* %C, i32 %j 34 %C_idx = getelementptr inbounds double, ptr %C, i32 %j
35 store double %val, double* %C_idx 35 store double %val, ptr %C_idx
36 br label %bodyC 36 br label %bodyC
37 37
38 bodyC: 38 bodyC:
39 %A_idx = getelementptr inbounds double, double* %A, i32 %j 39 %A_idx = getelementptr inbounds double, ptr %A, i32 %j
40 store double %val, double* %A_idx 40 store double %val, ptr %A_idx
41 br label %inc 41 br label %inc
42 42
43 inc: 43 inc:
44 %j.inc = add nuw nsw i32 %j, 1 44 %j.inc = add nuw nsw i32 %j, 1
45 br label %for 45 br label %for
63 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0] 63 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
64 ; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_B[i0] }; 64 ; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_B[i0] };
65 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1] 65 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]
66 ; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_val[] }; 66 ; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_val[] };
67 ; CHECK-NEXT: Instructions { 67 ; CHECK-NEXT: Instructions {
68 ; CHECK-NEXT: %val = load double, double* %B_idx, align 8 68 ; CHECK-NEXT: %val = load double, ptr %B_idx, align 8
69 ; CHECK-NEXT: } 69 ; CHECK-NEXT: }
70 ; CHECK-NEXT: Stmt_bodyB 70 ; CHECK-NEXT: Stmt_bodyB
71 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0] 71 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
72 ; CHECK-NEXT: ; 72 ; CHECK-NEXT: ;
73 ; CHECK-NEXT: new: [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] }; 73 ; CHECK-NEXT: new: [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] };
74 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] 74 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
75 ; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] }; 75 ; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] };
76 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] 76 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
77 ; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_C[i0] }; 77 ; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_C[i0] };
78 ; CHECK-NEXT: Instructions { 78 ; CHECK-NEXT: Instructions {
79 ; CHECK-NEXT: %val = load double, double* %B_idx, align 8 79 ; CHECK-NEXT: %val = load double, ptr %B_idx, align 8
80 ; CHECK-NEXT: store double 0.000000e+00, double* %B_idx, align 8 80 ; CHECK-NEXT: store double 0.000000e+00, ptr %B_idx, align 8
81 ; CHECK-NEXT: store double %val, double* %C_idx, align 8 81 ; CHECK-NEXT: store double %val, ptr %C_idx, align 8
82 ; CHECK-NEXT: } 82 ; CHECK-NEXT: }
83 ; CHECK-NEXT: Stmt_bodyC 83 ; CHECK-NEXT: Stmt_bodyC
84 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0] 84 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
85 ; CHECK-NEXT: ; 85 ; CHECK-NEXT: ;
86 ; CHECK-NEXT: new: [n] -> { Stmt_bodyC[i0] -> MemRef_C[i0] }; 86 ; CHECK-NEXT: new: [n] -> { Stmt_bodyC[i0] -> MemRef_C[i0] };
87 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] 87 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
88 ; CHECK-NEXT: [n] -> { Stmt_bodyC[i0] -> MemRef_A[i0] }; 88 ; CHECK-NEXT: [n] -> { Stmt_bodyC[i0] -> MemRef_A[i0] };
89 ; CHECK-NEXT: Instructions { 89 ; CHECK-NEXT: Instructions {
90 ; CHECK-NEXT: %val = load double, double* %B_idx, align 8 90 ; CHECK-NEXT: %val = load double, ptr %B_idx, align 8
91 ; CHECK-NEXT: store double %val, double* %A_idx, align 8 91 ; CHECK-NEXT: store double %val, ptr %A_idx, align 8
92 ; CHECK-NEXT: } 92 ; CHECK-NEXT: }
93 ; CHECK-NEXT: } 93 ; CHECK-NEXT: }