diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/regfp.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/regfp.sail b/etc/regfp.sail index 776e22af..761737db 100644 --- a/etc/regfp.sail +++ b/etc/regfp.sail @@ -83,6 +83,7 @@ typedef instruction_kind = const union { (barrier_kind) IK_barrier; (read_kind) IK_mem_read; (write_kind) IK_mem_write; + (read_kind, write_kind) IK_mem_rmw; IK_cond_branch; (trans_kind) IK_trans; IK_simple |