tests/lapi: use math.mininteger and math.maxinteger [TO SQUASH]

ligurio · ligurio · commit a60c8be3af39 · 2025-03-27T15:10:35.000+03:00
diff --git a/tests/lapi/bitop_arshift_test.lua b/tests/lapi/bitop_arshift_test.lua
@@ -17,8 +17,10 @@ local arshift = bitop.arshift
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT(), MAX_INT())
+    local y = fdp:consume_number(MIN_INT(), MAX_INT())
     arshift(x, y)
 end
 
diff --git a/tests/lapi/bitop_band_test.lua b/tests/lapi/bitop_band_test.lua
@@ -24,9 +24,11 @@ end
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
-    local z = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
+    local y = fdp:consume_number(MIN_INT, MAX_INT)
+    local z = fdp:consume_number(MIN_INT, MAX_INT)
 
     assert(band(x, band(y, z)) ==
            band(band(x, y), z), "x & (y & z) ~= (x & y) & z")
diff --git a/tests/lapi/bitop_bnot_test.lua b/tests/lapi/bitop_bnot_test.lua
@@ -18,7 +18,9 @@ end
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
     bnot(x)
 
     -- For any integer x, the following identity holds [1]:
diff --git a/tests/lapi/bitop_bor_test.lua b/tests/lapi/bitop_bor_test.lua
@@ -25,9 +25,11 @@ end
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
-    local z = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
+    local y = fdp:consume_number(MIN_INT, MAX_INT)
+    local z = fdp:consume_number(MIN_INT, MAX_INT)
     bor(x, y)
 
     assert(bor(x, y) == bor(y, x), "x | y ~= y | x")
diff --git a/tests/lapi/bitop_bswap_test.lua b/tests/lapi/bitop_bswap_test.lua
@@ -15,8 +15,10 @@ local bswap = bitop.bswap
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
+    local y = fdp:consume_number(MIN_INT, MAX_INT)
     bswap(x, y)
 end
 
diff --git a/tests/lapi/bitop_bxor_test.lua b/tests/lapi/bitop_bxor_test.lua
@@ -27,9 +27,11 @@ end
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
-    local z = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
+    local y = fdp:consume_number(MIN_INT, MAX_INT)
+    local z = fdp:consume_number(MIN_INT, MAX_INT)
 
     assert(bxor(x, y) == bxor(y, x), "x ^ y ~= y ^ x")
     assert(bxor(x, bxor(y, z)) == bxor(bxor(x, y), z),
diff --git a/tests/lapi/bitop_lshift_test.lua b/tests/lapi/bitop_lshift_test.lua
@@ -20,8 +20,10 @@ end
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
+    local y = fdp:consume_number(MIN_INT, MAX_INT)
     lshift(x, y)
 
     -- For positive displacements, the following equality holds [1]:
diff --git a/tests/lapi/bitop_rol_test.lua b/tests/lapi/bitop_rol_test.lua
@@ -20,8 +20,10 @@ local rol = bitop.rol
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
+    local y = fdp:consume_number(MIN_INT, MAX_INT)
     rol(x, y)
 
     -- For any valid displacement, the following identity holds [1]:
diff --git a/tests/lapi/bitop_ror_test.lua b/tests/lapi/bitop_ror_test.lua
@@ -17,8 +17,10 @@ local ror = bitop.ror
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
+    local y = fdp:consume_number(MIN_INT, MAX_INT)
     ror(x, y)
 
     -- For any valid displacement, the following identity holds
diff --git a/tests/lapi/bitop_rshift_test.lua b/tests/lapi/bitop_rshift_test.lua
@@ -24,8 +24,10 @@ end
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
-    local y = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
+    local y = fdp:consume_number(MIN_INT, MAX_INT)
     rshift(x, y)
 
     -- For positive displacements, the following equality holds
diff --git a/tests/lapi/bitop_tobit_test.lua b/tests/lapi/bitop_tobit_test.lua
@@ -15,7 +15,9 @@ local tobit = bitop.tobit
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
     tobit(x)
 end
 
diff --git a/tests/lapi/bitop_tohex_test.lua b/tests/lapi/bitop_tohex_test.lua
@@ -15,7 +15,9 @@ local tohex = bitop.tohex
 
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
-    local x = test_lib.random_number(fdp)
+    local MAX_INT = test_lib.MAX_INT()
+    local MIN_INT = test_lib.MIN_INT()
+    local x = fdp:consume_number(MIN_INT, MAX_INT)
     tohex(x)
 end
 
diff --git a/tests/lapi/lib.lua b/tests/lapi/lib.lua
@@ -26,6 +26,22 @@ local function version()
     return t[1] or t[1/0] or t[f()==f()]
 end
 
+local function MAX_INT()
+    local max_integer = 2^51
+    if version() ~= "LuaJIT" then
+        max_integer = math.maxinteger
+	end
+	return max_integer
+end
+
+local function MIN_INT()
+    local min_integer = -2^51
+    if version() ~= "LuaJIT" then
+        min_integer = math.mininteger
+	end
+	return min_integer
+end
+
 local function bitwise_op(op)
     return function(x, y)
         local op_name = op
@@ -37,16 +53,9 @@ local function bitwise_op(op)
     end
 end
 
-local function random_number(fdp)
-    local max = 2^51
-    local num = fdp:consume_number(-max, max)
-    return math.floor(num)
-end
-
 return {
-    -- FDP.
-    random_number = random_number,
-
     version = version,
     bitwise_op = bitwise_op,
+    MAX_INT = MAX_INT,
+    MIN_INT = MIN_INT,
 }
