test/Transforms/Util/combine-alias-scope-metadata.ll

   1 ; RUN: opt < %s -S -basicaa -memcpyopt | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3
   4 define void @test(i8* noalias dereferenceable(1) %in, i8* noalias dereferenceable(1) %out) {
   5   %tmp = alloca i8
   6   %tmp2 = alloca i8
   7 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %out, i8* align 8 %in, i64 1, i1 false)
   8   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %tmp, i8* align 8 %in, i64 1, i1 false), !alias.scope !4
   9   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %tmp2, i8* align 8 %tmp, i64 1, i1 false), !alias.scope !5
  10
  11   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %out, i8* align 8 %tmp2, i64 1, i1 false), !noalias !6
  12
  13   ret void
  14 }
  15
  16 declare void @llvm.memcpy.p0i8.p0i8.i64(i8*, i8*, i64, i1)
  17
  18 !0 = !{!0}
  19 !1 = distinct !{!1, !0, !"in"}
  20 !2 = distinct !{!2, !0, !"tmp"}
  21 !3 = distinct !{!3, !0, !"tmp2"}
  22 !4 = distinct !{!1, !2}
  23 !5 = distinct !{!2, !3}
  24 !6 = distinct !{!1, !2}