Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
5541fb2f
Commit
5541fb2f
authored
Apr 10, 2018
by
Cyril SIX
Browse files
MPPA - Running tests in parallel
parent
38b906f9
Changes
3
Hide whitespace changes
Inline
Side-by-side
.gitignore
View file @
5541fb2f
# Object files, in general
**.bin
**.out
**.tok
*.vo
*.glob
*.o
...
...
test/mppa/Makefile
View file @
5541fb2f
...
...
@@ -3,6 +3,7 @@ TESTNAMES=simple call branch for forvar forvarl branchz branchzu
TESTS
=
$(
addprefix
$(DIR)
/,
$(TESTNAMES)
)
ELF
=
$(
addsuffix
.bin,
$(TESTS)
)
TOK
=
$(
addsuffix
.tok,
$(TESTS)
)
ASM
=
$(
addsuffix
.s,
$(TESTS)
)
DEBUG
:=
$(
if
$(DEBUG)
,
"-dall"
,
)
...
...
@@ -17,9 +18,14 @@ $(DIR)/%.bin: $(DIR)/%.s
$(DIR)/%.s
:
$(DIR)/%.c
ccomp
$(DEBUG)
-O0
-v
-S
$<
-o
$@
$(DIR)/%.tok
:
$(DIR)/%.bin FORCE
@
bash check.sh
$<
$@
.PHONY
:
FORCE
FORCE
:
.PHONY
:
check
:
$(ELF)
bash check.sh
$(ELF)
check
:
$(TOK)
.PHONY
:
clean
:
...
...
@@ -33,6 +39,7 @@ clean:
rm
-f
$(DIR)
/
*
.parsed.c
rm
-f
$(DIR)
/
*
.rtl.?
rm
-f
$(DIR)
/
*
.s
rm
-f
$(DIR)
/
*
.tok
rm
-f
$(DIR)
/output/
*
.out
rm
-rf
$(DIR)
/profile/
rm
-f
$(ELF)
test/mppa/check.sh
View file @
5541fb2f
# $1: binary file to check
# $2: output check token
while
[
$#
-gt
0
]
;
do
elffile
=
"
$1
"
if
[
!
-f
$elffile
]
;
then
>
&2
echo
"ERROR:
$elffile
not found"
shift
;
continue
fi
elffile
=
"
$1
"
token
=
"
$2
"
dir
=
"
$(
dirname
$elffile
)
"
elf
=
"
$(
basename
$elffile
)
"
exp
=
"
$dir
/output/
$elf
.exp"
out
=
"
$dir
/output/
$elf
.out"
if
[
!
-f
$exp
]
;
then
>
&2
echo
"ERROR:
$exp
not found"
shift
;
continue
fi
if
[
!
-f
$elffile
]
;
then
>
&2
echo
"ERROR:
$elffile
not found"
shift
;
continue
fi
k1-cluster
--
$elffile
>
$out
echo
$?
>>
$out
if
[
-f
$token
]
;
then
echo
"ALREADY PASSED:
$elffile
"
exit
fi
if
!
diff
$exp
$out
;
then
>
&2
echo
"ERROR:
$exp
and
$out
differ"
shift
;
continue
fi
dir
=
"
$(
dirname
$elffile
)
"
elf
=
"
$(
basename
$elffile
)
"
exp
=
"
$dir
/output/
$elf
.exp"
out
=
"
$dir
/output/
$elf
.out"
if
[
!
-f
$exp
]
;
then
>
&2
echo
"ERROR:
$exp
not found"
shift
;
continue
fi
echo
"PASSED:
$elf
"
shift
done
k1-cluster
--
$elffile
>
$out
echo
$?
>>
$out
if
!
diff
$exp
$out
;
then
>
&2
echo
"ERROR:
$exp
and
$out
differ"
exit
#shift; continue
fi
echo
"PASSED:
$elf
"
touch
$token
#shift
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment