Check that SC yields the load reservation

https://github.com/riscv/riscv-isa-manual/commit/03a5e722fc0fe7b94dd0a49f550ff7b41a63f612

diff --git a/isa/rv64ua/lrsc.S b/isa/rv64ua/lrsc.S
index 14ef07de5cd53bbebefecfda77dea0e2c993cfb7..f73a404973d878185f35488a955f95937e20dd40 100644 (file)
--- a/isa/rv64ua/lrsc.S
+++ b/isa/rv64ua/lrsc.S
@@ -70,6 +70,15 @@ TEST_CASE( 4, a0, 0, \
   bgez a3, 1b
 )
 
+# make sure that sc-after-successful-sc fails.
+TEST_CASE( 5, a1, 1, \
+  la a0, foo; \
+1:lr.w a1, (a0); \
+  sc.w a1, x0, (a0); \
+  bnez a1, 1b; \
+  sc.w a1, x0, (a0)
+)
+
 TEST_PASSFAIL
 
 RVTEST_CODE_END