polly/test/ScopInfo/memcpy-raw-source.ll

   1 ; RUN: opt %loadPolly -basic-aa -scoped-noalias-aa -tbaa -polly-print-scops -disable-output < %s
   2 ;
   3 ; Ensure that ScopInfo's alias analysis llvm.memcpy for,
   4 ; like the AliasSetTracker, preserves bitcasts.
   5
   6 target 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
  11 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i32, i1) #0
  12
  13 ; Function Attrs: nounwind uwtable
  14 define void @setup_tone_curves() #1 {
  15 entry:
  16   %workc = alloca [17 x [8 x [56 x float]]], align 16
  17   br label %for.cond7.preheader
  18
  19 for.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
  25 for.body36:                                       ; preds = %for.body36, %for.cond7.preheader
  26   %indvars.iv49 = phi i64 [ %indvars.iv.next50, %for.body36 ], [ 0, %for.cond7.preheader ]
  27   %arraydecay47 = getelementptr inbounds [17 x [6 x [56 x float]]], ptr @tonemasks, i64 0, i64 0, i64 %indvars.iv49, i64 0
  28   call void @llvm.memcpy.p0.p0.i64(ptr %workc, ptr %arraydecay47, i64 224, i32 16, i1 false)
  29   %indvars.iv.next50 = add nuw nsw i64 %indvars.iv49, 1
  30   br i1 false, label %for.body36, label %for.end50
  31
  32 for.end50:                                        ; preds = %for.body36
  33   call void @llvm.memcpy.p0.p0.i64(ptr %workc, ptr @tonemasks, i64 224, i32 16, i1 false)
  34   br label %for.body74
  35
  36 for.body74:                                       ; preds = %for.body74, %for.end50
  37   %indvars.iv53 = phi i64 [ %indvars.iv.next54, %for.body74 ], [ 0, %for.end50 ]
  38   %arrayidx99 = getelementptr inbounds [17 x [8 x [56 x float]]], ptr %workc, i64 0, i64 0, i64 0, i64 %indvars.iv53
  39   %0 = load float, ptr %arrayidx99, align 4
  40   store float undef, ptr %arrayidx99, align 4
  41   %indvars.iv.next54 = add nuw nsw i64 %indvars.iv53, 1
  42   %exitcond57 = icmp ne i64 %indvars.iv.next54, 56
  43   br i1 %exitcond57, label %for.body74, label %for.inc104
  44
  45 for.inc104:                                       ; preds = %for.body74
  46   ret void
  47 }
  48
  49 attributes #0 = { argmemonly nounwind }
  50 attributes #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" }
  51
  52 !llvm.ident = !{!0}
  53
  54 !0 = !{!"clang version 4.0.0 (trunk 285057) (llvm/trunk 285063)"}