| // 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 %s -triple i386-unknown-unknown -O3 -emit-llvm -o %t && |
| // RUN: not grep '@g0' %t && |
| |
| // RUN: clang %s -triple x86_64-unknown-unknown -O3 -emit-llvm -o %t && |
| // RUN: not grep '@g0' %t && |
| |
| // RUN: clang %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(); |
| } |
| |