comparison polly/test/CodeGen/load_subset_with_context.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
19 %indvars.iv999 = phi i64 [ 0, %entry ], [ %indvars.iv.next1000, %for.cond33.preheader ] 19 %indvars.iv999 = phi i64 [ 0, %entry ], [ %indvars.iv.next1000, %for.cond33.preheader ]
20 %tmp5 = shl nsw i64 %indvars.iv999, 2 20 %tmp5 = shl nsw i64 %indvars.iv999, 2
21 br label %for.cond7.preheader 21 br label %for.cond7.preheader
22 22
23 for.cond33.preheader: ; preds = %for.inc.3 23 for.cond33.preheader: ; preds = %for.inc.3
24 %tmp175 = load float, float* undef, align 4 24 %tmp175 = load float, ptr undef, align 4
25 %indvars.iv.next1000 = add nuw nsw i64 %indvars.iv999, 1 25 %indvars.iv.next1000 = add nuw nsw i64 %indvars.iv999, 1
26 %exitcond1002 = icmp eq i64 %indvars.iv.next1000, 17 26 %exitcond1002 = icmp eq i64 %indvars.iv.next1000, 17
27 br i1 %exitcond1002, label %for.cond176.preheader, label %for.body 27 br i1 %exitcond1002, label %for.cond176.preheader, label %for.body
28 28
29 for.cond7.preheader: ; preds = %for.inc.3, %for.body 29 for.cond7.preheader: ; preds = %for.inc.3, %for.body
30 %indvars.iv958 = phi i64 [ 0, %for.body ], [ %indvars.iv.next959, %for.inc.3 ] 30 %indvars.iv958 = phi i64 [ 0, %for.body ], [ %indvars.iv.next959, %for.inc.3 ]
31 %tmp20 = add nuw nsw i64 %indvars.iv958, %tmp5 31 %tmp20 = add nuw nsw i64 %indvars.iv958, %tmp5
32 %arrayidx.2 = getelementptr inbounds [88 x float], [88 x float]* @ATH, i64 0, i64 0 32 %arrayidx.2 = getelementptr inbounds [88 x float], ptr @ATH, i64 0, i64 0
33 %tmp157 = load float, float* %arrayidx.2, align 4 33 %tmp157 = load float, ptr %arrayidx.2, align 4
34 %tmp158 = add nuw nsw i64 %tmp20, 3 34 %tmp158 = add nuw nsw i64 %tmp20, 3
35 %cmp12.3 = icmp ult i64 %tmp158, 88 35 %cmp12.3 = icmp ult i64 %tmp158, 88
36 br i1 %cmp12.3, label %if.then.3, label %if.else.3 36 br i1 %cmp12.3, label %if.then.3, label %if.else.3
37 37
38 if.else.3: ; preds = %for.cond7.preheader 38 if.else.3: ; preds = %for.cond7.preheader
41 if.then.3: ; preds = %for.cond7.preheader 41 if.then.3: ; preds = %for.cond7.preheader
42 br label %for.inc.3 42 br label %for.inc.3
43 43
44 for.inc.3: ; preds = %if.then.3, %if.else.3 44 for.inc.3: ; preds = %if.then.3, %if.else.3
45 %min.1.3 = phi float [ undef, %if.then.3 ], [ %tmp157, %if.else.3 ] 45 %min.1.3 = phi float [ undef, %if.then.3 ], [ %tmp157, %if.else.3 ]
46 %arrayidx29 = getelementptr inbounds [56 x float], [56 x float]* %ath, i64 0, i64 %indvars.iv958 46 %arrayidx29 = getelementptr inbounds [56 x float], ptr %ath, i64 0, i64 %indvars.iv958
47 store float %min.1.3, float* %arrayidx29, align 4 47 store float %min.1.3, ptr %arrayidx29, align 4
48 %indvars.iv.next959 = add nuw nsw i64 %indvars.iv958, 1 48 %indvars.iv.next959 = add nuw nsw i64 %indvars.iv958, 1
49 %exitcond961 = icmp eq i64 %indvars.iv.next959, 56 49 %exitcond961 = icmp eq i64 %indvars.iv.next959, 56
50 br i1 %exitcond961, label %for.cond33.preheader, label %for.cond7.preheader 50 br i1 %exitcond961, label %for.cond33.preheader, label %for.cond7.preheader
51 } 51 }
52 52
53 53
54 ; CHECK: polly.stmt.if.else.3: 54 ; CHECK: polly.stmt.if.else.3:
55 ; CHECK-NEXT: %polly.access.cast.ath1 = bitcast [56 x float]* %ath to float* 55 ; CHECK-NEXT: %polly.access.ath1 = getelementptr float, ptr %ath, i64 %polly.indvar
56 ; CHECK-NEXT: %polly.access.ath2 = getelementptr float, float* %polly.access.cast.ath1, i64 %polly.indvar 56 ; CHECK-NEXT: %polly.access.ath1.reload = load float, ptr %polly.access.ath1
57 ; CHECK-NEXT: %polly.access.ath2.reload = load float, float* %polly.access.ath2