comparison polly/test/JSONExporter/ImportAccesses/ImportAccesses-Not-enough-MemAcc.ll @ 252:1f2b6ac9f198 llvm-original

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
11 ; S1: A[i + 1] = 1; 11 ; S1: A[i + 1] = 1;
12 ; } 12 ; }
13 ; 13 ;
14 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" 14 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
15 15
16 define void @ia4(i32* %A, i32 %n) { 16 define void @ia4(ptr %A, i32 %n) {
17 entry: 17 entry:
18 br label %for.cond 18 br label %for.cond
19 19
20 for.cond: ; preds = %for.inc, %entry 20 for.cond: ; preds = %for.inc, %entry
21 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] 21 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
25 25
26 for.body: ; preds = %for.cond 26 for.body: ; preds = %for.cond
27 br label %S0 27 br label %S0
28 28
29 S0: ; preds = %for.body 29 S0: ; preds = %for.body
30 %tmp = load i32, i32* %A, align 4 30 %tmp = load i32, ptr %A, align 4
31 %add = add nsw i32 %tmp, %i.0 31 %add = add nsw i32 %tmp, %i.0
32 store i32 %add, i32* %A, align 4 32 store i32 %add, ptr %A, align 4
33 br label %for.inc 33 br label %for.inc
34 34
35 for.inc: ; preds = %S0 35 for.inc: ; preds = %S0
36 %inc = add nsw i32 %i.0, 1 36 %inc = add nsw i32 %i.0, 1
37 br label %for.cond 37 br label %for.cond
48 for.body5: ; preds = %for.cond2 48 for.body5: ; preds = %for.cond2
49 br label %S1 49 br label %S1
50 50
51 S1: ; preds = %for.body5 51 S1: ; preds = %for.body5
52 %add6 = add nsw i32 %i1.0, 1 52 %add6 = add nsw i32 %i1.0, 1
53 %arrayidx7 = getelementptr inbounds i32, i32* %A, i32 %add6 53 %arrayidx7 = getelementptr inbounds i32, ptr %A, i32 %add6
54 store i32 1, i32* %arrayidx7, align 4 54 store i32 1, ptr %arrayidx7, align 4
55 br label %for.inc8 55 br label %for.inc8
56 56
57 for.inc8: ; preds = %S1 57 for.inc8: ; preds = %S1
58 %inc9 = add nsw i32 %i1.0, 1 58 %inc9 = add nsw i32 %i1.0, 1
59 br label %for.cond2 59 br label %for.cond2