Check that SC yields the load reservation

[riscv-tests.git] / isa / rv64ua / lrsc.S

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