Mercurial > hg > CbC > CbC_llvm

comparison polly/test/ScopInfo/truncate-1.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
14 ; CHECK: Domain := 14 ; CHECK: Domain :=
15 ; CHECK-NEXT: [N] -> { Stmt_for_body[i0] : 0 <= i0 < N }; 15 ; CHECK-NEXT: [N] -> { Stmt_for_body[i0] : 0 <= i0 < N };
16 ; 16 ;
17 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 17 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
18 18
19 define void @f(i8* %A, i16 signext %N) { 19 define void @f(ptr %A, i16 signext %N) {
20 entry: 20 entry:
21 br label %for.cond 21 br label %for.cond
22 22
23 for.cond: ; preds = %for.inc, %entry 23 for.cond: ; preds = %for.inc, %entry
24 %i.0 = phi i8 [ 0, %entry ], [ %inc4, %for.inc ] 24 %i.0 = phi i8 [ 0, %entry ], [ %inc4, %for.inc ]
29 %cmp = icmp slt i32 %conv, %conv2 29 %cmp = icmp slt i32 %conv, %conv2
30 br i1 %cmp, label %for.body, label %for.end 30 br i1 %cmp, label %for.body, label %for.end
31 31
32 for.body: ; preds = %for.cond 32 for.body: ; preds = %for.cond
33 %idxprom = sext i8 %i.0 to i64 33 %idxprom = sext i8 %i.0 to i64
34 %arrayidx = getelementptr inbounds i8, i8* %A, i64 %idxprom 34 %arrayidx = getelementptr inbounds i8, ptr %A, i64 %idxprom
35 %tmp = load i8, i8* %arrayidx, align 1 35 %tmp = load i8, ptr %arrayidx, align 1
36 %inc = add i8 %tmp, 1 36 %inc = add i8 %tmp, 1
37 store i8 %inc, i8* %arrayidx, align 1 37 store i8 %inc, ptr %arrayidx, align 1
38 br label %for.inc 38 br label %for.inc
39 39
40 for.inc: ; preds = %for.body 40 for.inc: ; preds = %for.body
41 %inc4 = add nsw i8 %i.0, 1 41 %inc4 = add nsw i8 %i.0, 1
42 br label %for.cond 42 br label %for.cond