1. Only read the first 1024 bytes of the file. The RUN: lines should all be
within that amount of space. This keeps I/O costs down when reading
very large files.
2. Print PR numbers with a PR prefix so it is clear what they are.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@36071
91177308-0d34-0410-b5e6-
96231b3b80d8
set testFileId [ open $test r]
set runline ""
set PRNUMS ""
- foreach line [split [read $testFileId] \n] {
+ foreach line [split [read $testFileId 1024] \n] {
# if its the END. line then stop parsing (optimization for big files)
if {[regexp {END.[ *]$} $line match endofscript]} {
# if its an PR line, save the problem report number
} elseif {[regexp {PR([0-9]+)} $line match prnum]} {
if {$PRNUMS == ""} {
- set PRNUMS $prnum
+ set PRNUMS "PR$prnum"
} else {
set PRNUMS "$PRNUMS,$prnum"
}