diff options
author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-16 12:26:25 -0700 |
---|---|---|
committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-16 12:27:02 -0700 |
commit | 4b34476937b494f5dfe1a229008585017e958194 (patch) | |
tree | 7b79f4535d4266e19bca42fa9daf6578c6d13b17 | |
parent | 311680cad866d9a2a13aec44a1b615eb6cebe6a5 (diff) | |
download | riscv-tests-4b34476937b494f5dfe1a229008585017e958194.zip riscv-tests-4b34476937b494f5dfe1a229008585017e958194.tar.gz riscv-tests-4b34476937b494f5dfe1a229008585017e958194.tar.bz2 |
Inform GCC that "sfence.vma" clobbers memory
-rw-r--r-- | benchmarks/pmp/pmp.c | 2 | ||||
m--------- | env | 13 |
2 files changed, 9 insertions, 6 deletions
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 -Subproject db0bfa223142e56b17dae6d92610f195014bbb8 +Subproject 1b76fd1f1c63dfe4cea93f426434a7384d2bf80 |