tests: Improve coverage of emitinlinerv32.c.

Signed-off-by: Jeff Epler <jepler@gmail.com>

Author: jepler

tests/ports/unix/mpy_coverage.py

@@ -71,6 +71,17 @@ def run_one_arch(arch, inlineasm=None):
         run_dir(f"inlineasm/{inlineasm}", emit_arch=arch, emit_opt="EMIT_OPT_NATIVE_PYTHON")
 
 
+def run_extra_cases(emit_arch, cases):
+    arch_support_check(emit_arch)
+
+    for content in cases:
+        try:
+            compiled = mpycross.compile(content, "<expect-error>", emit_arch=emit_arch)
+            print(f"OK")
+        except SyntaxError as e:
+            print(e)
+
+
 if __name__ == "__main__":
     arch_support_check("host")
     run_dir(f"basics", emit_opt="EMIT_OPT_BYTECODE")

tests/ports/unix/mpy_coverage_rv32imc.py

@@ -1,3 +1,49 @@
 import mpy_coverage
 
 mpy_coverage.run_one_arch("rv32imc", "rv32")
+
+print("Expected to compile")
+mpy_coverage.run_extra_cases(
+    "rv32imc",
+    [
+        "@micropython.asm_rv32\ndef f(): ebreak()",
+    ],
+)
+
+# Test "argument out of range" specifically for label targets
+nl = "\n"
+beqz_test = f"""
+@micropython.asm_rv32
+def f():
+ c_beqz(a0, l)
+{nl.join(" ecall()" for _ in range(64))}
+ label(l)
+ """
+
+print("Expected to fail")
+mpy_coverage.run_extra_cases(
+    "rv32imc",
+    [
+        "@micropython.asm_rv32\ndef f(a0, a1, a2, a3, a4): ac_li(a0, 1)",
+        "@micropython.asm_rv32\ndef f(a0, a4): ac_li(a0, 1)",
+        "@micropython.asm_rv32\ndef f(a0): csrrc()",
+        "@micropython.asm_rv32\ndef f(a0): csrrc(s0, s0, s0)",
+        "@micropython.asm_rv32\ndef f(a0): csrrc(s0, s0, 0xffffff)",
+        "@micropython.asm_rv32\ndef f(a0): csrrc(s0, 0, s0)",
+        "@micropython.asm_rv32\ndef f(a0): moo()",
+        "@micropython.asm_rv32\ndef f(a0): beq(a0,a0,0)",
+        "@micropython.asm_rv32\ndef f(a0): beq(a0,a0,3.14)",
+        "@micropython.asm_rv32\ndef f(a0): beq(a0,a0,y)",
+        "@micropython.asm_rv32\ndef f(): lw(a3, 99999(a3))",
+        "@micropython.asm_rv32\ndef f(): lw(a3, -99999(a3))",
+        "@micropython.asm_rv32\ndef f(): lw(a3, +99999(a3))",
+        "@micropython.asm_rv32\ndef f(): lw(a3, (a3))",
+        "@micropython.asm_rv32\ndef f(): lw()",
+        "@micropython.asm_rv32\ndef f(): a=di(a2, a2, -1)",
+        "@micropython.asm_rv32\ndef f(ax): beq(ax, ax, 1)",
+        "@micropython.asm_rv32\ndef f(): c_lui(zero, 0)",
+        "@micropython.asm_rv32\ndef f(): c_lui(a0, 0)",
+        "@micropython.asm_rv32\ndef f(): csrrci(a0, 63, 63)",
+        beqz_test,
+    ],
+)

tests/ports/unix/mpy_coverage_rv32imc.py.exp

@@ -595,3 +595,27 @@ Compiling asmsanity.py with rv32imc EMIT_OPT_NATIVE_PYTHON
 Compiling asmshift.py with rv32imc EMIT_OPT_NATIVE_PYTHON
 Compiling asmstack.py with rv32imc EMIT_OPT_NATIVE_PYTHON
 Compiling asmsum.py with rv32imc EMIT_OPT_NATIVE_PYTHON
+Expected to compile
+OK
+Expected to fail
+can only have up to 4 parameters for RV32 assembly
+parameters must be registers in sequence a0 to a3
+opcode 'csrrc': expecting 3 arguments
+opcode 'csrrc' argument 3: expecting integer
+opcode 'csrrc' argument 3: out of range
+opcode 'csrrc' argument 2: expecting register
+unknown RV32 instruction 'moo'
+opcode 'beq' argument 3: expecting label
+opcode 'beq' argument 3: expecting label
+opcode 'beq' argument 3: undefined label 'y'
+opcode 'lw' argument 2: out of range
+opcode 'lw' argument 2: out of range
+opcode 'lw' argument 2: out of range
+opcode 'lw' argument 2: expecting offset
+opcode 'lw': expecting 2 arguments
+expecting an assembler instruction
+parameters must be registers in sequence a0 to a3
+opcode 'c_lui' argument 1: unknown register
+opcode 'c_lui' argument 2: must not be zero
+opcode 'csrrci' argument 3: out of range
+opcode 'c_beqz' argument 2: out of range