remove bracket syntax error
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 19 Apr 2023 07:03:12 +0000 (08:03 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 19 Apr 2023 07:03:12 +0000 (08:03 +0100)
openpower/sv/rfc/ls005.mdwn

index 2d82beac7132781bde8e1a4094b9c79de88afb9b..323a05f32820f06d81b975878a552808bf4e9946 100644 (file)
@@ -290,10 +290,10 @@ The RTL for `extsb` becomes:
 
 ```
     in <- (RA)[XLEN-8:XLEN-1] # extract first byte
-    if XLEN = 8  then RT <- in[7]] * 8             # 1->8
-    if XLEN = 16 then RT <- in[6]] * 15 || in[7]   # 2->16
-    if XLEN = 32 then RT <- in[4]] * 29 || in[5:7] # 4->32
-    if XLEN = 64 then RT <- in[0]] * 56 || in[1:7] # 8->64
+    if XLEN = 8  then RT <- in[7] * 8             # 1->8
+    if XLEN = 16 then RT <- in[6] * 15 || in[7]   # 2->16
+    if XLEN = 32 then RT <- in[4] * 29 || in[5:7] # 4->32
+    if XLEN = 64 then RT <- in[0] * 56 || in[1:7] # 8->64
 ```
 
 And `extsh` and `extsw` follow similar logic. Interestingly there is