Changes between Version 18 and Version 19 of IR


Ignore:
Timestamp:
11/22/15 09:09:25 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v18 v19  
    44Properties of the language:
    55
     6* the language is not intended to be written by humans; it is an intermediate form constructed by CIVL.  However it should be readable to help debug things
    67* the language (and grammar) are subsets of CIVL-C
    78* a CIVL-IR program represents a guarded-transition system explicitly
    … …  
    7879What are two types compatible?
    7980
     81== Declarations ==
     82
     83Declarations follow the C notation.   Function prototypes are considered to be declarations similar to variable declarations.
     84
     85**Declarations for system, abstract/pure functions?**
     86
    8087
    8188== Expressions ==
    … …  
    124131
    125132
    126 == Statements ==
     133== The Primitive Statements ==
    127134
    128 * Assign
    129 * Call
     135* Assign:  `e1=e2`
     136* Call: `e0(e1,...,en);` and `e=e0(e1,...,en);`
    130137 * regular function (one with flow graph)
    131  * system function?
    132  * abstract function?
    133  * pure functions?
    134 * Spawn
    135 * Wait
     138 * function can be system, pure, abstract?
     139* Spawn: `$spawn e0(e1,...,en);` and `e=$spawn e0(e1,...,en);`
     140* Wait: `$wait(e);`
    136141* Wailtall?
    137 * Malloc
    138 * Free
    139 * Noop
    140 * Return
    141 * Atomic_enter
    142 * Atomic_exit
    143 * Parfor_spawn.  is there exit?
    144 * For_dom_enter (for domains).  exit?
     142* Malloc: `e=(T)$malloc(e1,e2);` **??**
     143* Free: `free(e);`
     144* Noop: `;`
     145* Return: `return;` and `return e;`
     146* Atomic_enter: **what notation?**
     147* Atomic_exit: **what notation?**
     148* Parfor_spawn.  **what notation? Is there exit?**
     149* For_dom_enter (for domains).  **What notation?  Is there exit?**
    145150
    146151