X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firpass.c;h=3626d215514e9f66fb9b1d88423c323018af311b;hb=1f66492dac45f1a1cf49ac16ee43894814e2cbf0;hp=ab655dc6bdc0dd7fade28b0b99b2b098ed1114c9;hpb=3646e58f46f85a17537e89483d6b0c279df4a4d2;p=libfirm

diff --git a/ir/ir/irpass.c b/ir/ir/irpass.c
index ab655dc6b..3626d2155 100644
--- a/ir/ir/irpass.c
+++ b/ir/ir/irpass.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2009 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2010 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -21,7 +21,7 @@
  * @file
  * @brief     Manager for optimization passes.
  * @author    Michael Beck
- * @version   $Id: $
+ * @version   $Id$
  */
 #include "config.h"
 
@@ -31,13 +31,17 @@
 #include "irgraph_t.h"
 #include "irprog_t.h"
 #include "irdump.h"
-#include "irvrfy.h"
+#include "irverify.h"
 #include "xmalloc.h"
 
+typedef void (*void_pass_func_irg)(ir_graph *irg);
+typedef int (*int_pass_func_irg)(ir_graph *irg);
+typedef void (*void_pass_func)(void);
+
 /*Add a graph pass to a graph pass manager. */
 void ir_graph_pass_mgr_add(ir_graph_pass_manager_t *mgr, ir_graph_pass_t *pass)
 {
-	list_add(&pass->list, &mgr->passes);
+	list_add_tail(&pass->list, &mgr->passes);
 	++mgr->n_passes;
 	if (pass->add_to_mgr)
 		pass->add_to_mgr(pass->context);
@@ -46,7 +50,7 @@ void ir_graph_pass_mgr_add(ir_graph_pass_manager_t *mgr, ir_graph_pass_t *pass)
 /* Add an irprog pass to an irprog pass manager. */
 void ir_prog_pass_mgr_add(ir_prog_pass_manager_t *mgr, ir_prog_pass_t *pass)
 {
-	list_add(&pass->list, &mgr->passes);
+	list_add_tail(&pass->list, &mgr->passes);
 	++mgr->n_passes;
 	if (pass->add_to_mgr)
 		pass->add_to_mgr(pass->context);
@@ -58,50 +62,96 @@ void ir_prog_pass_mgr_add(ir_prog_pass_manager_t *mgr, ir_prog_pass_t *pass)
  */
 static int run_wrapper(ir_prog *prog, void *ctx)
 {
-	ir_graph_pass_manager_t *mgr = ctx;
+	ir_graph_pass_manager_t *mgr = (ir_graph_pass_manager_t*)ctx;
 
 	(void)prog;
 	return ir_graph_pass_mgr_run(mgr);
 }
 
-/**
- * Ensure that no verifier is run from the wrapper.
- */
-static int no_verify(ir_prog *prog, void *ctx)
+/* Ensure that no verifier is run an ir_prog pass. */
+int ir_prog_no_verify(ir_prog *prog, void *ctx)
 {
 	(void)prog;
 	(void)ctx;
 	return 0;
 }
 
-/**
- * Ensure that no dumper is run from the wrapper.
- */
-static void no_dump(ir_prog *prog, void *ctx, unsigned idx)
+/* Ensure that no dumper is run from an ir_prog pass. */
+void ir_prog_no_dump(ir_prog *prog, void *ctx, unsigned idx)
 {
 	(void)prog;
 	(void)ctx;
 	(void)idx;
 }
 
-/* Add an ir_graph_pass_manager as a pass to an irprog pass manager. */
-void ir_prog_pass_mgr_add_graph_mgr(
-	ir_prog_pass_manager_t *mgr, ir_graph_pass_manager_t *graph_mgr)
+/**
+ * Term wrapper for a wrapped ir_graph pass manager.
+ */
+static void term_wrapper(void *context)
+{
+	ir_graph_pass_manager_t *mgr = (ir_graph_pass_manager_t*)context;
+	term_graph_pass_mgr(mgr);
+}
+
+/**
+ * Create a wrapper ir_prog pass for an ir_graph manager.
+ */
+static ir_prog_pass_t *create_wrapper_pass(ir_graph_pass_manager_t *graph_mgr)
 {
+	/* create a wrapper pass */
 	ir_prog_pass_t *pass = XMALLOCZ(ir_prog_pass_t);
 
+	pass->kind          = k_ir_prog_pass;
 	pass->run_on_irprog = run_wrapper;
 	pass->context       = graph_mgr;
 	pass->name          = graph_mgr->name;
 
 	/* do not verify nor dump: this is handled by the graph manager */
-	pass->verify_irprog = no_verify;
-	pass->dump_irprog   = no_dump;
-	pass->dump          = 0;
-	pass->verify        = 0;
+	pass->verify_irprog = ir_prog_no_verify;
+	pass->dump_irprog   = ir_prog_no_dump;
+	pass->is_wrapper    = 1;
 
 	pass->add_to_mgr   = NULL;
-	pass->rem_from_mgr = NULL;
+	pass->rem_from_mgr = term_wrapper;
+
+	return pass;
+}
+
+/* Add an ir_graph_pass as a pass to an ir_prog pass manager. */
+void ir_prog_pass_mgr_add_graph_pass(
+	ir_prog_pass_manager_t *mgr, ir_graph_pass_t *pass)
+{
+	ir_graph_pass_manager_t *graph_mgr;
+	ir_prog_pass_t          *wrapper;
+
+	/* check if the last pass is a graph_pass wrapper */
+	if (! list_empty(&mgr->passes)) {
+		wrapper = list_entry(mgr->passes.prev, ir_prog_pass_t, list);
+		if (wrapper->is_wrapper) {
+			graph_mgr = (ir_graph_pass_manager_t*)wrapper->context;
+
+			ir_graph_pass_mgr_add(graph_mgr, pass);
+			++mgr->n_passes;
+			return;
+		}
+	}
+
+	/* not found, create a new wrapper */
+	graph_mgr = new_graph_pass_mgr(
+		"graph_pass_wrapper", mgr->verify_all, mgr->dump_all);
+	graph_mgr->run_idx = mgr->run_idx + mgr->n_passes;
+
+	ir_graph_pass_mgr_add(graph_mgr, pass);
+
+	wrapper = create_wrapper_pass(graph_mgr);
+	ir_prog_pass_mgr_add(mgr, wrapper);
+}
+
+/* Add an ir_graph_pass_manager as a pass to an ir_prog pass manager. */
+void ir_prog_pass_mgr_add_graph_mgr(
+	ir_prog_pass_manager_t *mgr, ir_graph_pass_manager_t *graph_mgr)
+{
+	ir_prog_pass_t *pass = create_wrapper_pass(graph_mgr);
 
 	if (mgr->dump_all)
 		graph_mgr->dump_all = 1;
@@ -112,19 +162,17 @@ void ir_prog_pass_mgr_add_graph_mgr(
 	ir_prog_pass_mgr_add(mgr, pass);
 }
 
-/**
- * Create a suffix for dumping.
- */
-void create_suffix(char *suffix, size_t n, const char *pass_name, unsigned index)
+static void create_suffix(char *suffix, size_t n, const char *pass_name)
 {
-	snprintf(suffix, n, "-%02u_%s", index, pass_name);
+	snprintf(suffix, n, "%s.svg", pass_name);
 }
 
 /* Run all passes of an ir_graph pass manager. */
 int ir_graph_pass_mgr_run(ir_graph_pass_manager_t *mgr)
 {
 	ir_graph_pass_t *pass;
-	int             i, res = 0;
+	size_t           i;
+	int              res = 0;
 	ir_graph        *rem = current_ir_graph;
 
 	/* on all graphs: beware: number of irgs might be changed */
@@ -137,7 +185,7 @@ int ir_graph_pass_mgr_run(ir_graph_pass_manager_t *mgr)
 			if (pass_res != 0)
 				res = 1;
 			/* verify is necessary */
-			if (mgr->verify_all || pass->verify) {
+			if (mgr->verify_all) {
 				if (pass->verify_irg) {
 					pass->verify_irg(irg, pass->context);
 				} else {
@@ -145,13 +193,13 @@ int ir_graph_pass_mgr_run(ir_graph_pass_manager_t *mgr)
 				}
 			}
 			/* dump */
-			if (mgr->dump_all || pass->dump) {
+			if (mgr->dump_all) {
 				if (pass->dump_irg) {
 					pass->dump_irg(irg, pass->context, idx);
 				} else {
-					char suffix[1024];
-					create_suffix(suffix, sizeof(suffix), pass->name, idx);
-					dump_ir_block_graph(irg, suffix);
+					char buf[1024];
+					create_suffix(buf, sizeof(buf), pass->name);
+					dump_ir_graph(irg, buf);
 				}
 			}
 			++idx;
@@ -164,15 +212,18 @@ int ir_graph_pass_mgr_run(ir_graph_pass_manager_t *mgr)
 /**
  * Verify all graphs on the given ir_prog.
  */
-static int irp_verify_irgs(ir_prog *irp, int flags) {
-	int i, res = 1;
+static int irp_verify_irgs(void)
+{
+	int    res = 1;
+	size_t i;
+	size_t n_irgs = get_irp_n_irgs();
 
-	for (i = get_irp_n_irgs() - 1; i >= 0; --i)
-		res &= irg_verify(get_irp_irg(i), flags);
+	for (i = 0; i < n_irgs; ++i)
+		res &= irg_verify(get_irp_irg(i), 0);
 	return res;
 }
 
-/* Run all passes of an irprog pass manager. */
+/* Run all passes of an ir_prog pass manager. */
 int ir_prog_pass_mgr_run(ir_prog_pass_manager_t *mgr)
 {
 	ir_prog_pass_t *pass;
@@ -185,24 +236,28 @@ int ir_prog_pass_mgr_run(ir_prog_pass_manager_t *mgr)
 		if (pass_res != 0)
 			res = 1;
 		/* verify is necessary */
-		if (mgr->verify_all || pass->verify) {
+		if (mgr->verify_all) {
 			if (pass->verify_irprog) {
 				pass->verify_irprog(irp, pass->context);
 			} else {
-				irp_verify_irgs(irp, 0);
+				irp_verify_irgs();
 			}
 		}
 		/* dump */
-		if (mgr->dump_all || pass->dump) {
+		if (mgr->dump_all) {
 			if (pass->dump_irprog) {
 				pass->dump_irprog(irp, pass->context, idx);
 			} else {
-				char suffix[1024];
-				create_suffix(suffix, sizeof(suffix), pass->name, idx);
-				dump_all_ir_graphs(dump_ir_block_graph, suffix);
+				char buf[1024];
+				create_suffix(buf, sizeof(buf), pass->name);
+				dump_all_ir_graphs(buf);
 			}
 		}
-		++idx;
+		if (pass->is_wrapper) {
+			ir_graph_pass_manager_t *graph_mgr = (ir_graph_pass_manager_t*)pass->context;
+			idx += graph_mgr->n_passes;
+		} else
+			++idx;
 	}
 	return res;
 }
@@ -211,9 +266,10 @@ int ir_prog_pass_mgr_run(ir_prog_pass_manager_t *mgr)
 ir_graph_pass_manager_t *new_graph_pass_mgr(
 	const char *name, int verify_all, int dump_all)
 {
-	ir_graph_pass_manager_t *res = xmalloc(sizeof(res));
+	ir_graph_pass_manager_t *res = XMALLOCZ(ir_graph_pass_manager_t);
 
 	INIT_LIST_HEAD(&res->passes);
+	res->kind       = k_ir_graph_pass_mgr;
 	res->name       = name;
 	res->run_idx    = 0;
 	res->verify_all = verify_all != 0;
@@ -226,9 +282,10 @@ ir_graph_pass_manager_t *new_graph_pass_mgr(
 ir_prog_pass_manager_t *new_prog_pass_mgr(
 	const char *name, int verify_all, int dump_all)
 {
-	ir_prog_pass_manager_t *res = xmalloc(sizeof(res));
+	ir_prog_pass_manager_t *res = XMALLOCZ(ir_prog_pass_manager_t);
 
 	INIT_LIST_HEAD(&res->passes);
+	res->kind       = k_ir_prog_pass_mgr;
 	res->name       = name;
 	res->run_idx    = 0;
 	res->verify_all = verify_all != 0;
@@ -237,7 +294,7 @@ ir_prog_pass_manager_t *new_prog_pass_mgr(
 	return res;
 }
 
-/* Terminate a graph pass manager and all owned passes. */
+/* Terminate an ir_graph pass manager and all owned passes. */
 void term_graph_pass_mgr(ir_graph_pass_manager_t *mgr)
 {
 	ir_graph_pass_t *pass, *next;
@@ -273,7 +330,7 @@ void term_prog_pass_mgr(ir_prog_pass_manager_t *mgr)
  * @param mgr      the manager
  * @param run_idx  the index for the first pass of this manager
  */
-void ir_graph_pass_manager_set_run_idx(
+void ir_graph_pass_mgr_set_run_idx(
 	ir_graph_pass_manager_t *mgr, unsigned run_idx)
 {
 	mgr->run_idx = run_idx;
@@ -285,8 +342,168 @@ void ir_graph_pass_manager_set_run_idx(
  * @param mgr      the manager
  * @param run_idx  the index for the first pass of this manager
  */
-void ir_prog_pass_manager_set_run_idx(
+void ir_prog_pass_mgr_set_run_idx(
 	ir_prog_pass_manager_t *mgr, unsigned run_idx)
 {
 	mgr->run_idx = run_idx;
 }
+
+/**
+ * Wrapper for running void function(ir_graph *irg) as an ir_graph pass.
+ */
+static int void_graph_wrapper(ir_graph *irg, void *context)
+{
+	void_pass_func_irg function = (void_pass_func_irg)context;
+	function(irg);
+	return 0;
+}  /* void_graph_wrapper */
+
+/* Creates an ir_graph pass for running void function(ir_graph *irg). */
+ir_graph_pass_t *def_graph_pass(
+	const char *name, void (*function)(ir_graph *irg))
+{
+	struct ir_graph_pass_t *pass = XMALLOCZ(ir_graph_pass_t);
+
+	pass->kind       = k_ir_graph_pass;
+	pass->run_on_irg = void_graph_wrapper;
+	pass->context    = (void*)function;
+	pass->name       = name;
+
+	INIT_LIST_HEAD(&pass->list);
+
+	return pass;
+}  /* def_graph_pass */
+
+/**
+ * Wrapper for running int function(ir_graph *irg) as an ir_graph pass.
+ */
+static int int_graph_wrapper(ir_graph *irg, void *context)
+{
+	int_pass_func_irg function = (int_pass_func_irg)context;
+	return function(irg);
+}  /* int_graph_wrapper */
+
+/* Creates an ir_graph pass for running void function(ir_graph *irg). */
+ir_graph_pass_t *def_graph_pass_ret(
+		const char *name, int (*function)(ir_graph *irg))
+{
+	struct ir_graph_pass_t *pass = XMALLOCZ(ir_graph_pass_t);
+
+	pass->kind       = k_ir_graph_pass;
+	pass->run_on_irg = int_graph_wrapper;
+	pass->context    = (void*)function;
+	pass->name       = name;
+
+	INIT_LIST_HEAD(&pass->list);
+
+	return pass;
+}  /* def_graph_pass_ret */
+
+/* constructor for a default graph pass */
+ir_graph_pass_t *def_graph_pass_constructor(
+	ir_graph_pass_t *pass,
+	const char *name, int (*function)(ir_graph *irg, void *context)) {
+	if (pass == NULL)
+		pass = XMALLOCZ(ir_graph_pass_t);
+	else
+		memset(pass, 0, sizeof(ir_graph_pass_t));
+	pass->kind       = k_ir_graph_pass;
+	pass->run_on_irg = function;
+	pass->context    = pass;
+	pass->name       = name;
+
+	INIT_LIST_HEAD(&pass->list);
+
+	return pass;
+}  /* def_graph_pass_constructor */
+
+/* set the run parallel property */
+void ir_graph_pass_set_parallel(ir_graph_pass_t *pass, int flag)
+{
+	pass->run_parallel = flag != 0;
+}  /* ir_graph_pass_set_parallel */
+
+/**
+ * Wrapper for running void function(void) as an ir_prog pass.
+ */
+static int void_prog_wrapper(ir_prog *irp, void *context)
+{
+	void_pass_func function = (void_pass_func)context;
+
+	(void)irp;
+	function();
+	return 0;
+}  /* void_graph_wrapper */
+
+/* Creates an ir_prog pass for running void function(void). */
+ir_prog_pass_t *def_prog_pass(
+	const char *name,
+	void (*function)(void))
+{
+	struct ir_prog_pass_t *pass = XMALLOCZ(ir_prog_pass_t);
+
+	pass->kind          = k_ir_prog_pass;
+	pass->run_on_irprog = void_prog_wrapper;
+	pass->context       = (void*)function;
+	pass->name          = name;
+
+	INIT_LIST_HEAD(&pass->list);
+
+	return pass;
+}  /* def_prog_pass */
+
+/* Creates an ir_prog pass for running void function(void). */
+ir_prog_pass_t *def_prog_pass_constructor(
+	ir_prog_pass_t *pass,
+	const char *name,
+	int (*function)(ir_prog *irp, void *context))
+{
+	if (pass == NULL)
+		pass = XMALLOCZ(ir_prog_pass_t);
+	else
+		memset(pass, 0, sizeof(ir_prog_pass_t));
+
+	pass->kind          = k_ir_prog_pass;
+	pass->run_on_irprog = function;
+	pass->context       = pass;
+	pass->name          = name;
+
+	INIT_LIST_HEAD(&pass->list);
+
+	return pass;
+}  /* def_prog_pass_constructor */
+
+typedef struct pass_t {
+	ir_prog_pass_t pass;
+	void           *context;
+	void (*function)(void *context);
+} pass_t;
+
+/**
+ * Wrapper for the call_function pass.
+ */
+static int call_function_wrapper(ir_prog *irp, void *context)
+{
+	pass_t *pass = (pass_t*)context;
+
+	(void)irp;
+	pass->function(pass->context);
+	return 0;
+}  /* call_function_wrapper */
+
+ir_prog_pass_t *call_function_pass(
+	const char *name, void (*function)(void *context), void *context) {
+	struct pass_t *pass = XMALLOCZ(struct pass_t);
+
+	def_prog_pass_constructor(
+		&pass->pass, name ? name : "set_function", call_function_wrapper);
+
+	pass->pass.verify_irprog = ir_prog_no_verify;
+	pass->pass.dump_irprog   = ir_prog_no_dump;
+	pass->pass.context       = pass;
+
+	pass->function = function;
+	pass->context  = context;
+
+	return &pass->pass;
+}  /* call_function_pass */