comparison polly/test/ScopInfo/non-precise-inv-load-3.ll @ 252:1f2b6ac9f198 llvm-original

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
12 ; A[i] += I[0]; 12 ; A[i] += I[0];
13 ; } 13 ; }
14 ; 14 ;
15 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 15 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
16 16
17 define void @f(i32* %A, i8 zeroext %c, i32* %I) { 17 define void @f(ptr %A, i8 zeroext %c, ptr %I) {
18 entry: 18 entry:
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 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ] 22 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
27 %add = add i8 %c, 1 27 %add = add i8 %c, 1
28 %cmp3 = icmp sgt i8 %add, 0 28 %cmp3 = icmp sgt i8 %add, 0
29 br i1 %cmp3, label %if.then, label %if.end 29 br i1 %cmp3, label %if.then, label %if.end
30 30
31 if.then: ; preds = %for.body 31 if.then: ; preds = %for.body
32 %tmp = load i32, i32* %I, align 4 32 %tmp = load i32, ptr %I, align 4
33 %arrayidx5 = getelementptr inbounds i32, i32* %A, i64 %indvars.iv 33 %arrayidx5 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv
34 %tmp1 = load i32, i32* %arrayidx5, align 4 34 %tmp1 = load i32, ptr %arrayidx5, align 4
35 %add6 = add nsw i32 %tmp1, %tmp 35 %add6 = add nsw i32 %tmp1, %tmp
36 store i32 %add6, i32* %arrayidx5, align 4 36 store i32 %add6, ptr %arrayidx5, align 4
37 br label %if.end 37 br label %if.end
38 38
39 if.end: ; preds = %if.then, %for.body 39 if.end: ; preds = %if.then, %for.body
40 br label %for.inc 40 br label %for.inc
41 41