blob: 8bf3a6133d12b1a1374047ad1e9eb07373925aca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/bash
/home/yuki/Work/VERIMAG/Compcert_neutral/ccomp -stdlib ../../runtime -dparse -dclight -S -fstruct-return -c clause2.c > log 2>&1
b1=$(cat log | ack "LDP_CONSEC_PEEP_IMM_DEC_ldr64")
sb1=$?
b2=$(cat log | ack "LDP_BACK_SPACED_PEEP_IMM_DEC_ldr32")
sb2=$?
b3=$(cat log | ack "STP_FORW_SPACED_PEEP_IMM_INC_str32")
sb3=$?
b4=$(cat log | ack "STP_CONSEC_PEEP_IMM_INC_str64")
sb4=$?
#if [ "$sb1" == 0 ] && [ "$sb2" == 0 ] && [ "$sb3" == 0 ] && [ "$sb4" == 0 ]
if [ "$sb1" == 0 ] && [ "$sb2" == 0 ] && [ "$sb3" == 0 ] && [ "$sb4" == 0 ]
then
exit 0
else
exit 1
fi
|
