From 3a4358d34cca39d61da4a21953be2a55f0a0a89e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 15 Sep 2017 18:26:16 +0100
Subject: x86: implement regfp analysis function (no control flow yet)

---
 etc/regfp.sail | 1 +
 1 file changed, 1 insertion(+)

(limited to 'etc')

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 {
-- 
cgit v1.2.3