test/Transforms/Inline/inline-vla.ll

   1 ; RUN: opt -S -inline %s -o - | FileCheck %s
   2 ; RUN: opt -S -passes='cgscc(inline)' %s -o - | FileCheck %s
   3
   4 ; Check that memcpy2 is completely inlined away.
   5 ; CHECK-NOT: memcpy2
   6
   7 @.str = private unnamed_addr constant [2 x i8] c"a\00", align 1
   8 @.str1 = private unnamed_addr constant [3 x i8] c"ab\00", align 1
   9
  10 ; Function Attrs: nounwind ssp uwtable
  11 define i32 @main(i32 %argc, i8** nocapture readnone %argv) #0 {
  12 entry:
  13   %data = alloca [2 x i8], align 1
  14   %arraydecay = getelementptr inbounds [2 x i8], [2 x i8]* %data, i64 0, i64 0
  15   call fastcc void @memcpy2(i8* %arraydecay, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i64 1)
  16   call fastcc void @memcpy2(i8* %arraydecay, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str1, i64 0, i64 0), i64 2)
  17   ret i32 0
  18 }
  19
  20 ; Function Attrs: inlinehint nounwind ssp uwtable
  21 define internal fastcc void @memcpy2(i8* nocapture %dst, i8* nocapture readonly %src, i64 %size) #1 {
  22 entry:
  23   %vla = alloca i64, i64 %size, align 16
  24   %0 = bitcast i64* %vla to i8*
  25   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* %src, i64 %size, i1 false)
  26   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %0, i64 %size, i1 false)
  27   ret void
  28 }
  29
  30 ; Function Attrs: nounwind
  31 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i1) #2
  32
  33 attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
  34 attributes #1 = { inlinehint nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
  35 attributes #2 = { nounwind }
  36
  37 !llvm.ident = !{!0}
  38
  39 !0 = !{!"clang version 3.5.0 (trunk 205695) (llvm/trunk 205706)"}