1 /* Provide Declarations */
8 typedef unsigned char bool;
12 /* Support for floating point constants */
13 typedef unsigned long long ConstantDoubleTy;
14 typedef unsigned int ConstantFloatTy;
17 /* Global Declarations */
19 /* External Global Variable Declarations */
21 /* Function Declarations */
23 int printf(signed char *, ...);
24 void testfunc(short l5_s, float l11_X, signed char l3_C, signed long long l9_LL, int l7_I, double l12_D);
27 /* Malloc to make sun happy */
28 extern void * malloc(size_t);
32 /* Global Variable Declerations */
33 extern signed char l27_d_LC0[26];
36 /* Global Variable Definitions and Initialization */
37 static signed char l27_d_LC0[26] = "%d, %f, %d, %lld, %d, %f\n";
41 void testfunc(short l5_s, float l11_X, signed char l3_C, signed long long l9_LL, int l7_I, double l12_D) {
45 l7_reg226 = printf((&(l27_d_LC0[0ll])), ((unsigned )l5_s), ((double )l11_X), ((unsigned )l3_C), l9_LL, l7_I, l12_D);
51 const ConstantFloatTy FloatConstant0 = 0x3f9f5c29; /* 1.245 */
52 const ConstantDoubleTy FloatConstant1 = 0x432ff973cafa8000; /* 4.5e+15 */
55 testfunc(12, (*(float*)&FloatConstant0), 120, 123456677890ll, -10, (*(double*)&FloatConstant1));