53 lines · c
1// Check the various ways in which the three classes of values2// (scalar, complex, aggregate) interact with parameter passing3// (function entry, function return, call argument, call result).4//5// We also check _Bool and empty structures, as these can have annoying6// corner cases.7 8// RUN: %clang_cc1 %s -triple i386-unknown-unknown -O3 -emit-llvm -o - | FileCheck %s9// RUN: %clang_cc1 %s -triple x86_64-unknown-unknown -O3 -emit-llvm -o - | FileCheck %s10// RUN: %clang_cc1 %s -triple powerpc-unknown-unknown -O3 -emit-llvm -o - | FileCheck %s11// CHECK-NOT: @g012 13typedef _Bool BoolTy;14typedef int ScalarTy;15typedef _Complex int ComplexTy;16typedef struct { int a, b, c; } AggrTy;17typedef struct { int a[0]; } EmptyTy;18 19static int result;20 21static BoolTy bool_id(BoolTy a) { return a; }22static AggrTy aggr_id(AggrTy a) { return a; }23static EmptyTy empty_id(EmptyTy a) { return a; }24static ScalarTy scalar_id(ScalarTy a) { return a; }25static ComplexTy complex_id(ComplexTy a) { return a; }26 27static void bool_mul(BoolTy a) { result *= a; }28 29static void aggr_mul(AggrTy a) { result *= a.a * a.b * a.c; }30 31static void empty_mul(EmptyTy a) { result *= 53; }32 33static void scalar_mul(ScalarTy a) { result *= a; }34 35static void complex_mul(ComplexTy a) { result *= __real a * __imag a; }36 37extern void g0(void);38 39void 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