diff options
| author | Robert Norton | 2017-09-15 18:26:16 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-09-15 18:26:49 +0100 |
| commit | 3a4358d34cca39d61da4a21953be2a55f0a0a89e (patch) | |
| tree | 37e44c046f80e9918e83732a8b9e588e62353b73 /etc | |
| parent | a97cd6081df6a76c9daa34c773d82f21f5d014c8 (diff) | |
x86: implement regfp analysis function (no control flow yet)
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 f7744e8c..c0792df0 100644 --- a/etc/regfp.sail +++ b/etc/regfp.sail @@ -77,6 +77,7 @@ typedef barrier_kind = enumerate { Barrier_RISCV_rw_w; Barrier_RISCV_w_w; Barrier_RISCV_i; + Barrier_x86_MFENCE; } typedef trans_kind = enumerate { |