// RUN: %clang_cc1 -no-opaque-pointers -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s

// CHECK: i32 @a(i32
int a();
int a(x) short x; {return x;}

// CHECK: void @b(double
// CHECK: %[[ADDR:.*]] = alloca float, align 4
// CHECK: %[[TRUNC:.*]] = fptrunc double %0 to float
// CHECK: store float %[[TRUNC]], float* %[[ADDR]], align 4
void b();
void b(f) float f; {}