[GR-69541] Backport to 25.0: Fix integer division with large negative divisors

PullRequest: graalpython/4001

Author: abdelberni

.gitignore

@@ -97,3 +97,4 @@ pom-mx.xml
 !graalpython/com.oracle.graal.python.test/src/tests/standalone/gradle/gradle-test-project/gradle/wrapper/gradle-wrapper.jar
 /*-venv/
 .aider*
+*.iprof.gz

graalpython/com.oracle.graal.python.test/src/tests/test_int.py

@@ -150,6 +150,10 @@ def test_bigint_mul():
     assert 99999937497465632974931 * 1223432423545234234123123 == 122343165886896325043539375228725106116626429513
     assert 99999937497465632974931 * (2**100) == 126764980791447734004805377032945185921379990352429056
 
+def test_floordiv():
+    assert 0 // (-92233720368547394651) == 0
+    assert -234 // (-92233720368547394651) == 0
+    assert 234 // (-92233720368547394651) == -1
 
 def test_pow():
     assert 2 ** 10 == 1024

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/objects/ints/IntBuiltins.java

@@ -41,8 +41,8 @@
 package com.oracle.graal.python.builtins.objects.ints;
 
 import static com.oracle.graal.python.builtins.PythonBuiltinClassType.DeprecationWarning;
-import static com.oracle.graal.python.nodes.ErrorMessages.BITWISE_INVERSION_OF_THE_UNDERLYING_INT;
 import static com.oracle.graal.python.nodes.BuiltinNames.J_INT;
+import static com.oracle.graal.python.nodes.ErrorMessages.BITWISE_INVERSION_OF_THE_UNDERLYING_INT;
 import static com.oracle.graal.python.nodes.SpecialMethodNames.J___CEIL__;
 import static com.oracle.graal.python.nodes.SpecialMethodNames.J___FLOOR__;
 import static com.oracle.graal.python.nodes.SpecialMethodNames.J___FORMAT__;
@@ -813,7 +813,7 @@ static Object doIPi(int left, PInt right,
                 }
                 return Math.floorDiv(left, rightValue);
             } catch (OverflowException e) {
-                return left < 0 == right.isNegative() ? 0 : -1;
+                return left == 0 || left < 0 == right.isNegative() ? 0 : -1;
             }
         }
 
@@ -831,7 +831,7 @@ static Object doLPi(long left, PInt right,
                 }
                 return Math.floorDiv(left, rightValue);
             } catch (OverflowException e) {
-                return left < 0 == right.isNegative() ? 0 : -1;
+                return left == 0 || left < 0 == right.isNegative() ? 0 : -1;
             }
         }