add store_indirect_u32

paritytech · Jul 3, 2024 · f542f41 · f542f41
1 parent f75428e
commit f542f41
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 0 deletions.
diff --git a/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_nok.txt b/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_nok.txt
@@ -0,0 +1,7 @@
+pre: a0 = 0x20000
+pre: a1 = 0x12345678
+
+%rw_data_size = 1
+
+pub @main:
+    u32 [a0 + 4097] = a1
diff --git a/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_ok.txt b/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_ok.txt
@@ -0,0 +1,7 @@
+pre: a0 = 0x20000
+pre: a1 = 0x12345678
+
+%rw_data_size = 1
+
+pub @main:
+    u32 [a0 + 10] = a1
diff --git a/tools/spectool/spec/src/inst_store_indirect_u32_without_offset_ok.txt b/tools/spectool/spec/src/inst_store_indirect_u32_without_offset_ok.txt
@@ -0,0 +1,7 @@
+pre: a0 = 0x20000
+pre: a1 = 0x12345678
+
+%rw_data_size = 1
+
+pub @main:
+    u32 [a0] = a1