2 * TCC auto test program
8 /* Unfortunately, gcc version < 3 does not handle that! */
11 /* only gcc 3 handles _Bool correctly */
14 /* gcc 2.95.3 does not handle correctly CR in strings or after strays */
15 #define CORRECT_CR_HANDLING
20 #define LONG_LONG_FORMAT "%lld"
21 #define ULONG_LONG_FORMAT "%llu"
23 #define LONG_LONG_FORMAT "%Ld"
24 #define ULONG_LONG_FORMAT "%Lu"
27 // MinGW has 80-bit rather than 64-bit long double which isn't compatible with TCC or MSVC
28 #if defined(_WIN32) && defined(__GNUC__)
29 #define LONG_DOUBLE double
30 #define LONG_DOUBLE_LITERAL(x) x
32 #define LONG_DOUBLE long double
33 #define LONG_DOUBLE_LITERAL(x) x ## L
36 /* deprecated and no longer supported in gcc 3.3 */
37 //#define ACCEPT_CR_IN_STRINGS
39 /* __VA_ARGS__ and __func__ support */
42 /* test various include syntaxes */
44 #define TCCLIB_INC <tcclib.h>
45 #define TCCLIB_INC1 <tcclib
46 #define TCCLIB_INC2 h>
47 #define TCCLIB_INC3 "tcclib"
51 #include TCCLIB_INC1.TCCLIB_INC2
53 #include TCCLIB_INC1.h>
55 /* gcc 3.2 does not accept that (bug ?) */
56 //#include TCCLIB_INC3 ".h"
65 void recursive_macro_test();
79 void constant_expr_test();
81 void char_short_test();
83 void compound_literal_test(void);
85 void struct_assign_test(void);
87 void bitfield_test(void);
88 void c99_bool_test(void);
89 void float_test(void);
90 void longlong_test(void);
91 void manyarg_test(void);
92 void stdarg_test(void);
93 void whitespace_test(void);
94 void relocation_test(void);
95 void old_style_function(void);
96 void alloca_test(void);
97 void c99_vla_test(int size1
, int size2
);
98 void sizeof_test(void);
99 void typeof_test(void);
100 void local_label_test(void);
101 void statement_expr_test(void);
103 void builtin_test(void);
104 void weak_test(void);
105 void global_data_test(void);
106 void cmp_comparison_test(void);
107 void math_cmp_test(void);
108 void callsave_test(void);
109 void builtin_frame_address_test(void);
113 void forward_ref(void);
119 #define M1(a, b) (a) + (b)
123 #define glue(a, b) a ## b
124 #define xglue(a, b) glue(a, b)
125 #define HIGHLOW "hello"
126 #define LOW LOW ", world"
128 static int onetwothree
= 123;
129 #define onetwothree4 onetwothree
130 #define onetwothree xglue(onetwothree,4)
132 #define min(a, b) ((a) < (b) ? (a) : (b))
135 #define dprintf(level,...) printf(__VA_ARGS__)
138 /* gcc vararg macros */
139 #define dprintf1(level, fmt, args...) printf(fmt, ## args)
141 #define MACRO_NOARGS()
157 #define __INT64_C(c) c ## LL
158 #define INT64_MIN (-__INT64_C(9223372036854775807)-1)
166 #define spin_lock(lock) do { } while (0)
167 #define wq_spin_lock spin_lock
168 #define TEST2() wq_spin_lock(a)
170 void macro_test(void)
172 printf("macro:\n");\f\v
174 printf("aaa=%d\n", AAA
);
176 printf("min=%d\n", min(1, min(2, -1)));
178 printf("s1=%s\n", glue(HIGH
, LOW
));
179 printf("s2=%s\n", xglue(HIGH
, LOW
));
180 printf("s3=%s\n", str("c"));
181 printf("s4=%s\n", str(a1
));
182 printf("B3=%d\n", B3
);
184 printf("onetwothree=%d\n", onetwothree
);
187 printf("A defined\n");
190 printf("B defined\n");
193 printf("A defined\n");
195 printf("A not defined\n");
198 printf("B defined\n");
200 printf("B not defined\n");
204 printf("A defined\n");
206 printf("B1 defined\n");
208 printf("B1 not defined\n");
211 printf("A not defined\n");
213 printf("B2 defined\n");
215 printf("B2 not defined\n");
220 printf("test true1\n");
223 printf("test true2\n");
226 printf("test true3\n");
229 printf("test trueA\n");
232 printf("test trueB\n");
248 printf("__LINE__ defined\n");
251 printf("__LINE__=%d __FILE__=%s\n",
254 printf("__LINE__=%d __FILE__=%s\n",
257 printf("__LINE__=%d __FILE__=%s\n",
259 #line 227 "tcctest.c"
261 /* not strictly preprocessor, but we test it there */
263 printf("__func__ = %s\n", __func__
);
264 dprintf(1, "vaarg=%d\n", 1);
266 dprintf1(1, "vaarg1\n");
267 dprintf1(1, "vaarg1=%d\n", 2);
268 dprintf1(1, "vaarg1=%d %d\n", 1, 2);
271 printf("func='%s'\n", __FUNCTION__
);
273 /* complicated macros in glibc */
274 printf("INT64_MIN=" LONG_LONG_FORMAT
"\n", INT64_MIN
);
284 /* macro function with argument outside the macro string */
285 #define MF_s MF_hello
286 #define MF_hello(msg) printf("%s\n",msg)
288 #define MF_t printf("tralala\n"); MF_hello
293 /* test macro substituion inside args (should not eat stream) */
294 printf("qq=%d\n", qq(qq
)(2));
296 /* test zero argument case. NOTE: gcc 2.95.x does not accept a
297 null argument without a space. gcc 3.2 fixes that. */
300 printf("qq1=%d\n", qq1( ));
302 /* comment with stray handling *\
304 /* this is a valid *\/ comment */
305 /* this is a valid comment *\*/
309 /* test function macro substitution when the function name is
313 /* And again when the name and parenthes are separated by a
315 TEST2
/* the comment */ ();
319 static void print_num(char *fn
, int line
, int num
) {
320 printf("fn %s, line %d, num %d\n", fn
, line
, num
);
323 void recursive_macro_test(void)
326 #define ELF32_ST_TYPE(val) ((val) & 0xf)
327 #define ELF32_ST_INFO(bind, type) (((bind) << 4) + ((type) & 0xf))
328 #define STB_WEAK 2 /* Weak symbol */
329 #define ELFW(type) ELF##32##_##type
330 printf("%d\n", ELFW(ST_INFO
)(STB_WEAK
, ELFW(ST_TYPE
)(123)));
334 #define print_num(x) print_num(__FILE__,__LINE__,x)
336 WRAP(print_num(123));
337 WRAP(WRAP(print_num(123)));
339 static struct recursive_macro
{ int rm_field
; } G
;
340 #define rm_field (G.rm_field)
341 printf("rm_field = %d\n", rm_field
);
342 printf("rm_field = %d\n", WRAP(rm_field
));
343 WRAP((printf("rm_field = %d %d\n", rm_field
, WRAP(rm_field
))));
360 void ps(const char *s
)
372 const char foo1_string
[] = "\
381 printf("\141\1423\143\n");/* dezdez test */
382 printf("\x41\x42\x43\x3a\n");
383 printf("c=%c\n", 'r');
384 printf("wc=%C 0x%lx %C\n", L
'a', L
'\x1234', L
'c');
385 printf("foo1_string='%s'\n", foo1_string
);
387 printf("wstring=%S\n", L
"abc");
388 printf("wstring=%S\n", L
"abc" L
"def" "ghi");
389 printf("'\\377'=%d '\\xff'=%d\n", '\377', '\xff');
390 printf("L'\\377'=%d L'\\xff'=%d\n", L
'\377', L
'\xff');
394 while ((b
= b
+ 1) < 96) {
398 printf("fib=%d\n", fib(33));
400 while (b
!= 0x80000000) {
413 for(i
= 0; i
< 10;i
++)
423 /* c99 for loop init test */
424 for (size_t count
= 1; count
< 3; count
++)
425 printf("count=%d\n", count
);
426 printf("count = %d\n", count
);
428 /* break/continue tests */
440 /* break/continue tests */
452 for(i
= 0;i
< 10;i
++) {
460 typedef int typedef_and_label
;
465 static void *label_table
[3] = { &&label1
, &&label2
, &&label3
};
469 /* This needs to parse as label, not as start of decl. */
480 /* we also test computed gotos (GCC extension) */
482 goto *label_table
[i
];
510 printf("enum:\n%d %d %d %d %d %d\n",
511 E0
, E1
, E2
, E3
, E4
, E5
);
513 printf("b1=%d\n", b1
);
529 printf("typedef:\n");
530 printf("a=%d\n", *a
);
532 printf("mytype2=%d\n", mytype2
);
537 printf("forward:\n");
543 void forward_ref(void)
545 printf("forward ok\n");
548 typedef struct struct1
{
568 struct struct1 st1
, st2
;
570 int main(int argc
, char **argv
)
575 recursive_macro_test();
589 constant_expr_test();
593 compound_literal_test();
595 struct_assign_test();
605 old_style_function();
610 statement_expr_test();
618 cmp_comparison_test();
621 builtin_frame_address_test();
632 printf("g1=%d\n", g
);
640 printf("g2=%d\n", g
);
644 printf("g3=%d\n", g
);
648 printf("g4=%d\n", g
);
651 printf("g5=%d\n", g
);
659 printf("sizeof(a) = %d\n", sizeof(a
));
660 printf("sizeof(\"a\") = %d\n", sizeof("a"));
662 printf("sizeof(__func__) = %d\n", sizeof(__func__
));
664 printf("sizeof tab %d\n", sizeof(tab
));
665 printf("sizeof tab2 %d\n", sizeof tab2
);
669 printf("%d %d %d\n", tab
[0], tab
[1], tab
[2]);
672 tab2
[i
][j
] = 10 * i
+ j
;
674 printf(" %3d", ((int *)tab2
)[i
]);
677 printf("sizeof(size_t)=%d\n", sizeof(size_t));
678 printf("sizeof(ptrdiff_t)=%d\n", sizeof(ptrdiff_t));
685 printf("%d\n", a
+= 1);
686 printf("%d\n", a
-= 2);
687 printf("%d\n", a
*= 31232132);
688 printf("%d\n", a
/= 4);
689 printf("%d\n", a
%= 20);
690 printf("%d\n", a
&= 6);
691 printf("%d\n", a
^= 7);
692 printf("%d\n", a
|= 8);
693 printf("%d\n", a
>>= 3);
694 printf("%d\n", a
<<= 4);
698 printf("%d\n", a
+ 1);
699 printf("%d\n", a
- 2);
700 printf("%d\n", a
* 312);
701 printf("%d\n", a
/ 4);
702 printf("%d\n", b
/ 4);
703 printf("%d\n", (unsigned)b
/ 4);
704 printf("%d\n", a
% 20);
705 printf("%d\n", b
% 20);
706 printf("%d\n", (unsigned)b
% 20);
707 printf("%d\n", a
& 6);
708 printf("%d\n", a
^ 7);
709 printf("%d\n", a
| 8);
710 printf("%d\n", a
>> 3);
711 printf("%d\n", b
>> 3);
712 printf("%d\n", (unsigned)b
>> 3);
713 printf("%d\n", a
<< 4);
718 printf("%d\n", 12 + 1);
719 printf("%d\n", 12 - 2);
720 printf("%d\n", 12 * 312);
721 printf("%d\n", 12 / 4);
722 printf("%d\n", 12 % 20);
723 printf("%d\n", 12 & 6);
724 printf("%d\n", 12 ^ 7);
725 printf("%d\n", 12 | 8);
726 printf("%d\n", 12 >> 2);
727 printf("%d\n", 12 << 4);
731 printf("%d %d %d %d\n",
740 return (c
>= 'a' & c
<= 'z') | (c
>= 'A' & c
<= 'Z') | c
== '_';
743 /**********************/
745 int vstack
[10], *vstack_ptr
;
747 void vpush(int vt
, int vc
)
753 void vpop(int *ft
, int *fc
)
766 vstack_ptr
[-2] &= ~0xffffff80;
768 printf("res= %d %d\n", a
, b
);
771 void constant_expr_test()
774 printf("constant_expr:\n");
776 printf("%d\n", a
* 16);
777 printf("%d\n", a
* 1);
778 printf("%d\n", a
+ 0);
788 printf("expr_ptr:\n");
791 printf("diff=%d\n", q
- p
);
793 printf("inc=%d\n", p
- tab4
);
795 printf("dec=%d\n", p
- tab4
);
797 printf("inc=%d\n", p
- tab4
);
799 printf("dec=%d\n", p
- tab4
);
800 printf("add=%d\n", p
+ 3 - tab4
);
801 printf("add=%d\n", 3 + p
- tab4
);
803 /* check if 64bit support is ok */
806 printf("%p %p %ld\n", q
, p
, p
-q
);
807 printf("%d %d %d %d %d %d\n",
808 p
== q
, p
!= q
, p
< q
, p
<= q
, p
>= q
, p
> q
);
811 printf("%p %p %ld\n", q
, p
, p
-q
);
812 printf("%d %d %d %d %d %d\n",
813 p
== q
, p
!= q
, p
< q
, p
<= q
, p
>= q
, p
> q
);
814 p
= (int *)((char *)p
+ 0xf0000000);
815 printf("%p %p %ld\n", q
, p
, p
-q
);
816 printf("%d %d %d %d %d %d\n",
817 p
== q
, p
!= q
, p
< q
, p
<= q
, p
>= q
, p
> q
);
819 printf("%p %p %ld\n", q
, p
, p
-q
);
820 printf("%d %d %d %d %d %d\n",
821 p
== q
, p
!= q
, p
< q
, p
<= q
, p
>= q
, p
> q
);
826 struct size12 s
[2], *sp
= s
;
831 printf("%d\n", sp
[j
].i
);
838 printf("constant_expr:\n");
841 printf("%d\n", a
== a
);
842 printf("%d\n", a
!= a
);
844 printf("%d\n", a
< b
);
845 printf("%d\n", a
<= b
);
846 printf("%d\n", a
<= a
);
847 printf("%d\n", b
>= a
);
848 printf("%d\n", a
>= a
);
849 printf("%d\n", b
> a
);
851 printf("%d\n", (unsigned)a
< b
);
852 printf("%d\n", (unsigned)a
<= b
);
853 printf("%d\n", (unsigned)a
<= a
);
854 printf("%d\n", (unsigned)b
>= a
);
855 printf("%d\n", (unsigned)a
>= a
);
856 printf("%d\n", (unsigned)b
> a
);
885 printf("sizes: %d %d %d %d\n",
886 sizeof(struct struct1
),
887 sizeof(struct struct2
),
888 sizeof(union union1
),
889 sizeof(union union2
));
893 printf("st1: %d %d %d\n",
894 st1
.f1
, st1
.f2
, st1
.f3
);
897 printf("union1: %d\n", st1
.u
.v1
);
900 printf("union2: %d\n", u
.w1
);
905 printf("st2: %d %d %d\n",
906 s
->f1
, s
->f2
, s
->f3
);
907 printf("str_addr=%x\n", (int)st1
.str
- (int)&st1
.f1
);
909 /* align / size tests */
910 printf("aligntest1 sizeof=%d alignof=%d\n",
911 sizeof(struct aligntest1
), __alignof__(struct aligntest1
));
912 printf("aligntest2 sizeof=%d alignof=%d\n",
913 sizeof(struct aligntest2
), __alignof__(struct aligntest2
));
914 printf("aligntest3 sizeof=%d alignof=%d\n",
915 sizeof(struct aligntest3
), __alignof__(struct aligntest3
));
916 printf("aligntest4 sizeof=%d alignof=%d\n",
917 sizeof(struct aligntest4
), __alignof__(struct aligntest4
));
919 /* empty structures (GCC extension) */
920 printf("sizeof(struct empty) = %d\n", sizeof(struct empty
));
921 printf("alignof(struct empty) = %d\n", __alignof__(struct empty
));
924 /* XXX: depend on endianness */
925 void char_short_test()
929 printf("char_short:\n");
934 *(char *)&var1
, *(char *)&var2
);
936 *(unsigned char *)&var1
, *(unsigned char *)&var2
);
937 printf("s16=%d %d\n",
938 *(short *)&var1
, *(short *)&var2
);
939 printf("u16=%d %d\n",
940 *(unsigned short *)&var1
, *(unsigned short *)&var2
);
941 printf("s32=%d %d\n",
942 *(int *)&var1
, *(int *)&var2
);
943 printf("u32=%d %d\n",
944 *(unsigned int *)&var1
, *(unsigned int *)&var2
);
945 *(char *)&var1
= 0x08;
946 printf("var1=%x\n", var1
);
947 *(short *)&var1
= 0x0809;
948 printf("var1=%x\n", var1
);
949 *(int *)&var1
= 0x08090a0b;
950 printf("var1=%x\n", var1
);
963 #define ISLOWER(c) ('a' <= (c) && (c) <= 'z')
964 #define TOUPPER(c) (ISLOWER(c) ? 'A' + ((c) - 'a') : (c))
966 static int toupper1(int a
)
973 int *s
, a
, b
, t
, f
, i
;
977 printf("!s=%d\n", !s
);
983 printf("a=%d %d %d\n", 0 || 0, 0 || 1, 1 || 1);
984 printf("a=%d %d %d\n", 0 && 0, 0 && 1, 1 && 1);
985 printf("a=%d %d\n", 1 ? 1 : 0, 0 ? 1 : 0);
1000 printf("b=%d\n", a
+ (0 ? 1 : a
/ 2));
1002 /* test register spilling */
1005 a
= (a
+ b
) * ((a
< b
) ?
1006 ((b
- a
) * (a
- b
)): a
+ b
);
1007 printf("a=%d\n", a
);
1009 /* test complex || or && expressions */
1013 printf("exp=%d\n", f
== (32 <= a
&& a
<= 3));
1014 printf("r=%d\n", (t
|| f
) + (t
&& f
));
1019 int aspect_native
= 65536;
1020 double bfu_aspect
= 1.0;
1022 for(aspect_on
= 0; aspect_on
< 2; aspect_on
++) {
1023 aspect
=aspect_on
?(aspect_native
*bfu_aspect
+0.5):65535UL;
1024 printf("aspect=%d\n", aspect
);
1028 /* test ? : GCC extension */
1030 static int v1
= 34 ? : -1; /* constant case */
1031 static int v2
= 0 ? : -1; /* constant case */
1034 printf("%d %d\n", v1
, v2
);
1035 printf("%d %d\n", a
- 30 ? : a
* 2, a
+ 1 ? : a
* 2);
1038 /* again complex expression */
1039 for(i
=0;i
<256;i
++) {
1040 if (toupper1 (i
) != TOUPPER (i
))
1041 printf("error %d\n", i
);
1045 /* GCC accepts that */
1046 static int tab_reinit
[];
1047 static int tab_reinit
[10];
1049 //int cinit1; /* a global variable can be defined several times without error ! */
1053 int *cinit2
= (int []){3, 2, 1};
1055 void compound_literal_test(void)
1060 printf("compound_test:\n");
1062 p
= (int []){1, 2, 3};
1064 printf(" %d", p
[i
]);
1068 printf("%d", cinit2
[i
]);
1072 printf("q1=%s\n", q
);
1074 q
= (char *){ "tralala2" };
1075 printf("q2=%s\n", q
);
1078 printf("q3=%s\n", q3
);
1080 q
= (char []){ "tralala3" };
1081 printf("q4=%s\n", q
);
1084 p
= (int []){1, 2, cinit1
+ 3};
1086 printf(" %d", p
[i
]);
1090 p
= (int []){1, 2, 4 + i
};
1091 printf("%d %d %d\n",
1113 printf("kr_test:\n");
1114 printf("func1=%d\n", kr_func1(3, 4));
1115 printf("func2=%d\n", kr_func2(3, 4));
1122 tab
= (char*)malloc(20);
1139 /* structure assignment tests */
1145 struct structa1 ssta1
;
1147 void struct_assign_test1(struct structa1 s1
, int t
, float f
)
1149 printf("%d %d %d %f\n", s1
.f1
, s1
.f2
, t
, f
);
1152 struct structa1
struct_assign_test2(struct structa1 s1
, int t
)
1159 void struct_assign_test(void)
1162 struct structa1 lsta1
, lsta2
;
1169 printf("struct_assign_test:\n");
1173 printf("%d %d\n", s
.lsta1
.f1
, s
.lsta1
.f2
);
1175 printf("%d %d\n", s
.lsta2
.f1
, s
.lsta2
.f2
);
1180 struct_assign_test1(ps
->lsta2
, 3, 4.5);
1182 printf("before call: %d %d\n", s
.lsta2
.f1
, s
.lsta2
.f2
);
1183 ps
->lsta2
= struct_assign_test2(ps
->lsta2
, ps
->i
);
1184 printf("after call: %d %d\n", ps
->lsta2
.f1
, ps
->lsta2
.f2
);
1189 /* XXX: we should allow this even without braces */
1190 { struct_assign_test
}
1192 printf("%d\n", struct_assign_test
== t
[0].elem
);
1195 /* casts to short/char */
1197 void cast1(char a
, short b
, unsigned char c
, unsigned short d
)
1199 printf("%d %d %d %d\n", a
, b
, c
, d
);
1213 p
-= 0x700000000042;
1215 printf("cast_test:\n");
1219 printf("%d %d %d %d\n",
1222 (unsigned char)(a
+ 1),
1223 (unsigned short)(a
+ 1));
1224 printf("%d %d %d %d\n",
1227 (unsigned char)0xfffff,
1228 (unsigned short)0xfffff);
1230 a
= (bcast
= 128) + 1;
1232 a
= (scast
= 65536) + 1;
1235 printf("sizeof(c) = %d, sizeof((int)c) = %d\n", sizeof(c
), sizeof((int)c
));
1237 /* test cast from unsigned to signed short to int */
1240 printf("((unsigned)(short)0x%08x) = 0x%08x\n", b
, d
);
1243 printf("((unsigned)(char)0x%08x) = 0x%08x\n", b
, d
);
1245 /* test implicit int casting for array accesses */
1249 printf("%d %d\n", tab
[0], tab
[1]);
1251 /* test implicit casting on some operators */
1252 printf("sizeof(+(char)'a') = %d\n", sizeof(+(char)'a'));
1253 printf("sizeof(-(char)'a') = %d\n", sizeof(-(char)'a'));
1254 printf("sizeof(~(char)'a') = %d\n", sizeof(-(char)'a'));
1256 /* from pointer to integer types */
1257 printf("%d %d %ld %ld %lld %lld\n",
1258 (int)p
, (unsigned int)p
,
1259 (long)p
, (unsigned long)p
,
1260 (long long)p
, (unsigned long long)p
);
1262 /* from integers to pointers */
1263 printf("%p %p %p %p\n",
1264 (void *)a
, (void *)b
, (void *)c
, (void *)d
);
1267 /* initializers tests */
1268 struct structinit1
{
1277 int sinit3
[3] = { 1, 2, {{3}}, };
1278 int sinit4
[3][2] = { {1, 2}, {3, 4}, {5, 6} };
1279 int sinit5
[3][2] = { 1, 2, 3, 4, 5, 6 };
1280 int sinit6
[] = { 1, 2, 3 };
1281 int sinit7
[] = { [2] = 3, [0] = 1, 2 };
1282 char sinit8
[] = "hello" "trala";
1284 struct structinit1 sinit9
= { 1, 2, 3 };
1285 struct structinit1 sinit10
= { .f2
= 2, 3, .f1
= 1 };
1286 struct structinit1 sinit11
= { .f2
= 2, 3, .f1
= 1,
1294 char *sinit12
= "hello world";
1300 char sinit14
[10] = { "abc" };
1301 int sinit15
[3] = { sizeof(sinit15
), 1, 2 };
1303 struct { int a
[3], b
; } sinit16
[] = { { 1 }, 2 };
1319 struct complexinit0
{
1324 struct complexinit
{
1326 const struct complexinit0
*b
;
1329 const static struct complexinit cix
[] = {
1332 .b
= (const struct complexinit0
[]) {
1340 struct complexinit2
{
1345 struct complexinit2 cix20
;
1347 struct complexinit2 cix21
= {
1349 .b
= { 3001, 3002, 3003 }
1352 struct complexinit2 cix22
= {
1354 .b
= { 4001, 4002, 4003, 4004, 4005, 4006 }
1357 void init_test(void)
1361 int linit4
[3][2] = { {1, 2}, {3, 4}, {5, 6} };
1362 int linit6
[] = { 1, 2, 3 };
1364 char linit8
[] = "hello" "trala";
1365 int linit12
[10] = { 1, 2 };
1366 int linit13
[10] = { 1, 2, [7] = 3, [3] = 4, };
1367 char linit14
[10] = "abc";
1368 int linit15
[10] = { linit1
, linit1
+ 1, [6] = linit1
+ 2, };
1369 struct linit16
{ int a1
, a2
, a3
, a4
; } linit16
= { 1, .a3
= 2 };
1370 int linit17
= sizeof(linit17
);
1372 printf("init_test:\n");
1374 printf("sinit1=%d\n", sinit1
);
1375 printf("sinit2=%d\n", sinit2
);
1376 printf("sinit3=%d %d %d %d\n",
1382 printf("sinit6=%d\n", sizeof(sinit6
));
1383 printf("sinit7=%d %d %d %d\n",
1389 printf("sinit8=%s\n", sinit8
);
1390 printf("sinit9=%d %d %d\n",
1395 printf("sinit10=%d %d %d\n",
1400 printf("sinit11=%d %d %d %d %d %d\n",
1411 printf("[%d][%d] = %d %d %d\n",
1412 i
, j
, sinit4
[i
][j
], sinit5
[i
][j
], linit4
[i
][j
]);
1413 printf("linit1=%d\n", linit1
);
1414 printf("linit2=%d\n", linit2
);
1415 printf("linit6=%d\n", sizeof(linit6
));
1416 printf("linit8=%d %s\n", sizeof(linit8
), linit8
);
1418 printf("sinit12=%s\n", sinit12
);
1419 printf("sinit13=%d %s %s %s\n",
1424 printf("sinit14=%s\n", sinit14
);
1426 for(i
=0;i
<10;i
++) printf(" %d", linit12
[i
]);
1428 for(i
=0;i
<10;i
++) printf(" %d", linit13
[i
]);
1430 for(i
=0;i
<10;i
++) printf(" %d", linit14
[i
]);
1432 for(i
=0;i
<10;i
++) printf(" %d", linit15
[i
]);
1434 printf("%d %d %d %d\n",
1439 /* test that initialisation is done after variable declare */
1440 printf("linit17=%d\n", linit17
);
1441 printf("sinit15=%d\n", sinit15
[0]);
1442 printf("sinit16=%d %d\n", sinit16
[0].a
[0], sinit16
[1].a
[0]);
1443 printf("sinit17=%s %d %s %d\n",
1444 sinit17
[0].s
, sinit17
[0].len
,
1445 sinit17
[1].s
, sinit17
[1].len
);
1447 printf("%x ", sinit18
[i
]);
1449 /* complex init check */
1450 printf("cix: %d %d %d %d %d %d %d\n",
1452 cix
[0].b
[0].a
, cix
[0].b
[0].b
,
1453 cix
[0].b
[1].a
, cix
[0].b
[1].b
,
1454 cix
[0].b
[2].a
, cix
[0].b
[2].b
);
1455 printf("cix2: %d %d\n", cix21
.b
[2], cix22
.b
[5]);
1456 printf("sizeof cix20 %d, cix21 %d, sizeof cix22 %d\n", sizeof cix20
, sizeof cix21
, sizeof cix22
);
1484 /* ISOC99 _Bool type */
1485 void c99_bool_test(void)
1491 printf("bool_test:\n");
1492 printf("sizeof(_Bool) = %d\n", sizeof(_Bool
));
1494 printf("cast: %d %d %d\n", (_Bool
)10, (_Bool
)0, (_Bool
)a
);
1496 printf("b = %d\n", b
);
1498 printf("b = %d\n", b
);
1502 void bitfield_test(void)
1514 unsigned int f5
: 7;
1516 printf("bitfield_test:");
1517 printf("sizeof(st1) = %d\n", sizeof(st1
));
1526 printf("%d %d %d %d %d\n",
1527 st1
.f1
, st1
.f2
, st1
.f3
, st1
.f4
, st1
.f5
);
1530 printf("%d %d\n", sa
, ca
);
1534 printf("st1.f1 == -1\n");
1536 printf("st1.f1 != -1\n");
1538 printf("st1.f2 == -1\n");
1540 printf("st1.f2 != -1\n");
1542 /* bit sizes below must be bigger than 32 since GCC doesn't allow
1543 long-long bitfields whose size is not bigger than int */
1548 unsigned long long f3
: 38;
1550 st2
.f1
= 0x123456789ULL
;
1552 st2
.f2
= (long long)a
<< 25;
1555 printf("%lld %lld %lld\n", st2
.f1
, st2
.f2
, st2
.f3
);
1559 #define FLOAT_FMT "%f\n"
1561 /* x86's float isn't compatible with GCC */
1562 #define FLOAT_FMT "%.5f\n"
1565 /* declare strto* functions as they are C99 */
1566 double strtod(const char *nptr
, char **endptr
);
1569 float strtof(const char *nptr
, char **endptr
) {return (float)strtod(nptr
, endptr
);}
1570 LONG_DOUBLE
strtold(const char *nptr
, char **endptr
) {return (LONG_DOUBLE
)strtod(nptr
, endptr
);}
1572 float strtof(const char *nptr
, char **endptr
);
1573 LONG_DOUBLE
strtold(const char *nptr
, char **endptr
);
1576 #define FTEST(prefix, typename, type, fmt)\
1577 void prefix ## cmp(type a, type b)\
1579 printf("%d %d %d %d %d %d\n",\
1586 printf(fmt " " fmt " " fmt " " fmt " " fmt " " fmt " " fmt "\n",\
1594 printf(fmt "\n", ++a);\
1595 printf(fmt "\n", a++);\
1596 printf(fmt "\n", a);\
1598 printf("%d %d\n", !a, !b);\
1600 void prefix ## fcast(type a)\
1611 printf("ftof: %f %f %Lf\n", fa, da, la);\
1613 ua = (unsigned int)a;\
1614 printf("ftoi: %d %u\n", ia, ua);\
1618 printf("itof: " fmt "\n", b);\
1620 printf("utof: " fmt "\n", b);\
1623 float prefix ## retf(type a) { return a; }\
1624 double prefix ## retd(type a) { return a; }\
1625 LONG_DOUBLE prefix ## retld(type a) { return a; }\
1627 void prefix ## call(void)\
1629 printf("float: " FLOAT_FMT, prefix ## retf(42.123456789));\
1630 printf("double: %f\n", prefix ## retd(42.123456789));\
1631 printf("long double: %Lf\n", prefix ## retld(42.123456789));\
1632 printf("strto%s: %f\n", #prefix, (double)strto ## prefix("1.2", NULL));\
1635 void prefix ## test(void)\
1637 printf("testing '%s'\n", #typename);\
1638 prefix ## cmp(1, 2.5);\
1639 prefix ## cmp(2, 1.5);\
1640 prefix ## cmp(1, 1);\
1641 prefix ## fcast(234.6);\
1642 prefix ## fcast(-2334.6);\
1646 FTEST(f
, float, float, "%f")
1647 FTEST(d
, double, double, "%f")
1648 FTEST(ld
, long double, LONG_DOUBLE
, "%Lf")
1650 double ftab1
[3] = { 1.2, 3.4, -5.6 };
1653 void float_test(void)
1660 printf("float_test:\n");
1661 printf("sizeof(float) = %d\n", sizeof(float));
1662 printf("sizeof(double) = %d\n", sizeof(double));
1663 printf("sizeof(long double) = %d\n", sizeof(LONG_DOUBLE
));
1667 printf("%f %f %f\n", ftab1
[0], ftab1
[1], ftab1
[2]);
1668 printf("%f %f %f\n", 2.12, .5, 2.3e10
);
1669 // printf("%f %f %f\n", 0x1234p12, 0x1e23.23p10, 0x12dp-10);
1671 printf("da=%f\n", da
);
1673 printf("fa=%f\n", fa
);
1676 printf("da = %f\n", da
);
1679 printf("db = %f\n", db
);
1687 return fib(n
-1) + fib(n
-2);
1699 printf("funcptr:\n");
1706 /* more complicated pointer computation */
1709 printf("sizeof1 = %d\n", sizeof(funcptr_test
));
1710 printf("sizeof2 = %d\n", sizeof funcptr_test
);
1711 printf("sizeof3 = %d\n", sizeof(&funcptr_test
));
1712 printf("sizeof4 = %d\n", sizeof &funcptr_test
);
1715 void lloptest(long long a
, long long b
)
1717 unsigned long long ua
, ub
;
1722 printf("arith: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n",
1728 printf("arith1: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n",
1734 printf("bin: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n",
1740 printf("test: %d %d %d %d %d %d\n",
1748 printf("utest: %d %d %d %d %d %d\n",
1759 printf("arith2: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n", a
, b
);
1760 printf("arith2: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n", a
++, b
++);
1761 printf("arith2: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n", --a
, --b
);
1762 printf("arith2: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n", a
, b
);
1764 printf("not: %d %d %d %d\n", !a
, !ua
, !b
, !ub
);
1767 void llshift(long long a
, int b
)
1769 printf("shift: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n",
1770 (unsigned long long)a
>> b
,
1773 printf("shiftc: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n",
1774 (unsigned long long)a
>> 3,
1777 printf("shiftc: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n",
1778 (unsigned long long)a
>> 35,
1788 long long la
, lb
, lc
;
1789 unsigned long long ula
, ulb
, ulc
;
1792 la
= (la
<< 20) | 0x12345;
1794 printf("la=" LONG_LONG_FORMAT
" ula=" ULONG_LONG_FORMAT
"\n", la
, ula
);
1799 printf("lltof: %f %f %Lf\n", fa
, da
, lda
);
1804 printf("ftoll: " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n", la
, lb
, lc
);
1809 printf("ulltof: %f %f %Lf\n", fa
, da
, lda
);
1814 printf("ftoull: " ULONG_LONG_FORMAT
" " ULONG_LONG_FORMAT
" " ULONG_LONG_FORMAT
"\n", ula
, ulb
, ulc
);
1817 long long llfunc1(int a
)
1827 long long int value(struct S
*v
)
1829 return ((long long int)v
->item
);
1832 void longlong_test(void)
1837 printf("longlong_test:\n");
1838 printf("sizeof(long long) = %d\n", sizeof(long long));
1843 printf(LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"\n", a
, b
);
1844 printf(LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" %Lx\n",
1848 0x1234567812345679);
1850 printf(LONG_LONG_FORMAT
"\n", a
);
1853 lloptest(0xff, 0x1234);
1854 b
= 0x72345678 << 10;
1858 b
= 0x72345678LL
<< 10;
1869 /* long long reg spill test */
1874 printf("%lld\n", value(&a
));
1876 lloptest(0x80000000, 0);
1878 /* another long long spill test */
1884 printf("%lld\n", *p
);
1889 printf("%d %d %d %d\n", a
> b
, a
< b
, a
>= b
, a
<= b
);
1891 printf(LONG_LONG_FORMAT
"\n", 0x123456789LLU
);
1894 void manyarg_test(void)
1896 LONG_DOUBLE ld
= 1234567891234LL;
1897 printf("manyarg_test:\n");
1898 printf("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f\n",
1899 1, 2, 3, 4, 5, 6, 7, 8,
1900 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0);
1901 printf("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1902 LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" %f %f\n",
1903 1, 2, 3, 4, 5, 6, 7, 8,
1904 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
1905 1234567891234LL, 987654321986LL,
1907 printf("%Lf %d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1908 LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" %f %f\n",
1909 ld
, 1, 2, 3, 4, 5, 6, 7, 8,
1910 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
1911 1234567891234LL, 987654321986LL,
1913 printf("%d %d %d %d %d %d %d %d %Lf\n",
1914 1, 2, 3, 4, 5, 6, 7, 8, ld
);
1915 printf("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1916 LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
"%f %f %Lf\n",
1917 1, 2, 3, 4, 5, 6, 7, 8,
1918 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
1919 1234567891234LL, 987654321986LL,
1921 printf("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1922 "%Lf " LONG_LONG_FORMAT
" " LONG_LONG_FORMAT
" %f %f %Lf\n",
1923 1, 2, 3, 4, 5, 6, 7, 8,
1924 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
1925 ld
, 1234567891234LL, 987654321986LL,
1929 void vprintf1(const char *fmt
, ...)
1953 i
= va_arg(ap
, int);
1957 d
= va_arg(ap
, double);
1961 ll
= va_arg(ap
, long long);
1962 printf(LONG_LONG_FORMAT
, ll
);
1965 ld
= va_arg(ap
, LONG_DOUBLE
);
1983 void stdarg_for_struct(struct myspace bob
, ...)
1985 struct myspace george
, bill
;
1990 bill
= va_arg(ap
, struct myspace
);
1991 george
= va_arg(ap
, struct myspace
);
1992 validate
= va_arg(ap
, int);
1993 printf("stdarg_for_struct: %d %d %d %d\n",
1994 bob
.profile
, bill
.profile
, george
.profile
, validate
);
1998 void stdarg_test(void)
2000 LONG_DOUBLE ld
= 1234567891234LL;
2003 vprintf1("%d %d %d\n", 1, 2, 3);
2004 vprintf1("%f %d %f\n", 1.0, 2, 3.0);
2005 vprintf1("%l %l %d %f\n", 1234567891234LL, 987654321986LL, 3, 1234.0);
2006 vprintf1("%F %F %F\n", LONG_DOUBLE_LITERAL(1.2), LONG_DOUBLE_LITERAL(2.3), LONG_DOUBLE_LITERAL(3.4));
2007 vprintf1("%d %f %l %F %d %f %l %F\n",
2008 1, 1.2, 3LL, LONG_DOUBLE_LITERAL(4.5), 6, 7.8, 9LL, LONG_DOUBLE_LITERAL(0.1));
2009 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f\n",
2010 1, 2, 3, 4, 5, 6, 7, 8,
2011 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8);
2012 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f\n",
2013 1, 2, 3, 4, 5, 6, 7, 8,
2014 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0);
2015 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
2017 1, 2, 3, 4, 5, 6, 7, 8,
2018 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
2019 1234567891234LL, 987654321986LL,
2021 vprintf1("%F %d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
2023 ld
, 1, 2, 3, 4, 5, 6, 7, 8,
2024 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
2025 1234567891234LL, 987654321986LL,
2027 vprintf1("%d %d %d %d %d %d %d %d %F\n",
2028 1, 2, 3, 4, 5, 6, 7, 8, ld
);
2029 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
2031 1, 2, 3, 4, 5, 6, 7, 8,
2032 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
2033 1234567891234LL, 987654321986LL,
2035 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
2036 "%F %l %l %f %f %F\n",
2037 1, 2, 3, 4, 5, 6, 7, 8,
2038 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
2039 ld
, 1234567891234LL, 987654321986LL,
2043 stdarg_for_struct(bob
, bob
, bob
, bob
.profile
);
2046 void whitespace_test(void)
2052 ntf("whitspace:\n");\f\v
2056 #ifdef CORRECT_CR_HANDLING
2065 #ifdef ACCEPT_CR_IN_STRINGS
2066 printf("len1=%d\n", strlen("
2068 #ifdef CORRECT_CR_HANDLING
2071 printf("len1=%d str[0]=%d\n", strlen(str
), str
[0]);
2073 printf("len1=%d\n", strlen("
a
2075 #endif /* ACCEPT_CR_IN_STRINGS */
2078 int reltab
[3] = { 1, 2, 3 };
2080 int *rel1
= &reltab
[1];
2081 int *rel2
= &reltab
[2];
2083 void relocation_test(void)
2085 printf("*rel1=%d\n", *rel1
);
2086 printf("*rel2=%d\n", *rel2
);
2089 void old_style_f(a
,b
,c
)
2093 printf("a=%d b=%d b=%f\n", a
, b
, c
);
2096 void decl_func1(int cmpfn())
2098 printf("cmpfn=%lx\n", (long)cmpfn
);
2101 void decl_func2(cmpfn
)
2104 printf("cmpfn=%lx\n", (long)cmpfn
);
2107 void old_style_function(void)
2109 old_style_f((void *)1, 2, 3.0);
2116 #if defined __i386__ || defined __x86_64__
2117 char *p
= alloca(16);
2118 strcpy(p
,"123456789012345");
2119 printf("alloca: p is %s\n", p
);
2120 char *demo
= "This is only a test.\n";
2121 /* Test alloca embedded in a larger expression */
2122 printf("alloca: %s\n", strcpy(alloca(strlen(demo
)+1),demo
) );
2126 void *bounds_checking_is_enabled()
2128 char ca
[10], *cp
= ca
-1;
2129 return (ca
!= cp
+ 1) ? cp
: NULL
;
2132 typedef int constant_negative_array_size_as_compile_time_assertion_idiom
[(1 ? 2 : 0) - 1];
2134 void c99_vla_test(int size1
, int size2
)
2136 #if defined __i386__ || defined __x86_64__
2137 int size
= size1
* size2
;
2138 int tab1
[size
][2], tab2
[10][2];
2139 void *tab1_ptr
, *tab2_ptr
, *bad_ptr
;
2141 /* "size" should have been 'captured' at tab1 declaration,
2142 so modifying it should have no effect on VLA behaviour. */
2145 printf("Test C99 VLA 1 (sizeof): ");
2146 printf("%s\n", (sizeof tab1
== size1
* size2
* 2 * sizeof(int)) ? "PASSED" : "FAILED");
2149 printf("Test C99 VLA 2 (ptrs substract): ");
2150 printf("%s\n", (tab2
- tab1
== (tab2_ptr
- tab1_ptr
) / (sizeof(int) * 2)) ? "PASSED" : "FAILED");
2151 printf("Test C99 VLA 3 (ptr add): ");
2152 printf("%s\n", &tab1
[5][1] == (tab1_ptr
+ (5 * 2 + 1) * sizeof(int)) ? "PASSED" : "FAILED");
2153 printf("Test C99 VLA 4 (ptr access): ");
2154 tab1
[size1
][1] = 42;
2155 printf("%s\n", (*((int *) (tab1_ptr
+ (size1
* 2 + 1) * sizeof(int))) == 42) ? "PASSED" : "FAILED");
2157 printf("Test C99 VLA 5 (bounds checking (might be disabled)): ");
2158 if (bad_ptr
= bounds_checking_is_enabled()) {
2159 int *t1
= &tab1
[size1
* size2
- 1][3];
2160 int *t2
= &tab2
[9][3];
2161 printf("%s ", bad_ptr
== t1
? "PASSED" : "FAILED");
2162 printf("%s ", bad_ptr
== t2
? "PASSED" : "FAILED");
2164 char*c1
= 1 + sizeof(tab1
) + (char*)tab1
;
2165 char*c2
= 1 + sizeof(tab2
) + (char*)tab2
;
2166 printf("%s ", bad_ptr
== c1
? "PASSED" : "FAILED");
2167 printf("%s ", bad_ptr
== c2
? "PASSED" : "FAILED");
2171 printf("%s ", bad_ptr
== i1
? "PASSED" : "FAILED");
2172 printf("%s ", bad_ptr
== i2
? "PASSED" : "FAILED");
2174 int *x1
= tab1
[size1
* size2
+ 1];
2175 int *x2
= tab2
[10 + 1];
2176 printf("%s ", bad_ptr
== x1
? "PASSED" : "FAILED");
2177 printf("%s ", bad_ptr
== x2
? "PASSED" : "FAILED");
2179 printf("PASSED PASSED PASSED PASSED PASSED PASSED PASSED PASSED ");
2185 typedef __SIZE_TYPE__
uintptr_t;
2187 void sizeof_test(void)
2192 printf("sizeof(int) = %d\n", sizeof(int));
2193 printf("sizeof(unsigned int) = %d\n", sizeof(unsigned int));
2194 printf("sizeof(long) = %d\n", sizeof(long));
2195 printf("sizeof(unsigned long) = %d\n", sizeof(unsigned long));
2196 printf("sizeof(short) = %d\n", sizeof(short));
2197 printf("sizeof(unsigned short) = %d\n", sizeof(unsigned short));
2198 printf("sizeof(char) = %d\n", sizeof(char));
2199 printf("sizeof(unsigned char) = %d\n", sizeof(unsigned char));
2200 printf("sizeof(func) = %d\n", sizeof sizeof_test());
2202 printf("sizeof(a++) = %d\n", sizeof a
++);
2203 printf("a=%d\n", a
);
2205 printf("sizeof(**ptr) = %d\n", sizeof (**ptr
));
2207 /* The type of sizeof should be as large as a pointer, actually
2208 it should be size_t. */
2209 printf("sizeof(sizeof(int) = %d\n", sizeof(sizeof(int)));
2212 /* Effectively <<32, but defined also on 32bit machines. */
2216 /* This checks that sizeof really can be used to manipulate
2217 uintptr_t objects, without truncation. */
2218 t2
= t
& -sizeof(uintptr_t);
2219 printf ("%lu %lu\n", t
, t2
);
2221 /* some alignof tests */
2222 printf("__alignof__(int) = %d\n", __alignof__(int));
2223 printf("__alignof__(unsigned int) = %d\n", __alignof__(unsigned int));
2224 printf("__alignof__(short) = %d\n", __alignof__(short));
2225 printf("__alignof__(unsigned short) = %d\n", __alignof__(unsigned short));
2226 printf("__alignof__(char) = %d\n", __alignof__(char));
2227 printf("__alignof__(unsigned char) = %d\n", __alignof__(unsigned char));
2228 printf("__alignof__(func) = %d\n", __alignof__
sizeof_test());
2231 void typeof_test(void)
2240 printf("a=%f b=%f c=%f\n", a
, b
, c
);
2243 void statement_expr_test(void)
2256 printf("a=%d\n", a
);
2260 void local_label_test(void)
2266 __label__ l1
, l2
, l3
, l4
;
2280 printf("a=%d\n", a
);
2290 /* inline assembler test */
2293 /* from linux kernel */
2294 static char * strncat1(char * dest
,const char * src
,size_t count
)
2297 __asm__
__volatile__(
2306 "testb %%al,%%al\n\t"
2308 "2:\txorl %2,%2\n\t"
2310 : "=&S" (d0
), "=&D" (d1
), "=&a" (d2
), "=&c" (d3
)
2311 : "0" (src
),"1" (dest
),"2" (0),"3" (0xffffffff), "g" (count
)
2316 static char * strncat2(char * dest
,const char * src
,size_t count
)
2319 __asm__
__volatile__(
2320 "repne scasb\n\t" /* one-line repne prefix + string op */
2327 "testb %%al,%%al\n\t"
2329 "2:\txorl %2,%2\n\t"
2331 : "=&S" (d0
), "=&D" (d1
), "=&a" (d2
), "=&c" (d3
)
2332 : "0" (src
),"1" (dest
),"2" (0),"3" (0xffffffff), "g" (count
)
2337 static inline void * memcpy1(void * to
, const void * from
, size_t n
)
2340 __asm__
__volatile__(
2345 "1:\ttestb $1,%b4\n\t"
2349 : "=&c" (d0
), "=&D" (d1
), "=&S" (d2
)
2350 :"0" (n
/4), "q" (n
),"1" ((long) to
),"2" ((long) from
)
2355 static inline void * memcpy2(void * to
, const void * from
, size_t n
)
2358 __asm__
__volatile__(
2359 "rep movsl\n\t" /* one-line rep prefix + string op */
2363 "1:\ttestb $1,%b4\n\t"
2367 : "=&c" (d0
), "=&D" (d1
), "=&S" (d2
)
2368 :"0" (n
/4), "q" (n
),"1" ((long) to
),"2" ((long) from
)
2373 static __inline__
void sigaddset1(unsigned int *set
, int _sig
)
2375 __asm__("btsl %1,%0" : "=m"(*set
) : "Ir"(_sig
- 1) : "cc");
2378 static __inline__
void sigdelset1(unsigned int *set
, int _sig
)
2380 asm("btrl %1,%0" : "=m"(*set
) : "Ir"(_sig
- 1) : "cc");
2383 static __inline__ __const__
unsigned int swab32(unsigned int x
)
2385 __asm__("xchgb %b0,%h0\n\t" /* swap lower bytes */
2386 "rorl $16,%0\n\t" /* swap words */
2387 "xchgb %b0,%h0" /* swap higher bytes */
2393 static __inline__
unsigned long long mul64(unsigned int a
, unsigned int b
)
2395 unsigned long long res
;
2396 __asm__("mull %2" : "=A" (res
) : "a" (a
), "r" (b
));
2400 static __inline__
unsigned long long inc64(unsigned long long a
)
2402 unsigned long long res
;
2403 __asm__("addl $1, %%eax ; adcl $0, %%edx" : "=A" (res
) : "A" (a
));
2414 printf("inline asm:\n");
2415 /* test the no operand case */
2416 asm volatile ("xorl %eax, %eax");
2418 memcpy1(buf
, "hello", 6);
2419 strncat1(buf
, " worldXXXXX", 3);
2420 printf("%s\n", buf
);
2422 memcpy2(buf
, "hello", 6);
2423 strncat2(buf
, " worldXXXXX", 3);
2424 printf("%s\n", buf
);
2426 /* 'A' constraint test */
2427 printf("mul64=0x%Lx\n", mul64(0x12345678, 0xabcd1234));
2428 printf("inc64=0x%Lx\n", inc64(0x12345678ffffffff));
2431 sigdelset1(&set
, 2);
2432 sigaddset1(&set
, 16);
2433 /* NOTE: we test here if C labels are correctly restored after the
2437 __asm__("btsl %1,%0" : "=m"(set
) : "Ir"(20) : "cc");
2438 #ifdef __GNUC__ // works strange with GCC 4.3
2441 printf("set=0x%x\n", set
);
2443 printf("swab32(0x%08x) = 0x%0x\n", val
, swab32(val
));
2457 #define COMPAT_TYPE(type1, type2) \
2459 printf("__builtin_types_compatible_p(%s, %s) = %d\n", #type1, #type2, \
2460 __builtin_types_compatible_p (type1, type2));\
2465 void builtin_test(void)
2468 COMPAT_TYPE(int, int);
2469 COMPAT_TYPE(int, unsigned int);
2470 COMPAT_TYPE(int, char);
2471 COMPAT_TYPE(int, const int);
2472 COMPAT_TYPE(int, volatile int);
2473 COMPAT_TYPE(int *, int *);
2474 COMPAT_TYPE(int *, void *);
2475 COMPAT_TYPE(int *, const int *);
2476 COMPAT_TYPE(char *, unsigned char *);
2477 /* space is needed because tcc preprocessor introduces a space between each token */
2478 COMPAT_TYPE(char * *, void *);
2480 printf("res = %d\n", __builtin_constant_p(1));
2481 printf("res = %d\n", __builtin_constant_p(1 + 2));
2482 printf("res = %d\n", __builtin_constant_p(&constant_p_var
));
2483 printf("res = %d\n", __builtin_constant_p(constant_p_var
));
2487 extern int __attribute__((weak
)) weak_f1(void);
2488 extern int __attribute__((weak
)) weak_f2(void);
2489 extern int weak_f3(void);
2490 extern int __attribute__((weak
)) weak_v1
;
2491 extern int __attribute__((weak
)) weak_v2
;
2494 extern int (*weak_fpa
)() __attribute__((weak
));
2495 extern int __attribute__((weak
)) (*weak_fpb
)();
2496 extern __attribute__((weak
)) int (*weak_fpc
)();
2498 extern int weak_asm_f1(void) asm("weak_asm_f1x") __attribute((weak
));
2499 extern int __attribute((weak
)) weak_asm_f2(void) asm("weak_asm_f2x") ;
2500 extern int __attribute((weak
)) weak_asm_f3(void) asm("weak_asm_f3x") __attribute((weak
));
2501 extern int weak_asm_v1
asm("weak_asm_v1x") __attribute((weak
));
2502 extern int __attribute((weak
)) weak_asm_v2
asm("weak_asm_v2x") ;
2503 extern int __attribute((weak
)) weak_asm_v3(void) asm("weak_asm_v3x") __attribute((weak
));
2505 static const size_t dummy
= 0;
2506 extern __typeof(dummy
) weak_dummy1
__attribute__((weak
, alias("dummy")));
2507 extern __typeof(dummy
) __attribute__((weak
, alias("dummy"))) weak_dummy2
;
2508 extern __attribute__((weak
, alias("dummy"))) __typeof(dummy
) weak_dummy3
;
2510 int some_lib_func(void);
2511 int dummy_impl_of_slf(void) { return 444; }
2512 int some_lib_func(void) __attribute__((weak
, alias("dummy_impl_of_slf")));
2514 int weak_toolate() __attribute__((weak
));
2515 int weak_toolate() { return 0; }
2517 void __attribute__((weak
)) weak_test(void)
2519 printf("weak_f1=%d\n", weak_f1
? weak_f1() : 123);
2520 printf("weak_f2=%d\n", weak_f2
? weak_f2() : 123);
2521 printf("weak_f3=%d\n", weak_f3
? weak_f3() : 123);
2522 printf("weak_v1=%d\n",&weak_v1
? weak_v1
: 123);
2523 printf("weak_v2=%d\n",&weak_v2
? weak_v2
: 123);
2524 printf("weak_v3=%d\n",&weak_v3
? weak_v3
: 123);
2526 printf("weak_fpa=%d\n",&weak_fpa
? weak_fpa() : 123);
2527 printf("weak_fpb=%d\n",&weak_fpb
? weak_fpb() : 123);
2528 printf("weak_fpc=%d\n",&weak_fpc
? weak_fpc() : 123);
2530 printf("weak_asm_f1=%d\n", weak_asm_f1
!= NULL
);
2531 printf("weak_asm_f2=%d\n", weak_asm_f2
!= NULL
);
2532 printf("weak_asm_f3=%d\n", weak_asm_f3
!= NULL
);
2533 printf("weak_asm_v1=%d\n",&weak_asm_v1
!= NULL
);
2534 printf("weak_asm_v2=%d\n",&weak_asm_v2
!= NULL
);
2535 printf("weak_asm_v3=%d\n",&weak_asm_v3
!= NULL
);
2538 int __attribute__((weak
)) weak_f2() { return 222; }
2539 int __attribute__((weak
)) weak_f3() { return 333; }
2540 int __attribute__((weak
)) weak_v2
= 222;
2541 int __attribute__((weak
)) weak_v3
= 333;
2544 void const_func(const int a
)
2548 void const_warn_test(void)
2557 int getme (struct condstruct
*s
, int i
)
2559 int i1
= (i
== 0 ? 0 : s
)->i
;
2560 int i2
= (i
== 0 ? s
: 0)->i
;
2561 int i3
= (i
== 0 ? (void*)0 : s
)->i
;
2562 int i4
= (i
== 0 ? s
: (void*)0)->i
;
2563 return i1
+ i2
+ i3
+ i4
;
2572 struct global_data global_data
;
2574 int global_data_getstuff (int *, int);
2576 void global_data_callit (int i
)
2578 *global_data
.b
[i
] = global_data_getstuff (global_data
.b
[i
], 1);
2581 int global_data_getstuff (int *p
, int i
)
2586 void global_data_test (void)
2588 global_data
.a
[0] = 42;
2589 global_data
.b
[0] = &global_data
.a
[0];
2590 global_data_callit (0);
2591 printf ("%d\n", global_data
.a
[0]);
2596 unsigned char fill
: 3;
2597 unsigned char b1
: 1;
2598 unsigned char b2
: 1;
2599 unsigned char fill2
: 3;
2602 int glob1
, glob2
, glob3
;
2604 void compare_comparisons (struct cmpcmpS
*s
)
2606 if (s
->b1
!= (glob1
== glob2
)
2607 || (s
->b2
!= (glob1
== glob3
)))
2608 printf ("comparing comparisons broken\n");
2611 void cmp_comparison_test(void)
2615 glob1
= 42; glob2
= 42;
2618 compare_comparisons (&s
);
2621 int fcompare (double a
, double b
, int code
)
2624 case 0: return a
== b
;
2625 case 1: return a
!= b
;
2626 case 2: return a
< b
;
2627 case 3: return a
>= b
;
2628 case 4: return a
> b
;
2629 case 5: return a
<= b
;
2633 void math_cmp_test(void)
2635 double nan
= 0.0/0.0;
2639 #define bug(a,b,op,iop,part) printf("Test broken: %s %s %s %s %d\n", #a, #b, #op, #iop, part)
2641 /* This asserts that "a op b" is _not_ true, but "a iop b" is true.
2642 And it does this in various ways so that all code generation paths
2643 are checked (generating inverted tests, or non-inverted tests, or
2644 producing a 0/1 value without jumps (that's done in the fcompare
2646 #define FCMP(a,b,op,iop,code) \
2647 if (fcompare (a,b,code)) \
2648 bug (a,b,op,iop,1); \
2650 bug (a,b,op,iop,2); \
2654 bug (a,b,op,iop,3); \
2655 if ((a op b) || comp) \
2656 bug (a,b,op,iop,4); \
2657 if ((a iop b) || comp) \
2662 /* Equality tests. */
2663 FCMP(nan
, nan
, ==, !=, 0);
2664 FCMP(one
, two
, ==, !=, 0);
2665 FCMP(one
, one
, !=, ==, 1);
2666 /* Non-equality is a bit special. */
2667 if (!fcompare (nan
, nan
, 1))
2668 bug (nan
, nan
, !=, ==, 6);
2670 /* Relational tests on numbers. */
2671 FCMP(two
, one
, <, >=, 2);
2672 FCMP(one
, two
, >=, <, 3);
2673 FCMP(one
, two
, >, <=, 4);
2674 FCMP(two
, one
, <=, >, 5);
2676 /* Relational tests on NaNs. Note that the inverse op here is
2677 always !=, there's no operator in C that is equivalent to !(a < b),
2678 when NaNs are involved, same for the other relational ops. */
2679 FCMP(nan
, nan
, <, !=, 2);
2680 FCMP(nan
, nan
, >=, !=, 3);
2681 FCMP(nan
, nan
, >, !=, 4);
2682 FCMP(nan
, nan
, <=, !=, 5);
2685 double get100 () { return 100.0; }
2687 void callsave_test(void)
2689 #if defined __i386__ || defined __x86_64__
2690 int i
, s
; double *d
; double t
;
2691 s
= sizeof (double);
2692 printf ("callsavetest: %d\n", s
);
2693 d
= alloca (sizeof(double));
2695 /* x86-64 had a bug were the next call to get100 would evict
2696 the lvalue &d[0] as VT_LLOCAL, and the reload would be done
2697 in int type, not pointer type. When alloca returns a pointer
2698 with the high 32 bit set (which is likely on x86-64) the access
2699 generates a segfault. */
2700 i
= d
[0] > get100 ();
2706 void bfa3(ptrdiff_t str_offset
)
2708 printf("bfa3: %s\n", (char *)__builtin_frame_address(3) + str_offset
);
2710 void bfa2(ptrdiff_t str_offset
)
2712 printf("bfa2: %s\n", (char *)__builtin_frame_address(2) + str_offset
);
2715 void bfa1(ptrdiff_t str_offset
)
2717 printf("bfa1: %s\n", (char *)__builtin_frame_address(1) + str_offset
);
2718 #if defined(__arm__) && !defined(__GNUC__)
2723 void builtin_frame_address_test(void)
2725 char str
[] = "__builtin_frame_address";
2726 char *fp0
= __builtin_frame_address(0);
2728 printf("str: %s\n", str
);