Syntax Reference

Syntax Reference

This briefly describes the concrete syntax of Jasmin programs

var:

var      ::= NID

referenced by:

• annot_pvardecl
• pexpr_r
• pfunbody
• pinstr_r
• plvalue_r

keyword:

keyword  ::= 'inline'

           | 'export'

           | 'reg'

           | 'stack'

referenced by:

• annotationlabel
• simple_attribute

annotationlabel:

annotationlabel

         ::= NID

           | keyword

           | 'string'

referenced by:

• annotation

int:

int      ::= '-'? INT

referenced by:

• simple_attribute

simple_attribute:

simple_attribute

         ::= int

           | NID

           | 'string'

           | keyword

           | utype

referenced by:

• attribute

attribute:

attribute

         ::= '=' ( simple_attribute | '{' struct_annot '}' )

referenced by:

• annotation

annotation:

annotation

         ::= annotationlabel attribute?

referenced by:

• struct_annot
• top_annotation

struct_annot:

struct_annot

         ::= ( annotation ( ',' annotation )* )?

referenced by:

• attribute
• implicites
• top_annotation

top_annotation:

top_annotation

         ::= '#' ( annotation | '[' struct_annot ']' )

referenced by:

• annotations

annotations:

annotations

         ::= top_annotation*

referenced by:

• annot_pvardecl
• annot_stor_type
• pfundef
• pinstr

utype:

utype    ::= 'u8'

           | 'u16'

           | 'u32'

           | 'u64'

           | 'u128'

           | 'u256'

referenced by:

• arr_access_i
• pexpr_r
• plvalue_r
• ptype_r
• simple_attribute

ptype_r:

ptype_r  ::= 'bool'

           | 'int'

           | utype ( '[' pexpr ']' )?

referenced by:

• ptype

ptype:

ptype    ::= ptype_r

referenced by:

• pglobal
• pparam
• stor_type

swsize:

swsize   ::= SWSIZE

referenced by:

• cast
• castop1

svsize:

svsize   ::= SVSIZE

referenced by:

• castop1
• pexpr_r

castop1:

castop1  ::= swsize

           | svsize

referenced by:

• castop

castop:

castop   ::= castop1?

referenced by:

• peqop
• pexpr_r

cast:

cast     ::= 'int'

           | swsize

referenced by:

• pexpr_r

prim:

prim     ::= '#' NID

referenced by:

• pexpr_r

arr_access_len:

arr_access_len

         ::= ':' pexpr

referenced by:

• arr_access_i

arr_access_i:

arr_access_i

         ::= utype? pexpr arr_access_len?

referenced by:

• arr_access

arr_access:

arr_access

         ::= '.'? '[' arr_access_i ']'

referenced by:

• pexpr_r
• plvalue_r

pexpr_r:

pexpr_r  ::= var ( arr_access | '(' ( pexpr ( ',' pexpr )* )? ')' )?

           | 'true'

           | 'false'

           | INT

           | ( '(' utype ')' )? '[' var ( ( '+' | '-' ) pexpr )? ']'

           | '(' ( svsize ')' '[' pexpr ( ',' pexpr )* ']' | cast ')' pexpr | pexpr ')' )

           | ( ( '!' | '-' ) castop | pexpr ( '&&' | '!!' | ( '+' | '-' | '*' | '/' | '%' | '&' | '|' | '^' | '<<' | '>>[su]?' | '==' | '!=' | '<[su]?' | '<=[su]?' | '>[su]?' | '>=[su]?' ) castop | '?' pexpr ':' ) ) pexpr

           | prim '(' ( pexpr ( ',' pexpr )* )? ')'

referenced by:

• pexpr

pexpr:

pexpr    ::= pexpr_r

referenced by:

• arr_access_i
• arr_access_len
• pexpr_r
• pgexpr
• pinstr_r
• plvalue_r
• pparam
• ptype_r

peqop:

peqop    ::= ( ( '+' | '-' | '*' | '>>[su]?' | '<<' | '&' | '^' | '|' ) castop )? '='

referenced by:

• pinstr_r

plvalue_r:

plvalue_r

         ::= '_'

           | var arr_access?

           | ( '(' utype ')' )? '[' var ( ( '+' | '-' ) pexpr )? ']'

referenced by:

• plvalue

plvalue:

plvalue  ::= plvalue_r

referenced by:

• plvalues

implicites:

implicites

         ::= '?' '{' struct_annot '}'

referenced by:

• plvalues

plvalues:

plvalues ::= '(' plvalue ( ',' plvalue )* ')'

           | ( plvalue | implicites ) ( ',' plvalue )*

referenced by:

• pinstr_r

pinstr_r:

pinstr_r ::= ( 'ArrayInit' '(' var ')' | ( plvalues peqop pexpr | var '(' ( pexpr ( ',' pexpr )* )? ')' ) ( 'if' pexpr )? | stor_type var ( ','? var )* ) ';'

           | ( 'if' pexpr ( pblock 'else' )? | 'for' var '=' pexpr ( 'to' | 'downto' ) pexpr ) pblock

           | 'while' pblock? '(' pexpr ')' pblock?

referenced by:

• pinstr

pinstr:

pinstr   ::= annotations pinstr_r

referenced by:

• pblock_r
• pfunbody

pblock_r:

pblock_r ::= '{' pinstr* '}'

referenced by:

• pblock

pblock:

pblock   ::= pblock_r

referenced by:

• pinstr_r

stor_type:

stor_type

         ::= storage ptype

referenced by:

• annot_pvardecl
• annot_stor_type
• pinstr_r

annot_stor_type:

annot_stor_type

         ::= annotations stor_type

referenced by:

• pfundef

writable:

writable ::= 'const'

           | 'mut'

referenced by:

• pointer

pointer:

pointer  ::= writable? 'ptr'

referenced by:

• ptr

ptr:

ptr      ::= pointer?

referenced by:

• storage

storage:

storage  ::= ( 'reg' | 'stack' ) ptr

           | 'inline'

           | 'global'

referenced by:

• stor_type

annot_pvardecl:

annot_pvardecl

         ::= annotations stor_type var+

referenced by:

• pfundef

pfunbody:

pfunbody ::= '{' pinstr* ( 'return' ( '(' ( var ( ',' var )* )? ')' | var ( ',' var )* )? ';' )? '}'

referenced by:

• pfundef

call_conv:

call_conv

         ::= 'export'

           | 'inline'

referenced by:

• pfundef

pfundef:

pfundef  ::= annotations call_conv? 'fn' NID '(' ( annot_pvardecl ( ',' annot_pvardecl )* )? ')' ( '->' ( '(' ( annot_stor_type ( ',' annot_stor_type )* )? ')' | annot_stor_type ( ',' annot_stor_type )* )? )? pfunbody

referenced by:

• top

pparam:

pparam   ::= 'param' ptype NID '=' pexpr ';'

referenced by:

• top

pgexpr:

pgexpr   ::= pexpr

           | '{' pexpr ( ',' pexpr )* '}'

referenced by:

• pglobal

pglobal:

pglobal  ::= ptype NID '=' pgexpr ';'

referenced by:

• top

pexec:

pexec    ::= 'exec' NID '(' ( range ( ',' range )* )? ')'

referenced by:

• top

range:

range    ::= INT ':' INT

referenced by:

• pexec

from:

from     ::= 'from' NID

referenced by:

• prequire

prequire:

prequire ::= from? 'require' 'string'+

referenced by:

• top

top:

top      ::= pfundef

           | pparam

           | pglobal

           | pexec

           | prequire

referenced by:

• module_

module_:

module_  ::= top* EOF

           | error

no references

---

	... generated by RR - Railroad Diagram Generator