Changeset 103828 in vbox for trunk/src/VBox/VMM/VMMAll/IEMAllThrdPython.py

Timestamp:

Mar 13, 2024 2:01:20 PM (9 months ago)

Author:

vboxsync

Message:

VMM/IEM: Implemented simple (whole sale) status flag up update skipping for arithmetic operations with native emitter. bugref:10375

File:

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

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

@@ -1104 +1104 @@
 
                 # Add EFLAGS usage annotations to relevant MCs.
-                elif oNewStmt.sName in ('IEM_MC_COMMIT_EFLAGS', 'IEM_MC_REF_EFLAGS', 'IEM_MC_FETCH_EFLAGS'):
+                elif oNewStmt.sName in ('IEM_MC_COMMIT_EFLAGS', 'IEM_MC_COMMIT_EFLAGS_OPT', 'IEM_MC_REF_EFLAGS',
+                                        'IEM_MC_FETCH_EFLAGS'):
                     oInstruction = self.oParent.oMcBlock.oInstruction;
                     oNewStmt.sName += '_EX';
@@ -1996 +1997 @@
 
             # Collect MCs working on EFLAGS.  Caller will check this.
-            if oStmt.sName in ('IEM_MC_FETCH_EFLAGS', 'IEM_MC_FETCH_EFLAGS_U8', 'IEM_MC_COMMIT_EFLAGS', 'IEM_MC_REF_EFLAGS',
-                               'IEM_MC_ARG_LOCAL_EFLAGS', ):
+            if oStmt.sName in ('IEM_MC_FETCH_EFLAGS', 'IEM_MC_FETCH_EFLAGS_U8', 'IEM_MC_COMMIT_EFLAGS',
+                               'IEM_MC_COMMIT_EFLAGS_OPT', 'IEM_MC_REF_EFLAGS', 'IEM_MC_ARG_LOCAL_EFLAGS', ):
                 dEflStmts[oStmt.sName] = oStmt;
             elif isinstance(oStmt, iai.McStmtCall):
@@ -2060 +2061 @@
                 if len(dEflStmts) != 1 or not sMcNames.startswith('IEM_MC_CALL_CIMPL_'): # Hack for far calls
                     self.error('Uses %s but has no @opflmodify, @opfltest or @opflclass with details!' % (sMcNames,), oGenerator);
-            elif 'IEM_MC_COMMIT_EFLAGS' in dEflStmts:
+            elif 'IEM_MC_COMMIT_EFLAGS' in dEflStmts  or  'IEM_MC_COMMIT_EFLAGS_OPT' in dEflStmts:
                 if not oInstruction.asFlModify:
                     if oInstruction.sMnemonic not in [ 'not', ]:
-                        self.error('Uses IEM_MC_COMMIT_EFLAGS but has no flags in @opflmodify!', oGenerator);
+                        self.error('Uses IEM_MC_COMMIT_EFLAGS[_OPT] but has no flags in @opflmodify!', oGenerator);
             elif (   'IEM_MC_CALL_CIMPL_0' in dEflStmts
                   or 'IEM_MC_CALL_CIMPL_1' in dEflStmts