diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-16 13:42:50 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-16 13:42:50 -0700 |
| commit | d80764d4638dee078c33faac827fe77ddcd268ab (patch) | |
| tree | 7b79f4535d4266e19bca42fa9daf6578c6d13b17 | |
| parent | 311680cad866d9a2a13aec44a1b615eb6cebe6a5 (diff) | |
| parent | 4b34476937b494f5dfe1a229008585017e958194 (diff) | |
| download | riscv-tests-d80764d4638dee078c33faac827fe77ddcd268ab.zip riscv-tests-d80764d4638dee078c33faac827fe77ddcd268ab.tar.gz riscv-tests-d80764d4638dee078c33faac827fe77ddcd268ab.tar.bz2 | |
Merge pull request #67 from riscv/sfence_vma
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 |