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