clang/test/CodeGenCXX/varargs.cpp

   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(...)
  10   int test1(...) {
  11     return -1;
  12   }
  13
  14   // CHECK: call noundef i32 (...) @_ZN5test05test1Ez(i32 noundef 0)
  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
  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 }