blob: ce52c4b51f617d155e960a6300e57e6428021aa4 (
plain) (
blame)
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
|
# This procedure executes one line of a test case's execution script.
proc execOneLine { test PRS outcome lineno line } {
set status 0
set resultmsg ""
set retval [ catch { eval exec -keepnewline -- $line } errmsg ]
if { $retval != 0 } {
set code [lindex $::errorCode 0]
set lineno [expr $lineno + 1]
if { $PRS != ""} {
set PRS " for $PRS"
}
set errmsg " at line $lineno\nwhile running: $line\n$errmsg"
switch "$code" {
CHILDSTATUS {
set status [lindex $::errorCode 2]
if { $status != 0 } {
set resultmsg "$test$PRS\nFailed with exit($status)$errmsg"
}
}
CHILDKILLED {
set signal [lindex $::errorCode 2]
set resultmsg "$test$PRS\nFailed with signal($signal)$errmsg"
}
CHILDSUSP {
set signal [lindex $::errorCode 2]
set resultmsg "$test$PRS\nFailed with suspend($signal)$errmsg"
}
POSIX {
set posixNum [lindex $::errorCode 1]
set posixMsg [lindex $::errorCode 2]
set resultmsg "$test$PRS\nFailed with posix($posixNum,$posixMsg)$errmsg"
}
NONE {
}
default {
}
}
}
return $resultmsg
}
# This procedure performs variable substitutions on the RUN: lines of a test
# cases.
proc substitute { line test tmpFile } {
global srcroot objroot srcdir objdir subdir target_triplet
global llvmgcc llvmgxx llvmgcc_version
set path [file join $srcdir $subdir]
# Substitute all Tcl variables.
set new_line [subst $line ]
#replace %llvmgcc with actual path to llvmgcc
regsub -all {%llvmgcc} $new_line "$llvmgcc -emit-llvm" new_line
#replace %llvmgxx with actual path to llvmg++
regsub -all {%llvmgxx} $new_line "$llvmgxx -emit-llvm" new_line
#replace %klee with klee binary
regsub -all {%klee} $new_line "klee" new_line
#replace %kleaver with kleaver binary
regsub -all {%kleaver} $new_line "kleaver" new_line
#replace %p with path to source,
regsub -all {%p} $new_line [file join $srcdir $subdir] new_line
#replace %s with filename
regsub -all {%s} $new_line $test new_line
#replace %t with temp filenames
regsub -all {%t} $new_line $tmpFile new_line
#replace %% with %
regsub -all {%%} $new_line % new_line
return $new_line
}
# This procedure runs the set of tests for the test_source_files array.
proc RunLLVMTests { test_source_files } {
global srcroot objroot srcdir objdir subdir TEST_FEATURE_LIST target_triplet
set timeout 60
set path [file join $objdir $subdir]
#Make Output Directory if it does not exist already
if { [file exists path] } {
cd $path
} else {
file mkdir $path
cd $path
}
file mkdir Output
cd Output
foreach test $test_source_files {
#Should figure out best way to set the timeout
#set timeout 40
set filename [file tail $test]
set outcome PASS
set tmpFile "$filename.tmp"
#set hasRunline bool to check if testcase has a runline
set numLines 0
# Open the test file and start reading lines
set testFileId [ open $test r]
set runline ""
set PRNUMS ""
foreach line [split [read $testFileId] \n] {
# if its the END. line then stop parsing (optimization for big files)
if {[regexp {END.[ *]$} $line match endofscript]} {
break
# if the line is continued, concatenate and continue the loop
} elseif {[regexp {RUN: *(.+)(\\)$} $line match oneline suffix]} {
set runline "$runline$oneline "
# if its a terminating RUN: line then do substitution on the whole line
# and then save the line.
} elseif {[regexp {RUN: *([^&]+)(&&)?} $line match oneline suffix]} {
set runline "$runline$oneline"
set runline [ substitute $runline $test $tmpFile ]
set lines($numLines) $runline
set numLines [expr $numLines + 1]
set runline ""
# if its an PR line, save the problem report number
} elseif {[regexp {PR([0-9]+)} $line match prnum]} {
if {$PRNUMS == ""} {
set PRNUMS "PR$prnum"
} else {
set PRNUMS "$PRNUMS,$prnum"
}
# if its an XFAIL line, see if we should be XFAILing or not.
} elseif {[regexp {XFAIL:[ *](.+)} $line match features]} {
set features
foreach feature [split $features ,] {
if { [regexp {\*} $feature match] } {
set outcome XFAIL
} elseif { [regexp $feature $target_triplet match] } {
set outcome XFAIL
} elseif { [regexp $feature $TEST_FEATURE_LIST match] } {
set outcome XFAIL
}
}
}
}
# Done reading the script
close $testFileId
if { $numLines == 0 } {
fail "$test: \nDoes not have a RUN line\n"
} else {
set failed 0
for { set i 0 } { $i < $numLines } { set i [ expr $i + 1 ] } {
regsub ^.*RUN:(.*) $lines($i) \1 theLine
set resultmsg [execOneLine $test $PRNUMS $outcome $i $theLine ]
if { $resultmsg != "" } {
if { $outcome == "XFAIL" } {
xfail "$resultmsg"
} else {
fail "$resultmsg"
}
set failed 1
break
}
}
if { $failed } {
continue
} else {
if { $PRNUMS != "" } {
set PRNUMS " for $PRNUMS"
}
if { $outcome == "XFAIL" } {
xpass "$test$PRNUMS"
} else {
pass "$test$PRNUMS"
}
}
}
}
}
# Check if klee was configured with POSIX runtime support.
proc klee_supports_posix_runtime { } {
global ENABLE_POSIX_RUNTIME
if { $ENABLE_POSIX_RUNTIME == "1" } {
return 1
}
return 0
}
# Check if klee was configured with uclibc support.
proc klee_supports_uclibc { } {
global ENABLE_UCLIBC
if { $ENABLE_UCLIBC == "1" } {
return 1
}
return 0
}
|
