gas/testsuite/lib/gas-defs.exp

   1 # Copyright (C) 1993, 1994, 1997, 1998, 1999, 2000 Free Software
   2 # Foundation, Inc.
   3
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 2 of the License, or
   7 # (at your option) any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13 #
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program; if not, write to the Free Software
  16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  17
  18 # Please email any bugs, comments, and/or additions to this file to:
  19 # DejaGnu@cygnus.com
  20
  21 # This file was written by Ken Raeburn (raeburn@cygnus.com).
  22
  23 proc gas_version {} {
  24     global AS
  25     catch "exec $AS -version < /dev/null" tmp
  26     # Should find a way to discard constant parts, keep whatever's
  27     # left, so the version string could be almost anything at all...
  28     regexp "\[^\n\]* (cygnus-|)(\[-0-9.a-zA-Z-\]+)\[\r\n\].*" $tmp version cyg number
  29     if ![info exists number] then {
  30         return "[which $AS] (no version number)\n"
  31     }
  32     clone_output "[which $AS] $number\n"
  33     unset version
  34 }
  35
  36 proc gas_run { prog as_opts redir } {
  37     global AS
  38     global ASFLAGS
  39     global comp_output
  40     global srcdir
  41     global subdir
  42     global host_triplet
  43
  44     verbose "Executing $srcdir/lib/run $AS $ASFLAGS $as_opts $srcdir/$subdir/$prog $redir"
  45     catch "exec $srcdir/lib/run $AS $ASFLAGS $as_opts $srcdir/$subdir/$prog $redir" comp_output
  46     set comp_output [prune_warnings $comp_output]
  47     verbose "output was $comp_output"
  48     return [list $comp_output ""];
  49 }
  50
  51 proc all_ones { args } {
  52     foreach x $args { if [expr $x!=1] { return 0 } }
  53     return 1
  54 }
  55
  56 proc gas_start { prog as_opts } {
  57     global AS
  58     global ASFLAGS
  59     global srcdir
  60     global subdir
  61     global spawn_id
  62
  63     verbose "Starting $AS $ASFLAGS $as_opts $prog" 2
  64     catch {
  65         spawn -noecho -nottycopy $srcdir/lib/run $AS $ASFLAGS $as_opts $srcdir/$subdir/$prog
  66     } foo
  67     if ![regexp {^[0-9]+} $foo] then {
  68         perror "Can't run $subdir/$prog: $foo"
  69     }
  70 }
  71
  72 proc gas_finish { } {
  73     global spawn_id
  74
  75     catch "close"
  76     catch "wait"
  77 }
  78
  79 proc want_no_output { testname } {
  80     global comp_output
  81
  82     if ![string match "" $comp_output] then {
  83         send_log "$comp_output\n"
  84         verbose "$comp_output" 3
  85     }
  86     if [string match "" $comp_output] then {
  87         pass "$testname"
  88         return 1
  89     } else {
  90         fail "$testname"
  91         return 0
  92     }
  93 }
  94
  95 proc gas_test_old { file as_opts testname } {
  96     gas_run $file $as_opts ""
  97     return [want_no_output $testname]
  98 }
  99
 100 proc gas_test { file as_opts var_opts testname } {
 101     global comp_output
 102
 103     set i 0
 104     foreach word $var_opts {
 105         set ignore_stdout($i) [string match "*>" $word]
 106         set opt($i) [string trim $word {>}]
 107         incr i
 108     }
 109     set max [expr 1<<$i]
 110     for {set i 0} {[expr $i<$max]} {incr i} {
 111         set maybe_ignore_stdout ""
 112         set extra_opts ""
 113         for {set bit 0} {(1<<$bit)<$max} {incr bit} {
 114             set num [expr 1<<$bit]
 115             if [expr $i&$num] then {
 116                 set extra_opts "$extra_opts $opt($bit)"
 117                 if $ignore_stdout($bit) then {
 118                     set maybe_ignore_stdout ">/dev/null"
 119                 }
 120             }
 121         }
 122         set extra_opts [string trim $extra_opts]
 123         gas_run $file "$as_opts $extra_opts" $maybe_ignore_stdout
 124
 125         # Should I be able to use a conditional expression here?
 126         if [string match "" $extra_opts] then {
 127             want_no_output $testname
 128         } else {
 129             want_no_output "$testname ($extra_opts)"
 130         }
 131     }
 132     if [info exists errorInfo] then {
 133         unset errorInfo
 134     }
 135 }
 136
 137 proc gas_test_ignore_stdout { file as_opts testname } {
 138     global comp_output
 139
 140     gas_run $file $as_opts ">/dev/null"
 141     want_no_output $testname
 142 }
 143
 144 proc gas_test_error { file as_opts testname } {
 145     global comp_output
 146
 147     gas_run $file $as_opts ">/dev/null"
 148     if ![string match "" $comp_output] then {
 149         send_log "$comp_output\n"
 150         verbose "$comp_output" 3
 151     }
 152     if [string match "" $comp_output] then {
 153         fail "$testname"
 154     } else {
 155         pass "$testname"
 156     }
 157 }
 158
 159 proc gas_exit {} {}
 160
 161 proc gas_init { args } {
 162     global target_cpu
 163     global target_cpu_family
 164     global target_family
 165     global target_vendor
 166     global target_os
 167     global stdoptlist
 168
 169     case "$target_cpu" in {
 170         "m68???"                { set target_cpu_family m68k }
 171         "i[34]86"               { set target_cpu_family i386 }
 172         default                 { set target_cpu_family $target_cpu }
 173     }
 174
 175     set target_family "$target_cpu_family-$target_vendor-$target_os"
 176     set stdoptlist "-a>"
 177
 178     if ![istarget "*-*-*"] {
 179         perror "Target name [istarget] is not a triple."
 180     }
 181     # Need to return an empty string.
 182     return
 183 }
 184
 185
 186 # run_dump_test FILE
 187 #
 188 # Assemble a .s file, then run some utility on it and check the output.
 189 #
 190 # There should be an assembly language file named FILE.s in the test
 191 # suite directory, and a pattern file called FILE.d.  `run_dump_test'
 192 # will assemble FILE.s, run some tool like `objdump', `objcopy', or
 193 # `nm' on the .o file to produce textual output, and then analyze that
 194 # with regexps.  The FILE.d file specifies what program to run, and
 195 # what to expect in its output.
 196 #
 197 # The FILE.d file begins with zero or more option lines, which specify
 198 # flags to pass to the assembler, the program to run to dump the
 199 # assembler's output, and the options it wants.  The option lines have
 200 # the syntax:
 201 #
 202 #         # OPTION: VALUE
 203 #
 204 # OPTION is the name of some option, like "name" or "objdump", and
 205 # VALUE is OPTION's value.  The valid options are described below.
 206 # Whitespace is ignored everywhere, except within VALUE.  The option
 207 # list ends with the first line that doesn't match the above syntax
 208 # (hmm, not great for error detection).
 209 #
 210 # The interesting options are:
 211 #
 212 #   name: TEST-NAME
 213 #       The name of this test, passed to DejaGNU's `pass' and `fail'
 214 #       commands.  If omitted, this defaults to FILE, the root of the
 215 #       .s and .d files' names.
 216 #
 217 #   as: FLAGS
 218 #       When assembling FILE.s, pass FLAGS to the assembler.
 219 #
 220 #   PROG: PROGRAM-NAME
 221 #       The name of the program to run to analyze the .o file produced
 222 #       by the assembler.  This can be omitted; run_dump_test will guess
 223 #       which program to run by seeing which of the flags options below
 224 #       is present.
 225 #
 226 #   objdump: FLAGS
 227 #   nm: FLAGS
 228 #   objcopy: FLAGS
 229 #       Use the specified program to analyze the .o file, and pass it
 230 #       FLAGS, in addition to the .o file name.
 231 #
 232 #   source: SOURCE
 233 #       Assemble the file SOURCE.s.  If omitted, this defaults to FILE.s.
 234 #       This is useful if several .d files want to share a .s file.
 235 #
 236 # Each option may occur at most once.
 237 #
 238 # After the option lines come regexp lines.  `run_dump_test' calls
 239 # `regexp_diff' to compare the output of the dumping tool against the
 240 # regexps in FILE.d.  `regexp_diff' is defined later in this file; see
 241 # further comments there.
 242
 243 proc run_dump_test { name } {
 244     global subdir srcdir
 245     global OBJDUMP NM AS OBJCOPY
 246     global OBJDUMPFLAGS NMFLAGS ASFLAGS OBJCOPYFLAGS
 247     global host_triplet
 248
 249     if [string match "*/*" $name] {
 250         set file $name
 251         set name [file tail $name]
 252     } else {
 253         set file "$srcdir/$subdir/$name"
 254     }
 255     set opt_array [slurp_options "${file}.d"]
 256     if { $opt_array == -1 } {
 257         perror "error reading options from $file.d"
 258         unresolved $subdir/$name
 259         return
 260     }
 261     set opts(as) {}
 262     set opts(objdump) {}
 263     set opts(nm) {}
 264     set opts(objcopy) {}
 265     set opts(name) {}
 266     set opts(PROG) {}
 267     set opts(source) {}
 268
 269     foreach i $opt_array {
 270         set opt_name [lindex $i 0]
 271         set opt_val [lindex $i 1]
 272         if ![info exists opts($opt_name)] {
 273             perror "unknown option $opt_name in file $file.d"
 274             unresolved $subdir/$name
 275             return
 276         }
 277         if [string length $opts($opt_name)] {
 278             perror "option $opt_name multiply set in $file.d"
 279             unresolved $subdir/$name
 280             return
 281         }
 282         set opts($opt_name) $opt_val
 283     }
 284
 285     if {$opts(PROG) != ""} {
 286         switch -- $opts(PROG) {
 287             objdump
 288                 { set program objdump }
 289             nm
 290                 { set program nm }
 291             objcopy
 292                 { set program objcopy }
 293             default
 294                 { perror "unrecognized program option $opts(PROG) in $file.d"
 295                   unresolved $subdir/$name
 296                   return }
 297         }
 298     } else {
 299         # Guess which program to run, by seeing which option was specified.
 300         set program ""
 301         foreach p {objdump objcopy nm} {
 302             if {$opts($p) != ""} {
 303                 if {$program != ""} {
 304                     perror "ambiguous dump program in $file.d"
 305                     unresolved $subdir/$name
 306                     return
 307                 } else {
 308                     set program $p
 309                 }
 310             }
 311         }
 312         if {$program == ""} {
 313             perror "dump program unspecified in $file.d"
 314             unresolved $subdir/$name
 315             return
 316         }
 317     }
 318
 319     set progopts1 $opts($program)
 320     eval set progopts \$[string toupper $program]FLAGS
 321     eval set binary \$[string toupper $program]
 322     if { $opts(name) == "" } {
 323         set testname "$subdir/$name"
 324     } else {
 325         set testname $opts(name)
 326     }
 327
 328     if { $opts(source) == "" } {
 329         set sourcefile ${file}.s
 330     } else {
 331         set sourcefile $srcdir/$subdir/$opts(source)
 332     }
 333
 334     send_log "$AS $ASFLAGS $opts(as) -o dump.o $sourcefile\n"
 335     catch "exec $srcdir/lib/run $AS $ASFLAGS $opts(as) -o dump.o $sourcefile" comp_output
 336     set comp_output [prune_warnings $comp_output]
 337
 338     if ![string match "" $comp_output] then {
 339         send_log "$comp_output\n"
 340         verbose "$comp_output" 3
 341         fail $testname
 342         return
 343     }
 344
 345     if { [which $binary] == 0 } {
 346         untested $testname
 347         return
 348     }
 349
 350     if { $progopts1 == "" } { set $progopts1 "-r" }
 351     verbose "running $binary $progopts $progopts1" 3
 352
 353     # Objcopy, unlike the other two, won't send its output to stdout,
 354     # so we have to run it specially.
 355     if { $program == "objcopy" } {
 356         send_log "$binary $progopts $progopts1 dump.o dump.out\n"
 357         catch "exec $binary $progopts $progopts1 dump.o dump.out" comp_output
 358         set comp_output [prune_warnings $comp_output]
 359         if ![string match "" $comp_output] then {
 360             send_log "$comp_output\n"
 361             fail $testname
 362             return
 363         }
 364     } else {
 365         send_log "$binary $progopts $progopts1 dump.o > dump.out\n"
 366         catch "exec $binary $progopts $progopts1 dump.o > dump.out" comp_output
 367         set comp_output [prune_warnings $comp_output]
 368         if ![string match "" $comp_output] then {
 369             send_log "$comp_output\n"
 370             fail $testname
 371             return
 372         }
 373     }
 374
 375     verbose_eval {[file_contents "dump.out"]} 3
 376     if { [regexp_diff "dump.out" "${file}.d"] } then {
 377         fail $testname
 378         verbose "output is [file_contents "dump.out"]" 2
 379         return
 380     }
 381
 382     pass $testname
 383 }
 384
 385 proc slurp_options { file } {
 386     if [catch { set f [open $file r] } x] {
 387         #perror "couldn't open `$file': $x"
 388         perror "$x"
 389         return -1
 390     }
 391     set opt_array {}
 392     # whitespace expression
 393     set ws  {[  ]*}
 394     set nws {[^         ]*}
 395     # whitespace is ignored anywhere except within the options list;
 396     # option names are alphabetic only
 397     set pat "^#${ws}(\[a-zA-Z\]*)$ws:${ws}(.*)$ws\$"
 398     while { [gets $f line] != -1 } {
 399         set line [string trim $line]
 400         # Whitespace here is space-tab.
 401         if [regexp $pat $line xxx opt_name opt_val] {
 402             # match!
 403             lappend opt_array [list $opt_name $opt_val]
 404         } else {
 405             break
 406         }
 407     }
 408     close $f
 409     return $opt_array
 410 }
 411
 412 proc objdump { opts } {
 413     global OBJDUMP
 414     global comp_output
 415     global host_triplet
 416
 417     catch "exec $OBJDUMP $opts" comp_output
 418     set comp_output [prune_warnings $comp_output]
 419     verbose "objdump output=$comp_output\n" 3
 420 }
 421
 422 proc objdump_start_no_subdir { prog opts } {
 423     global OBJDUMP
 424     global srcdir
 425     global spawn_id
 426
 427     verbose "Starting $OBJDUMP $opts $prog" 2
 428     catch {
 429         spawn -noecho -nottyinit $srcdir/lib/run $OBJDUMP $opts $prog
 430     } foo
 431     if ![regexp {^[0-9]+} $foo] then {
 432         perror "Can't run $prog: $foo"
 433     }
 434 }
 435
 436 proc objdump_finish { } {
 437     global spawn_id
 438
 439     catch "close"
 440     catch "wait"
 441 }
 442
 443 # Default timeout is 10 seconds, loses on a slow machine.  But some
 444 # configurations of dejagnu may override it.
 445 if {$timeout<120} then { set timeout 120 }
 446
 447 expect_after -i {
 448     timeout                     { perror "timeout" }
 449     "virtual memory exhausted"  { perror "virtual memory exhausted" }
 450     buffer_full                 { perror "buffer full" }
 451     eof                         { perror "eof" }
 452 }
 453
 454 # regexp_diff, based on simple_diff taken from ld test suite
 455 #       compares two files line-by-line
 456 #       file1 contains strings, file2 contains regexps and #-comments
 457 #       blank lines are ignored in either file
 458 #       returns non-zero if differences exist
 459 #
 460 proc regexp_diff { file_1 file_2 } {
 461
 462     set eof -1
 463     set end_1 0
 464     set end_2 0
 465     set differences 0
 466     set diff_pass 0
 467
 468     if [file exists $file_1] then {
 469         set file_a [open $file_1 r]
 470     } else {
 471         warning "$file_1 doesn't exist"
 472         return 1
 473     }
 474
 475     if [file exists $file_2] then {
 476         set file_b [open $file_2 r]
 477     } else {
 478         fail "$file_2 doesn't exist"
 479         close $file_a
 480         return 1
 481     }
 482
 483     verbose " Regexp-diff'ing: $file_1 $file_2" 2
 484
 485     while { 1 } {
 486         set line_a ""
 487         set line_b ""
 488         while { [string length $line_a] == 0 } {
 489             if { [gets $file_a line_a] == $eof } {
 490                 set end_1 1
 491                 break
 492             }
 493         }
 494         while { [string length $line_b] == 0 || [string match "#*" $line_b] } {
 495             if [ string match "#pass" $line_b ] {
 496                 set end_2 1
 497                 set diff_pass 1
 498                 break
 499             } elseif [ string match "#..." $line_b ] {
 500                 if { [gets $file_b line_b] == $eof } {
 501                     set end_2 1
 502                     break
 503                 }
 504                 verbose "looking for \"^$line_b$\"" 3
 505                 while { ![regexp "^$line_b$" "$line_a"] } {
 506                     verbose "skipping    \"$line_a\"" 3
 507                     if { [gets $file_a line_a] == $eof } {
 508                         set end_1 1
 509                         break
 510                     }
 511                 }
 512                 break
 513             }
 514             if { [gets $file_b line_b] == $eof } {
 515                 set end_2 1
 516                 break
 517             }
 518         }
 519
 520         if { $diff_pass } {
 521             break
 522         } elseif { $end_1 && $end_2 } {
 523             break
 524         } elseif { $end_1 } {
 525             send_log "extra regexps in $file_2 starting with \"^$line_b$\"\nEOF from $file_1\n"
 526             verbose "extra regexps in $file_2 starting with \"^$line_b$\"\nEOF from $file_1" 3
 527             set differences 1
 528             break
 529         } elseif { $end_2 } {
 530             send_log "extra lines in $file_1 starting with \"^$line_a$\"\nEOF from $file_2\n"
 531             verbose "extra lines in $file_1 starting with \"^$line_a$\"\nEOF from $file_2\n" 3
 532             set differences 1
 533             break
 534         } else {
 535             verbose "regexp \"^$line_b$\"\nline   \"$line_a\"" 3
 536             if ![regexp "^$line_b$" "$line_a"] {
 537                 send_log "regexp_diff match failure\n"
 538                 send_log "regexp \"^$line_b$\"\nline   \"$line_a\"\n"
 539                 set differences 1
 540             }
 541         }
 542     }
 543
 544     if { $differences == 0 && !$diff_pass && [eof $file_a] != [eof $file_b] } {
 545         send_log "$file_1 and $file_2 are different lengths\n"
 546         verbose "$file_1 and $file_2 are different lengths" 3
 547         set differences 1
 548     }
 549
 550     close $file_a
 551     close $file_b
 552
 553     return $differences
 554 }
 555
 556 proc file_contents { filename } {
 557     set file [open $filename r]
 558     set contents [read $file]
 559     close $file
 560     return $contents
 561 }
 562
 563 proc verbose_eval { expr { level 1 } } {
 564     global verbose
 565     if $verbose>$level then { eval verbose "$expr" $level }
 566 }
 567
 568 # This definition is taken from an unreleased version of DejaGnu.  Once
 569 # that version gets released, and has been out in the world for a few
 570 # months at least, it may be safe to delete this copy.
 571 if ![string length [info proc prune_warnings]] {
 572     #
 573     # prune_warnings -- delete various system verbosities from TEXT.
 574     #
 575     # An example is:
 576     # ld.so: warning: /usr/lib/libc.so.1.8.1 has older revision than expected 9
 577     #
 578     # Sites with particular verbose os's may wish to override this in site.exp.
 579     #
 580     proc prune_warnings { text } {
 581         # This is from sun4's.  Do it for all machines for now.
 582         # The "\\1" is to try to preserve a "\n" but only if necessary.
 583         regsub -all "(^|\n)(ld.so: warning:\[^\n\]*\n?)+" $text "\\1" text
 584
 585         # It might be tempting to get carried away and delete blank lines, etc.
 586         # Just delete *exactly* what we're ask to, and that's it.
 587         return $text
 588     }
 589 }