projects
/
riscv-tests.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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