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
19 /* deprecated and no longer supported in gcc 3.3 */
20 //#define ACCEPT_CR_IN_STRINGS
22 /* __VA_ARGS__ and __func__ support */
25 /* test various include syntaxes */
27 #define TCCLIB_INC <tcclib.h>
28 #define TCCLIB_INC1 <tcclib
29 #define TCCLIB_INC2 h>
30 #define TCCLIB_INC3 "tcclib"
34 #include TCCLIB_INC1.TCCLIB_INC2
36 #include TCCLIB_INC1.h>
38 /* gcc 3.2 does not accept that (bug ?) */
39 //#include TCCLIB_INC3 ".h"
48 void recursive_macro_test();
62 void constant_expr_test();
64 void char_short_test();
66 void compound_literal_test(void);
68 void struct_assign_test(void);
70 void bitfield_test(void);
71 void c99_bool_test(void);
72 void float_test(void);
73 void longlong_test(void);
74 void manyarg_test(void);
75 void stdarg_test(void);
76 void whitespace_test(void);
77 void relocation_test(void);
78 void old_style_function(void);
79 void alloca_test(void);
80 void c99_vla_test(int size1
, int size2
);
81 void sizeof_test(void);
82 void typeof_test(void);
83 void local_label_test(void);
84 void statement_expr_test(void);
86 void builtin_test(void);
88 void global_data_test(void);
89 void cmp_comparison_test(void);
90 void math_cmp_test(void);
91 void callsave_test(void);
92 void builtin_frame_address_test(void);
96 void forward_ref(void);
102 #define M1(a, b) (a) + (b)
106 #define glue(a, b) a ## b
107 #define xglue(a, b) glue(a, b)
108 #define HIGHLOW "hello"
109 #define LOW LOW ", world"
111 static int onetwothree
= 123;
112 #define onetwothree4 onetwothree
113 #define onetwothree xglue(onetwothree,4)
115 #define min(a, b) ((a) < (b) ? (a) : (b))
118 #define dprintf(level,...) printf(__VA_ARGS__)
121 /* gcc vararg macros */
122 #define dprintf1(level, fmt, args...) printf(fmt, ## args)
124 #define MACRO_NOARGS()
140 #define __INT64_C(c) c ## LL
141 #define INT64_MIN (-__INT64_C(9223372036854775807)-1)
149 #define spin_lock(lock) do { } while (0)
150 #define wq_spin_lock spin_lock
151 #define TEST2() wq_spin_lock(a)
153 void macro_test(void)
155 printf("macro:\n");\f\v
157 printf("aaa=%d\n", AAA
);
159 printf("min=%d\n", min(1, min(2, -1)));
161 printf("s1=%s\n", glue(HIGH
, LOW
));
162 printf("s2=%s\n", xglue(HIGH
, LOW
));
163 printf("s3=%s\n", str("c"));
164 printf("s4=%s\n", str(a1
));
165 printf("B3=%d\n", B3
);
167 printf("onetwothree=%d\n", onetwothree
);
170 printf("A defined\n");
173 printf("B defined\n");
176 printf("A defined\n");
178 printf("A not defined\n");
181 printf("B defined\n");
183 printf("B not defined\n");
187 printf("A defined\n");
189 printf("B1 defined\n");
191 printf("B1 not defined\n");
194 printf("A not defined\n");
196 printf("B2 defined\n");
198 printf("B2 not defined\n");
203 printf("test true1\n");
206 printf("test true2\n");
209 printf("test true3\n");
212 printf("test trueA\n");
215 printf("test trueB\n");
231 printf("__LINE__ defined\n");
234 printf("__LINE__=%d __FILE__=%s\n",
237 printf("__LINE__=%d __FILE__=%s\n",
240 printf("__LINE__=%d __FILE__=%s\n",
242 #line 227 "tcctest.c"
244 /* not strictly preprocessor, but we test it there */
246 printf("__func__ = %s\n", __func__
);
247 dprintf(1, "vaarg=%d\n", 1);
249 dprintf1(1, "vaarg1\n");
250 dprintf1(1, "vaarg1=%d\n", 2);
251 dprintf1(1, "vaarg1=%d %d\n", 1, 2);
254 printf("func='%s'\n", __FUNCTION__
);
256 /* complicated macros in glibc */
257 printf("INT64_MIN=%Ld\n", INT64_MIN
);
267 /* macro function with argument outside the macro string */
268 #define MF_s MF_hello
269 #define MF_hello(msg) printf("%s\n",msg)
271 #define MF_t printf("tralala\n"); MF_hello
276 /* test macro substituion inside args (should not eat stream) */
277 printf("qq=%d\n", qq(qq
)(2));
279 /* test zero argument case. NOTE: gcc 2.95.x does not accept a
280 null argument without a space. gcc 3.2 fixes that. */
283 printf("qq1=%d\n", qq1( ));
285 /* comment with stray handling *\
287 /* this is a valid *\/ comment */
288 /* this is a valid comment *\*/
292 /* test function macro substitution when the function name is
296 /* And again when the name and parenthes are separated by a
298 TEST2
/* the comment */ ();
302 static void print_num(char *fn
, int line
, int num
) {
303 printf("fn %s, line %d, num %d\n", fn
, line
, num
);
306 void recursive_macro_test(void)
309 #define ELF32_ST_TYPE(val) ((val) & 0xf)
310 #define ELF32_ST_INFO(bind, type) (((bind) << 4) + ((type) & 0xf))
311 #define STB_WEAK 2 /* Weak symbol */
312 #define ELFW(type) ELF##32##_##type
313 printf("%d\n", ELFW(ST_INFO
)(STB_WEAK
, ELFW(ST_TYPE
)(123)));
317 #define print_num(x) print_num(__FILE__,__LINE__,x)
319 WRAP(print_num(123));
320 WRAP(WRAP(print_num(123)));
322 static struct recursive_macro
{ int rm_field
; } G
;
323 #define rm_field (G.rm_field)
324 printf("rm_field = %d\n", rm_field
);
325 printf("rm_field = %d\n", WRAP(rm_field
));
326 WRAP((printf("rm_field = %d %d\n", rm_field
, WRAP(rm_field
))));
343 void ps(const char *s
)
355 const char foo1_string
[] = "\
364 printf("\141\1423\143\n");/* dezdez test */
365 printf("\x41\x42\x43\x3a\n");
366 printf("c=%c\n", 'r');
367 printf("wc=%C 0x%lx %C\n", L
'a', L
'\x1234', L
'c');
368 printf("foo1_string='%s'\n", foo1_string
);
370 printf("wstring=%S\n", L
"abc");
371 printf("wstring=%S\n", L
"abc" L
"def" "ghi");
372 printf("'\\377'=%d '\\xff'=%d\n", '\377', '\xff');
373 printf("L'\\377'=%d L'\\xff'=%d\n", L
'\377', L
'\xff');
377 while ((b
= b
+ 1) < 96) {
381 printf("fib=%d\n", fib(33));
383 while (b
!= 0x80000000) {
396 for(i
= 0; i
< 10;i
++)
406 /* c99 for loop init test */
407 for (size_t count
= 1; count
< 3; count
++)
408 printf("count=%d\n", count
);
409 printf("count = %d\n", count
);
411 /* break/continue tests */
423 /* break/continue tests */
435 for(i
= 0;i
< 10;i
++) {
443 typedef int typedef_and_label
;
448 static void *label_table
[3] = { &&label1
, &&label2
, &&label3
};
452 /* This needs to parse as label, not as start of decl. */
463 /* we also test computed gotos (GCC extension) */
465 goto *label_table
[i
];
493 printf("enum:\n%d %d %d %d %d %d\n",
494 E0
, E1
, E2
, E3
, E4
, E5
);
496 printf("b1=%d\n", b1
);
512 printf("typedef:\n");
513 printf("a=%d\n", *a
);
515 printf("mytype2=%d\n", mytype2
);
520 printf("forward:\n");
526 void forward_ref(void)
528 printf("forward ok\n");
531 typedef struct struct1
{
551 struct struct1 st1
, st2
;
553 int main(int argc
, char **argv
)
558 recursive_macro_test();
572 constant_expr_test();
576 compound_literal_test();
578 struct_assign_test();
588 old_style_function();
593 statement_expr_test();
599 cmp_comparison_test();
602 builtin_frame_address_test();
613 printf("g1=%d\n", g
);
621 printf("g2=%d\n", g
);
625 printf("g3=%d\n", g
);
629 printf("g4=%d\n", g
);
632 printf("g5=%d\n", g
);
640 printf("sizeof(a) = %d\n", sizeof(a
));
641 printf("sizeof(\"a\") = %d\n", sizeof("a"));
643 printf("sizeof(__func__) = %d\n", sizeof(__func__
));
645 printf("sizeof tab %d\n", sizeof(tab
));
646 printf("sizeof tab2 %d\n", sizeof tab2
);
650 printf("%d %d %d\n", tab
[0], tab
[1], tab
[2]);
653 tab2
[i
][j
] = 10 * i
+ j
;
655 printf(" %3d", ((int *)tab2
)[i
]);
658 printf("sizeof(size_t)=%d\n", sizeof(size_t));
659 printf("sizeof(ptrdiff_t)=%d\n", sizeof(ptrdiff_t));
666 printf("%d\n", a
+= 1);
667 printf("%d\n", a
-= 2);
668 printf("%d\n", a
*= 31232132);
669 printf("%d\n", a
/= 4);
670 printf("%d\n", a
%= 20);
671 printf("%d\n", a
&= 6);
672 printf("%d\n", a
^= 7);
673 printf("%d\n", a
|= 8);
674 printf("%d\n", a
>>= 3);
675 printf("%d\n", a
<<= 4);
679 printf("%d\n", a
+ 1);
680 printf("%d\n", a
- 2);
681 printf("%d\n", a
* 312);
682 printf("%d\n", a
/ 4);
683 printf("%d\n", b
/ 4);
684 printf("%d\n", (unsigned)b
/ 4);
685 printf("%d\n", a
% 20);
686 printf("%d\n", b
% 20);
687 printf("%d\n", (unsigned)b
% 20);
688 printf("%d\n", a
& 6);
689 printf("%d\n", a
^ 7);
690 printf("%d\n", a
| 8);
691 printf("%d\n", a
>> 3);
692 printf("%d\n", b
>> 3);
693 printf("%d\n", (unsigned)b
>> 3);
694 printf("%d\n", a
<< 4);
699 printf("%d\n", 12 + 1);
700 printf("%d\n", 12 - 2);
701 printf("%d\n", 12 * 312);
702 printf("%d\n", 12 / 4);
703 printf("%d\n", 12 % 20);
704 printf("%d\n", 12 & 6);
705 printf("%d\n", 12 ^ 7);
706 printf("%d\n", 12 | 8);
707 printf("%d\n", 12 >> 2);
708 printf("%d\n", 12 << 4);
712 printf("%d %d %d %d\n",
721 return (c
>= 'a' & c
<= 'z') | (c
>= 'A' & c
<= 'Z') | c
== '_';
724 /**********************/
726 int vstack
[10], *vstack_ptr
;
728 void vpush(int vt
, int vc
)
734 void vpop(int *ft
, int *fc
)
747 vstack_ptr
[-2] &= ~0xffffff80;
749 printf("res= %d %d\n", a
, b
);
752 void constant_expr_test()
755 printf("constant_expr:\n");
757 printf("%d\n", a
* 16);
758 printf("%d\n", a
* 1);
759 printf("%d\n", a
+ 0);
769 printf("expr_ptr:\n");
772 printf("diff=%d\n", q
- p
);
774 printf("inc=%d\n", p
- tab4
);
776 printf("dec=%d\n", p
- tab4
);
778 printf("inc=%d\n", p
- tab4
);
780 printf("dec=%d\n", p
- tab4
);
781 printf("add=%d\n", p
+ 3 - tab4
);
782 printf("add=%d\n", 3 + p
- tab4
);
784 /* check if 64bit support is ok */
787 printf("%p %p %ld\n", q
, p
, p
-q
);
788 printf("%d %d %d %d %d %d\n",
789 p
== q
, p
!= q
, p
< q
, p
<= q
, p
>= q
, p
> q
);
792 printf("%p %p %ld\n", q
, p
, p
-q
);
793 printf("%d %d %d %d %d %d\n",
794 p
== q
, p
!= q
, p
< q
, p
<= q
, p
>= q
, p
> q
);
795 p
= (int *)((char *)p
+ 0xf0000000);
796 printf("%p %p %ld\n", q
, p
, p
-q
);
797 printf("%d %d %d %d %d %d\n",
798 p
== q
, p
!= q
, p
< q
, p
<= q
, p
>= q
, p
> q
);
800 printf("%p %p %ld\n", q
, p
, p
-q
);
801 printf("%d %d %d %d %d %d\n",
802 p
== q
, p
!= q
, p
< q
, p
<= q
, p
>= q
, p
> q
);
807 struct size12 s
[2], *sp
= s
;
812 printf("%d\n", sp
[j
].i
);
819 printf("constant_expr:\n");
822 printf("%d\n", a
== a
);
823 printf("%d\n", a
!= a
);
825 printf("%d\n", a
< b
);
826 printf("%d\n", a
<= b
);
827 printf("%d\n", a
<= a
);
828 printf("%d\n", b
>= a
);
829 printf("%d\n", a
>= a
);
830 printf("%d\n", b
> a
);
832 printf("%d\n", (unsigned)a
< b
);
833 printf("%d\n", (unsigned)a
<= b
);
834 printf("%d\n", (unsigned)a
<= a
);
835 printf("%d\n", (unsigned)b
>= a
);
836 printf("%d\n", (unsigned)a
>= a
);
837 printf("%d\n", (unsigned)b
> a
);
866 printf("sizes: %d %d %d %d\n",
867 sizeof(struct struct1
),
868 sizeof(struct struct2
),
869 sizeof(union union1
),
870 sizeof(union union2
));
874 printf("st1: %d %d %d\n",
875 st1
.f1
, st1
.f2
, st1
.f3
);
878 printf("union1: %d\n", st1
.u
.v1
);
881 printf("union2: %d\n", u
.w1
);
886 printf("st2: %d %d %d\n",
887 s
->f1
, s
->f2
, s
->f3
);
888 printf("str_addr=%x\n", (int)st1
.str
- (int)&st1
.f1
);
890 /* align / size tests */
891 printf("aligntest1 sizeof=%d alignof=%d\n",
892 sizeof(struct aligntest1
), __alignof__(struct aligntest1
));
893 printf("aligntest2 sizeof=%d alignof=%d\n",
894 sizeof(struct aligntest2
), __alignof__(struct aligntest2
));
895 printf("aligntest3 sizeof=%d alignof=%d\n",
896 sizeof(struct aligntest3
), __alignof__(struct aligntest3
));
897 printf("aligntest4 sizeof=%d alignof=%d\n",
898 sizeof(struct aligntest4
), __alignof__(struct aligntest4
));
900 /* empty structures (GCC extension) */
901 printf("sizeof(struct empty) = %d\n", sizeof(struct empty
));
902 printf("alignof(struct empty) = %d\n", __alignof__(struct empty
));
905 /* XXX: depend on endianness */
906 void char_short_test()
910 printf("char_short:\n");
915 *(char *)&var1
, *(char *)&var2
);
917 *(unsigned char *)&var1
, *(unsigned char *)&var2
);
918 printf("s16=%d %d\n",
919 *(short *)&var1
, *(short *)&var2
);
920 printf("u16=%d %d\n",
921 *(unsigned short *)&var1
, *(unsigned short *)&var2
);
922 printf("s32=%d %d\n",
923 *(int *)&var1
, *(int *)&var2
);
924 printf("u32=%d %d\n",
925 *(unsigned int *)&var1
, *(unsigned int *)&var2
);
926 *(char *)&var1
= 0x08;
927 printf("var1=%x\n", var1
);
928 *(short *)&var1
= 0x0809;
929 printf("var1=%x\n", var1
);
930 *(int *)&var1
= 0x08090a0b;
931 printf("var1=%x\n", var1
);
944 #define ISLOWER(c) ('a' <= (c) && (c) <= 'z')
945 #define TOUPPER(c) (ISLOWER(c) ? 'A' + ((c) - 'a') : (c))
947 static int toupper1(int a
)
954 int *s
, a
, b
, t
, f
, i
;
958 printf("!s=%d\n", !s
);
964 printf("a=%d %d %d\n", 0 || 0, 0 || 1, 1 || 1);
965 printf("a=%d %d %d\n", 0 && 0, 0 && 1, 1 && 1);
966 printf("a=%d %d\n", 1 ? 1 : 0, 0 ? 1 : 0);
981 printf("b=%d\n", a
+ (0 ? 1 : a
/ 2));
983 /* test register spilling */
986 a
= (a
+ b
) * ((a
< b
) ?
987 ((b
- a
) * (a
- b
)): a
+ b
);
990 /* test complex || or && expressions */
994 printf("exp=%d\n", f
== (32 <= a
&& a
<= 3));
995 printf("r=%d\n", (t
|| f
) + (t
&& f
));
1000 int aspect_native
= 65536;
1001 double bfu_aspect
= 1.0;
1003 for(aspect_on
= 0; aspect_on
< 2; aspect_on
++) {
1004 aspect
=aspect_on
?(aspect_native
*bfu_aspect
+0.5):65535UL;
1005 printf("aspect=%d\n", aspect
);
1009 /* test ? : GCC extension */
1011 static int v1
= 34 ? : -1; /* constant case */
1012 static int v2
= 0 ? : -1; /* constant case */
1015 printf("%d %d\n", v1
, v2
);
1016 printf("%d %d\n", a
- 30 ? : a
* 2, a
+ 1 ? : a
* 2);
1019 /* again complex expression */
1020 for(i
=0;i
<256;i
++) {
1021 if (toupper1 (i
) != TOUPPER (i
))
1022 printf("error %d\n", i
);
1026 /* GCC accepts that */
1027 static int tab_reinit
[];
1028 static int tab_reinit
[10];
1030 //int cinit1; /* a global variable can be defined several times without error ! */
1034 int *cinit2
= (int []){3, 2, 1};
1036 void compound_literal_test(void)
1041 printf("compound_test:\n");
1043 p
= (int []){1, 2, 3};
1045 printf(" %d", p
[i
]);
1049 printf("%d", cinit2
[i
]);
1053 printf("q1=%s\n", q
);
1055 q
= (char *){ "tralala2" };
1056 printf("q2=%s\n", q
);
1059 printf("q3=%s\n", q3
);
1061 q
= (char []){ "tralala3" };
1062 printf("q4=%s\n", q
);
1065 p
= (int []){1, 2, cinit1
+ 3};
1067 printf(" %d", p
[i
]);
1071 p
= (int []){1, 2, 4 + i
};
1072 printf("%d %d %d\n",
1094 printf("kr_test:\n");
1095 printf("func1=%d\n", kr_func1(3, 4));
1096 printf("func2=%d\n", kr_func2(3, 4));
1103 tab
= (char*)malloc(20);
1120 /* structure assignment tests */
1126 struct structa1 ssta1
;
1128 void struct_assign_test1(struct structa1 s1
, int t
, float f
)
1130 printf("%d %d %d %f\n", s1
.f1
, s1
.f2
, t
, f
);
1133 struct structa1
struct_assign_test2(struct structa1 s1
, int t
)
1140 void struct_assign_test(void)
1143 struct structa1 lsta1
, lsta2
;
1150 printf("struct_assign_test:\n");
1154 printf("%d %d\n", s
.lsta1
.f1
, s
.lsta1
.f2
);
1156 printf("%d %d\n", s
.lsta2
.f1
, s
.lsta2
.f2
);
1161 struct_assign_test1(ps
->lsta2
, 3, 4.5);
1163 printf("before call: %d %d\n", s
.lsta2
.f1
, s
.lsta2
.f2
);
1164 ps
->lsta2
= struct_assign_test2(ps
->lsta2
, ps
->i
);
1165 printf("after call: %d %d\n", ps
->lsta2
.f1
, ps
->lsta2
.f2
);
1170 /* XXX: we should allow this even without braces */
1171 { struct_assign_test
}
1173 printf("%d\n", struct_assign_test
== t
[0].elem
);
1176 /* casts to short/char */
1178 void cast1(char a
, short b
, unsigned char c
, unsigned short d
)
1180 printf("%d %d %d %d\n", a
, b
, c
, d
);
1194 p
-= 0x700000000042;
1196 printf("cast_test:\n");
1200 printf("%d %d %d %d\n",
1203 (unsigned char)(a
+ 1),
1204 (unsigned short)(a
+ 1));
1205 printf("%d %d %d %d\n",
1208 (unsigned char)0xfffff,
1209 (unsigned short)0xfffff);
1211 a
= (bcast
= 128) + 1;
1213 a
= (scast
= 65536) + 1;
1216 printf("sizeof(c) = %d, sizeof((int)c) = %d\n", sizeof(c
), sizeof((int)c
));
1218 /* test cast from unsigned to signed short to int */
1221 printf("((unsigned)(short)0x%08x) = 0x%08x\n", b
, d
);
1224 printf("((unsigned)(char)0x%08x) = 0x%08x\n", b
, d
);
1226 /* test implicit int casting for array accesses */
1230 printf("%d %d\n", tab
[0], tab
[1]);
1232 /* test implicit casting on some operators */
1233 printf("sizeof(+(char)'a') = %d\n", sizeof(+(char)'a'));
1234 printf("sizeof(-(char)'a') = %d\n", sizeof(-(char)'a'));
1235 printf("sizeof(~(char)'a') = %d\n", sizeof(-(char)'a'));
1237 /* from pointer to integer types */
1238 printf("%d %d %ld %ld %lld %lld\n",
1239 (int)p
, (unsigned int)p
,
1240 (long)p
, (unsigned long)p
,
1241 (long long)p
, (unsigned long long)p
);
1243 /* from integers to pointers */
1244 printf("%p %p %p %p\n",
1245 (void *)a
, (void *)b
, (void *)c
, (void *)d
);
1248 /* initializers tests */
1249 struct structinit1
{
1258 int sinit3
[3] = { 1, 2, {{3}}, };
1259 int sinit4
[3][2] = { {1, 2}, {3, 4}, {5, 6} };
1260 int sinit5
[3][2] = { 1, 2, 3, 4, 5, 6 };
1261 int sinit6
[] = { 1, 2, 3 };
1262 int sinit7
[] = { [2] = 3, [0] = 1, 2 };
1263 char sinit8
[] = "hello" "trala";
1265 struct structinit1 sinit9
= { 1, 2, 3 };
1266 struct structinit1 sinit10
= { .f2
= 2, 3, .f1
= 1 };
1267 struct structinit1 sinit11
= { .f2
= 2, 3, .f1
= 1,
1275 char *sinit12
= "hello world";
1281 char sinit14
[10] = { "abc" };
1282 int sinit15
[3] = { sizeof(sinit15
), 1, 2 };
1284 struct { int a
[3], b
; } sinit16
[] = { { 1 }, 2 };
1300 struct complexinit0
{
1305 struct complexinit
{
1307 const struct complexinit0
*b
;
1310 const static struct complexinit cix
[] = {
1313 .b
= (const struct complexinit0
[]) {
1321 struct complexinit2
{
1326 struct complexinit2 cix20
;
1328 struct complexinit2 cix21
= {
1330 .b
= { 3001, 3002, 3003 }
1333 struct complexinit2 cix22
= {
1335 .b
= { 4001, 4002, 4003, 4004, 4005, 4006 }
1338 void init_test(void)
1342 int linit4
[3][2] = { {1, 2}, {3, 4}, {5, 6} };
1343 int linit6
[] = { 1, 2, 3 };
1345 char linit8
[] = "hello" "trala";
1346 int linit12
[10] = { 1, 2 };
1347 int linit13
[10] = { 1, 2, [7] = 3, [3] = 4, };
1348 char linit14
[10] = "abc";
1349 int linit15
[10] = { linit1
, linit1
+ 1, [6] = linit1
+ 2, };
1350 struct linit16
{ int a1
, a2
, a3
, a4
; } linit16
= { 1, .a3
= 2 };
1351 int linit17
= sizeof(linit17
);
1353 printf("init_test:\n");
1355 printf("sinit1=%d\n", sinit1
);
1356 printf("sinit2=%d\n", sinit2
);
1357 printf("sinit3=%d %d %d %d\n",
1363 printf("sinit6=%d\n", sizeof(sinit6
));
1364 printf("sinit7=%d %d %d %d\n",
1370 printf("sinit8=%s\n", sinit8
);
1371 printf("sinit9=%d %d %d\n",
1376 printf("sinit10=%d %d %d\n",
1381 printf("sinit11=%d %d %d %d %d %d\n",
1392 printf("[%d][%d] = %d %d %d\n",
1393 i
, j
, sinit4
[i
][j
], sinit5
[i
][j
], linit4
[i
][j
]);
1394 printf("linit1=%d\n", linit1
);
1395 printf("linit2=%d\n", linit2
);
1396 printf("linit6=%d\n", sizeof(linit6
));
1397 printf("linit8=%d %s\n", sizeof(linit8
), linit8
);
1399 printf("sinit12=%s\n", sinit12
);
1400 printf("sinit13=%d %s %s %s\n",
1405 printf("sinit14=%s\n", sinit14
);
1407 for(i
=0;i
<10;i
++) printf(" %d", linit12
[i
]);
1409 for(i
=0;i
<10;i
++) printf(" %d", linit13
[i
]);
1411 for(i
=0;i
<10;i
++) printf(" %d", linit14
[i
]);
1413 for(i
=0;i
<10;i
++) printf(" %d", linit15
[i
]);
1415 printf("%d %d %d %d\n",
1420 /* test that initialisation is done after variable declare */
1421 printf("linit17=%d\n", linit17
);
1422 printf("sinit15=%d\n", sinit15
[0]);
1423 printf("sinit16=%d %d\n", sinit16
[0].a
[0], sinit16
[1].a
[0]);
1424 printf("sinit17=%s %d %s %d\n",
1425 sinit17
[0].s
, sinit17
[0].len
,
1426 sinit17
[1].s
, sinit17
[1].len
);
1428 printf("%x ", sinit18
[i
]);
1430 /* complex init check */
1431 printf("cix: %d %d %d %d %d %d %d\n",
1433 cix
[0].b
[0].a
, cix
[0].b
[0].b
,
1434 cix
[0].b
[1].a
, cix
[0].b
[1].b
,
1435 cix
[0].b
[2].a
, cix
[0].b
[2].b
);
1436 printf("cix2: %d %d\n", cix21
.b
[2], cix22
.b
[5]);
1437 printf("sizeof cix20 %d, cix21 %d, sizeof cix22 %d\n", sizeof cix20
, sizeof cix21
, sizeof cix22
);
1465 /* ISOC99 _Bool type */
1466 void c99_bool_test(void)
1472 printf("bool_test:\n");
1473 printf("sizeof(_Bool) = %d\n", sizeof(_Bool
));
1475 printf("cast: %d %d %d\n", (_Bool
)10, (_Bool
)0, (_Bool
)a
);
1477 printf("b = %d\n", b
);
1479 printf("b = %d\n", b
);
1483 void bitfield_test(void)
1495 unsigned int f5
: 7;
1497 printf("bitfield_test:");
1498 printf("sizeof(st1) = %d\n", sizeof(st1
));
1507 printf("%d %d %d %d %d\n",
1508 st1
.f1
, st1
.f2
, st1
.f3
, st1
.f4
, st1
.f5
);
1511 printf("%d %d\n", sa
, ca
);
1515 printf("st1.f1 == -1\n");
1517 printf("st1.f1 != -1\n");
1519 printf("st1.f2 == -1\n");
1521 printf("st1.f2 != -1\n");
1523 /* bit sizes below must be bigger than 32 since GCC doesn't allow
1524 long-long bitfields whose size is not bigger than int */
1529 unsigned long long f3
: 38;
1531 st2
.f1
= 0x123456789ULL
;
1533 st2
.f2
= (long long)a
<< 25;
1536 printf("%lld %lld %lld\n", st2
.f1
, st2
.f2
, st2
.f3
);
1540 #define FLOAT_FMT "%f\n"
1542 /* x86's float isn't compatible with GCC */
1543 #define FLOAT_FMT "%.5f\n"
1546 /* declare strto* functions as they are C99 */
1547 double strtod(const char *nptr
, char **endptr
);
1548 float strtof(const char *nptr
, char **endptr
);
1549 long double strtold(const char *nptr
, char **endptr
);
1551 #define FTEST(prefix, type, fmt)\
1552 void prefix ## cmp(type a, type b)\
1554 printf("%d %d %d %d %d %d\n",\
1561 printf(fmt " " fmt " " fmt " " fmt " " fmt " " fmt " " fmt "\n",\
1569 printf(fmt "\n", ++a);\
1570 printf(fmt "\n", a++);\
1571 printf(fmt "\n", a);\
1573 printf("%d %d\n", !a, !b);\
1575 void prefix ## fcast(type a)\
1586 printf("ftof: %f %f %Lf\n", fa, da, la);\
1588 ua = (unsigned int)a;\
1589 printf("ftoi: %d %u\n", ia, ua);\
1593 printf("itof: " fmt "\n", b);\
1595 printf("utof: " fmt "\n", b);\
1598 float prefix ## retf(type a) { return a; }\
1599 double prefix ## retd(type a) { return a; }\
1600 long double prefix ## retld(type a) { return a; }\
1602 void prefix ## call(void)\
1604 printf("float: " FLOAT_FMT, prefix ## retf(42.123456789));\
1605 printf("double: %f\n", prefix ## retd(42.123456789));\
1606 printf("long double: %Lf\n", prefix ## retld(42.123456789));\
1607 printf("strto%s: %f\n", #prefix, (double)strto ## prefix("1.2", NULL));\
1610 void prefix ## test(void)\
1612 printf("testing '%s'\n", #type);\
1613 prefix ## cmp(1, 2.5);\
1614 prefix ## cmp(2, 1.5);\
1615 prefix ## cmp(1, 1);\
1616 prefix ## fcast(234.6);\
1617 prefix ## fcast(-2334.6);\
1621 FTEST(f
, float, "%f")
1622 FTEST(d
, double, "%f")
1623 FTEST(ld
, long double, "%Lf")
1625 double ftab1
[3] = { 1.2, 3.4, -5.6 };
1628 void float_test(void)
1635 printf("float_test:\n");
1636 printf("sizeof(float) = %d\n", sizeof(float));
1637 printf("sizeof(double) = %d\n", sizeof(double));
1638 printf("sizeof(long double) = %d\n", sizeof(long double));
1642 printf("%f %f %f\n", ftab1
[0], ftab1
[1], ftab1
[2]);
1643 printf("%f %f %f\n", 2.12, .5, 2.3e10
);
1644 // printf("%f %f %f\n", 0x1234p12, 0x1e23.23p10, 0x12dp-10);
1646 printf("da=%f\n", da
);
1648 printf("fa=%f\n", fa
);
1651 printf("da = %f\n", da
);
1654 printf("db = %f\n", db
);
1662 return fib(n
-1) + fib(n
-2);
1674 printf("funcptr:\n");
1681 /* more complicated pointer computation */
1684 printf("sizeof1 = %d\n", sizeof(funcptr_test
));
1685 printf("sizeof2 = %d\n", sizeof funcptr_test
);
1686 printf("sizeof3 = %d\n", sizeof(&funcptr_test
));
1687 printf("sizeof4 = %d\n", sizeof &funcptr_test
);
1690 void lloptest(long long a
, long long b
)
1692 unsigned long long ua
, ub
;
1697 printf("arith: %Ld %Ld %Ld\n",
1703 printf("arith1: %Ld %Ld\n",
1709 printf("bin: %Ld %Ld %Ld\n",
1715 printf("test: %d %d %d %d %d %d\n",
1723 printf("utest: %d %d %d %d %d %d\n",
1734 printf("arith2: %Ld %Ld\n", a
, b
);
1735 printf("arith2: %Ld %Ld\n", a
++, b
++);
1736 printf("arith2: %Ld %Ld\n", --a
, --b
);
1737 printf("arith2: %Ld %Ld\n", a
, b
);
1739 printf("not: %d %d %d %d\n", !a
, !ua
, !b
, !ub
);
1742 void llshift(long long a
, int b
)
1744 printf("shift: %Ld %Ld %Ld\n",
1745 (unsigned long long)a
>> b
,
1748 printf("shiftc: %Ld %Ld %Ld\n",
1749 (unsigned long long)a
>> 3,
1752 printf("shiftc: %Ld %Ld %Ld\n",
1753 (unsigned long long)a
>> 35,
1763 long long la
, lb
, lc
;
1764 unsigned long long ula
, ulb
, ulc
;
1767 la
= (la
<< 20) | 0x12345;
1769 printf("la=%Ld ula=%Lu\n", la
, ula
);
1774 printf("lltof: %f %f %Lf\n", fa
, da
, lda
);
1779 printf("ftoll: %Ld %Ld %Ld\n", la
, lb
, lc
);
1784 printf("ulltof: %f %f %Lf\n", fa
, da
, lda
);
1789 printf("ftoull: %Lu %Lu %Lu\n", ula
, ulb
, ulc
);
1792 long long llfunc1(int a
)
1802 long long int value(struct S
*v
)
1804 return ((long long int)v
->item
);
1807 void longlong_test(void)
1812 printf("longlong_test:\n");
1813 printf("sizeof(long long) = %d\n", sizeof(long long));
1818 printf("%Ld %Ld\n", a
, b
);
1819 printf("%Ld %Ld %Ld %Lx\n",
1823 0x1234567812345679);
1828 lloptest(0xff, 0x1234);
1829 b
= 0x72345678 << 10;
1833 b
= 0x72345678LL
<< 10;
1844 /* long long reg spill test */
1849 printf("%lld\n", value(&a
));
1851 lloptest(0x80000000, 0);
1853 /* another long long spill test */
1859 printf("%lld\n", *p
);
1864 printf("%d %d %d %d\n", a
> b
, a
< b
, a
>= b
, a
<= b
);
1866 printf("%Ld\n", 0x123456789LLU
);
1869 void manyarg_test(void)
1871 long double ld
= 1234567891234LL;
1872 printf("manyarg_test:\n");
1873 printf("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f\n",
1874 1, 2, 3, 4, 5, 6, 7, 8,
1875 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0);
1876 printf("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1878 1, 2, 3, 4, 5, 6, 7, 8,
1879 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
1880 1234567891234LL, 987654321986LL,
1882 printf("%Lf %d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1884 ld
, 1, 2, 3, 4, 5, 6, 7, 8,
1885 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
1886 1234567891234LL, 987654321986LL,
1888 /* XXX: known bug of x86-64 */
1890 printf("%d %d %d %d %d %d %d %d %Lf\n",
1891 1, 2, 3, 4, 5, 6, 7, 8, ld
);
1892 printf("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1893 "%Ld %Ld %f %f %Lf\n",
1894 1, 2, 3, 4, 5, 6, 7, 8,
1895 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
1896 1234567891234LL, 987654321986LL,
1898 printf("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1899 "%Lf %Ld %Ld %f %f %Lf\n",
1900 1, 2, 3, 4, 5, 6, 7, 8,
1901 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
1902 ld
, 1234567891234LL, 987654321986LL,
1907 void vprintf1(const char *fmt
, ...)
1931 i
= va_arg(ap
, int);
1935 d
= va_arg(ap
, double);
1939 ll
= va_arg(ap
, long long);
1943 ld
= va_arg(ap
, long double);
1961 void stdarg_for_struct(struct myspace bob
, ...)
1963 struct myspace george
, bill
;
1968 bill
= va_arg(ap
, struct myspace
);
1969 george
= va_arg(ap
, struct myspace
);
1970 validate
= va_arg(ap
, int);
1971 printf("stdarg_for_struct: %d %d %d %d\n",
1972 bob
.profile
, bill
.profile
, george
.profile
, validate
);
1976 void stdarg_test(void)
1978 long double ld
= 1234567891234LL;
1981 vprintf1("%d %d %d\n", 1, 2, 3);
1982 vprintf1("%f %d %f\n", 1.0, 2, 3.0);
1983 vprintf1("%l %l %d %f\n", 1234567891234LL, 987654321986LL, 3, 1234.0);
1984 vprintf1("%F %F %F\n", 1.2L, 2.3L, 3.4L);
1986 /* a bug of x86's TCC */
1987 vprintf1("%d %f %l %F %d %f %l %F\n",
1988 1, 1.2, 3L, 4.5L, 6, 7.8, 9L, 0.1L);
1990 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f\n",
1991 1, 2, 3, 4, 5, 6, 7, 8,
1992 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8);
1993 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f\n",
1994 1, 2, 3, 4, 5, 6, 7, 8,
1995 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0);
1996 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
1998 1, 2, 3, 4, 5, 6, 7, 8,
1999 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
2000 1234567891234LL, 987654321986LL,
2002 vprintf1("%F %d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
2004 ld
, 1, 2, 3, 4, 5, 6, 7, 8,
2005 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
2006 1234567891234LL, 987654321986LL,
2008 vprintf1("%d %d %d %d %d %d %d %d %F\n",
2009 1, 2, 3, 4, 5, 6, 7, 8, ld
);
2010 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
2012 1, 2, 3, 4, 5, 6, 7, 8,
2013 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
2014 1234567891234LL, 987654321986LL,
2016 vprintf1("%d %d %d %d %d %d %d %d %f %f %f %f %f %f %f %f %f %f "
2017 "%F %l %l %f %f %F\n",
2018 1, 2, 3, 4, 5, 6, 7, 8,
2019 0.1, 1.2, 2.3, 3.4, 4.5, 5.6, 6.7, 7.8, 8.9, 9.0,
2020 ld
, 1234567891234LL, 987654321986LL,
2024 stdarg_for_struct(bob
, bob
, bob
, bob
.profile
);
2027 void whitespace_test(void)
2033 ntf("whitspace:\n");\f\v
2037 #ifdef CORRECT_CR_HANDLING
2046 #ifdef ACCEPT_CR_IN_STRINGS
2047 printf("len1=%d\n", strlen("
2049 #ifdef CORRECT_CR_HANDLING
2052 printf("len1=%d str[0]=%d\n", strlen(str
), str
[0]);
2054 printf("len1=%d\n", strlen("
a
2056 #endif /* ACCEPT_CR_IN_STRINGS */
2059 int reltab
[3] = { 1, 2, 3 };
2061 int *rel1
= &reltab
[1];
2062 int *rel2
= &reltab
[2];
2064 void relocation_test(void)
2066 printf("*rel1=%d\n", *rel1
);
2067 printf("*rel2=%d\n", *rel2
);
2070 void old_style_f(a
,b
,c
)
2074 printf("a=%d b=%d b=%f\n", a
, b
, c
);
2077 void decl_func1(int cmpfn())
2079 printf("cmpfn=%lx\n", (long)cmpfn
);
2082 void decl_func2(cmpfn
)
2085 printf("cmpfn=%lx\n", (long)cmpfn
);
2088 void old_style_function(void)
2090 old_style_f((void *)1, 2, 3.0);
2097 #if defined __i386__ || defined __x86_64__
2098 char *p
= alloca(16);
2099 strcpy(p
,"123456789012345");
2100 printf("alloca: p is %s\n", p
);
2101 char *demo
= "This is only a test.\n";
2102 /* Test alloca embedded in a larger expression */
2103 printf("alloca: %s\n", strcpy(alloca(strlen(demo
)+1),demo
) );
2107 void *bounds_checking_is_enabled()
2109 char ca
[10], *cp
= ca
-1;
2110 return (ca
!= cp
+ 1) ? cp
: NULL
;
2113 typedef int constant_negative_array_size_as_compile_time_assertion_idiom
[(1 ? 2 : 0) - 1];
2115 void c99_vla_test(int size1
, int size2
)
2117 #if defined __i386__ || defined __x86_64__
2118 int size
= size1
* size2
;
2119 int tab1
[size
][2], tab2
[10][2];
2120 void *tab1_ptr
, *tab2_ptr
, *bad_ptr
;
2122 /* "size" should have been 'captured' at tab1 declaration,
2123 so modifying it should have no effect on VLA behaviour. */
2126 printf("Test C99 VLA 1 (sizeof): ");
2127 printf("%s\n", (sizeof tab1
== size1
* size2
* 2 * sizeof(int)) ? "PASSED" : "FAILED");
2130 printf("Test C99 VLA 2 (ptrs substract): ");
2131 printf("%s\n", (tab2
- tab1
== (tab2_ptr
- tab1_ptr
) / (sizeof(int) * 2)) ? "PASSED" : "FAILED");
2132 printf("Test C99 VLA 3 (ptr add): ");
2133 printf("%s\n", &tab1
[5][1] == (tab1_ptr
+ (5 * 2 + 1) * sizeof(int)) ? "PASSED" : "FAILED");
2134 printf("Test C99 VLA 4 (ptr access): ");
2135 tab1
[size1
][1] = 42;
2136 printf("%s\n", (*((int *) (tab1_ptr
+ (size1
* 2 + 1) * sizeof(int))) == 42) ? "PASSED" : "FAILED");
2138 printf("Test C99 VLA 5 (bounds checking (might be disabled)): ");
2139 if (bad_ptr
= bounds_checking_is_enabled()) {
2140 int *t1
= &tab1
[size1
* size2
- 1][3];
2141 int *t2
= &tab2
[9][3];
2142 printf("%s ", bad_ptr
== t1
? "PASSED" : "FAILED");
2143 printf("%s ", bad_ptr
== t2
? "PASSED" : "FAILED");
2145 char*c1
= 1 + sizeof(tab1
) + (char*)tab1
;
2146 char*c2
= 1 + sizeof(tab2
) + (char*)tab2
;
2147 printf("%s ", bad_ptr
== c1
? "PASSED" : "FAILED");
2148 printf("%s ", bad_ptr
== c2
? "PASSED" : "FAILED");
2152 printf("%s ", bad_ptr
== i1
? "PASSED" : "FAILED");
2153 printf("%s ", bad_ptr
== i2
? "PASSED" : "FAILED");
2155 int *x1
= tab1
[size1
* size2
+ 1];
2156 int *x2
= tab2
[10 + 1];
2157 printf("%s ", bad_ptr
== x1
? "PASSED" : "FAILED");
2158 printf("%s ", bad_ptr
== x2
? "PASSED" : "FAILED");
2160 printf("PASSED PASSED PASSED PASSED PASSED PASSED PASSED PASSED ");
2166 typedef __SIZE_TYPE__
uintptr_t;
2168 void sizeof_test(void)
2173 printf("sizeof(int) = %d\n", sizeof(int));
2174 printf("sizeof(unsigned int) = %d\n", sizeof(unsigned int));
2175 printf("sizeof(long) = %d\n", sizeof(long));
2176 printf("sizeof(unsigned long) = %d\n", sizeof(unsigned long));
2177 printf("sizeof(short) = %d\n", sizeof(short));
2178 printf("sizeof(unsigned short) = %d\n", sizeof(unsigned short));
2179 printf("sizeof(char) = %d\n", sizeof(char));
2180 printf("sizeof(unsigned char) = %d\n", sizeof(unsigned char));
2181 printf("sizeof(func) = %d\n", sizeof sizeof_test());
2183 printf("sizeof(a++) = %d\n", sizeof a
++);
2184 printf("a=%d\n", a
);
2186 printf("sizeof(**ptr) = %d\n", sizeof (**ptr
));
2188 /* The type of sizeof should be as large as a pointer, actually
2189 it should be size_t. */
2190 printf("sizeof(sizeof(int) = %d\n", sizeof(sizeof(int)));
2193 /* Effectively <<32, but defined also on 32bit machines. */
2197 /* This checks that sizeof really can be used to manipulate
2198 uintptr_t objects, without truncation. */
2199 t2
= t
& -sizeof(uintptr_t);
2200 printf ("%lu %lu\n", t
, t2
);
2202 /* some alignof tests */
2203 printf("__alignof__(int) = %d\n", __alignof__(int));
2204 printf("__alignof__(unsigned int) = %d\n", __alignof__(unsigned int));
2205 printf("__alignof__(short) = %d\n", __alignof__(short));
2206 printf("__alignof__(unsigned short) = %d\n", __alignof__(unsigned short));
2207 printf("__alignof__(char) = %d\n", __alignof__(char));
2208 printf("__alignof__(unsigned char) = %d\n", __alignof__(unsigned char));
2209 printf("__alignof__(func) = %d\n", __alignof__
sizeof_test());
2212 void typeof_test(void)
2221 printf("a=%f b=%f c=%f\n", a
, b
, c
);
2224 void statement_expr_test(void)
2237 printf("a=%d\n", a
);
2241 void local_label_test(void)
2247 __label__ l1
, l2
, l3
, l4
;
2261 printf("a=%d\n", a
);
2271 /* inline assembler test */
2274 /* from linux kernel */
2275 static char * strncat1(char * dest
,const char * src
,size_t count
)
2278 __asm__
__volatile__(
2287 "testb %%al,%%al\n\t"
2289 "2:\txorl %2,%2\n\t"
2291 : "=&S" (d0
), "=&D" (d1
), "=&a" (d2
), "=&c" (d3
)
2292 : "0" (src
),"1" (dest
),"2" (0),"3" (0xffffffff), "g" (count
)
2297 static char * strncat2(char * dest
,const char * src
,size_t count
)
2300 __asm__
__volatile__(
2301 "repne scasb\n\t" /* one-line repne prefix + string op */
2308 "testb %%al,%%al\n\t"
2310 "2:\txorl %2,%2\n\t"
2312 : "=&S" (d0
), "=&D" (d1
), "=&a" (d2
), "=&c" (d3
)
2313 : "0" (src
),"1" (dest
),"2" (0),"3" (0xffffffff), "g" (count
)
2318 static inline void * memcpy1(void * to
, const void * from
, size_t n
)
2321 __asm__
__volatile__(
2326 "1:\ttestb $1,%b4\n\t"
2330 : "=&c" (d0
), "=&D" (d1
), "=&S" (d2
)
2331 :"0" (n
/4), "q" (n
),"1" ((long) to
),"2" ((long) from
)
2336 static inline void * memcpy2(void * to
, const void * from
, size_t n
)
2339 __asm__
__volatile__(
2340 "rep movsl\n\t" /* one-line rep prefix + string op */
2344 "1:\ttestb $1,%b4\n\t"
2348 : "=&c" (d0
), "=&D" (d1
), "=&S" (d2
)
2349 :"0" (n
/4), "q" (n
),"1" ((long) to
),"2" ((long) from
)
2354 static __inline__
void sigaddset1(unsigned int *set
, int _sig
)
2356 __asm__("btsl %1,%0" : "=m"(*set
) : "Ir"(_sig
- 1) : "cc");
2359 static __inline__
void sigdelset1(unsigned int *set
, int _sig
)
2361 asm("btrl %1,%0" : "=m"(*set
) : "Ir"(_sig
- 1) : "cc");
2364 static __inline__ __const__
unsigned int swab32(unsigned int x
)
2366 __asm__("xchgb %b0,%h0\n\t" /* swap lower bytes */
2367 "rorl $16,%0\n\t" /* swap words */
2368 "xchgb %b0,%h0" /* swap higher bytes */
2374 static __inline__
unsigned long long mul64(unsigned int a
, unsigned int b
)
2376 unsigned long long res
;
2377 __asm__("mull %2" : "=A" (res
) : "a" (a
), "r" (b
));
2381 static __inline__
unsigned long long inc64(unsigned long long a
)
2383 unsigned long long res
;
2384 __asm__("addl $1, %%eax ; adcl $0, %%edx" : "=A" (res
) : "A" (a
));
2395 printf("inline asm:\n");
2396 /* test the no operand case */
2397 asm volatile ("xorl %eax, %eax");
2399 memcpy1(buf
, "hello", 6);
2400 strncat1(buf
, " worldXXXXX", 3);
2401 printf("%s\n", buf
);
2403 memcpy2(buf
, "hello", 6);
2404 strncat2(buf
, " worldXXXXX", 3);
2405 printf("%s\n", buf
);
2407 /* 'A' constraint test */
2408 printf("mul64=0x%Lx\n", mul64(0x12345678, 0xabcd1234));
2409 printf("inc64=0x%Lx\n", inc64(0x12345678ffffffff));
2412 sigdelset1(&set
, 2);
2413 sigaddset1(&set
, 16);
2414 /* NOTE: we test here if C labels are correctly restored after the
2418 __asm__("btsl %1,%0" : "=m"(set
) : "Ir"(20) : "cc");
2419 #ifdef __GNUC__ // works strange with GCC 4.3
2422 printf("set=0x%x\n", set
);
2424 printf("swab32(0x%08x) = 0x%0x\n", val
, swab32(val
));
2438 #define COMPAT_TYPE(type1, type2) \
2440 printf("__builtin_types_compatible_p(%s, %s) = %d\n", #type1, #type2, \
2441 __builtin_types_compatible_p (type1, type2));\
2446 void builtin_test(void)
2449 COMPAT_TYPE(int, int);
2450 COMPAT_TYPE(int, unsigned int);
2451 COMPAT_TYPE(int, char);
2452 COMPAT_TYPE(int, const int);
2453 COMPAT_TYPE(int, volatile int);
2454 COMPAT_TYPE(int *, int *);
2455 COMPAT_TYPE(int *, void *);
2456 COMPAT_TYPE(int *, const int *);
2457 COMPAT_TYPE(char *, unsigned char *);
2458 /* space is needed because tcc preprocessor introduces a space between each token */
2459 COMPAT_TYPE(char * *, void *);
2461 printf("res = %d\n", __builtin_constant_p(1));
2462 printf("res = %d\n", __builtin_constant_p(1 + 2));
2463 printf("res = %d\n", __builtin_constant_p(&constant_p_var
));
2464 printf("res = %d\n", __builtin_constant_p(constant_p_var
));
2468 extern int __attribute__((weak
)) weak_f1(void);
2469 extern int __attribute__((weak
)) weak_f2(void);
2470 extern int weak_f3(void);
2471 extern int __attribute__((weak
)) weak_v1
;
2472 extern int __attribute__((weak
)) weak_v2
;
2475 extern int (*weak_fpa
)() __attribute__((weak
));
2476 extern int __attribute__((weak
)) (*weak_fpb
)();
2477 extern __attribute__((weak
)) int (*weak_fpc
)();
2479 extern int weak_asm_f1(void) asm("weak_asm_f1x") __attribute((weak
));
2480 extern int __attribute((weak
)) weak_asm_f2(void) asm("weak_asm_f2x") ;
2481 extern int __attribute((weak
)) weak_asm_f3(void) asm("weak_asm_f3x") __attribute((weak
));
2482 extern int weak_asm_v1
asm("weak_asm_v1x") __attribute((weak
));
2483 extern int __attribute((weak
)) weak_asm_v2
asm("weak_asm_v2x") ;
2484 extern int __attribute((weak
)) weak_asm_v3(void) asm("weak_asm_v3x") __attribute((weak
));
2486 static const size_t dummy
= 0;
2487 extern __typeof(dummy
) weak_dummy1
__attribute__((weak
, alias("dummy")));
2488 extern __typeof(dummy
) __attribute__((weak
, alias("dummy"))) weak_dummy2
;
2489 extern __attribute__((weak
, alias("dummy"))) __typeof(dummy
) weak_dummy3
;
2491 int some_lib_func(void);
2492 int dummy_impl_of_slf(void) { return 444; }
2493 int some_lib_func(void) __attribute__((weak
, alias("dummy_impl_of_slf")));
2495 int weak_toolate() __attribute__((weak
));
2496 int weak_toolate() { return 0; }
2498 void __attribute__((weak
)) weak_test(void)
2500 printf("weak_f1=%d\n", weak_f1
? weak_f1() : 123);
2501 printf("weak_f2=%d\n", weak_f2
? weak_f2() : 123);
2502 printf("weak_f3=%d\n", weak_f3
? weak_f3() : 123);
2503 printf("weak_v1=%d\n",&weak_v1
? weak_v1
: 123);
2504 printf("weak_v2=%d\n",&weak_v2
? weak_v2
: 123);
2505 printf("weak_v3=%d\n",&weak_v3
? weak_v3
: 123);
2507 printf("weak_fpa=%d\n",&weak_fpa
? weak_fpa() : 123);
2508 printf("weak_fpb=%d\n",&weak_fpb
? weak_fpb() : 123);
2509 printf("weak_fpc=%d\n",&weak_fpc
? weak_fpc() : 123);
2511 printf("weak_asm_f1=%d\n", weak_asm_f1
!= NULL
);
2512 printf("weak_asm_f2=%d\n", weak_asm_f2
!= NULL
);
2513 printf("weak_asm_f3=%d\n", weak_asm_f3
!= NULL
);
2514 printf("weak_asm_v1=%d\n",&weak_asm_v1
!= NULL
);
2515 printf("weak_asm_v2=%d\n",&weak_asm_v2
!= NULL
);
2516 printf("weak_asm_v3=%d\n",&weak_asm_v3
!= NULL
);
2519 int __attribute__((weak
)) weak_f2() { return 222; }
2520 int __attribute__((weak
)) weak_f3() { return 333; }
2521 int __attribute__((weak
)) weak_v2
= 222;
2522 int __attribute__((weak
)) weak_v3
= 333;
2524 void const_func(const int a
)
2528 void const_warn_test(void)
2537 int getme (struct condstruct
*s
, int i
)
2539 int i1
= (i
== 0 ? 0 : s
)->i
;
2540 int i2
= (i
== 0 ? s
: 0)->i
;
2541 int i3
= (i
== 0 ? (void*)0 : s
)->i
;
2542 int i4
= (i
== 0 ? s
: (void*)0)->i
;
2543 return i1
+ i2
+ i3
+ i4
;
2552 struct global_data global_data
;
2554 int global_data_getstuff (int *, int);
2556 void global_data_callit (int i
)
2558 *global_data
.b
[i
] = global_data_getstuff (global_data
.b
[i
], 1);
2561 int global_data_getstuff (int *p
, int i
)
2566 void global_data_test (void)
2568 global_data
.a
[0] = 42;
2569 global_data
.b
[0] = &global_data
.a
[0];
2570 global_data_callit (0);
2571 printf ("%d\n", global_data
.a
[0]);
2576 unsigned char fill
: 3;
2577 unsigned char b1
: 1;
2578 unsigned char b2
: 1;
2579 unsigned char fill2
: 3;
2582 int glob1
, glob2
, glob3
;
2584 void compare_comparisons (struct cmpcmpS
*s
)
2586 if (s
->b1
!= (glob1
== glob2
)
2587 || (s
->b2
!= (glob1
== glob3
)))
2588 printf ("comparing comparisons broken\n");
2591 void cmp_comparison_test(void)
2595 glob1
= 42; glob2
= 42;
2598 compare_comparisons (&s
);
2602 int fcompare (double a
, double b
, int code
)
2605 case 0: return a
== b
;
2606 case 1: return a
!= b
;
2607 case 2: return a
< b
;
2608 case 3: return a
>= b
;
2609 case 4: return a
> b
;
2610 case 5: return a
<= b
;
2614 void math_cmp_test(void)
2616 double nan
= 0.0/0.0;
2620 #define bug(a,b,op,iop,part) printf("Test broken: %s %s %s %s %d\n", #a, #b, #op, #iop, part)
2622 /* This asserts that "a op b" is _not_ true, but "a iop b" is true.
2623 And it does this in various ways so that all code generation paths
2624 are checked (generating inverted tests, or non-inverted tests, or
2625 producing a 0/1 value without jumps (that's done in the fcompare
2627 #define FCMP(a,b,op,iop,code) \
2628 if (fcompare (a,b,code)) \
2629 bug (a,b,op,iop,1); \
2631 bug (a,b,op,iop,2); \
2635 bug (a,b,op,iop,3); \
2636 if ((a op b) || comp) \
2637 bug (a,b,op,iop,4); \
2638 if ((a iop b) || comp) \
2643 /* Equality tests. */
2644 FCMP(nan
, nan
, ==, !=, 0);
2645 FCMP(one
, two
, ==, !=, 0);
2646 FCMP(one
, one
, !=, ==, 1);
2647 /* Non-equality is a bit special. */
2648 if (!fcompare (nan
, nan
, 1))
2649 bug (nan
, nan
, !=, ==, 6);
2651 /* Relational tests on numbers. */
2652 FCMP(two
, one
, <, >=, 2);
2653 FCMP(one
, two
, >=, <, 3);
2654 FCMP(one
, two
, >, <=, 4);
2655 FCMP(two
, one
, <=, >, 5);
2657 /* Relational tests on NaNs. Note that the inverse op here is
2658 always !=, there's no operator in C that is equivalent to !(a < b),
2659 when NaNs are involved, same for the other relational ops. */
2660 FCMP(nan
, nan
, <, !=, 2);
2661 FCMP(nan
, nan
, >=, !=, 3);
2662 FCMP(nan
, nan
, >, !=, 4);
2663 FCMP(nan
, nan
, <=, !=, 5);
2666 double get100 () { return 100.0; }
2668 void callsave_test(void)
2670 #if defined __i386__ || defined __x86_64__
2671 int i
, s
; double *d
; double t
;
2672 s
= sizeof (double);
2673 printf ("callsavetest: %d\n", s
);
2674 d
= alloca (sizeof(double));
2676 /* x86-64 had a bug were the next call to get100 would evict
2677 the lvalue &d[0] as VT_LLOCAL, and the reload would be done
2678 in int type, not pointer type. When alloca returns a pointer
2679 with the high 32 bit set (which is likely on x86-64) the access
2680 generates a segfault. */
2681 i
= d
[0] > get100 ();
2687 void bfa3(ptrdiff_t str_offset
)
2689 printf("bfa3: %s\n", (char *)__builtin_frame_address(3) + str_offset
);
2691 void bfa2(ptrdiff_t str_offset
)
2693 printf("bfa2: %s\n", (char *)__builtin_frame_address(2) + str_offset
);
2696 void bfa1(ptrdiff_t str_offset
)
2698 printf("bfa1: %s\n", (char *)__builtin_frame_address(1) + str_offset
);
2702 void builtin_frame_address_test(void)
2704 char str
[] = "__builtin_frame_address";
2705 char *fp0
= __builtin_frame_address(0);
2707 printf("str: %s\n", str
);