diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/regfp.sail | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/etc/regfp.sail b/etc/regfp.sail index cc057f2e..9a6172a9 100644 --- a/etc/regfp.sail +++ b/etc/regfp.sail @@ -16,9 +16,7 @@ typedef regfps = list <regfp> typedef niafp = const union { NIAFP_successor; (bit[64]) NIAFP_concrete_address; - NIAFP_LR; - NIAFP_CTR; - (regfp) NIAFP_register; + NIAFP_indirect_address; } typedef niafps = list <niafp> @@ -90,7 +88,7 @@ typedef instruction_kind = const union { (read_kind) IK_mem_read; (write_kind) IK_mem_write; (read_kind, write_kind) IK_mem_rmw; - IK_cond_branch; + IK_branch; (trans_kind) IK_trans; IK_simple } |