|
131
|
1 # Copyright (C) 2018 Free Software Foundation, Inc.
|
|
|
2
|
|
|
3 # This program is free software; you can redistribute it and/or modify
|
|
|
4 # it under the terms of the GNU General Public License as published by
|
|
|
5 # the Free Software Foundation; either version 3 of the License, or
|
|
|
6 # (at your option) any later version.
|
|
|
7 #
|
|
|
8 # This program is distributed in the hope that it will be useful,
|
|
|
9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
11 # GNU General Public License for more details.
|
|
|
12 #
|
|
|
13 # You should have received a copy of the GNU General Public License
|
|
|
14 # along with GCC; see the file COPYING3. If not see
|
|
|
15 # <http://www.gnu.org/licenses/>.
|
|
|
16
|
|
|
17 # Tests that test dejagnu extensions used in gcc testing
|
|
|
18
|
|
|
19 load_lib "scantree.exp"
|
|
|
20 load_lib "scanrtl.exp"
|
|
|
21 load_lib "scanipa.exp"
|
|
|
22 load_lib "scanlang.exp"
|
|
|
23 load_lib "lto.exp"
|
|
|
24 load_lib "scanasm.exp"
|
|
|
25 load_lib "scanwpaipa.exp"
|
|
|
26 load_lib "scanltranstree.exp"
|
|
|
27 load_lib "scanoffloadtree.exp"
|
|
|
28 load_lib "gcc-dg.exp"
|
|
|
29
|
|
|
30 proc verify_call_1 { args } {
|
|
|
31 set call_name [lindex $args 0]
|
|
|
32 set call_args [lindex $args 1]
|
|
|
33 set expected_error [lindex $args 2]
|
|
|
34 set testid [lindex $args 3]
|
|
|
35
|
|
|
36 set errMsg ""
|
|
|
37 catch {
|
|
|
38 eval $call_name $call_args
|
|
|
39 } errMsg
|
|
|
40
|
|
|
41 if { "$errMsg" != "$expected_error" } {
|
|
|
42 send_log "For call $call_name $call_args\n"
|
|
|
43 send_log "expected: $expected_error\n"
|
|
|
44 send_log "but got: $errMsg\n"
|
|
|
45 fail "$testid"
|
|
|
46 return
|
|
|
47 } else {
|
|
|
48 pass "$testid"
|
|
|
49 }
|
|
|
50 }
|
|
|
51
|
|
|
52 proc verify_call { args } {
|
|
|
53 set call_name [lindex $args 0]
|
|
|
54 set call_args [lindex $args 1]
|
|
|
55 set expected_error [lindex $args 2]
|
|
|
56 verify_call_1 $call_name $call_args "$call_name: $expected_error" \
|
|
|
57 "$call_name: $expected_error"
|
|
|
58 }
|
|
|
59
|
|
|
60 proc verify_call_np { args } {
|
|
|
61 set call_name [lindex $args 0]
|
|
|
62 set call_args [lindex $args 1]
|
|
|
63 set expected_error [lindex $args 2]
|
|
|
64 verify_call_1 $call_name $call_args "$expected_error" \
|
|
|
65 "$call_name: $expected_error"
|
|
|
66 }
|
|
|
67
|
|
|
68 proc dg_final_directive_check_num_args {} {
|
|
|
69 proc verify_args { args } {
|
|
|
70 set proc_name [lindex $args 0]
|
|
|
71 set min [lindex $args 1]
|
|
|
72 set max [lindex $args 2]
|
|
|
73 set too_many [list]
|
|
|
74 set too_few [list]
|
|
|
75 for {set i 0} {$i < $min - 1} {incr i} {
|
|
|
76 lappend too_few $i
|
|
|
77 }
|
|
|
78 for {set i 0} {$i < $max + 1} {incr i} {
|
|
|
79 lappend too_many $i
|
|
|
80 }
|
|
|
81 verify_call $proc_name $too_many "too many arguments"
|
|
|
82 verify_call $proc_name $too_few "too few arguments"
|
|
|
83 }
|
|
|
84
|
|
|
85 foreach kind [list "tree" "rtl" "ipa" "ltrans-tree" "wpa-ipa" "offload-tree"] {
|
|
|
86 verify_args scan-$kind-dump 2 3
|
|
|
87 verify_args scan-$kind-dump-times 3 4
|
|
|
88 verify_args scan-$kind-dump-not 2 3
|
|
|
89 verify_args scan-$kind-dump-dem 2 3
|
|
|
90 verify_args scan-$kind-dump-dem-not 2 3
|
|
|
91 }
|
|
|
92
|
|
|
93 verify_args scan-lang-dump 2 3
|
|
|
94
|
|
|
95 verify_args object-readelf 2 3
|
|
|
96
|
|
|
97 verify_args scan-assembler-times 2 3
|
|
|
98 verify_args scan-assembler-dem 1 2
|
|
|
99 verify_args scan-assembler-dem-not 1 2
|
|
|
100
|
|
|
101 verify_args object-size 3 4
|
|
|
102
|
|
|
103 global testname_with_flags
|
|
|
104 set testname_with_flags "test.c"
|
|
|
105 verify_args scan-assembler 1 2
|
|
|
106 verify_args scan-assembler-not 1 2
|
|
|
107 verify_args scan-hidden 1 2
|
|
|
108 verify_args scan-not-hidden 1 2
|
|
|
109 verify_args scan-file 2 3
|
|
|
110 verify_args scan-file-not 2 3
|
|
|
111 verify_args scan-stack-usage 1 2
|
|
|
112 verify_args scan-stack-usage-not 1 2
|
|
|
113 verify_args scan-ada-spec 1 2
|
|
|
114 verify_args scan-ada-spec-not 1 2
|
|
|
115 verify_args scan-lto-assembler 1 2
|
|
|
116 unset testname_with_flags
|
|
|
117 }
|
|
|
118
|
|
|
119 proc dg_final_directive_check_utils {} {
|
|
|
120 verify_call_np get-absolute-line [list "" bla] \
|
|
|
121 "dg-line var bla used, but not defined"
|
|
|
122 verify_call_np get-absolute-line [list 1 bla] \
|
|
|
123 "dg-line var bla used at line 1, but not defined"
|
|
|
124 }
|
|
|
125
|
|
|
126 if ![gcc_parallel_test_run_p dg-final] {
|
|
|
127 return
|
|
|
128 }
|
|
|
129 gcc_parallel_test_enable 0
|
|
|
130 dg_final_directive_check_num_args
|
|
|
131 dg_final_directive_check_utils
|
|
|
132 gcc_parallel_test_enable 1
|
