xref: /llvm-project/clang/test/CodeGenCXX/varargs.cpp (revision 0f1c1be1968076d6f96f8a7bcc4a15cf195ecd97)
1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm %s -o - | FileCheck %s
2 
3 // PR4678
4 namespace test0 {
5   // test1 should be compmiled to be a varargs function in the IR even
6   // though there is no way to do a va_begin.  Otherwise, the optimizer
7   // will warn about 'dropped arguments' at the call site.
8 
9   // CHECK-LABEL: define{{.*}} i32 @_ZN5test05test1Ez(...)
test1(...)10   int test1(...) {
11     return -1;
12   }
13 
14   // CHECK: call noundef i32 (...) @_ZN5test05test1Ez(i32 noundef 0)
test()15   void test() {
16     test1(0);
17   }
18 }
19 
20 namespace test1 {
21   struct A {
22     int x;
23     int y;
24   };
25 
26   void foo(...);
27 
test()28   void test() {
29     A x;
30     foo(x);
31   }
32   // CHECK-LABEL:    define{{.*}} void @_ZN5test14testEv()
33   // CHECK:      [[X:%.*]] = alloca [[A:%.*]], align 4
34   // CHECK-NEXT: [[TMP:%.*]] = alloca [[A]], align 4
35   // CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[TMP]], ptr align 4 [[X]], i64 8, i1 false)
36   // CHECK-NEXT: [[T1:%.*]] = load i64, ptr [[TMP]], align 4
37   // CHECK-NEXT: call void (...) @_ZN5test13fooEz(i64 [[T1]])
38   // CHECK-NEXT: ret void
39 }
40