gh-132732: Automatically constant evaluate pure operations

Include/internal/pycore_optimizer.h

@@ -256,6 +256,7 @@ extern bool _Py_uop_sym_is_null(JitOptSymbol *sym);
 extern bool _Py_uop_sym_is_not_null(JitOptSymbol *sym);
 extern bool _Py_uop_sym_is_const(JitOptContext *ctx, JitOptSymbol *sym);
 extern PyObject *_Py_uop_sym_get_const(JitOptContext *ctx, JitOptSymbol *sym);
+extern JitOptSymbol *_Py_uop_sym_new_const_steal(JitOptContext *ctx, PyObject *const_val);
 extern JitOptSymbol *_Py_uop_sym_new_unknown(JitOptContext *ctx);
 extern JitOptSymbol *_Py_uop_sym_new_not_null(JitOptContext *ctx);
 extern JitOptSymbol *_Py_uop_sym_new_type(

Lib/test/test_generated_cases.py

@@ -1972,12 +1972,12 @@ def run_cases_test(self, input: str, input2: str, expected: str):
 
     def test_overridden_abstract(self):
         input = """
-        pure op(OP, (--)) {
+        op(OP, (--)) {
             SPAM();
         }
         """
         input2 = """
-        pure op(OP, (--)) {
+        op(OP, (--)) {
             eggs();
         }
         """
@@ -1991,7 +1991,7 @@ def test_overridden_abstract(self):
 
     def test_overridden_abstract_args(self):
         input = """
-        pure op(OP, (arg1 -- out)) {
+        op(OP, (arg1 -- out)) {
             out = SPAM(arg1);
         }
         op(OP2, (arg1 -- out)) {
@@ -2024,16 +2024,16 @@ def test_overridden_abstract_args(self):
 
     def test_no_overridden_case(self):
         input = """
-        pure op(OP, (arg1 -- out)) {
+        op(OP, (arg1 -- out)) {
             out = SPAM(arg1);
         }
 
-        pure op(OP2, (arg1 -- out)) {
+        op(OP2, (arg1 -- out)) {
         }
 
         """
         input2 = """
-        pure op(OP2, (arg1 -- out)) {
+        op(OP2, (arg1 -- out)) {
             out = NULL;
         }
         """

Misc/NEWS.d/next/Core_and_Builtins/2025-04-19-16-22-47.gh-issue-132732.jgqhlF.rst

@@ -0,0 +1 @@
+Automatically constant evaluate bytecode operations marked as pure in the JIT optimizer.