No Clock to ISL conversions.

Convert No Clock to ISL. More...

Functions
isl_set_list *	program_to_set_list (isl_ctx *ctx, const string_list *parameters, const instruction_list *instructions, string_list *s)
	Convert a No Clock AST to an ISL list of sets. More...
isl_union_set *	union_set_list (isl_set_list *list)
	Merge ISL sets into an union. More...

Detailed Description

Convert No Clock to ISL.

Since

version 1.0.0

Function Documentation

isl_set_list* program_to_set_list	(	isl_ctx *	ctx,
		const string_list *	parameters,
		const instruction_list *	instructions,
		string_list *	s
	)

#include <include/noclock/instruction_to_set.h>

Convert a No Clock AST to an ISL list of sets.

Since

version 1.0.0

Parameters

ctx	ISL ctx.
parameters	Parameters.
instructions	No Clock AST.
s	Instruction names.

Returns

ISL list of sets.

isl_union_set* union_set_list

(

isl_set_list *

list

)

#include <include/noclock/instruction_to_set.h>

Merge ISL sets into an union.

Since

version 1.0.0

Parameters

list

ISL sets.

Returns

Union of the sets.