OSDN Git Service

e1eb9e836012450dd4b0baf2ab6797eee221c5ae
[pf3gnuchains/gcc-fork.git] / config / cloog.m4
1 # This file is part of GCC.
2 #
3 # GCC is free software; you can redistribute it and/or modify it under
4 # the terms of the GNU General Public License as published by the Free
5 # Software Foundation; either version 3, or (at your option) any later
6 # version.
7 #
8 # GCC is distributed in the hope that it will be useful, but WITHOUT
9 # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
10 # FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
11 # for more details.
12 #
13 # You should have received a copy of the GNU General Public License
14 # along with GCC; see the file COPYING3.  If not see
15 # <http://www.gnu.org/licenses/>.
16 #
17 # Contributed by Andreas Simbuerger <simbuerg@fim.uni-passau.de>
18
19 # CLOOG_INIT_FLAGS ()
20 # -------------------------
21 # Provide configure switches for CLooG support.
22 # Initialize clooglibs/clooginc according to the user input.
23 AC_DEFUN([CLOOG_INIT_FLAGS],
24 [
25   AC_ARG_WITH(cloog,
26     [AS_HELP_STRING(
27       [--with-cloog=PATH],
28       [Specify prefix directory for the installed CLooG-PPL package.
29        Equivalent to --with-cloog-include=PATH/include
30        plus --with-cloog-lib=PATH/lib])])
31   AC_ARG_WITH([cloog-include],
32     [AS_HELP_STRING(
33       [--with-cloog-include=PATH],
34       [Specify directory for installed CLooG include files])])
35   AC_ARG_WITH([cloog-lib],
36     [AS_HELP_STRING(
37       [--with-cloog-lib=PATH],
38       [Specify the directory for the installed CLooG library])])
39
40   AC_ARG_ENABLE(cloog-backend,
41     [AS_HELP_STRING(
42       [--enable-cloog-backend[[=BACKEND]]],
43       [set the CLooG BACKEND used to either isl, ppl or ppl-legacy (default)])],
44     [ if   test "x${enableval}" = "xisl"; then
45         cloog_backend=isl
46       elif test "x${enableval}" = "xppl"; then
47         cloog_backend=ppl
48       else
49         cloog_backend=ppl-legacy
50       fi], cloog_backend=ppl-legacy)
51   AC_ARG_ENABLE(cloog-version-check,
52     [AS_HELP_STRING(
53       [--disable-cloog-version-check],
54       [disable check for CLooG version])],
55     ENABLE_CLOOG_CHECK=$enableval,
56     ENABLE_CLOOG_CHECK=yes)
57   
58   # Initialize clooglibs and clooginc.
59   case $with_cloog in
60     no)
61       clooglibs=
62       clooginc=
63       ;;
64     "" | yes)
65       ;;
66     *)
67       clooglibs="-L$with_cloog/lib"
68       clooginc="-I$with_cloog/include"
69       ;;
70   esac
71   if test "x${with_cloog_include}" != x ; then
72     clooginc="-I$with_cloog_include"
73   fi
74   if test "x${with_cloog_lib}" != x; then
75     clooglibs="-L$with_cloog_lib"
76   fi
77
78   dnl Flags needed for CLOOG
79   AC_SUBST(clooglibs)
80   AC_SUBST(clooginc)
81 ]
82 )
83
84 # CLOOG_REQUESTED (ACTION-IF-REQUESTED, ACTION-IF-NOT)
85 # ----------------------------------------------------
86 # Provide actions for failed CLooG detection.
87 AC_DEFUN([CLOOG_REQUESTED],
88 [
89   AC_REQUIRE([CLOOG_INIT_FLAGS])
90
91   if test "x${with_cloog}" != x \
92     || test "x${with_cloog_include}" != x \
93     || test "x${with_cloog_lib}" != x ; then
94     $1
95   else
96     $2
97   fi
98 ]
99 )
100
101 # _CLOOG_ORG_PROG_ISL ()
102 # ------------------
103 # Helper for detecting CLooG.org's ISL backend.
104 m4_define([_CLOOG_ORG_PROG_ISL],[AC_LANG_PROGRAM(
105   [#include "cloog/cloog.h" ],
106   [cloog_version ()])])
107
108 # _CLOOG_ORG_PROG_PPL ()
109 # ------------------
110 # Helper for detecting CLooG.org's PPL backend.
111 m4_define([_CLOOG_ORG_PROG_PPL],[AC_LANG_PROGRAM(
112   [#include "cloog/cloog.h"
113    #include "cloog/ppl/cloog.h"],
114   [cloog_version ()])])
115
116 # _CLOOG_PPL_LEGACY_PROG ()
117 # -------------------------
118 # Helper for detecting CLooG-Legacy (CLooG-PPL).
119 m4_define([_CLOOG_PPL_LEGACY_PROG], [AC_LANG_PROGRAM(
120   [#include "cloog/cloog.h"],
121   [#ifndef CLOOG_PPL_BACKEND
122     choke me
123    #endif ])])
124
125 # CLOOG_FIND_FLAGS ()
126 # ------------------
127 # Detect the used CLooG-backend and set clooginc/clooglibs/cloog_org.
128 # Only look for the CLooG backend type specified in --enable-cloog-backend
129 AC_DEFUN([CLOOG_FIND_FLAGS],
130 [
131   AC_REQUIRE([CLOOG_INIT_FLAGS])
132
133   _cloog_saved_CFLAGS=$CFLAGS
134   _cloog_saved_CPPFLAGS=$CPPFLAGS
135   _cloog_saved_LDFLAGS=$LDFLAGS
136   _cloog_saved_LIBS=$LIBS
137
138   _cloogorginc="-DCLOOG_INT_GMP -DCLOOG_ORG"
139  
140   dnl clooglibs & clooginc may have been initialized by CLOOG_INIT_FLAGS.
141   CFLAGS="${CFLAGS} ${clooginc} ${gmpinc}"
142   CPPFLAGS="${CPPFLAGS} ${_cloogorginc}"
143   LDFLAGS="${LDFLAGS} ${clooglibs}"
144
145   case $cloog_backend in
146     "ppl-legacy")
147     CFLAGS="${CFLAGS} ${pplinc}"
148     LDFLAGS="${LDFLAGS} ${ppllibs}"
149     AC_CACHE_CHECK([for installed CLooG PPL Legacy], [gcc_cv_cloog_type],
150       [LIBS="-lcloog ${_cloog_saved_LIBS}"
151       AC_LINK_IFELSE([_CLOOG_PPL_LEGACY_PROG], [gcc_cv_cloog_type="PPL Legacy"],
152                      [gcc_cv_cloog_type=no])])
153     ;;
154     "isl")
155     AC_CACHE_CHECK([for installed CLooG ISL], [gcc_cv_cloog_type],
156       [LIBS="-lcloog-isl ${_cloog_saved_LIBS}"
157       AC_LINK_IFELSE([_CLOOG_ORG_PROG_ISL], [gcc_cv_cloog_type="ISL"],
158                      [gcc_cv_cloog_type=no])])
159     ;;
160     "ppl")
161     CFLAGS="${CFLAGS} ${pplinc}"
162     LDFLAGS="${LDFLAGS} ${ppllibs}"
163     AC_CACHE_CHECK([for installed CLooG PPL], [gcc_cv_cloog_type],
164       [LIBS="-lcloog-ppl ${_cloog_saved_LIBS}"
165       AC_LINK_IFELSE([_CLOOG_ORG_PROG_PPL], [gcc_cv_cloog_type="PPL"],
166                      [gcc_cv_cloog_type=no])])
167     ;;
168     *)
169       gcc_cv_cloog_type=""
170   esac
171
172   case $gcc_cv_cloog_type in
173     "PPL Legacy")
174       clooginc="${clooginc}"
175       clooglibs="${clooglibs} -lcloog"
176       cloog_org=no
177       ;;
178     "ISL")
179       clooginc="${clooginc} ${_cloogorginc}"
180       clooglibs="${clooglibs} -lcloog-isl"
181       cloog_org=yes
182       ;;
183     "PPL")
184       clooginc="${clooginc} ${_cloogorginc}"
185       clooglibs="${clooglibs} -lcloog-ppl"
186       cloog_org=yes
187       ;;
188     *)
189       clooglibs=
190       clooginc=
191       cloog_org=
192       ;;
193   esac
194
195   LIBS=$_cloog_saved_LIBS
196   CFLAGS=$_cloog_saved_CFLAGS
197   CPPFLAGS=$_cloog_saved_CPPFLAGS
198   LDFLAGS=$_cloog_saved_LDFLAGS
199 ]
200 )
201
202 # _CLOOG_CHECK_CT_PROG(MAJOR, MINOR, REVISION)
203 # --------------------------------------------
204 # Helper for verifying CLooG's compile time version.
205 m4_define([_CLOOG_CHECK_CT_PROG],[AC_LANG_PROGRAM(
206   [#include "cloog/cloog.h"],
207   [#if CLOOG_VERSION_MAJOR != $1 \
208     || CLOOG_VERSION_MINOR != $2 \
209     || CLOOG_VERSION_REVISION < $3
210     choke me
211    #endif])])
212
213 # _CLOOG_CHECK_RT_PROG ()
214 # -----------------------
215 # Helper for verifying that CLooG's compile time version
216 # matches the run time version.
217 m4_define([_CLOOG_CHECK_RT_PROG],[AC_LANG_PROGRAM(
218   [#include "cloog/cloog.h"],
219   [if ((cloog_version_major () != CLOOG_VERSION_MAJOR)
220     && (cloog_version_minor () != CLOOG_VERSION_MINOR)
221     && (cloog_version_revision () != CLOOG_VERSION_REVISION))
222     {
223       return 1;
224     }])])
225
226 # CLOOG_CHECK_VERSION CLOOG_CHECK_VERSION (MAJOR, MINOR, REVISION)
227 # ----------------------------------------------------------------
228 # Test the found CLooG to be exact of version MAJOR.MINOR and at least
229 # REVISION.
230 # If we're using the old CLooG-PPL (Legacy), the old version check will
231 # be executed (Ignores the provided version information).
232 AC_DEFUN([CLOOG_CHECK_VERSION],
233 [
234   AC_REQUIRE([CLOOG_FIND_FLAGS])
235
236   if test "${ENABLE_CLOOG_CHECK}" = yes ; then
237     _cloog_saved_CFLAGS=$CFLAGS
238     _cloog_saved_LDFLAGS=$LDFLAGS
239
240     CFLAGS="${_cloog_saved_CFLAGS} ${clooginc} ${pplinc} ${gmpinc}"
241     LDFLAGS="${_cloog_saved_LDFLAGS} ${clooglibs} ${ppllibs}"
242
243     if test "${cloog_org}" = yes ; then
244       AC_CACHE_CHECK([for version $1.$2.$3 of CLooG],
245         [gcc_cv_cloog_ct_0_14_0],
246         [AC_COMPILE_IFELSE([_CLOOG_CHECK_CT_PROG($1,$2,$3)],
247           [gcc_cv_cloog_ct_0_14_0=yes],
248           [gcc_cv_cloog_ct_0_14_0=no])])
249     elif test "${cloog_org}" = no ; then
250       AC_CACHE_CHECK([for version 0.15.5 (or later revision) of CLooG],
251         [gcc_cv_cloog_ct_0_15_5],
252         [AC_COMPILE_IFELSE([_CLOOG_CHECK_CT_PROG(0,15,5)],
253           [AC_COMPILE_IFELSE([_CLOOG_CHECK_CT_PROG(0,15,9)],
254            [gcc_cv_cloog_ct_0_15_5=yes],
255             [gcc_cv_cloog_ct_0_15_5="buggy but acceptable"])],
256           [gcc_cv_cloog_ct_0_15_5=no])])
257     fi
258
259     CFLAGS=$_cloog_saved_CFLAGS
260     LDFLAGS=$_cloog_saved_LDFLAGS
261   fi
262 ]
263 )
264
265 # CLOOG_IF_FAILED (ACTION-IF-FAILED)
266 # ----------------------------------
267 # Executes ACTION-IF-FAILED, if GRAPHITE was requested and
268 # the checks failed.
269 AC_DEFUN([CLOOG_IF_FAILED],
270 [
271   CLOOG_REQUESTED([graphite_requested=yes], [graphite_requested=no])
272   
273   if test "${gcc_cv_cloog_ct_0_14_0}" = no \
274     || test "${gcc_cv_cloog_rt_0_14_0}" = no \
275     || test "${gcc_cv_cloog_ct_0_15_5}" = no; then
276     clooglibs=
277     clooginc=
278   fi
279
280   if test "${graphite_requested}" = yes \
281     && test "x${clooglibs}" = x \
282     && test "x${clooginc}" = x ; then
283     $1
284   fi
285 ]
286 )