docs:syntax_2_0 [SaC-Home]

1 Program Structure

SaC v2.0

new in v2.0:

•

support for type pattern
•

support for (co)-domain constraints
•

support for modulo
•

support for gpumem pragma
•

support for ctype pragma

prg	$\Rightarrow$	[ ( module \| class ) ] [ interface ] ${}^{{}_{\hbox{\normalsize*}}}$
		[ structdef ] ${}^{{}_{\hbox{\normalsize}}}$ [ typedef ] ${}^{{}_{\hbox{\normalsize}}}$ [ objectdef ] ${}^{{}_{\hbox{\normalsize*}}}$
		[ function ] ${}^{{}_{\hbox{\normalsize*}}}$

module	$\Rightarrow$	module id [ deprecated str ] ;
class	$\Rightarrow$	class id [ deprecated str ] ; classtype
classtype	$\Rightarrow$	classtype type ;
	$\|$	extern classtype ; [ interface_pragma ] ${}^{{}_{\hbox{\normalsize*}}}$

interface	$\Rightarrow$	( import \| use ) id : symbolset ;
	$\|$	( export \| provide ) symbolset ;
symbolset	$\Rightarrow$	all [ except { ext_id [ , ext_id ] } ]
	$\|$	{ ext_id [ , ext_id ] }

structdef

\Rightarrow

struct id { [ type id [ , id ]

{}^{{}_{\hbox{\normalsize*}}}

; ]

{}^{{}_{\hbox{\normalsize*}}}

} ;

typedef	$\Rightarrow$	loctypedef
	$\|$	exttypedef
loctypedef	$\Rightarrow$	typedef type id ;
exttypedef	$\Rightarrow$	external typedef id ; [ interface_pragma ] ${}^{{}_{\hbox{\normalsize*}}}$

objectdef	$\Rightarrow$	( locobjdef \| extobjdef )
locobjdef	$\Rightarrow$	objdef type id = funcall ;
extobjdef	$\Rightarrow$	external objdef type id ; [ interface_pragma ] ${}^{{}_{\hbox{\normalsize*}}}$

function	$\Rightarrow$	extfundec [ ( interface_pragma \| funtion_pragma ) ] ${}^{{}_{\hbox{\normalsize*}}}$
	$\|$	specfundec [ function_pragma ] ${}^{{}_{\hbox{\normalsize*}}}$
	$\|$	fundef
	$\|$	main
extfundec	$\Rightarrow$	external varsignature ;
specfundec	$\Rightarrow$	specialize fixsignature ;
fundef	$\Rightarrow$	[ ( inline \| noinline ) ] fixsignature [ \| exprs ]
		[ function_pragma ] ${}^{{}_{\hbox{\normalsize*}}}$ body
fixsignature	$\Rightarrow$	fixrets ext_id ( fixargs )
	$\|$	operator_sig
varsignature	$\Rightarrow$	varrets ext_id ( varargs )
	$\|$	operator_sig
operator_sig	$\Rightarrow$	type ( ext_op ) ( arg )
	$\|$	type ( ext_op ) ( arg , arg )
fixargs	$\Rightarrow$	( arg [ , arg ] ${}^{{}_{\hbox{\normalsize*}}}$ \| [ void ] )
varargs	$\Rightarrow$	fixargs
	$\|$	arg [ , arg ] ${}^{{}_{\hbox{\normalsize*}}}$ , ...
arg	$\Rightarrow$	type_pattern [ & ] id
fixrets	$\Rightarrow$	( rtype_pattern [ , rtype_pattern ] ${}^{{}_{\hbox{\normalsize*}}}$ \| [ void ] )
varrets	$\Rightarrow$	fixrets
	$\|$	rtype_pattern [ , rtype_pattern ] ${}^{{}_{\hbox{\normalsize*}}}$ , ...
main	$\Rightarrow$	int main ( [ void ] ) body

body	$\Rightarrow$	{ [ cachesim_pragma ] [ vardec ] ${}^{{}_{\hbox{\normalsize}}}$ [ statement ] ${}^{{}_{\hbox{\normalsize}}}$ [ return ] }
vardec	$\Rightarrow$	type id [ , id ] ${}^{{}_{\hbox{\normalsize*}}}$ ;
statement	$\Rightarrow$	;
	$\|$	assignment ;
	$\|$	funcall ;
	$\|$	withloop ;
	$\|$	cond
	$\|$	doloop
	$\|$	whileloop
	$\|$	forloop
return	$\Rightarrow$	return [ expr ] ;
	$\|$	return ( [ exprs ] ) ;
assignment	$\Rightarrow$	assign_lhs [ , assign_lhs ] ${}^{{}_{\hbox{\normalsize*}}}$ assign_op expr
	$\|$	assign_lhs ( ++ \| -- )
assign_lhs	$\Rightarrow$	id
	$\|$	assign_lhs [ exprs ]
	$\|$	assign_lhs . id
assign_op	$\Rightarrow$	( = \| += \| -= \| *= \| /= \| %= )
cond	$\Rightarrow$	if ( expr ) statementblock [ else statementblock ]
doloop	$\Rightarrow$	do statementblock while ( expr ) ;
whileloop	$\Rightarrow$	while ( expr ) statementblock
forloop	$\Rightarrow$	for ( assignment [ , assignment ] ${}^{{}_{\hbox{\normalsize*}}}$
		; expr ; assignment [ , assignment ] ${}^{{}_{\hbox{\normalsize*}}}$ )
		statementblock
statementblock	$\Rightarrow$	{ [ cachesim_pragma ] [ statement ] ${}^{{}_{\hbox{\normalsize*}}}$ }
	$\|$	statement

exprs	$\Rightarrow$	expr [ , expr ] ${}^{{}_{\hbox{\normalsize*}}}$
expr_or_dot	$\Rightarrow$	( expr \| . )
expr_or_mdot	$\Rightarrow$	( expr \| . \| ... )
expr	$\Rightarrow$	const
	$\|$	qual_ext_id
	$\|$	funcall
	$\|$	withloop
	$\|$	tensor_comp
	$\|$	array
	$\|$	struct
	$\|$	expr \|\| expr
	$\|$	expr && expr
	$\|$	expr ? expr : expr
	$\|$	( type ) expr
	$\|$	( expr )
arrray	$\Rightarrow$	[ [ exprs ] ]
	$\|$	[ : type ]
	$\|$	expr [ [ expr_or_mdot [ , expr_or_mdot ] ${}^{{}_{\hbox{\normalsize*}}}$ ] ]
struct	$\Rightarrow$	id { exprs }
	$\|$	id { [ . id = expr [ , . id = expr ] ${}^{{}_{\hbox{\normalsize*}}}$ ] }
	$\|$	expr . id
funcall	$\Rightarrow$	qual_ext_id ( [ exprs ] )
	$\|$	unary_prf ( expr )
	$\|$	qual_ext_op expr
	$\|$	binary_prf ( expr , expr )
	$\|$	expr qual_ext_op expr
	$\|$	ternary_prf ( expr , expr , expr )
tensor_comp	$\Rightarrow$	{ tc_def [ ; tc_def ] ${}^{{}_{\hbox{\normalsize*}}}$ }
tc_def	$\Rightarrow$	id -> expr [ $\|$ tc_constraint ]
	$\|$	[ [ id_or_mdot [ , id_or_mdot ] ${}^{{}_{\hbox{\normalsize*}}}$ ] ] -> expr [ $\|$ tc_constraint ]
tc_constraint	$\Rightarrow$	expr ( < \| <= ) ( id \| id_vec ) [ step expr [ width expr ] ]
	$\|$	( id \| id_vec ) ( < \| <= ) expr [ step expr [ width expr ] ]
	$\|$	expr ( < \| <= ) ( id \| id_vec ) ( < \| <= ) expr
		[ step expr [ width expr ] ]

withloop	$\Rightarrow$	with [ generators ] : operations
generators	$\Rightarrow$	{ [ withloop_pragma ] [ generator ] ${}^{{}_{\hbox{\normalsize*}}}$ }
generator	$\Rightarrow$	( index_set ) [ generator_pragma ] [ { [ statement ] ${}^{{}_{\hbox{\normalsize*}}}$ } ] : gen_exprs ;
index_set	$\Rightarrow$	expr_or_dot ( < \| <= ) index_vars ( < \| <= ) expr_or_dot
		[ step expr [ width expr ] ]
index_vars	$\Rightarrow$	id [ = id_vec ]
	$\|$	id_vec
id_vec	$\Rightarrow$	[ [ id [ , id ] ${}^{{}_{\hbox{\normalsize*}}}$ ] ]
gen_exprs	$\Rightarrow$	void
	$\|$	expr
	$\|$	( expr [ , expr ] ${}^{{}_{\hbox{\normalsize*}}}$ )
operations	$\Rightarrow$	void
	$\|$	operation
	$\|$	( operation [ , operation ] ${}^{{}_{\hbox{\normalsize*}}}$ )
operation	$\Rightarrow$	genarray ( expr [ , expr ] )
	$\|$	modarray ( expr )
	$\|$	fold ( ( qual_ext_id \| qual_ext_op ) [ ( exprs ) ] , expr )
	$\|$	foldfix ( ( qual_ext_id \| qual_ext_op ) [ ( exprs ) ] , expr , expr )
	$\|$	propagate ( id )

type	$\Rightarrow$	basetype [ shape_spec ]
shape_spec	$\Rightarrow$	[ * ]
	$\|$	[ + ]
	$\|$	[ [ . [ , . ] ${}^{{}_{\hbox{\normalsize*}}}$ ] ]
	$\|$	[ nums ]
rtype_pattern	$\Rightarrow$	type_pattern [ { id } ]
type_pattern	$\Rightarrow$	basetype [ [ features ] ]
features	$\Rightarrow$	[ feature [ , feature ] ${}^{{}_{\hbox{\normalsize*}}}$ ]
feature	$\Rightarrow$	( single \| multiple )
single	$\Rightarrow$	.
	$\|$	num
	$\|$	id
multiple	$\Rightarrow$	*
	$\|$	+
	$\|$	id [ > num ] : id
	$\|$	num : id
basetype	$\Rightarrow$	simpletype
	$\|$	usertype
	$\|$	structtype
simpletype	$\Rightarrow$	byte
	$\|$	short
	$\|$	int
	$\|$	long
	$\|$	longlong
	$\|$	ubyte
	$\|$	ushort
	$\|$	uint
	$\|$	ulong
	$\|$	ulonglong
	$\|$	float
	$\|$	bool
	$\|$	char
	$\|$	double
structtype	$\Rightarrow$	[ id :: ] struct id
usertype	$\Rightarrow$	[ id :: ] id

id_or_mdot	$\Rightarrow$	( id \| . \| ... )
qual_ext_id	$\Rightarrow$	[ id :: ] ext_id
ext_id	$\Rightarrow$	( id \| reservedid )
reservedid	$\Rightarrow$	genarray
	$\|$	modarray
	$\|$	fold
	$\|$	foldfix
	$\|$	propagate
	$\|$	all
	$\|$	except
qual_ext_op	$\Rightarrow$	[ id :: ] ext_op
ext_op	$\Rightarrow$	( op \| reservedop )
reservedop	$\Rightarrow$	&
	$\|$	&&
	$\|$	\|\|
	$\|$	!
	$\|$	~
	$\|$	+
	$\|$	-
	$\|$	*
	$\|$	/
	$\|$	%
	$\|$	<=
	$\|$	<
	$\|$	>=
	$\|$	>
	$\|$	>>
	$\|$	<<
	$\|$	^
	$\|$	++
	$\|$	--

const	$\Rightarrow$	numbyte
	$\|$	numshort
	$\|$	numint
	$\|$	numlong
	$\|$	numlonglong
	$\|$	numubyte
	$\|$	numushort
	$\|$	numuint
	$\|$	numulong
	$\|$	numulonglong
	$\|$	num
	$\|$	float
	$\|$	double
	$\|$	char
	$\|$	[ str ] ${}^{\hbox{+}}$
	$\|$	true
	$\|$	false
nums	$\Rightarrow$	[ num [ , num ] ${}^{{}_{\hbox{\normalsize*}}}$ ]

unary_prf	$\Rightarrow$	( _tob_S_ \| _tos_S_ \| _toi_S_ \| _tol_S_ \| _toll_S_ )
	$\|$	( _toub_S_ \| _tous_S_ \| _toui_S_ \| _toul_S_ \| _toull_S_ )
	$\|$	_tof_S_
	$\|$	_tod_S_
	$\|$	_toc_S_
	$\|$	_tobool_S_
	$\|$	( _not_S_ \| _not_V_ )
	$\|$	( _neg_S_ \| _neg_V_ )
	$\|$	( _abs_S_ \| _abs_V_ )
	$\|$	_dim_A_
	$\|$	_shape_A_
ternary_prf	$\Rightarrow$	_modarray_AxVxS_
binary_prf	$\Rightarrow$	( _add_SxS_ \| _add_SxV_ \| _add_VxS_ \| _add_VxV_ )
	$\|$	( _sub_SxS_ \| _sub_SxV_ \| _sub_VxS_ \| _sub_VxV_ )
	$\|$	( _mul_SxS_ \| _mul_SxV_ \| _mul_VxS_ \| _mul_VxV_ )
	$\|$	( _div_SxS_ \| _div_SxV_ \| _div_VxS_ \| _div_VxV_ )
	$\|$	( _aplmod_SxS_ \| _aplmod_SxV_ )
	$\|$	( _aplmod_VxS_ \| _aplmod_VxV_ )
	$\|$	( _mod_SxS_ \| _mod_SxV_ \| _mod_VxS_ \| _mod_VxV_ )
	$\|$	( _min_SxS_ \| _min_SxV_ \| _min_VxS_ \| _min_VxV_ )
	$\|$	( _max_SxS_ \| _max_SxV_ \| _max_VxS_ \| _max_VxV_ )
	$\|$	( _eq_SxS_ \| _eq_SxV_ \| _eq_VxS_ \| _eq_VxV_ )
	$\|$	( _neq_SxS_ \| _neq_SxV_ \| _neq_VxS_ \| _neq_VxV_ )
	$\|$	( _le_SxS_ \| _le_SxV_ \| _le_VxS_ \| _le_VxV_ )
	$\|$	( _lt_SxS_ \| _lt_SxV_ \| _lt_VxS_ \| _lt_VxV_ )
	$\|$	( _ge_SxS_ \| _ge_SxV_ \| _ge_VxS_ \| _ge_VxV_ )
	$\|$	( _gt_SxS_ \| _gt_SxV_ \| _gt_VxS_ \| _gt_VxV_ )
	$\|$	( _and_SxS_ \| _and_SxV_ \| _and_VxS_ \| _and_VxV_ )
	$\|$	( _or_SxS_ \| _or_SxV_ \| _or_VxS_ \| _or_VxV_ )
	$\|$	_reshape_VxA_
	$\|$	_sel_VxA_
	$\|$	_take_SxV_
	$\|$	_drop_SxV_
	$\|$	_cat_VxV_

interface_pragma	$\Rightarrow$	# pragma linkname str
	$\|$	# pragma header str
	$\|$	# pragma linkwith [ str ] ${}^{\hbox{+}}$
	$\|$	# pragma linkobj [ str ] ${}^{\hbox{+}}$
	$\|$	# pragma copyfun str
	$\|$	# pragma freefun str
	$\|$	# pragma ctype str
	$\|$	# pragma linksign [ nums ]
	$\|$	# pragma sacarg [ nums ]
	$\|$	# pragma refcounting [ nums ]
	$\|$	# pragma gpumem [ nums ]
	$\|$	# pragma effect qual_ext_id [ , qual_ext_id ] ${}^{{}_{\hbox{\normalsize*}}}$
withloop_pragma	$\Rightarrow$	# pragma wlcomp wc_funcall
	$\|$	# pragma nocuda
generator_pragma	$\Rightarrow$	# pragma gpukernel GridBlock ( num , gk_funcall )
wc_funcall	$\Rightarrow$	Default
	$\|$	All ( )
	$\|$	Cubes ( )
	$\|$	ConstSegs ( [ [ nums ] , [ nums ] , ] ${}^{\hbox{+}}$ wc_funcall )
	$\|$	NoBlocking ( wc_funcall )
	$\|$	BvL0 ( [ [ nums ] , ] ${}^{\hbox{+}}$ wc_funcall )
	$\|$	BvL1 ( [ [ nums ] , ] ${}^{\hbox{+}}$ wc_funcall )
	$\|$	BvL2 ( [ [ nums ] , ] ${}^{\hbox{+}}$ wc_funcall )
	$\|$	Ubv ( [ [ nums ] , ] ${}^{\hbox{+}}$ wc_funcall )
	$\|$	Scheduling ( sched_param , wc_funcall )
	$\|$	Tasksel ( tsel_param , wc_funcall )
gk_funcall	$\Rightarrow$	Gen
	$\|$	ShiftLB ( gk_funcall )
	$\|$	CompressGrid ( [ nums ] , gk_funcall )
	$\|$	Permute ( [ nums ] , gk_funcall )
	$\|$	FoldLast2 ( gk_funcall )
	$\|$	SplitLast ( num , gk_funcall )
	$\|$	PadLast ( num , gk_funcall )
cachesim_pragma	$\Rightarrow$	# pragma cachesim [ str ] ${}^{{}_{\hbox{\normalsize*}}}$
function_pragma	$\Rightarrow$	# pragma recountdots
	$\|$	# pragma noinline

unary_prf	$\Rightarrow$	( _tob_S_ \| _tos_S_ \| _toi_S_ \| _tol_S_ \| _toll_S_ )
	$\|$	( _toub_S_ \| _tous_S_ \| _toui_S_ \| _toul_S_ \| _toull_S_ )
	$\|$	_tof_S_
	$\|$	_tod_S_
	$\|$	_toc_S_
	$\|$	_tobool_S_
	$\|$	( _not_S_ \| _not_V_ )
	$\|$	( _neg_S_ \| _neg_V_ )
	$\|$	( _abs_S_ \| _abs_V_ )
	$\|$	_dim_A_
	$\|$	_shape_A_
ternary_prf	$\Rightarrow$	_modarray_AxVxS_
binary_prf	$\Rightarrow$	( _add_SxS_ \| _add_SxV_ \| _add_VxS_ \| _add_VxV_ )
	$\|$	( _sub_SxS_ \| _sub_SxV_ \| _sub_VxS_ \| _sub_VxV_ )
	$\|$	( _mul_SxS_ \| _mul_SxV_ \| _mul_VxS_ \| _mul_VxV_ )
	$\|$	( _div_SxS_ \| _div_SxV_ \| _div_VxS_ \| _div_VxV_ )
	$\|$	( _aplmod_SxS_ \| _aplmod_SxV_ )
	$\|$	( _aplmod_VxS_ \| _aplmod_VxV_ )
	$\|$	( _mod_SxS_ \| _mod_SxV_ \| _mod_VxS_ \| _mod_VxV_ )
	$\|$	( _min_SxS_ \| _min_SxV_ \| _min_VxS_ \| _min_VxV_ )
	$\|$	( _max_SxS_ \| _max_SxV_ \| _max_VxS_ \| _max_VxV_ )
	$\|$	( _eq_SxS_ \| _eq_SxV_ \| _eq_VxS_ \| _eq_VxV_ )
	$\|$	( _neq_SxS_ \| _neq_SxV_ \| _neq_VxS_ \| _neq_VxV_ )
	$\|$	( _le_SxS_ \| _le_SxV_ \| _le_VxS_ \| _le_VxV_ )
	$\|$	( _lt_SxS_ \| _lt_SxV_ \| _lt_VxS_ \| _lt_VxV_ )
	$\|$	( _ge_SxS_ \| _ge_SxV_ \| _ge_VxS_ \| _ge_VxV_ )
	$\|$	( _gt_SxS_ \| _gt_SxV_ \| _gt_VxS_ \| _gt_VxV_ )
	$\|$	( _and_SxS_ \| _and_SxV_ \| _and_VxS_ \| _and_VxV_ )
	$\|$	( _or_SxS_ \| _or_SxV_ \| _or_VxS_ \| _or_VxV_ )
	$\|$	_reshape_VxA_
	$\|$	_sel_VxA_
	$\|$	_take_SxV_
	$\|$	_drop_SxV_
	$\|$	_cat_VxV_

1 Program Structure

2 Module Declarations

3 Import / Export

4 Structure Definitions

5 Type Definitions

6 Object Definitions

7 Function Declarations and Definitions

8 Function Bodies

9 Expressions

10 With-Loops

11 Types

12 Identifiers

13 Constants

14 Builtin Operations

15 Pragmas