aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/ss/ss.exp
blob: b393f973425a3dcff2ffb94334bb826f0724db0b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
# APPLE LOCAL entire file 
#   Copyright (C) 1997, 2002, 2003 Free Software Foundation, Inc.

# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
# 
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
# 
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  

# GCC testsuite for symbol separation interaction,
# that uses the `dg.exp' driver.

# Load support procs.
load_lib gcc-dg.exp

# Initialize `dg'.
dg-init

# Get checksum (first field of BINCL and EXCL stab information 
proc get_checksum {input_file search_string} {

    # Regular expression to extract hexadecimal word
    set hexexp {[0-9a-fA-F]+}

    # Do nm on input_file and grep for search_string
    catch {exec nm -ap $input_file >& $input_file.nm}
    catch {exec grep "$search_string" $input_file.nm >& $input_file.grep}

    # Extract dummy-checksum from the grep result (first hexdecimal word) 
    # and save it in RESULT
    set file_h [open $input_file.grep r]
    while {[gets $file_h line] >= 0} {
	# We expect only one line in file_h
	regexp $hexexp $line RESULT
    }
    close $file_h

    # Clean up
    catch { file delete "$input_file.nm" }
    catch { file delete "$input_file.grep" }

    # Return check sum
    return $RESULT
}

set old_dg_do_what_default "${dg-do-what-default}"

# Main loop.
foreach test [lsort [glob -nocomplain $srcdir/$subdir/*.c]] {
    global runtests torture_without_loops dg-do-what-default

    # If we're only testing specific files and this isn't one of them, skip it.
    if ![runtest_file_p $runtests $test] {
	continue
    }

    # [file tail name] returns part of name after last /
    set nshort "$subdir/[file tail $test]"
    set short_bname "[file rootname [file tail $test]]"
    set bname "[file rootname $test]"
    set hexexp {[0-9a-fA-F]+}
    set ss_exp_debug 0

    catch { file delete "$bname.h" }
    catch { file delete "$bname.h.cinfo" }
    catch { file delete "$bname.o" }
    catch { file delete "$bname.h.o" }

    # We don't try to use the loop-optimizing options, since they are highly
    # unlikely to make any difference to CINFO.
    foreach flags $torture_without_loops {
	verbose "Testing $nshort, $flags" 1

	if {$ss_exp_debug == 1} {
	    puts "ss_exp_debug: various names"
	    puts "ss_exp_debug bname:";       puts $bname
	    puts "ss_exp_debug bname.ssh:";   puts $bname.ssh
	    puts "ss_exp_debug test:";        puts $test
	    puts "ss_exp_debug short_bname:"; puts $short_bname
	}

	# 1) compile foo.h to create foo.cinfo and foo.h.o
	if { [ file exists "$bname.ssh" ] } {

	    # For the header files, the default is to make repository
	    set dg-do-what-default assemble

	    # Header files are supplied using .ssh extension, so that we can
	    # identify candidates for makeing symbol repository. Get header copy
	    # with .h here.
	    file copy -force "$bname.ssh" "$bname.h"
	    file copy -force "$bname.ssh" "$short_bname.h"

	    # Make repository
	    # This will create two output files, $short_bname.o and $short_h.cinfo 
	    dg-test -keep-output "$bname.h" $flags "-fsave-repository=. "

	    if { [ file exists "$short_bname.o" ] } {
		file rename -force "$short_bname.o" "$bname.h.o"

		# Do nm on $bname.h.o and grep for "BINCL $bname.h"
		# Extract dummy-checksum from the grep result and save it in RESULT1
		set RESULT1 [get_checksum $bname.h.o "BINCL $bname.h"]

		if {$ss_exp_debug == 1} {
		    puts "ss_exp_debug: RESULT1"; puts $RESULT1
		}

		pass "$nshort $flags Make Repository"

	    } else {
		set RESULT1 " "
		fail "$nshort $flags Make Repository"
	    }

	    if { [ file exists "$short_bname.h.cinfo" ] } {
		
		# 2) compile foo.c to create foo.o
		dg-test -keep-output $test $flags "-I. -grepository -Winvalid-sr"
		if { [ file exists "$short_bname.o" ] } {

		    # Do nm on $bname.o and grep for "EXCL $bname.h"
		    # Extract dummy-checksum from the grep result and save it in RESULT2
		    set RESULT2 [get_checksum $short_bname.o "EXCL $bname.h"]

		    if {$ss_exp_debug == 1} {
			puts "ss_exp_debug: RESULT2"; puts $RESULT2
		    }

		    pass "$nshort $flags Use symbol repository"

		} else {
		    set RESULT2 " "
		    fail "$nshort $flags Use symbol repository YES"
		}
		
	    
		if { [ file exists "$bname.part_2.c" ] } {
		    
		    # 3) compile foo_part_2.c to create foo_part_2.o
		    dg-test -keep-output "$bname_part_2.c" $flags "-I. -grepository"
		    if { [ file exists "$short_bname_part_2.o" ] } {

			# Do nm on $bname_part_2.o and grep for "EXCL $bname.h"
			# Extract dummy-checksum from the grep result and save it in RESULT3
			set RESULT3 [get_checksum $short_bname_part_2.o "EXCL $bname.h"]

			if {$ss_exp_debug == 1} {
			    puts "ss_exp_debug: RESULT3"; puts $RESULT3
			}

			pass "$nshort $flags Use symbol repository"

		    } else {
			set RESULT3 " "
			fail "$nshort $flags Use symbol repository"
		    }

		    # 4) Link foo.h.o foo.o and foo_part_2.o to create foo
		    set dg-do-what-default link
		    dg-test -keep-output "$bname.h.o" "$bname.o" "$bname_part_2.o" "-o $short_bname.out"

		    # 5) do 'nm |grep ' on final assembler and save result in RES4
		    # Do nm on $bname.out and grep for "EXCL $bname.h"
		    # Extract dummy-checksum from the grep result and save it in RESULT4
		    set RESULT4 [get_checksum $short_bname.out "EXCL $bname.h"]

		    # Do nm on $bname.out and grep for "BINCL $bname.h"
		    # Extract dummy-checksum from the grep result and save it in RESULT5
		    set RESULT5 [get_checksum $short_bname.out "BINCL $bname.h"]

		    if {$ss_exp_debug == 1} {
			puts "ss_exp_debug: RESULT4"; puts $RESULT4
			puts "ss_exp_debug: RESULT5"; puts $RESULT5
		    }

		    pass "$nshort $flags symbol separation: linking"

		} else {

		    # If we are not testing second part then set values so that comparison test succeeds
		    set RESULT3 $RESULT2
		    set RESULT4 $RESULT2
		    set RESULT5 $RESULT2
		    if {$ss_exp_debug == 1} {
			puts "ss_exp_debug: RESULT3"; puts $RESULT3
			puts "ss_exp_debug: RESULT4"; puts $RESULT4
			puts "ss_exp_debug: RESULT5"; puts $RESULT5
		    }
		}

		# 6) Compare RES1 and RES2 and RES3 and RES4
		if { ( $RESULT1 == $RESULT2 )
		     && ( $RESULT1 == $RESULT3 ) 
		     && ( $RESULT1 == $RESULT4 ) } {
		    pass "$nshort $flags symbol separation valid use test"
		} else {
		    fail "$nshort $flags symbol separation valid use test"
		}
		if { ( $RESULT1 == $RESULT5 ) } {
		    pass "$nshort $flags symbol separation link test"
		} else {
		    fail "$nshort $flags symbol separation link test"
		}

	    } else {
		fail "$nshort $flags Make repository"
	    }
	} else {

	    # Normal test
	    set dg-do-what-default compile
	    dg-test -keep-output $test $flags "-I."
	}

	# Clean up
	catch { file delete "$bname.h" }
	catch { file delete "$bname.h.cinfo" }
	catch { file delete "$bname.o" }
	catch { file delete "$bname.h.o" }
    }
}

set dg-do-what-default "$old_dg_do_what_default"

# All done.
dg-finish