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 - | FileCheck %s
9 // RUN: %clang_cc1 %s -triple x86_64-unknown-unknown -O3 -emit-llvm -o - | FileCheck %s
10 // RUN: %clang_cc1 %s -triple powerpc-unknown-unknown -O3 -emit-llvm -o - | FileCheck %s
11 // CHECK-NOT: @g0
12
13 typedef _Bool BoolTy;
14 typedef int ScalarTy;
15 typedef _Complex int ComplexTy;
16 typedef struct { int a, b, c; } AggrTy;
17 typedef struct { int a[0]; } EmptyTy;
18
19 static int result;
20
bool_id(BoolTy a)21 static BoolTy bool_id(BoolTy a) { return a; }
aggr_id(AggrTy a)22 static AggrTy aggr_id(AggrTy a) { return a; }
empty_id(EmptyTy a)23 static EmptyTy empty_id(EmptyTy a) { return a; }
scalar_id(ScalarTy a)24 static ScalarTy scalar_id(ScalarTy a) { return a; }
complex_id(ComplexTy a)25 static ComplexTy complex_id(ComplexTy a) { return a; }
26
bool_mul(BoolTy a)27 static void bool_mul(BoolTy a) { result *= a; }
28
aggr_mul(AggrTy a)29 static void aggr_mul(AggrTy a) { result *= a.a * a.b * a.c; }
30
empty_mul(EmptyTy a)31 static void empty_mul(EmptyTy a) { result *= 53; }
32
scalar_mul(ScalarTy a)33 static void scalar_mul(ScalarTy a) { result *= a; }
34
complex_mul(ComplexTy a)35 static void complex_mul(ComplexTy a) { result *= __real a * __imag a; }
36
37 extern void g0(void);
38
f0(void)39 void f0(void) {
40 result = 1;
41
42 bool_mul(bool_id(1));
43 aggr_mul(aggr_id((AggrTy) { 2, 3, 5}));
44 empty_mul(empty_id((EmptyTy) {}));
45 scalar_mul(scalar_id(7));
46 complex_mul(complex_id(11 + 13i));
47
48 // This call should be eliminated.
49 if (result != 2 * 3 * 5 * 7 * 11 * 13 * 53)
50 g0();
51 }
52
53