diff options
| author | Kathy Gray | 2014-08-01 17:47:38 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-01 17:47:38 +0100 |
| commit | d08142bfe05ec33f43e3d42a92a4c7f21e3be954 (patch) | |
| tree | 9580d9a715cf4a78f68a476bf0d4dba0fabc43dd /src/test/test4.sail | |
| parent | 06b8c94efec32f81ee63031f2996563ecc45d00a (diff) | |
Support separated memory read/write functions.
Also allows register writing functions to be on the left hand side of an assignment in the same way.
The last parameter to a writing function is the value to be written, and should appear on the right hand side of an assignment expression.
Diffstat (limited to 'src/test/test4.sail')
| -rw-r--r-- | src/test/test4.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/test4.sail b/src/test/test4.sail index 36cb271a..fa0133ca 100644 --- a/src/test/test4.sail +++ b/src/test/test4.sail @@ -1,5 +1,5 @@ (* hack to display log messages. Syntax: LOG(0) := "log message"; *) -val extern forall Type 'a . nat -> 'a effect { wmem , rmem } LOG +val extern forall Type 'a . (nat, 'a) -> unit effect { wmem } LOG register (bit[1]) GPR0 register (bit[1]) GPR1 |