Mercurial > hg > CbC > CbC_llvm

comparison polly/test/ScopInfo/run-time-check-many-piecewise-aliasing.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
8 ; is 11, greater than RunTimeChecksMaxAccessDisjuncts. 8 ; is 11, greater than RunTimeChecksMaxAccessDisjuncts.
9 ; 9 ;
10 ; CHECK: Function: func 10 ; CHECK: Function: func
11 ; CHECK-NEXT: Region: %for---%return 11 ; CHECK-NEXT: Region: %for---%return
12 12
13 define void @func(i64 %n, double* nonnull %A, double * nonnull %B, i64 %d) { 13 define void @func(i64 %n, ptr nonnull %A, ptr nonnull %B, i64 %d) {
14 entry: 14 entry:
15 br label %for 15 br label %for
16 for: 16 for:
17 %j = phi i64 [0, %entry], [%j.inc, %inc] 17 %j = phi i64 [0, %entry], [%j.inc, %inc]
18 %j.cmp = icmp slt i64 %j, %n 18 %j.cmp = icmp slt i64 %j, %n
89 %cond.i11.i30.i = select i1 %cmp.i8.i26.i, i64 %add2.i25.i, i64 0 89 %cond.i11.i30.i = select i1 %cmp.i8.i26.i, i64 %add2.i25.i, i64 0
90 %mul4.i31.i = mul nsw i64 %cond.i11.i30.i, 19 90 %mul4.i31.i = mul nsw i64 %cond.i11.i30.i, 19
91 %add5.i32.i = add nsw i64 %mul.i23.i, %mul4.i31.i 91 %add5.i32.i = add nsw i64 %mul.i23.i, %mul4.i31.i
92 %idxprom = add nsw i64 %add7.i, %add5.i32.i 92 %idxprom = add nsw i64 %add7.i, %add5.i32.i
93 93
94 %A_idx = getelementptr inbounds double, double* %A, i64 %idxprom 94 %A_idx = getelementptr inbounds double, ptr %A, i64 %idxprom
95 %val = load double, double* %A_idx 95 %val = load double, ptr %A_idx
96 %B_idx = getelementptr inbounds double, double* %B, i64 %j 96 %B_idx = getelementptr inbounds double, ptr %B, i64 %j
97 store double %val, double* %B_idx 97 store double %val, ptr %B_idx
98 br label %inc 98 br label %inc
99 99
100 inc: 100 inc:
101 %j.inc = add nuw nsw i64 %j, 1 101 %j.inc = add nuw nsw i64 %j, 1
102 br label %for 102 br label %for