3 # A handy script to try a customized .cloog file. The pluto system does not use
4 # this script. Only meant for power users!
8 # This script is in the public domain
11 # recloog <-f option to cloog> <-l option to CLooG> <existing C file> <new .cloog file>
17 echo -e "\trecloog {-f option to cloog} {-l option to CLooG} {existing C file} {new .cloog file}"
21 cloog
-cpp 1 -esp 1 -csp 1 -f $1 -l $2 $4 > .out.c
23 NUMLINES
=`wc -l $3 | awk '{print $1}'`
25 grep -B $NUMLINES "/* Generated from" $3 |
grep -v "/* Generated" > .header
26 grep -A $NUMLINES "/* End of CLooG code" $3 > .footer
28 cat .header .out.c .footer
> $3
29 rm -f .header .out.c .footer