From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 15:59:26 +0000 (+0100)
Subject: use "fallthrough" trick to get parser to work (hack)
X-Git-Tag: convert-csv-opcode-to-binary~2934
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f8554ceda97ffd880f140c95d6d4061d126638b;p=libreriscv.git

use "fallthrough" trick to get parser to work (hack)
---

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index a59648589..c6ba3ca96 100644
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -7,7 +7,7 @@ XFX-Form
     n <- spr[5:9] || spr[0:4]
     switch (n)
       case(13): see(Book_III_p974)
-      case(808, 809, 810, 811):
+      case(808, 809, 810, 811): fallthrough
       default:
         if length(SPR(n)) = 64 then
           SPR(n) <- (RS)
@@ -27,7 +27,7 @@ XFX-Form
     n <- spr[5:9] || spr[0:4]
     switch (n)
       case(129): see(Book_III_p975)
-      case(808, 809, 810, 811):
+      case(808, 809, 810, 811): fallthrough
       default:
         if length(SPR(n)) = 64 then
           RT <- SPR(n)