diff options
| author | Robert Norton | 2018-02-22 17:23:27 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-02-22 17:23:27 +0000 |
| commit | 5308167903db5e81c07a5aff9f20c83f33afcb9c (patch) | |
| tree | ba0aae862b7c43d98328b0840bdb64f74cdcbfdc /mips_new_tc/mips_ast_decl.sail | |
| parent | 51c122d99a1a481bc916f766ae6bd2a6a66de6d2 (diff) | |
wip
Diffstat (limited to 'mips_new_tc/mips_ast_decl.sail')
| -rw-r--r-- | mips_new_tc/mips_ast_decl.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mips_new_tc/mips_ast_decl.sail b/mips_new_tc/mips_ast_decl.sail index 5d06eacb..e39bc270 100644 --- a/mips_new_tc/mips_ast_decl.sail +++ b/mips_new_tc/mips_ast_decl.sail @@ -35,10 +35,10 @@ /* misp_insts.sail: mips instruction decode and execute clauses and AST node declarations */ -scattered type ast = const union +scattered union ast val execute : ast -> unit effect {barr, eamem, escape, rmem, rreg, undef, wmv, wreg} -scattered function unit execute +scattered function execute val decode : bits(32) -> option(ast) effect pure -scattered function option(ast) decode +scattered function decode |