Mercurial > hg > CbC > CbC_llvm

comparison polly/test/ScopDetectionDiagnostics/ReportNonAffineAccess-01.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
10 ; CHECK: remark: ReportNonAffineAccess-01.c:3:5: The array subscript of "A" is not affine 10 ; CHECK: remark: ReportNonAffineAccess-01.c:3:5: The array subscript of "A" is not affine
11 ; CHECK: remark: ReportNonAffineAccess-01.c:3:5: Invalid Scop candidate ends here. 11 ; CHECK: remark: ReportNonAffineAccess-01.c:3:5: Invalid Scop candidate ends here.
12 12
13 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 13 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
14 14
15 define void @f(i32* %A) !dbg !4 { 15 define void @f(ptr %A) !dbg !4 {
16 entry: 16 entry:
17 br label %entry.split 17 br label %entry.split
18 18
19 entry.split: ; preds = %entry 19 entry.split: ; preds = %entry
20 tail call void @llvm.dbg.value(metadata i32* %A, i64 0, metadata !13, metadata !DIExpression()), !dbg !14 20 tail call void @llvm.dbg.value(metadata ptr %A, i64 0, metadata !13, metadata !DIExpression()), !dbg !14
21 tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !16, metadata !DIExpression()), !dbg !18 21 tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !16, metadata !DIExpression()), !dbg !18
22 br label %for.body, !dbg !19 22 br label %for.body, !dbg !19
23 23
24 for.body: ; preds = %entry.split, %for.body 24 for.body: ; preds = %entry.split, %for.body
25 %0 = phi i32 [ 0, %entry.split ], [ %1, %for.body ], !dbg !20 25 %0 = phi i32 [ 0, %entry.split ], [ %1, %for.body ], !dbg !20
26 %mul = mul nsw i32 %0, %0, !dbg !20 26 %mul = mul nsw i32 %0, %0, !dbg !20
27 %idxprom1 = zext i32 %mul to i64, !dbg !20 27 %idxprom1 = zext i32 %mul to i64, !dbg !20
28 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom1, !dbg !20 28 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %idxprom1, !dbg !20
29 store i32 0, i32* %arrayidx, align 4, !dbg !20 29 store i32 0, ptr %arrayidx, align 4, !dbg !20
30 %1 = add nsw i32 %0, 1, !dbg !21 30 %1 = add nsw i32 %0, 1, !dbg !21
31 tail call void @llvm.dbg.value(metadata i32 %1, i64 0, metadata !16, metadata !DIExpression()), !dbg !18 31 tail call void @llvm.dbg.value(metadata i32 %1, i64 0, metadata !16, metadata !DIExpression()), !dbg !18
32 %exitcond = icmp ne i32 %1, 42, !dbg !19 32 %exitcond = icmp ne i32 %1, 42, !dbg !19
33 br i1 %exitcond, label %for.body, label %for.end, !dbg !19 33 br i1 %exitcond, label %for.body, label %for.end, !dbg !19
34 34