1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null
/* Provide Declarations */
#ifndef NULL
#define NULL 0
#endif
#ifndef __cplusplus
typedef unsigned char bool;
#endif
/* Support for floating point constants */
typedef unsigned long long ConstantDoubleTy;
typedef unsigned int ConstantFloatTy;
/* Global Declarations */
/* External Global Variable Declarations */
/* Function Declarations */
void __main();
int printf(signed char *, ...);
void testfunc(short l5_s, float l11_X, signed char l3_C, signed long long l9_LL, int l7_I, double l12_D);
void main();
/* Malloc to make sun happy */
extern void * malloc(size_t);
/* Global Variable Declerations */
extern signed char l27_d_LC0[26];
/* Global Variable Definitions and Initialization */
static signed char l27_d_LC0[26] = "%d, %f, %d, %lld, %d, %f\n";
/* Function Bodies */
void testfunc(short l5_s, float l11_X, signed char l3_C, signed long long l9_LL, int l7_I, double l12_D) {
int l7_reg226;
l7_reg226 = printf((&(l27_d_LC0[0ll])), ((unsigned )l5_s), ((double )l11_X), ((unsigned )l3_C), l9_LL, l7_I, l12_D);
return;
}
void main() {
const ConstantFloatTy FloatConstant0 = 0x3f9f5c29; /* 1.245 */
const ConstantDoubleTy FloatConstant1 = 0x432ff973cafa8000; /* 4.5e+15 */
__main();
testfunc(12, (*(float*)&FloatConstant0), 120, 123456677890ll, -10, (*(double*)&FloatConstant1));
return;
}
|
