From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 6 Apr 2020 12:34:46 +0000 (+0100)
Subject: remove fallthrough hack-keyword
X-Git-Tag: convert-csv-opcode-to-binary~2917
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3fbac829bfc2e1c629a31f0edc9976271adc8569;p=libreriscv.git

remove fallthrough hack-keyword
---

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 0454cc757..0b7f9a120 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): fallthrough
+      case(808, 809, 810, 811):
       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): fallthrough
+      case(808, 809, 810, 811):
       default:
         if length(SPR(n)) = 64 then
           RT <- SPR(n)