ISA parser: Use '_' instead of '.' to delimit type modifiers on operands.

By using an underscore, the "." is still available and can unambiguously be
used to refer to members of a structure if an operand is a structure, class,
etc. This change mostly just replaces the appropriate "."s with "_"s, but
there were also a few places where the ISA descriptions where handling the
extensions themselves and had their own regular expressions to update. The
regular expressions in the isa parser were updated as well. It also now
looks for one of the defined type extensions specifically after connecting "_"
where before it would look for any sequence of characters after a "."
following an operand name and try to use it as the extension. This helps to
disambiguate cases where a "_" may legitimately be part of an operand name but
not separate the name from the type suffix.

Because leaving the "_" and suffix on the variable name still leaves a valid
C++ identifier and all extensions need to be consistent in a given context, I
considered leaving them on as a breadcrumb that would show what the intended
type was for that operand. Unfortunately the operands can be referred to in
code templates, the Mem operand in particular, and since the exact type of Mem
can be different for different uses of the same template, that broke things.

1 files changed, 8 insertions, 8 deletions

diff --git a/src/arch/arm/isa/insts/str.isa b/src/arch/arm/isa/insts/str.isa
index c01478cfa..80846053b 100644
--- a/src/arch/arm/isa/insts/str.isa
+++ b/src/arch/arm/isa/insts/str.isa
@@ -110,8 +110,8 @@ let {{
                 wbDiff = 8
             accCode = '''
             CPSR cpsr = Cpsr;
-            Mem.ud = (uint64_t)cSwap(LR.uw, cpsr.e) |
-                     ((uint64_t)cSwap(Spsr.uw, cpsr.e) << 32);
+            Mem_ud = (uint64_t)cSwap(LR_uw, cpsr.e) |
+                     ((uint64_t)cSwap(Spsr_uw, cpsr.e) << 32);
             '''
 
             global header_output, decoder_output, exec_output
@@ -198,7 +198,7 @@ let {{
 
             # Code that actually handles the access
             if self.flavor == "fp":
-                accCode = 'Mem%(suffix)s = cSwap(FpDest.uw, ((CPSR)Cpsr).e);'
+                accCode = 'Mem%(suffix)s = cSwap(FpDest_uw, ((CPSR)Cpsr).e);'
             else:
                 accCode = \
                     'Mem%(suffix)s = cSwap(Dest%(suffix)s, ((CPSR)Cpsr).e);'
@@ -273,15 +273,15 @@ let {{
             # Code that actually handles the access
             if self.flavor == "fp":
                 accCode = '''
-                uint64_t swappedMem  = (uint64_t)FpDest.uw |
-                                       ((uint64_t)FpDest2.uw << 32);
-                Mem.ud = cSwap(swappedMem, ((CPSR)Cpsr).e);
+                uint64_t swappedMem  = (uint64_t)FpDest_uw |
+                                       ((uint64_t)FpDest2_uw << 32);
+                Mem_ud = cSwap(swappedMem, ((CPSR)Cpsr).e);
                 '''
             else:
                 accCode = '''
                 CPSR cpsr = Cpsr;
-                Mem.ud = (uint64_t)cSwap(Dest.uw, cpsr.e) |
-                         ((uint64_t)cSwap(Dest2.uw, cpsr.e) << 32);
+                Mem_ud = (uint64_t)cSwap(Dest_uw, cpsr.e) |
+                         ((uint64_t)cSwap(Dest2_uw, cpsr.e) << 32);
                 '''
 
             self.codeBlobs["memacc_code"] = accCode