12092fe
2009-01-27  Jakub Jelinek  <jakub@redhat.com>
12092fe
12092fe
	* Makefile.in (BACKENDLIBS): Link against -ldl instead of -lcloog -lppl.
32effdc
	(graphite.o): Force -O, remove -fkeep-inline-functions.
12092fe
	* graphite.c: Include <dlfcn.h>.  Reference libcloog and libppl symbols
12092fe
	through pointers in cloog_pointers variable.
12092fe
	(init_cloog_pointers): New function.
12092fe
	(gcc_type_for_iv_of_clast_loop): Rename stmt_for argument to stmt_fora.
12092fe
	(graphite_transform_loops): Call init_cloog_pointers.
12092fe
12092fe
--- gcc/Makefile.in.jj	2009-01-26 20:50:38.000000000 +0100
12092fe
+++ gcc/Makefile.in	2009-01-27 14:18:10.000000000 +0100
12092fe
@@ -915,7 +915,7 @@ BUILD_LIBDEPS= $(BUILD_LIBIBERTY)
12092fe
 # How to link with both our special library facilities
12092fe
 # and the system's installed libraries.
12092fe
 LIBS = @LIBS@ $(CPPLIB) $(LIBINTL) $(LIBICONV) $(LIBIBERTY) $(LIBDECNUMBER)
12092fe
-BACKENDLIBS = $(CLOOGLIBS) $(PPLLIBS) $(GMPLIBS)
12092fe
+BACKENDLIBS = $(GMPLIBS) $(if $(CLOOGLIBS),-ldl)
12092fe
 # Any system libraries needed just for GNAT.
12092fe
 SYSLIBS = @GNAT_LIBEXC@
12092fe
 
32effdc
@@ -3076,6 +3076,9 @@ $(out_object_file): $(out_file) $(CONFIG
32effdc
 	$(CC) -c $(ALL_CFLAGS) $(ALL_CPPFLAGS) \
32effdc
 		$(out_file) $(OUTPUT_OPTION)
32effdc
 
32effdc
+graphite.o : \
32effdc
+  ALL_CFLAGS := -O $(filter-out -fkeep-inline-functions, $(ALL_CFLAGS))
32effdc
+
32effdc
 # Build auxiliary files that support ecoff format.
32effdc
 mips-tfile: mips-tfile.o version.o $(LIBDEPS)
32effdc
 	$(CC) $(CFLAGS) $(LDFLAGS) -o $@ mips-tfile.o version.o $(LIBS)
12092fe
--- gcc/graphite.c.jj	2009-01-24 19:59:02.000000000 +0100
12092fe
+++ gcc/graphite.c	2009-01-27 14:52:08.000000000 +0100
5a612cf
@@ -59,6 +59,110 @@ along with GCC; see the file COPYING3.  
12092fe
 #include "cloog/cloog.h"
12092fe
 #include "graphite.h"
12092fe
 
12092fe
+#include <dlfcn.h>
12092fe
+#define DYNSYMS \
12092fe
+  DYNSYM (cloog_block_alloc); \
12092fe
+  DYNSYM (cloog_block_list_free); \
12092fe
+  DYNSYM (cloog_block_list_malloc); \
12092fe
+  DYNSYM (cloog_clast_create); \
12092fe
+  DYNSYM (cloog_clast_free); \
12092fe
+  DYNSYM (cloog_domain_free); \
12092fe
+  DYNSYM (cloog_domain_matrix2domain); \
12092fe
+  DYNSYM (cloog_initialize); \
12092fe
+  DYNSYM (cloog_loop_malloc); \
12092fe
+  DYNSYM (cloog_matrix_alloc); \
12092fe
+  DYNSYM (cloog_matrix_copy); \
12092fe
+  DYNSYM (cloog_matrix_free); \
12092fe
+  DYNSYM (cloog_matrix_print); \
12092fe
+  DYNSYM (cloog_names_malloc); \
12092fe
+  DYNSYM (cloog_names_scalarize); \
12092fe
+  DYNSYM (cloog_options_free); \
12092fe
+  DYNSYM (cloog_options_malloc); \
12092fe
+  DYNSYM (cloog_program_dump_cloog); \
12092fe
+  DYNSYM (cloog_program_extract_scalars); \
12092fe
+  DYNSYM (cloog_program_free); \
12092fe
+  DYNSYM (cloog_program_generate); \
12092fe
+  DYNSYM (cloog_program_malloc); \
12092fe
+  DYNSYM (cloog_program_print); \
12092fe
+  DYNSYM (cloog_program_scatter); \
12092fe
+  DYNSYM (cloog_statement_alloc); \
12092fe
+  DYNSYM (ppl_finalize); \
12092fe
+  DYNSYM (pprint); \
12092fe
+  DYNSYM (stmt_block); \
12092fe
+  DYNSYM (stmt_for); \
12092fe
+  DYNSYM (stmt_guard); \
12092fe
+  DYNSYM (stmt_root); \
12092fe
+  DYNSYM (stmt_user);
12092fe
+static struct
12092fe
+{
12092fe
+  bool inited;
12092fe
+  void *h;
12092fe
+#define DYNSYM(x) __typeof (x) *p_##x
12092fe
+  DYNSYMS
12092fe
+#undef DYNSYM
12092fe
+} cloog_pointers;
12092fe
+
12092fe
+#define cloog_block_alloc (*cloog_pointers.p_cloog_block_alloc)
12092fe
+#define cloog_block_list_free (*cloog_pointers.p_cloog_block_list_free)
12092fe
+#define cloog_block_list_malloc (*cloog_pointers.p_cloog_block_list_malloc)
12092fe
+#define cloog_clast_create (*cloog_pointers.p_cloog_clast_create)
12092fe
+#define cloog_clast_free (*cloog_pointers.p_cloog_clast_free)
12092fe
+#define cloog_domain_free (*cloog_pointers.p_cloog_domain_free)
12092fe
+#define cloog_domain_matrix2domain (*cloog_pointers.p_cloog_domain_matrix2domain)
12092fe
+#define cloog_initialize (*cloog_pointers.p_cloog_initialize)
12092fe
+#define cloog_loop_malloc (*cloog_pointers.p_cloog_loop_malloc)
12092fe
+#define cloog_matrix_alloc (*cloog_pointers.p_cloog_matrix_alloc)
12092fe
+#define cloog_matrix_copy (*cloog_pointers.p_cloog_matrix_copy)
12092fe
+#define cloog_matrix_free (*cloog_pointers.p_cloog_matrix_free)
12092fe
+#define cloog_matrix_print (*cloog_pointers.p_cloog_matrix_print)
12092fe
+#define cloog_names_malloc (*cloog_pointers.p_cloog_names_malloc)
12092fe
+#define cloog_names_scalarize (*cloog_pointers.p_cloog_names_scalarize)
12092fe
+#define cloog_options_free (*cloog_pointers.p_cloog_options_free)
12092fe
+#define cloog_options_malloc (*cloog_pointers.p_cloog_options_malloc)
12092fe
+#define cloog_program_dump_cloog (*cloog_pointers.p_cloog_program_dump_cloog)
12092fe
+#define cloog_program_extract_scalars (*cloog_pointers.p_cloog_program_extract_scalars)
12092fe
+#define cloog_program_free (*cloog_pointers.p_cloog_program_free)
12092fe
+#define cloog_program_generate (*cloog_pointers.p_cloog_program_generate)
12092fe
+#define cloog_program_malloc (*cloog_pointers.p_cloog_program_malloc)
12092fe
+#define cloog_program_print (*cloog_pointers.p_cloog_program_print)
12092fe
+#define cloog_program_scatter (*cloog_pointers.p_cloog_program_scatter)
12092fe
+#define cloog_statement_alloc (*cloog_pointers.p_cloog_statement_alloc)
12092fe
+#define ppl_finalize (*cloog_pointers.p_ppl_finalize)
12092fe
+#define pprint (*cloog_pointers.p_pprint)
12092fe
+#define stmt_block (*cloog_pointers.p_stmt_block)
12092fe
+#define stmt_for (*cloog_pointers.p_stmt_for)
12092fe
+#define stmt_guard (*cloog_pointers.p_stmt_guard)
12092fe
+#define stmt_root (*cloog_pointers.p_stmt_root)
12092fe
+#define stmt_user (*cloog_pointers.p_stmt_user)
12092fe
+
12092fe
+#define cloog_finalize (*cloog_pointers.p_ppl_finalize)
12092fe
+
12092fe
+static bool
12092fe
+init_cloog_pointers (void)
12092fe
+{
5a612cf
+  void *h;
12092fe
+
12092fe
+  if (cloog_pointers.inited)
12092fe
+    return cloog_pointers.h != NULL;
5a612cf
+  h = dlopen ("libcloog.so.0", RTLD_LAZY);
12092fe
+  cloog_pointers.h = h;
12092fe
+  if (h == NULL)
12092fe
+    return false;
12092fe
+#define DYNSYM(x) \
12092fe
+  do \
12092fe
+    { \
12092fe
+      union { __typeof (cloog_pointers.p_##x) p; void *q; } u; \
12092fe
+      u.q = dlsym (h, #x); \
12092fe
+      if (u.q == NULL) \
12092fe
+	return false; \
12092fe
+      cloog_pointers.p_##x = u.p; \
12092fe
+    } \
12092fe
+  while (0)
12092fe
+  DYNSYMS
12092fe
+#undef DYNSYM
12092fe
+  return true;
12092fe
+}
12092fe
+
12092fe
 static VEC (scop_p, heap) *current_scops;
12092fe
 
12092fe
 /* Converts a GMP constant V to a tree and returns it.  */
12092fe
@@ -4019,10 +4151,10 @@ clast_get_body_of_loop (struct clast_stm
12092fe
    STMT.  */
12092fe
 
12092fe
 static tree
12092fe
-gcc_type_for_iv_of_clast_loop (struct clast_for *stmt_for)
12092fe
+gcc_type_for_iv_of_clast_loop (struct clast_for *stmt_fora)
12092fe
 {
12092fe
-  struct clast_user_stmt *stmt = clast_get_body_of_loop ((struct clast_stmt *) stmt_for);
12092fe
-  const char *cloog_iv = stmt_for->iterator;
12092fe
+  struct clast_user_stmt *stmt = clast_get_body_of_loop ((struct clast_stmt *) stmt_fora);
12092fe
+  const char *cloog_iv = stmt_fora->iterator;
12092fe
   CloogStatement *cs = stmt->statement;
12092fe
   graphite_bb_p gbb = (graphite_bb_p) cloog_statement_usr (cs);
12092fe
 
12092fe
@@ -6061,6 +6193,12 @@ graphite_transform_loops (void)
12092fe
   if (number_of_loops () <= 1)
12092fe
     return;
12092fe
 
12092fe
+  if (!init_cloog_pointers ())
12092fe
+    {
12092fe
+      sorry ("Graphite loop optimizations cannot be used");
12092fe
+      return;
12092fe
+    }
12092fe
+
12092fe
   current_scops = VEC_alloc (scop_p, heap, 3);
12092fe
   recompute_all_dominators ();
12092fe