Mercurial > hg > CbC > CbC_llvm

comparison polly/test/ScopInfo/scalar_dependence_cond_br.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 ; CHECK-NOT: Stmt_for_cond[i0] -> MemRef_cmp1[] } 14 ; CHECK-NOT: Stmt_for_cond[i0] -> MemRef_cmp1[] }
15 ; 15 ;
16 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 16 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
17 17
18 define void @f(i32* %A, i64 %c) { 18 define void @f(ptr %A, i64 %c) {
19 entry: 19 entry:
20 br label %for.cond 20 br label %for.cond
21 21
22 for.cond: ; preds = %for.inc, %entry 22 for.cond: ; preds = %for.inc, %entry
23 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ] 23 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
27 27
28 for.body: ; preds = %for.cond 28 for.body: ; preds = %for.cond
29 br i1 %cmp1, label %if.then, label %if.end 29 br i1 %cmp1, label %if.then, label %if.end
30 30
31 if.then: ; preds = %for.body 31 if.then: ; preds = %for.body
32 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %indvars.iv 32 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %indvars.iv
33 %tmp = load i32, i32* %arrayidx, align 4 33 %tmp = load i32, ptr %arrayidx, align 4
34 %inc = add nsw i32 %tmp, 1 34 %inc = add nsw i32 %tmp, 1
35 store i32 %inc, i32* %arrayidx, align 4 35 store i32 %inc, ptr %arrayidx, align 4
36 br label %if.end 36 br label %if.end
37 37
38 if.end: ; preds = %if.then, %for.body 38 if.end: ; preds = %if.then, %for.body
39 br label %for.inc 39 br label %for.inc
40 40