CLooG 0.18.4
[cloog.git] / test / check_run.sh
blob35faf5459a674f0ca8dee14f068738c86da75608
1 #!/bin/sh
3 # /**-------------------------------------------------------------------**
4 # ** CLooG **
5 # **-------------------------------------------------------------------**
6 # ** check_run.sh **
7 # **-------------------------------------------------------------------**
8 # ** First version: November 18th 2011 **
9 # **-------------------------------------------------------------------**/
12 #/*****************************************************************************
13 # * CLooG : the Chunky Loop Generator (experimental) *
14 # *****************************************************************************
15 # * *
16 # * Copyright (C) 2003 Cedric Bastoul *
17 # * *
18 # * This library is free software; you can redistribute it and/or *
19 # * modify it under the terms of the GNU Lesser General Public *
20 # * License as published by the Free Software Foundation; either *
21 # * version 2.1 of the License, or (at your option) any later version. *
22 # * *
23 # * This library is distributed in the hope that it will be useful, *
24 # * but WITHOUT ANY WARRANTY; without even the implied warranty of *
25 # * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
26 # * Lesser General Public License for more details. *
27 # * *
28 # * You should have received a copy of the GNU Lesser General Public *
29 # * License along with this library; if not, write to the Free Software *
30 # * Foundation, Inc., 51 Franklin Street, Fifth Floor, *
31 # * Boston, MA 02110-1301 USA *
32 # * *
33 # * CLooG, the Chunky Loop Generator *
34 # * Written by Cedric Bastoul, Cedric.Bastoul@inria.fr *
35 # * *
36 # *****************************************************************************/
38 # Refactor $SPECIAL_OPTIONS list to remove quotes and to replace spaces in
39 # individual tests with %, e.g., "'file1 -f -1' 'file2'" becomes
40 # "file1%-f%-1 file2".
41 special_refactored=`echo "$SPECIAL_OPTIONS" | \
42 sed "s/' '/#/g" | \
43 sed 's/ /%/g' | \
44 sed "s/#/ /g" | \
45 sed "s/'//g"`
47 $CHECKER "RUN C" "$FINITE_CLOOGTEST_C" "" "cloog" "c" "run"
48 failedtest=$?;
50 $CHECKER "RUN SPECIAL" "$special_refactored" "" "cloog" "c" "run"
51 failedtest=`expr $failedtest + $?`;
53 $CHECKER "RUN SPECIAL -sh 1" "$special_refactored" "-sh 1" "cloog" "c" "run"
54 failedtest=`expr $failedtest + $?`;
55 return $failedtest;