Changeset 102070 in vbox for trunk/src/VBox/VMM/VMMAll/IEMAllInstPython.py

Timestamp:

Nov 12, 2023 1:36:45 AM (16 months ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

160181

Message:

VMM/IEM: Native translation of IEM_MC_CLEAR_HIGH_GREG_U64. Had to extend IEMAllN8veRecompiler.py to insert IEM_MC_FREE_LOCAL (and IEM_MC_FREE_ARG) into ELSE branches to simplify state consolidation on IEM_MC_ENDIF (had trouble with cmovxx). bugref:10371

File:

• trunk/src/VBox/VMM/VMMAll/IEMAllInstPython.py (modified) (3 diffs)

trunk/src/VBox/VMM/VMMAll/IEMAllInstPython.py

@@ -1991 +1991 @@
     ## @}
 
-    def __init__(self, sSrcFile, iBeginLine, offBeginLine, oFunction, iInFunction, cchIndent = None):
+    def __init__(self, sSrcFile, iBeginLine, offBeginLine, oFunction, iInFunction, cchIndent = None, fDeferToCImpl = False):
+        ## Set if IEM_MC_DEFER_TO_CIMPL_0_RET and friends, clear if IEM_MC_BEGIN/END block.
+        self.fDeferToCImpl = fDeferToCImpl;
         ## The source file containing the block.
         self.sSrcFile     = sSrcFile;
@@ -2793 +2795 @@
     'IEM_MC_CLEAR_EFL_BIT':                                      (McBlock.parseMcGeneric,           True,  False, ),
     'IEM_MC_CLEAR_FSW_EX':                                       (McBlock.parseMcGeneric,           True,  False, ),
-    'IEM_MC_CLEAR_HIGH_GREG_U64':                                (McBlock.parseMcGeneric,           True,  False, ),
+    'IEM_MC_CLEAR_HIGH_GREG_U64':                                (McBlock.parseMcGeneric,           True,  True,  ),
     'IEM_MC_CLEAR_XREG_U32_MASK':                                (McBlock.parseMcGeneric,           True,  False, ),
     'IEM_MC_CLEAR_YREG_128_UP':                                  (McBlock.parseMcGeneric,           True,  False, ),
@@ -5201 +5203 @@
         # Start a new block.
         oMcBlock = McBlock(self.sSrcFile, self.iLine, offBeginStatementInLine,
-                           self.oCurFunction, self.iMcBlockInFunc, cchIndent);
+                           self.oCurFunction, self.iMcBlockInFunc, cchIndent, fDeferToCImpl = True);
 
         # Parse the statment.