3 # Copyright 2002 Patrik Stridvall
5 # This library is free software; you can redistribute it and/or
6 # modify it under the terms of the GNU Lesser General Public
7 # License as published by the Free Software Foundation; either
8 # version 2.1 of the License, or (at your option) any later version.
10 # This library is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 # Lesser General Public License for more details.
15 # You should have received a copy of the GNU Lesser General Public
16 # License along with this library; if not, write to the Free Software
17 # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
23 $0 =~ m
%^(.*?
/?tools)/winapi
/winapi_test
$%;
24 require "$1/winapi/setup.pm";
28 file_type files_skip files_filter
29 $current_dir $wine_dir $winapi_dir
31 use output qw($output);
32 use winapi_test_options qw($options);
34 if($options->progress) {
35 $output->enable_progress;
37 $output->disable_progress;
43 use util qw(replace_file);
55 foreach my $test (@tests) {
56 my @test_dirs = $tests->get_test_dirs($test);
57 foreach my $test_dir (@test_dirs) {
58 my @headers = $tests->get_section($test_dir, $test, "header");
59 foreach my $header (@headers) {
60 $files{"include/$header"} = 1;
65 foreach my $test (@tests) {
66 my @test_dirs = $tests->get_test_dirs($test);
67 foreach my $test_dir (@test_dirs) {
68 my @headers = $tests->get_section($test_dir, $test, "header");
69 foreach my $header (@headers) {
70 if($files{"include/$header"}) {
71 push @files, "include/$header";
72 $files{"include/$header"} = 0;
80 my $file = "tests.dat";
82 $file .= "2"; # FIXME: For tests
84 open(OUT
, "> $winapi_dir/$file") || die "Error: Can't open $winapi_dir/$file: $!\n";
87 my @test_dirs = $tests->get_test_dirs();
88 foreach my $test_dir (@test_dirs) {
89 print OUT
"\n" if $x++;
90 print OUT
"%%%$test_dir\n";
94 my @tests = $tests->get_tests($test_dir);
95 foreach my $test (@tests) {
96 print OUT
"\n" if $y++;
97 print OUT
"%%$test\n";
103 my @sections = $tests->get_sections($test_dir, $test);
104 foreach my $section (@sections) {
105 my @lines = $tests->get_section($test_dir, $test, $section);
107 if ($section =~ /^(?:struct|type)$/) {
108 foreach my $line (@lines) {
114 print OUT
"\n" if $z++;
115 print OUT
"%$section\n";
117 foreach my $line (@lines) {
122 @types = sort { $x = $a; $y = $b; $x =~ s/^!//; $y =~ s/^!//; $x cmp $y } @types;
124 print OUT
"\n" if $z++;
127 foreach my $type (@types) {
141 my $progress_current = 0;
142 my $progress_max = scalar(@files);
144 ########################################################################
150 "ANYSIZE_ARRAY" => 1,
151 "CCHDEVICENAME" => 32,
152 "CCHILDREN_TITLEBAR+1" => 6,
153 "ELF_VENDOR_SIZE" => 4,
154 "EXCEPTION_MAXIMUM_PARAMETERS" => 15,
155 "HW_PROFILE_GUIDLEN" => 39,
156 "IMAGE_NUMBEROF_DIRECTORY_ENTRIES" => 16,
157 "IMAGE_SIZEOF_SHORT_NAME" => 8,
159 "LF_FULLFACESIZE" => 64,
160 "MAXIMUM_SUPPORTED_EXTENSION" => 512,
161 "MAX_GOPHER_DISPLAY_TEXT + 1" => 129,
162 "MAX_GOPHER_LOCATOR_LENGTH + 1" => 654,
164 "MAX_PROFILE_LEN" => 80,
166 "OFS_MAXPATHNAME" => 128,
167 "SIZE_OF_80387_REGISTERS" => 80,
168 "TOKEN_SOURCE_LENGTH" => 8,
171 my %align_kludge_reported = ("FILETIME" => 1, "LARGE_INTEGER" => 1);
172 my %size_kludge_reported = ("FILETIME" => 1, "LARGE_INTEGER" => 1);
173 my %size_parse_reported;
175 sub _find_align_kind_size
($) {
176 my $type_name = shift;
178 local $_ = $type_name;
187 } elsif(/^(?:(signed|unsigned)\s+)?(?:__int8|char|byte)$/) {
189 $kind = defined($1) ?
$1 : "signed";
191 } elsif (/^(?:(signed|unsigned)\s+)?(?:__int16|short(?:\s+int)?)$/) {
193 $kind = defined($1) ?
$1 : "signed";
195 } elsif (/^(?:wchar_t)$/) {
199 } elsif (/^(signed|unsigned)$/) {
201 $kind = defined($1) ?
$1 : "signed";
203 } elsif (/^(?:(signed|unsigned)\s+)?(?:__int32|int|long(?:\s+int)?)$/) {
205 $kind = defined($1) ?
$1 : "signed";
207 } elsif (/^(?:float)$/) {
211 } elsif (/^(?:(signed|unsigned)\s+)?__int64$/) {
213 $kind = defined($1) ?
$1 : "signed";
215 } elsif (/^(?:double|DOUBLE|DATE)$/) {
219 } elsif (/^(?:long\s+double)$/) {
223 } elsif (/^H(?:DC|BITMAP|BRUSH|ICON|INSTANCE|KEY|MENU|METAFILE|RESULT|WND)$/) {
227 } elsif (/^LP(?:BYTE|CSTR|CWSTR|DWORD|STR|VOID|WSTR)$/) {
231 } elsif (/^(?:FILETIME)$/) {
239 } elsif (/^(?:VOID)$/) {
243 } elsif (/^(?:SHORT)$/) {
247 } elsif (/^(?:BYTE)$/) {
251 } elsif (/^(?:DWORD)$/) {
255 } elsif (/^(?:WORD)$/) {
259 } elsif (/^(?:INT64|LONG64|LONGLONG)$/) {
263 } elsif (/^(?:UINT64|ULONG64|DWORD64|ULONGLONG|DWORDLONG)$/) {
267 } elsif (/^(?:LARGE_INTEGER)$/) {
271 } elsif (/^(?:POINTS)$/) {
275 } elsif (/^(struct|union)$/) {
277 if (!$size_parse_reported{$_}) {
278 $output->write("$type_name: can't parse type\n");
279 $size_parse_reported{$_} = 1;
281 } elsif (/^\w+\s*\((?:\s*CALLBACK|\s*NTAPI|\s*WINAPI)?\s*\*\s*\)\s*\(.*?\)$/) {
288 if (defined(my $type = $type_name2type{$_})) {
289 $align2 = $type->align;
292 if (!defined($align)) {
294 } elsif (defined($align2) && !$align_kludge_reported{$_}) {
295 $align_kludge_reported{$_} = 1;
296 $output->write("$type_name: type needn't be kludged\n");
299 if (!defined($align)) {
300 # $output->write("$type_name: can't find type\n");
304 if (defined(my $type = $type_name2type{$_})) {
305 $size2 = $type->size;
308 if (!defined($size)) {
310 } elsif (defined($size2) && !$size_kludge_reported{$_}) {
311 $size_kludge_reported{$_} = 1;
312 $output->write("$type_name: type needn't be kludged\n");
315 return ($align, $kind, $size);
319 my $type_name = shift;
320 (my $align, my $kind, my $size) = _find_align_kind_size
($type_name);
325 my $type_name = shift;
326 (my $align, my $kind, my $size) = _find_align_kind_size
($type_name);
332 my $type_name = shift;
333 (my $align, my $kind, my $size) = _find_align_kind_size
($type_name);
339 return $defines{$count};
342 foreach my $file (@files) {
346 open(IN
, "< $wine_dir/$file") || die "Error: Can't open $wine_dir/$file: $!\n";
355 while(s/^.*?\n//) { $max_line++; }
356 if($_) { $max_line++; }
359 my $parser = new c_parser
($file);
365 my $update_output = sub {
369 $progress .= "$file (file $progress_current of $progress_max)";
370 $prefix .= "$file: ";
373 $progress .= ": line $line of $max_line";
376 $output->progress($progress);
377 $output->prefix($prefix);
382 my $found_line = sub {
387 $parser->set_found_line_callback($found_line);
389 my $found_preprocessor = sub {
390 my $begin_line = shift;
391 my $begin_column = shift;
392 my $preprocessor = shift;
394 #print "found_preprocessor: $begin_line: [$_]\n";
395 if ($preprocessor =~ /^\#\s*include\s+[\"<]pshpack(\d+)\.h[\">]$/) {
397 #print "found pack $1 on line $begin_line\n";
398 } elsif($preprocessor =~ /^\#\s*include\s+[\"<]poppack\.h[\">]$/) {
400 #print "found poppack on line $begin_line\n";
405 $parser->set_found_preprocessor_callback($found_preprocessor);
407 my $found_type = sub {
412 my $name = $type->name;
413 $file2types{$file}{$name} = $type;
415 $type->set_find_align_callback(\
&find_align
);
416 $type->set_find_kind_callback(\
&find_kind
);
417 $type->set_find_size_callback(\
&find_size
);
418 $type->set_find_count_callback(\
&find_count
);
420 my $pack = $packs[$#packs];
421 if (!defined($type->pack) && $type->kind =~ /^(?:struct|union)$/) {
424 my $size = $type->size();
425 if (defined($size)) {
426 my $max_field_base_size = 0;
428 foreach my $field ($type->fields()) {
429 my $field_type_name = $field->type_name;
430 my $field_name = $field->name;
431 my $field_size = $field->size;
432 my $field_base_size = $field->base_size;
433 my $field_offset = $field->offset;
434 my $field_align = $field->align;
436 # $output->write("$name: $field_type_name: $field_name: $field_offset: $field_size($field_base_size): $field_align\n");
438 # $output->write("$name: $size\n");
440 $type_name2type{$name} = $type;
442 # $output->write("$name: can't find size\n");
447 $parser->set_found_type_callback($found_type);
452 if(!$parser->parse_c_file(\
$_, \
$line, \
$column)) {
453 $output->write("can't parse file\n");
460 ########################################################################
463 sub output_header
($$$) {
466 my $test_dir = shift;
467 my @tests = @
{(shift)};
469 print OUT
"/* File generated automatically from tools/winapi/tests.dat; do not edit! */\n";
470 print OUT
"/* This file can be copied, modified and distributed without restriction. */\n";
474 foreach my $test (@tests) {
475 my @description = $tests->get_section($test_dir, $test, "description");
476 foreach my $description (@description) {
477 print OUT
" * $description\n";
483 print OUT
"#define WINVER 0x0501\n";
484 print OUT
"#define _WIN32_IE 0x0501\n";
485 print OUT
"#define _WIN32_WINNT 0x0501\n";
487 print OUT
"#define WINE_NOWINSOCK\n";
489 foreach my $test (@tests) {
490 my @includes = $tests->get_section($test_dir, $test, "include");
491 foreach my $include (@includes) {
492 print OUT
"#include $include\n";
496 print OUT
"#include \"wine/test.h\"\n";
499 print OUT
"/***********************************************************************\n";
500 print OUT
" * Compatibility macros\n";
503 print OUT
"#define DWORD_PTR UINT_PTR\n";
504 print OUT
"#define LONG_PTR INT_PTR\n";
505 print OUT
"#define ULONG_PTR UINT_PTR\n";
508 print OUT
"/***********************************************************************\n";
509 print OUT
" * Windows API extension\n";
512 print OUT
"#if defined(_MSC_VER) && (_MSC_VER >= 1300) && defined(__cplusplus)\n";
513 print OUT
"# define _TYPE_ALIGNMENT(type) __alignof(type)\n";
514 print OUT
"#elif defined(__GNUC__)\n";
515 print OUT
"# define _TYPE_ALIGNMENT(type) __alignof__(type)\n";
518 print OUT
" * FIXME: May not be possible without a compiler extension\n";
519 print OUT
" * (if type is not just a name that is, otherwise the normal\n";
520 print OUT
" * TYPE_ALIGNMENT can be used)\n";
522 print OUT
"#endif\n";
524 print OUT
"#if defined(TYPE_ALIGNMENT) && defined(_MSC_VER) && _MSC_VER >= 800 && !defined(__cplusplus)\n";
525 print OUT
"#pragma warning(disable:4116)\n";
526 print OUT
"#endif\n";
528 print OUT
"#if !defined(TYPE_ALIGNMENT) && defined(_TYPE_ALIGNMENT)\n";
529 print OUT
"# define TYPE_ALIGNMENT _TYPE_ALIGNMENT\n";
530 print OUT
"#endif\n";
533 print OUT
"/***********************************************************************\n";
534 print OUT
" * Test helper macros\n";
537 print OUT
"#ifdef _WIN64\n";
539 print OUT
"# define TEST_TYPE_SIZE(type, size)\n";
540 print OUT
"# define TEST_TYPE_ALIGN(type, align)\n";
541 print OUT
"# define TEST_TARGET_ALIGN(type, align)\n";
542 print OUT
"# define TEST_FIELD_ALIGN(type, field, align)\n";
543 print OUT
"# define TEST_FIELD_OFFSET(type, field, offset)\n";
547 print OUT
"# define TEST_TYPE_SIZE(type, size) C_ASSERT(sizeof(type) == size);\n";
549 print OUT
"# ifdef TYPE_ALIGNMENT\n";
550 print OUT
"# define TEST_TYPE_ALIGN(type, align) C_ASSERT(TYPE_ALIGNMENT(type) == align);\n";
551 print OUT
"# else\n";
552 print OUT
"# define TEST_TYPE_ALIGN(type, align)\n";
553 print OUT
"# endif\n";
555 print OUT
"# ifdef _TYPE_ALIGNMENT\n";
556 print OUT
"# define TEST_TARGET_ALIGN(type, align) C_ASSERT(_TYPE_ALIGNMENT(*(type)0) == align);\n";
557 print OUT
"# define TEST_FIELD_ALIGN(type, field, align) C_ASSERT(_TYPE_ALIGNMENT(((type*)0)->field) == align);\n";
558 print OUT
"# else\n";
559 print OUT
"# define TEST_TARGET_ALIGN(type, align)\n";
560 print OUT
"# define TEST_FIELD_ALIGN(type, field, align)\n";
561 print OUT
"# endif\n";
563 print OUT
"# define TEST_FIELD_OFFSET(type, field, offset) C_ASSERT(FIELD_OFFSET(type, field) == offset);\n";
565 print OUT
"#endif\n";
567 print OUT
"#define TEST_TARGET_SIZE(type, size) TEST_TYPE_SIZE(*(type)0, size)\n";
568 print OUT
"#define TEST_FIELD_SIZE(type, field, size) TEST_TYPE_SIZE((((type*)0)->field), size)\n";
569 print OUT
"#define TEST_TYPE_SIGNED(type) C_ASSERT((type) -1 < 0);\n";
570 print OUT
"#define TEST_TYPE_UNSIGNED(type) C_ASSERT((type) -1 > 0);\n";
575 ########################################################################
578 sub output_footer
($$$) {
581 my $test_dir = shift;
582 my @tests = @
{(shift)};
584 print OUT
"START_TEST(generated)\n";
586 foreach my $test (@tests) {
587 print OUT
"#ifdef _WIN64\n";
588 print OUT
" ok(0, \"The type size / alignment tests don't support Win64 yet\\n\");\n";
590 print OUT
" test_$test();\n";
591 print OUT
"#endif\n";
596 ########################################################################
597 # output_test_pack_type
599 sub output_test_pack_type
($$$$$$) {
602 my $type_name2type = shift;
603 my $type_name2optional = shift;
604 my $type_name2optional_fields = shift;
605 my $type_name = shift;
608 my $optional_fields = $$type_name2optional_fields{$type_name};
610 my $type_align = $type->align;
611 my $type_pack = $type->pack;
612 my $type_size = $type->size;
613 my $type_kind = $type->kind;
615 if (defined($type_pack)) {
616 print OUT
" /* $type_name (pack $type_pack) */\n";
618 print OUT
" /* $type_name */\n";
621 if (!scalar(keys(%$optional_fields)) && defined($type_align) && defined($type_size)) {
622 print OUT
" TEST_TYPE_SIZE ($type_name, $type_size)\n";
623 print OUT
" TEST_TYPE_ALIGN ($type_name, $type_align)\n";
626 if ($type_kind eq "float") {
628 } elsif ($type_kind eq "pointer") {
629 my $dereference_type;
630 $dereference_type = sub {
633 my @fields = $type->fields;
634 my $type_name2 =$fields[0]->type_name;
636 if ($type_name2 =~ s/\s*\*$//) {
637 my $type2 = $$type_name2type{$type_name2};
638 if (defined($type2)) {
641 if ($type_name2 !~ /^(?:PVOID|VOID|void)$/) {
642 $output->write("$type_name2: warning: type not found 1\n");
646 } elsif ($type_name2 =~ /^\w+$/) {
647 my $type2 = $$type_name2type{$type_name2};
648 if (defined($type2)) {
649 return &$dereference_type($type2);
651 $output->write("$type_name2: warning: type not found\n");
654 } elsif ($type_name2 =~ /^\w+\s*\((?:\s*CALLBACK|\s*NTAPI|\s*WINAPI)?\s*\*\s*\)\s*\(.*?\)$/) {
657 $output->write("$type_name2: warning: type can't be parsed\n");
662 my $type2 = &$dereference_type($type);
663 if (defined($type2)) {
664 my $type_name2 = $type2->name;
665 my $type_align2 = $type2->align;
666 my $type_size2 = $type2->size;
668 my $optional = $$type_name2optional{$type_name};
669 my $optional_fields2 = $$type_name2optional_fields{$type_name2};
671 if (!$optional && !scalar(keys(%$optional_fields2)) && defined($type_align2) && defined($type_size2)) {
672 print OUT
" TEST_TARGET_SIZE ($type_name, $type_size2)\n";
673 print OUT
" TEST_TARGET_ALIGN($type_name, $type_align2)\n";
675 # $output->write("$type_name: warning: type size not found\n");
678 } elsif ($type_kind eq "signed") {
679 print OUT
" TEST_TYPE_SIGNED($type_name)\n";
680 } elsif ($type_kind eq "unsigned") {
681 print OUT
" TEST_TYPE_UNSIGNED($type_name)\n";
685 sub output_test_pack_fields
($$$$$$$);
686 sub output_test_pack_fields
($$$$$$$) {
689 my $type_name2type = shift;
690 my $type_name2optional = shift;
691 my $type_name2optional_fields = shift;
692 my $type_name = shift;
696 my $optional_fields = $$type_name2optional_fields{$type_name};
698 foreach my $field ($type->fields()) {
699 my $field_type_name = $field->type_name;
700 $field_type_name =~ s/\s+DECLSPEC_ALIGN\(\d+\)//;
701 my $field_name = $field->name;
702 my $field_size = $field->size;
703 my $field_offset = $field->offset;
704 my $field_align = $field->align;
706 next if $field_name eq "" || (defined($field_size) && $field_size < 0);
707 # We cannot take the address of a bitfield with MSVC
708 next if ($field_type_name =~ /:/);
710 if ($$optional_fields{$field_name}) {
712 } elsif (defined($field_size) && defined($field_offset)) {
713 $field_offset += $offset;
714 if ($field_name eq "DUMMYSTRUCTNAME") {
715 print OUT
"#ifdef NONAMELESSSTRUCT\n";
716 print OUT
" TEST_TYPE_SIZE ($type_name.$field_name, $field_size)\n";
717 print OUT
" TEST_FIELD_ALIGN ($type_name, $field_name, $field_align)\n";
718 print OUT
" TEST_FIELD_OFFSET($type_name, $field_name, $field_offset)\n";
720 output_test_pack_fields
(\
*OUT
, $type_name2type, $type_name2optional, $type_name2optional_fields,
721 $type_name, $$type_name2type{$field_type_name}, $field_offset);
722 print OUT
"#endif\n";
724 print OUT
" TEST_FIELD_SIZE ($type_name, $field_name, $field_size)\n";
725 print OUT
" TEST_FIELD_ALIGN ($type_name, $field_name, $field_align)\n";
726 print OUT
" TEST_FIELD_OFFSET($type_name, $field_name, $field_offset)\n";
729 # $output->write("$type_name: $field_type_name: $field_name: test not generated (offset not defined)\n");
734 ########################################################################
737 sub output_test_pack
($$$$) {
740 my $test_dir = shift;
743 my $type_names_used = shift;
745 $output->prefix("$test_dir: $test: ");
747 my @headers = $tests->get_section($test_dir, $test, "header");
748 my @type_names = $tests->get_section($test_dir, $test, "type");
750 my %type_name2optional;
751 my %type_name2optional_fields;
753 foreach my $_type_name (@type_names) {
754 my $type_name = $_type_name;
756 if ($type_name =~ s/^!//) {
757 $type_name2optional{$type_name}++;
760 my $optional_fields = {};
761 if ($type_name =~ s/:\s*(.*?)$//) {
762 my @fields = split /\s+/, $1;
763 foreach my $field (@fields) {
764 if ($field =~ s/^!//) {
765 $$optional_fields{$field}++;
770 $type_name2optional_fields{$type_name} = $optional_fields;
773 foreach my $header (@headers) {
774 my $type_name2type = $file2types{"include/$header"};
776 foreach my $_type_name (@type_names) {
777 my $type_name = $_type_name;
779 my $skip = ($type_name =~ s/^!//);
780 $type_name =~ s/:.*?$//;
781 my $type = $$type_name2type{$type_name};
782 if (!defined($type)) {
785 $$type_names_used{$type_name} = $skip ?
-1 : 1;
788 print OUT
"static void test_${test}_$type_name(void)\n";
790 output_test_pack_type
(\
*OUT
, $type_name2type, \
%type_name2optional, \
%type_name2optional_fields,
792 output_test_pack_fields
(\
*OUT
, $type_name2type, \
%type_name2optional, \
%type_name2optional_fields,
793 $type_name, $type, 0);
801 ########################################################################
804 sub output_file
($$$$) {
807 my $test_dir = shift;
808 my @tests = @
{(shift)};
810 my $type_names_used = shift;
812 output_header
(\
*OUT
, $test_dir, \
@tests);
814 foreach my $test (@tests) {
815 my %type_names_used2;
817 if ($test eq "pack") {
818 output_test_pack
(\
*OUT
, $test_dir, $test, \
%type_names_used2);
820 die "no such test ($test)\n";
823 print OUT
"static void test_$test(void)\n";
825 foreach my $type_name (sort(keys(%type_names_used2))) {
826 $$type_names_used{$type_name} = $type_names_used2{$type_name};
827 if ($type_names_used2{$type_name} > 0) {
828 print OUT
" test_${test}_$type_name();\n";
835 output_footer
(\
*OUT
, $test_dir, \
@tests);
840 ########################################################################
843 my %type_names_used = ();
845 my @test_dirs = $tests->get_test_dirs();
846 foreach my $test_dir (@test_dirs) {
847 my $file = "$wine_dir/$test_dir/generated.c";
848 replace_file
($file, \
&output_file
, $test_dir, \
@tests, \
%type_names_used);
851 foreach my $header (sort(keys(%file2types))) {
852 $output->prefix("$header: ");
853 $header =~ s
%^include
/%%;
854 my $type_name2type = $file2types{"include/$header"};
855 foreach my $_type_name (sort(keys(%$type_name2type))) {
856 my $type_name = $_type_name;
858 if (!exists($type_names_used{$type_name})) {
859 $output->write("$type_name: type not used\n");
864 $output->prefix("$winapi_dir/tests.dat: ");
865 foreach my $type_name (sort(keys(%type_names_used))) {
867 foreach my $header (sort(keys(%file2types))) {
868 my $type_name2type = $file2types{"include/$header"};
869 if (exists($type_name2type{$type_name})) {
875 $output->write("$type_name: type not used\n");