isl_tarjan.c File Reference

#include <stdlib.h>
#include <isl/ctx.h>
#include <isl_tarjan.h>

Go to the source code of this file.

Functions
struct isl_tarjan_graph *	isl_tarjan_graph_free (struct isl_tarjan_graph *g)
static struct isl_tarjan_graph *	isl_tarjan_graph_alloc (isl_ctx *ctx, int len)
static isl_stat	isl_tarjan_components (struct isl_tarjan_graph *g, int i, isl_bool(*follows)(int i, int j, void *user), void *user)
struct isl_tarjan_graph *	isl_tarjan_graph_init (isl_ctx *ctx, int len, isl_bool(*follows)(int i, int j, void *user), void *user)
struct isl_tarjan_graph *	isl_tarjan_graph_component (isl_ctx *ctx, int len, int node, isl_bool(*follows)(int i, int j, void *user), void *user)

Function Documentation

isl_tarjan_components()

static isl_stat isl_tarjan_components ( struct isl_tarjan_graph *  g, int  i, isl_bool(*)(int i, int j, void *user)  follows, void *  user  )

static

Definition at line 62 of file isl_tarjan.c.

References f, isl_tarjan_node::index, isl_tarjan_graph::index, isl_stat_error, isl_stat_ok, isl_tarjan_components(), isl_tarjan_graph::len, isl_tarjan_node::min_index, isl_tarjan_graph::node, isl_tarjan_node::on_stack, isl_tarjan_graph::op, isl_tarjan_graph::order, isl_tarjan_graph::sp, isl_tarjan_graph::stack, and user.

Referenced by isl_tarjan_components(), isl_tarjan_graph_component(), and isl_tarjan_graph_init().

isl_tarjan_graph_alloc()

static struct isl_tarjan_graph * isl_tarjan_graph_alloc ( isl_ctx *  ctx, int  len  )

static

Definition at line 28 of file isl_tarjan.c.

References isl_tarjan_node::index, isl_tarjan_graph::index, isl_alloc_array, isl_calloc_type, isl_tarjan_graph_free(), isl_tarjan_graph::len, isl_tarjan_graph::node, isl_tarjan_graph::op, isl_tarjan_graph::order, isl_tarjan_graph::sp, and isl_tarjan_graph::stack.

Referenced by isl_tarjan_graph_component(), and isl_tarjan_graph_init().

isl_tarjan_graph_component()

struct isl_tarjan_graph * isl_tarjan_graph_component	(	isl_ctx *	ctx,
		int	len,
		int	node,
		isl_bool(*)(int i, int j, void *user)	follows,
		void *	user
	)

Definition at line 147 of file isl_tarjan.c.

References isl_tarjan_components(), isl_tarjan_graph_alloc(), isl_tarjan_graph_free(), isl_tarjan_graph::len, isl_tarjan_graph::node, and user.

Referenced by mark_merge_sccs().

isl_tarjan_graph_free()

struct isl_tarjan_graph * isl_tarjan_graph_free

(

struct isl_tarjan_graph *

g

)

Definition at line 17 of file isl_tarjan.c.

References isl_tarjan_graph::node, isl_tarjan_graph::order, and isl_tarjan_graph::stack.

Referenced by construct_power_components(), FN(), generate_components(), isl_sched_graph_detect_ccs(), isl_tarjan_graph_alloc(), isl_tarjan_graph_component(), isl_tarjan_graph_init(), mark_merge_sccs(), and union_components().

isl_tarjan_graph_init()

struct isl_tarjan_graph * isl_tarjan_graph_init	(	isl_ctx *	ctx,
		int	len,
		isl_bool(*)(int i, int j, void *user)	follows,
		void *	user
	)

Definition at line 119 of file isl_tarjan.c.

References isl_tarjan_node::index, isl_tarjan_components(), isl_tarjan_graph_alloc(), isl_tarjan_graph_free(), isl_tarjan_graph::len, isl_tarjan_graph::node, and user.

Referenced by construct_power_components(), FN(), generate_components(), isl_sched_graph_detect_ccs(), and union_components().