gh-137136: Suppress build warnings when build on Windows with --experimental-jit-interpreter (GH-137137)

Author: aisk

Include/internal/pycore_optimizer.h

@@ -332,8 +332,8 @@ extern bool _Py_uop_sym_is_bottom(JitOptRef sym);
 extern int _Py_uop_sym_truthiness(JitOptContext *ctx, JitOptRef sym);
 extern PyTypeObject *_Py_uop_sym_get_type(JitOptRef sym);
 extern JitOptRef _Py_uop_sym_new_tuple(JitOptContext *ctx, int size, JitOptRef *args);
-extern JitOptRef _Py_uop_sym_tuple_getitem(JitOptContext *ctx, JitOptRef sym, int item);
-extern int _Py_uop_sym_tuple_length(JitOptRef sym);
+extern JitOptRef _Py_uop_sym_tuple_getitem(JitOptContext *ctx, JitOptRef sym, Py_ssize_t item);
+extern Py_ssize_t _Py_uop_sym_tuple_length(JitOptRef sym);
 extern JitOptRef _Py_uop_sym_new_truthiness(JitOptContext *ctx, JitOptRef value, bool truthy);
 extern bool _Py_uop_sym_is_compact_int(JitOptRef sym);
 extern JitOptRef _Py_uop_sym_new_compact_int(JitOptContext *ctx);

Misc/NEWS.d/next/Windows/2025-07-27-14-25-11.gh-issue-137136.xNthFT.rst

@@ -0,0 +1,2 @@
+Suppress build warnings when build on Windows with
+``--experimental-jit-interpreter``.

Python/bytecodes.c

@@ -811,7 +811,7 @@ dummy_func(
             assert(next_instr->op.code == STORE_FAST);
             next_oparg = next_instr->op.arg;
         #else
-            next_oparg = CURRENT_OPERAND0();
+            next_oparg = (int)CURRENT_OPERAND0();
         #endif
             _PyStackRef *target_local = &GETLOCAL(next_oparg);
             assert(PyUnicode_CheckExact(left_o));
@@ -5250,7 +5250,7 @@ dummy_func(
             if (frame->lltrace >= 2) {
                 printf("SIDE EXIT: [UOp ");
                 _PyUOpPrint(&next_uop[-1]);
-                printf(", exit %lu, temp %d, target %d -> %s]\n",
+                printf(", exit %tu, temp %d, target %d -> %s]\n",
                     exit - current_executor->exits, exit->temperature.value_and_backoff,
                     (int)(target - _PyFrame_GetBytecode(frame)),
                     _PyOpcode_OpName[target->op.code]);

Python/executor_cases.c.h

@@ -642,7 +642,7 @@ remove_unneeded_uops(_PyUOpInstruction *buffer, int buffer_size)
                         opcode = buffer[pc].opcode = op_without_pop[opcode];
                         if (op_without_pop[last->opcode]) {
                             opcode = last->opcode;
-                            pc = last - buffer;
+                            pc = (int)(last - buffer);
                         }
                     }
                     else if (last->opcode == _PUSH_NULL) {

Python/generated_cases.c.h

@@ -316,7 +316,7 @@ dummy_func(void) {
             assert(PyLong_CheckExact(sym_get_const(ctx, sub_st)));
             long index = PyLong_AsLong(sym_get_const(ctx, sub_st));
             assert(index >= 0);
-            int tuple_length = sym_tuple_length(tuple_st);
+            Py_ssize_t tuple_length = sym_tuple_length(tuple_st);
             if (tuple_length == -1) {
                 // Unknown length
                 res = sym_new_not_null(ctx);
@@ -1166,9 +1166,9 @@ dummy_func(void) {
 
     op(_CALL_LEN, (callable, null, arg -- res)) {
         res = sym_new_type(ctx, &PyLong_Type);
-        int tuple_length = sym_tuple_length(arg);
+        Py_ssize_t tuple_length = sym_tuple_length(arg);
         if (tuple_length >= 0) {
-            PyObject *temp = PyLong_FromLong(tuple_length);
+            PyObject *temp = PyLong_FromSsize_t(tuple_length);
             if (temp == NULL) {
                 goto error;
             }
@@ -1182,13 +1182,13 @@ dummy_func(void) {
     }
 
     op(_GET_LEN, (obj -- obj, len)) {
-        int tuple_length = sym_tuple_length(obj);
+        Py_ssize_t tuple_length = sym_tuple_length(obj);
         if (tuple_length == -1) {
             len = sym_new_type(ctx, &PyLong_Type);
         }
         else {
             assert(tuple_length >= 0);
-            PyObject *temp = PyLong_FromLong(tuple_length);
+            PyObject *temp = PyLong_FromSsize_t(tuple_length);
             if (temp == NULL) {
                 goto error;
             }

Python/optimizer_analysis.c

@@ -667,7 +667,7 @@ _Py_uop_sym_new_tuple(JitOptContext *ctx, int size, JitOptRef *args)
 }
 
 JitOptRef
-_Py_uop_sym_tuple_getitem(JitOptContext *ctx, JitOptRef ref, int item)
+_Py_uop_sym_tuple_getitem(JitOptContext *ctx, JitOptRef ref, Py_ssize_t item)
 {
     JitOptSymbol *sym = PyJitRef_Unwrap(ref);
     assert(item >= 0);
@@ -683,7 +683,7 @@ _Py_uop_sym_tuple_getitem(JitOptContext *ctx, JitOptRef ref, int item)
     return _Py_uop_sym_new_not_null(ctx);
 }
 
-int
+Py_ssize_t
 _Py_uop_sym_tuple_length(JitOptRef ref)
 {
     JitOptSymbol *sym = PyJitRef_Unwrap(ref);