diff options
Diffstat (limited to 'test/CodeGen/parameter-passing.c')
-rw-r--r-- | test/CodeGen/parameter-passing.c | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/test/CodeGen/parameter-passing.c b/test/CodeGen/parameter-passing.c new file mode 100644 index 000000000000..2ace299ef770 --- /dev/null +++ b/test/CodeGen/parameter-passing.c @@ -0,0 +1,57 @@ +// Check the various ways in which the three classes of values +// (scalar, complex, aggregate) interact with parameter passing +// (function entry, function return, call argument, call result). +// +// We also check _Bool and empty structures, as these can have annoying +// corner cases. + +// RUN: clang-cc %s -triple i386-unknown-unknown -O3 -emit-llvm -o %t && +// RUN: not grep '@g0' %t && + +// RUN: clang-cc %s -triple x86_64-unknown-unknown -O3 -emit-llvm -o %t && +// RUN: not grep '@g0' %t && + +// RUN: clang-cc %s -triple ppc-unknown-unknown -O3 -emit-llvm -o %t && +// RUN: not grep '@g0' %t && +// RUN: true + +typedef _Bool BoolTy; +typedef int ScalarTy; +typedef _Complex int ComplexTy; +typedef struct { int a, b, c; } AggrTy; +typedef struct { int a[0]; } EmptyTy; + +static int result; + +static BoolTy bool_id(BoolTy a) { return a; } +static AggrTy aggr_id(AggrTy a) { return a; } +static EmptyTy empty_id(EmptyTy a) { return a; } +static ScalarTy scalar_id(ScalarTy a) { return a; } +static ComplexTy complex_id(ComplexTy a) { return a; } + +static void bool_mul(BoolTy a) { result *= a; } + +static void aggr_mul(AggrTy a) { result *= a.a * a.b * a.c; } + +static void empty_mul(EmptyTy a) { result *= 53; } + +static void scalar_mul(ScalarTy a) { result *= a; } + +static void complex_mul(ComplexTy a) { result *= __real a * __imag a; } + +extern void g0(void); + +void f0(void) { + result = 1; + + bool_mul(bool_id(1)); + aggr_mul(aggr_id((AggrTy) { 2, 3, 5})); + empty_mul(empty_id((EmptyTy) {})); + scalar_mul(scalar_id(7)); + complex_mul(complex_id(11 + 13i)); + + // This call should be eliminated. + if (result != 2 * 3 * 5 * 7 * 11 * 13 * 53) + g0(); +} + |