src/llvm/tools/clang/test/CodeGen/parameter-passing.c

   1 // Check the various ways in which the three classes of values
   2 // (scalar, complex, aggregate) interact with parameter passing
   3 // (function entry, function return, call argument, call result).
   4 //
   5 // We also check _Bool and empty structures, as these can have annoying
   6 // corner cases.
   7
   8 // RUN: %clang_cc1 %s -triple i386-unknown-unknown -O3 -emit-llvm -o %t
   9 // RUN: not grep '@g0' %t
  10
  11 // RUN: %clang_cc1 %s -triple x86_64-unknown-unknown -O3 -emit-llvm -o %t
  12 // RUN: not grep '@g0' %t
  13
  14 // RUN: %clang_cc1 %s -triple powerpc-unknown-unknown -O3 -emit-llvm -o %t
  15 // RUN: not grep '@g0' %t
  16
  17 typedef _Bool BoolTy;
  18 typedef int ScalarTy;
  19 typedef _Complex int ComplexTy;
  20 typedef struct { int a, b, c; } AggrTy;
  21 typedef struct { int a[0]; } EmptyTy;
  22
  23 static int result;
  24
  25 static BoolTy bool_id(BoolTy a) { return a; }
  26 static AggrTy aggr_id(AggrTy a) { return a; }
  27 static EmptyTy empty_id(EmptyTy a) { return a; }
  28 static ScalarTy scalar_id(ScalarTy a) { return a; }
  29 static ComplexTy complex_id(ComplexTy a) { return a; }
  30
  31 static void bool_mul(BoolTy a) { result *= a; }
  32
  33 static void aggr_mul(AggrTy a) { result *= a.a * a.b * a.c; }
  34
  35 static void empty_mul(EmptyTy a) { result *= 53; }
  36
  37 static void scalar_mul(ScalarTy a) { result *= a; }
  38
  39 static void complex_mul(ComplexTy a) { result *= __real a * __imag a; }
  40
  41 extern void g0(void);
  42
  43 void f0(void) {
  44   result = 1;
  45
  46   bool_mul(bool_id(1));
  47   aggr_mul(aggr_id((AggrTy) { 2, 3, 5}));
  48   empty_mul(empty_id((EmptyTy) {}));
  49   scalar_mul(scalar_id(7));
  50   complex_mul(complex_id(11 + 13i));
  51
  52   // This call should be eliminated.
  53   if (result != 2 * 3 * 5 * 7 * 11 * 13 * 53)
  54     g0();
  55 }
  56