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 57