SaC EBNF Grammar

November 2, 2016

prg	$\Rightarrow$	[ global_pragma ] ${}^{{}_{\hbox{\normalsize}}}$ [ ( module $\|$ class ) ] [ interface ] ${}^{{}_{\hbox{\normalsize}}}$
		[ tfspec ] ${}^{{}_{\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$	builtintypedef
	$\|$	loctypedef
	$\|$	exttypedef
	$\|$	absttypedef
	$\|$	typerel
builtintypedef	$\Rightarrow$	builtin typedef [ typecompspec ] id [ typeargs ] ;
loctypedef	$\Rightarrow$	typedef [ typecompspec ] type id ;
exttypedef	$\Rightarrow$	external typedef [ typecompspec ] id ; [ interface_pragma ] ${}^{{}_{\hbox{\normalsize*}}}$
absttypedef	$\Rightarrow$	typedef [ typecompspec ] id ;
typecompspec	$\Rightarrow$	[ id ]
typeargs	$\Rightarrow$	( id [ , id ] ${}^{{}_{\hbox{\normalsize*}}}$ )
typerel	$\Rightarrow$	typerel id [ , id ] ${}^{{}_{\hbox{\normalsize*}}}$ <: id ;
	$\|$	typerel id [ typeargs ] <: id [ typeargs ] [ \| typerelexpr ] ;
typerelexpr	$\Rightarrow$	( typerelexpr )
	$\|$	typerelexpr <= typerelexpr
	$\|$	typerelexpr >= typerelexpr
	$\|$	typerelexpr == typerelexpr
	$\|$	typerelexpr && typerelexpr
	$\|$	id

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 ] [ thread ] fixsignature [ 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 [ & ] id
fixrets	$\Rightarrow$	( type [ , type ] ${}^{{}_{\hbox{\normalsize*}}}$ $\|$ [ void ] )
varrets	$\Rightarrow$	fixrets
	$\|$	type [ , type ] ${}^{{}_{\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 . id
	$\|$	assign_lhs [ exprs ]
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
	$\|$	set_notation
	$\|$	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$	< exprs >
	$\|$	expr . id
funcall	$\Rightarrow$	qual_ext_id ( [ exprs ] )
	$\|$	spawn [ ( str ) ] qual_ext_id ( [ exprs ] )
	$\|$	rspawn [ ( str ) ] 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 )
set_notation	$\Rightarrow$	{ id -> expr }
	$\|$	{ [ [ id_or_mdot [ , id_or_mdot ] ${}^{{}_{\hbox{\normalsize*}}}$ ] ] -> expr }

withloop	$\Rightarrow$	[ local ] with [ generators ] : operations
generators	$\Rightarrow$	{ [ withloop_pragma ] [ generator ] ${}^{{}_{\hbox{\normalsize*}}}$ }
generator	$\Rightarrow$	( index_set ) [ { [ 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*}}}$ ] ]
	$\|$	[ [ num [ , num ] ${}^{{}_{\hbox{\normalsize*}}}$ ] ]
basetype	$\Rightarrow$	simpletype
	$\|$	usertype
simpletype	$\Rightarrow$	byte
	$\|$	short
	$\|$	int
	$\|$	long
	$\|$	longlong
	$\|$	ubyte
	$\|$	ushort
	$\|$	uint
	$\|$	ulong
	$\|$	ulonglong
	$\|$	float
	$\|$	bool
	$\|$	char
	$\|$	double
usertype	$\Rightarrow$	( [ struct ] $\|$ id :: ) id
polytype	$\Rightarrow$	< id [ = id [ id ] ] >
	$\|$	< id ( -> $\|$ <- ) 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{\normalsize+}}}$
	$\|$	true
	$\|$	false

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_ )
	$\|$	( _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_
secret_prf	$\Rightarrow$	_hideValue_SxA_
	$\|$	_hideShape_SxA_
	$\|$	_hideDim_SxA_
	$\|$	_sel_VxIA_
	$\|$	( _reciproc_S_ $\|$ _reciproc_V_ )
	$\|$	_mask_VxVxV_
	$\|$	( _non_neg_val_S_ $\|$ _non_neg_val_V_ )
	$\|$	( _val_le_val_SxS_ $\|$ _val_le_val_VxV_ )

global_pragma	$\Rightarrow$	# pragma main-aspect qual_ext_id [ , qual_ext_id ] ${}^{{}_{\hbox{\normalsize*}}}$
interface_pragma	$\Rightarrow$	# pragma linkname str
	$\|$	# pragma cudalinkname [ str ] ${}^{{}_{\hbox{\normalsize+}}}$
	$\|$	# pragma linkwith [ str ] ${}^{{}_{\hbox{\normalsize+}}}$
	$\|$	# pragma linkobj [ str ] ${}^{{}_{\hbox{\normalsize+}}}$
	$\|$	# pragma copyfun str
	$\|$	# pragma freefun str
	$\|$	# pragma linksign [ nums ]
	$\|$	# pragma refcounting [ nums ]
	$\|$	# pragma effect qual_ext_id [ , qual_ext_id ] ${}^{{}_{\hbox{\normalsize*}}}$
withloop_pragma	$\Rightarrow$	# pragma wlcomp funcall
cachesim_pragma	$\Rightarrow$	# pragma cachesim [ str ] ${}^{{}_{\hbox{\normalsize*}}}$
function_pragma	$\Rightarrow$	# pragma recountdots
	$\|$	# pragma mutcthreadfun
	$\|$	# 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_ )
	$\|$	( _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_
secret_prf	$\Rightarrow$	_hideValue_SxA_
	$\|$	_hideShape_SxA_
	$\|$	_hideDim_SxA_
	$\|$	_sel_VxIA_
	$\|$	( _reciproc_S_ $\|$ _reciproc_V_ )
	$\|$	_mask_VxVxV_
	$\|$	( _non_neg_val_S_ $\|$ _non_neg_val_V_ )
	$\|$	( _val_le_val_SxS_ $\|$ _val_le_val_VxV_ )

SaC EBNF Grammar

1 Program Structure

2 Module Declarations

3 Import / Export

4 Structure Definitions (future use)

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