From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Wed, 16 Aug 2017 19:26:25 +0000 (-0700)
Subject: Inform GCC that "sfence.vma" clobbers memory
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4b34476937b494f5dfe1a229008585017e958194;p=riscv-tests.git

Inform GCC that "sfence.vma" clobbers memory
---

diff --git a/benchmarks/pmp/pmp.c b/benchmarks/pmp/pmp.c
index 9d07ed8..c263cfd 100644
--- a/benchmarks/pmp/pmp.c
+++ b/benchmarks/pmp/pmp.c
@@ -137,7 +137,7 @@ INLINE pmpcfg_t set_pmp(pmpcfg_t p)
   write_csr(pmpaddr0, p.a0);
   write_csr(pmpaddr1, p.a1);
   write_csr(pmpcfg0, ((p.cfg << 8) & 0xff00) | (cfg0 & ~0xff00));
-  asm volatile ("sfence.vma");
+  asm volatile ("sfence.vma" ::: "memory");
   return p;
 }
 
diff --git a/env b/env
index db0bfa2..1b76fd1 160000
--- a/env
+++ b/env
@@ -1 +1 @@
-Subproject commit db0bfa223142e56b17dae6d92610f195014bbb80
+Subproject commit 1b76fd1f1c63dfe4cea93f426434a7384d2bf801