python
diff --git a/‎Include/internal/pycore_opcode_metadata.h
Copy file name to clipboardExpand all lines: Include/internal/pycore_opcode_metadata.h
+3-2Lines changed: 3 additions & 2 deletions b/‎Include/internal/pycore_opcode_metadata.h
Copy file name to clipboardExpand all lines: Include/internal/pycore_opcode_metadata.h
+3-2Lines changed: 3 additions & 2 deletions
diff --git a/‎Lib/test/test__opcode.py
Copy file name to clipboardExpand all lines: Lib/test/test__opcode.py
+2-2Lines changed: 2 additions & 2 deletions b/‎Lib/test/test__opcode.py
Copy file name to clipboardExpand all lines: Lib/test/test__opcode.py
+2-2Lines changed: 2 additions & 2 deletions
diff --git a/‎Tools/cases_generator/flags.py
Copy file name to clipboardExpand all lines: Tools/cases_generator/flags.py
+5-1Lines changed: 5 additions & 1 deletion b/‎Tools/cases_generator/flags.py
Copy file name to clipboardExpand all lines: Tools/cases_generator/flags.py
+5-1Lines changed: 5 additions & 1 deletion
diff --git a/‎Tools/cases_generator/generate_cases.py
Copy file name to clipboardExpand all lines: Tools/cases_generator/generate_cases.py
+2-1Lines changed: 2 additions & 1 deletion b/‎Tools/cases_generator/generate_cases.py
Copy file name to clipboardExpand all lines: Tools/cases_generator/generate_cases.py
+2-1Lines changed: 2 additions & 1 deletion
@@ -949,7 +949,8 @@ enum InstructionFormat { INSTR_FMT_IB, INSTR_FMT_IBC, INSTR_FMT_IBC00, INSTR_FMT
 
 #define IS_VALID_OPCODE(OP) \
     (((OP) >= 0) && ((OP) < OPCODE_METADATA_SIZE) && \
-     (_PyOpcode_opcode_metadata[(OP)].valid_entry))
+     (_PyOpcode_opcode_metadata[(OP)].valid_entry)) || \
+     ((OP) == INSTRUMENTED_LINE)
 
 #define HAS_ARG_FLAG (1)
 #define HAS_CONST_FLAG (2)
@@ -964,7 +965,7 @@ enum InstructionFormat { INSTR_FMT_IB, INSTR_FMT_IBC, INSTR_FMT_IBC00, INSTR_FMT
 #define OPCODE_HAS_JUMP(OP) (_PyOpcode_opcode_metadata[OP].flags & (HAS_JUMP_FLAG))
 #define OPCODE_HAS_FREE(OP) (_PyOpcode_opcode_metadata[OP].flags & (HAS_FREE_FLAG))
 #define OPCODE_HAS_LOCAL(OP) (_PyOpcode_opcode_metadata[OP].flags & (HAS_LOCAL_FLAG))
-#define OPCODE_IS_INSTRUMENTED(OP) (_PyOpcode_opcode_metadata[OP].flags & (IS_INSTRUMENTED_FLAG))
+#define OPCODE_IS_INSTRUMENTED(OP) (_PyOpcode_opcode_metadata[OP].flags & (IS_INSTRUMENTED_FLAG)) || ((OP) == INSTRUMENTED_LINE)
 
 struct opcode_metadata {
     bool valid_entry;
 
@@ -58,7 +58,7 @@ def test_stack_effect(self):
         # All defined opcodes
         has_arg = dis.hasarg
         for name, code in filter(lambda item: item[0] not in dis.deoptmap, dis.opmap.items()):
-            if code >= opcode.MIN_INSTRUMENTED_OPCODE:
+            if _opcode.is_instrumented(code):
                 continue
             with self.subTest(opname=name):
                 stack_effect(code)
@@ -83,7 +83,7 @@ def test_stack_effect_jump(self):
         has_exc = dis.hasexc
         has_jump = dis.hasjabs + dis.hasjrel
         for name, code in filter(lambda item: item[0] not in dis.deoptmap, dis.opmap.items()):
-            if code >= opcode.MIN_INSTRUMENTED_OPCODE:
+            if _opcode.is_instrumented(code):
                 continue
             with self.subTest(opname=name):
                 if code not in has_arg:
 
@@ -70,9 +70,13 @@ def emit_macros(cls, out: Formatter):
             out.emit(f"#define {name} ({value})")
 
         for name, value in flags.bitmask.items():
+            if name == 'IS_INSTRUMENTED_FLAG':
+                or_special_case = " || ((OP) == INSTRUMENTED_LINE)"
+            else:
+                or_special_case = ""
             out.emit(
                 f"#define OPCODE_{name[:-len('_FLAG')]}(OP) "
-                f"(_PyOpcode_opcode_metadata[OP].flags & ({name}))"
+                f"(_PyOpcode_opcode_metadata[OP].flags & ({name})){or_special_case}"
             )
 
 
 
@@ -283,7 +283,8 @@ def write_metadata(self, metadata_filename: str, pymetadata_filename: str) -> No
             self.out.emit(
                 "#define IS_VALID_OPCODE(OP) \\\n"
                 "    (((OP) >= 0) && ((OP) < OPCODE_METADATA_SIZE) && \\\n"
-                "     (_PyOpcode_opcode_metadata[(OP)].valid_entry))"
+                "     (_PyOpcode_opcode_metadata[(OP)].valid_entry)) || \\\n"
+                "     ((OP) == INSTRUMENTED_LINE)"   # implemented in ceval.c, not bytecodes.c
             )
 
             self.out.emit("")