diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/power.sail | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/test/power.sail b/src/test/power.sail index 2b73e361..9dffb7c0 100644 --- a/src/test/power.sail +++ b/src/test/power.sail @@ -1,6 +1,8 @@ val extern ( nat * nat ) -> nat effect pure (deinfix + ) = "add" (* XXX type is wrong *) -val extern ( bit * bit ) -> bit effect pure (deinfix : ) = "vec_concat" +val extern forall Type 'a . ( 'a * 'a ) -> 'a effect pure (deinfix : ) = "vec_concat" + +val extern forall Type 'a . ( 'a * 'a ) -> bit effect pure (deinfix != ) = "neq" val extern forall Type 'a . ( 'a * 'a ) -> bool effect pure (deinfix != ) = "neq" @@ -16,6 +18,11 @@ function forall Type 'a . 'a exts ( x ) = x register (bit[32]) NIA (* next instruction address *) register (bit[32]) CIA (* current instruction address *) +(* XXX check me *) +register (bit[32]) CR +register (bit[32]) CTR +register (bit[32]) LR + register bool mode64bit scattered function unit execute |