Augment LR/SC test to test that SC-after-failed-SC fails

riscv-software-src · Apr 7, 2023 · 394937e · 394937e
1 parent aaae4e7
commit 394937e
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/isa/rv64ua/lrsc.S b/isa/rv64ua/lrsc.S
@@ -83,12 +83,15 @@ TEST_CASE( 5, a0, 0, \
 )
 
 # make sure that sc-after-successful-sc fails.
-TEST_CASE( 6, a1, 1, \
+TEST_CASE( 6, a1, 2, \
   la a0, foo; \
 1:lr.w a1, (a0); \
   sc.w a1, x0, (a0); \
   bnez a1, 1b; \
-  sc.w a1, x0, (a0)
+  sc.w a1, x0, (a0); \
+  /* make sure that sc-after-failed-sc fails, too */ \
+  sc.w a2, x0, (a0); \
+  add a1, a1, a2
 )
 
 TEST_PASSFAIL