1; RUN: opt %loadPolly -basic-aa -scoped-noalias-aa -tbaa -polly-scops -analyze < %s
2;
3; Ensure that ScopInfo's alias analysis llvm.memcpy for,
4; like the AliasSetTracker, preserves bitcasts.
5
6target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
7
8@tonemasks = external global [17 x [6 x [56 x float]]], align 16
9
10; Function Attrs: argmemonly nounwind
11declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32, i1) #0
12
13; Function Attrs: nounwind uwtable
14define void @setup_tone_curves() #1 {
15entry:
16  %workc = alloca [17 x [8 x [56 x float]]], align 16
17  br label %for.cond7.preheader
18
19for.cond7.preheader:                              ; preds = %for.cond7.preheader, %entry
20  %indvars.iv45 = phi i64 [ %indvars.iv.next46, %for.cond7.preheader ], [ 0, %entry ]
21  %indvars.iv.next46 = add nuw nsw i64 %indvars.iv45, 1
22  %exitcond48 = icmp ne i64 %indvars.iv.next46, 56
23  br i1 %exitcond48, label %for.cond7.preheader, label %for.body36
24
25for.body36:                                       ; preds = %for.body36, %for.cond7.preheader
26  %indvars.iv49 = phi i64 [ %indvars.iv.next50, %for.body36 ], [ 0, %for.cond7.preheader ]
27  %arraydecay42 = getelementptr inbounds [17 x [8 x [56 x float]]], [17 x [8 x [56 x float]]]* %workc, i64 0, i64 0, i64 0, i64 0
28  %0 = bitcast float* %arraydecay42 to i8*
29  %arraydecay47 = getelementptr inbounds [17 x [6 x [56 x float]]], [17 x [6 x [56 x float]]]* @tonemasks, i64 0, i64 0, i64 %indvars.iv49, i64 0
30  %1 = bitcast float* %arraydecay47 to i8*
31  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* %1, i64 224, i32 16, i1 false)
32  %indvars.iv.next50 = add nuw nsw i64 %indvars.iv49, 1
33  br i1 false, label %for.body36, label %for.end50
34
35for.end50:                                        ; preds = %for.body36
36  %arrayidx38 = getelementptr inbounds [17 x [8 x [56 x float]]], [17 x [8 x [56 x float]]]* %workc, i64 0, i64 0
37  %2 = bitcast [8 x [56 x float]]* %arrayidx38 to i8*
38  %arraydecay58 = getelementptr inbounds [17 x [6 x [56 x float]]], [17 x [6 x [56 x float]]]* @tonemasks, i64 0, i64 0, i64 0, i64 0
39  %3 = bitcast float* %arraydecay58 to i8*
40  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %2, i8* %3, i64 224, i32 16, i1 false)
41  br label %for.body74
42
43for.body74:                                       ; preds = %for.body74, %for.end50
44  %indvars.iv53 = phi i64 [ %indvars.iv.next54, %for.body74 ], [ 0, %for.end50 ]
45  %arrayidx99 = getelementptr inbounds [17 x [8 x [56 x float]]], [17 x [8 x [56 x float]]]* %workc, i64 0, i64 0, i64 0, i64 %indvars.iv53
46  %4 = load float, float* %arrayidx99, align 4
47  store float undef, float* %arrayidx99, align 4
48  %indvars.iv.next54 = add nuw nsw i64 %indvars.iv53, 1
49  %exitcond57 = icmp ne i64 %indvars.iv.next54, 56
50  br i1 %exitcond57, label %for.body74, label %for.inc104
51
52for.inc104:                                       ; preds = %for.body74
53  ret void
54}
55
56attributes #0 = { argmemonly nounwind }
57attributes #1 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
58
59!llvm.ident = !{!0}
60
61!0 = !{!"clang version 4.0.0 (trunk 285057) (llvm/trunk 285063)"}
62