[PPL-devel] [GIT] ppl/ppl(master): Do recognize also llvm-gcc and llvm-g++.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: de757693f91757b9150178d6dd6b6f230a1261f6
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de757693f91757b9150178d6dd6b6f230a1261f6

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Nov 11 12:38:59 2012 +0100

Do recognize also llvm-gcc and llvm-g++.
Floating-point-based abstractions are disabled when clang++ or llvm-g++ are detected.

---

 configure.ac |   56 ++++++++++++++++++++++++++++++++++++++++++++++++++------
 1 files changed, 50 insertions(+), 6 deletions(-)

diff --git a/configure.ac b/configure.ac
index b573f51..5dc2877 100644
--- a/configure.ac
+++ b/configure.ac
@@ -24,7 +24,7 @@
 # Process this file with Autoconf to produce a configure script.
 
 # Every other copy of the package version number gets its value from here.
-AC_INIT([the Parma Polyhedra Library], [1.1pre3], [ppl-devel at cs.unipr.it], [ppl])
+AC_INIT([the Parma Polyhedra Library], [1.1pre4], [ppl-devel at cs.unipr.it], [ppl])
 
 # Minimum Autoconf version required.
 AC_PREREQ(2.61)
@@ -178,7 +178,7 @@ AM_CONDITIONAL(ICC, test x"$ICC" = xyes)
 # The clang compiler masquerades as gcc, but we want to know.
 if test x"$GCC" = xyes
 then
-  AC_MSG_CHECKING([whether we are actually using Clang])
+  AC_MSG_CHECKING([whether we are actually using clang])
   AC_LANG_PUSH(C)
   AC_COMPILE_IFELSE([AC_LANG_SOURCE([[
 #ifndef __clang__
@@ -194,6 +194,28 @@ choke me
   AC_LANG_POP(C)
 fi
 
+# The llvm-gcc compiler masquerades as gcc, but we want to know.
+if test x"$GCC" = xyes
+then
+  AC_MSG_CHECKING([whether we are actually using llvm-gcc])
+  AC_LANG_PUSH(C)
+  save_CFLAGS="$CFLAGS"
+  CFLAGS="-fplugin-arg-dragonegg-emit-ir -S"
+  AC_COMPILE_IFELSE([AC_LANG_SOURCE([[
+int main() {
+  return 0;
+}
+]])],
+  AC_MSG_RESULT(yes)
+  LLVM_GCC=yes,
+  AC_MSG_RESULT(no)
+  LLVM_GCC=no,
+  AC_MSG_RESULT(no)
+  LLVM_GCC=no)
+  CFLAGS="$save_CFLAGS"
+  AC_LANG_POP(C)
+fi
+
 save_CXXFLAGS="$CXXFLAGS"
 AC_PROG_CXX
 CXXFLAGS="$save_CXXFLAGS"
@@ -236,6 +258,29 @@ choke me
   AC_LANG_POP(C++)
 fi
 
+# The llvm-++ compiler masquerades as g++, but we want to know.
+if test x"$GXX" = xyes
+then
+  AC_MSG_CHECKING([whether we are actually using llvm-g++])
+  AC_LANG_PUSH(C++)
+  save_CXXFLAGS="$CXXFLAGS"
+  CXXFLAGS="-fplugin-arg-dragonegg-emit-ir -S"
+  AC_COMPILE_IFELSE([AC_LANG_SOURCE([[
+int main() {
+  return 0;
+}
+]])],
+  AC_MSG_RESULT(yes)
+  LLVM_GXX=yes,
+  AC_MSG_RESULT(no)
+  LLVM_GXX=no,
+  AC_MSG_RESULT(no)
+  LLVM_GXX=no)
+  CXXFLAGS="$save_CXXFLAGS"
+  AC_LANG_POP(C++)
+fi
+
+
 AC_PROG_FGREP
 AC_PROG_EGREP
 AC_PROG_SED
@@ -492,15 +537,14 @@ then
   then
     OPT_FLAGS="$OPT_FLAGS -fp-model strict -fp-speculation off"
   else
-    # -frounding-math is not yet supported in clang++, if we use it we get
-    # lots of warnings.
-    if test x"$CLANGXX" = xyes
+    # -frounding-math is not yet supported in clang++ or llvm-g++.
+    if test x"$CLANGXX" = xyes || x"$LLVM_GXX" = xyes
     then
       if test x"$use_fpmath" = xyes
       then
         AC_MSG_WARN([CANNOT RELY ON DIRECTED ROUNDING:
 *** DISABLED ALL ABSTRACTIONS BASED ON MACHINE FLOATING-POINT NUMBERS.
-*** clang++ has been detected, which does not provide support for
+*** A compiler has been detected that does not provide support for
 *** -frounding-math (or any other option with the same semantics).
 *** Hence, we cannot rely on floating-point computations to happen
 *** in agreement with the rounding direction(s) used by the PPL.])