From 4b34476937b494f5dfe1a229008585017e958194 Mon Sep 17 00:00:00 2001 From: Palmer Dabbelt Date: Wed, 16 Aug 2017 12:26:25 -0700 Subject: Inform GCC that "sfence.vma" clobbers memory --- benchmarks/pmp/pmp.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'benchmarks') 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; } -- cgit v1.1