Mercurial > hg > CbC > CbC_llvm

comparison polly/test/ScopInfo/ranged_parameter.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
11 ; A[i + *p] = i; 11 ; A[i + *p] = i;
12 ; } 12 ; }
13 ; 13 ;
14 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 14 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
15 15
16 define void @jd(i32* %A, i32* %p) { 16 define void @jd(ptr %A, ptr %p) {
17 entry: 17 entry:
18 %tmp = load i32, i32* %p, align 4, !range !0 18 %tmp = load i32, ptr %p, align 4, !range !0
19 br label %for.cond 19 br label %for.cond
20 20
21 for.cond: ; preds = %for.inc, %entry 21 for.cond: ; preds = %for.inc, %entry
22 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] 22 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
23 %exitcond = icmp ne i32 %i.0, 1024 23 %exitcond = icmp ne i32 %i.0, 1024
24 br i1 %exitcond, label %for.body, label %for.end 24 br i1 %exitcond, label %for.body, label %for.end
25 25
26 for.body: ; preds = %for.cond 26 for.body: ; preds = %for.cond
27 %add = add i32 %i.0, %tmp 27 %add = add i32 %i.0, %tmp
28 %idxprom = sext i32 %add to i64 28 %idxprom = sext i32 %add to i64
29 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom 29 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %idxprom
30 store i32 %i.0, i32* %arrayidx, align 4 30 store i32 %i.0, ptr %arrayidx, align 4
31 br label %for.inc 31 br label %for.inc
32 32
33 for.inc: ; preds = %for.body 33 for.inc: ; preds = %for.body
34 %inc = add nsw i32 %i.0, 1 34 %inc = add nsw i32 %i.0, 1
35 br label %for.cond 35 br label %for.cond