tests/lapi: add math tests

The patch adds a tests for Lua math functions.

Author: ligurio

tests/lapi/lib.lua

@@ -50,9 +50,27 @@ local function bitwise_op(op_name)
     end
 end
 
+local function approx_equal(a, b, epsilon)
+    local abs = math.abs
+    return abs(a - b) <= ((abs(a) < abs(b) and abs(b) or abs(a)) * epsilon)
+end
+
+local function definitely_lt(a, b, epsilon)
+    local abs = math.abs
+    return (b - a) > ((abs(a) < abs(b) and abs(b) or abs(a)) * epsilon)
+end
+
+local function definitely_gt(a, b, epsilon)
+    local abs = math.abs
+    return (a - b) > ((abs(a) < abs(b) and abs(b) or abs(a)) * epsilon)
+end
+
 return {
-    lua_version = lua_version,
+    approx_equal = approx_equal,
     bitwise_op = bitwise_op,
+    definitely_gt = definitely_gt,
+    definitely_lt= definitely_lt,
+    lua_version = lua_version,
     MAX_INT64 = MAX_INT64,
     MIN_INT64 = MIN_INT64,
     MAX_INT = MAX_INT,

tests/lapi/math_abs_test.lua

@@ -0,0 +1,33 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+Misleading assertion in asm_fload() for mips,
+https://github.com/LuaJIT/LuaJIT/issues/1043
+
+Synopsis: math.abs(x)
+]]
+
+local luzer = require("luzer")
+local test_lib = require("lib")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local n = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
+    local abs = n
+    if abs < 0 then
+        abs = -abs
+    end
+    assert(math.abs(n) == abs)
+end
+
+local args = {
+    artifact_prefix = "math_abs_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_acos_test.lua

@@ -0,0 +1,29 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+Synopsis: math.acos(x)
+]]
+
+local luzer = require("luzer")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(-1, 1)
+    local y = math.acos(x)
+    assert(y >= 0)
+    -- FIXME: assert(y <= math.pi)
+    -- FIXME: assert(y == math.pi - math.acos(-x))
+    -- FIXME: assert(math.cos(y) == x)
+end
+
+local args = {
+    artifact_prefix = "math_acos_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_asin_test.lua

@@ -0,0 +1,28 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+Synopsis: math.asin(x)
+]]
+
+local luzer = require("luzer")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(-1, 1)
+    local y = math.asin(x)
+    assert(y >= -math.pi / 2)
+    assert(y <=  math.pi / 2)
+    -- FIXME: assert(math.sin(y) == x)
+end
+
+local args = {
+    artifact_prefix = "math_asin_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_atan_test.lua

@@ -0,0 +1,29 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+Synopsis: math.atan(y [, x])
+]]
+
+local luzer = require("luzer")
+local test_lib = require("lib")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
+    local y = math.atan(x)
+    assert(y >= -math.pi / 2)
+    assert(y <=  math.pi / 2)
+    assert(math.atan(-x) == -y)
+end
+
+local args = {
+    artifact_prefix = "math_atan_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_ceil_test.lua

@@ -0,0 +1,39 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+vm_mips.dasc assumes 32-bit FPU register model,
+https://github.com/LuaJIT/LuaJIT/issues/1040
+
+math.ceil fails to return -0 for -1 < x < -0.5,
+https://github.com/LuaJIT/LuaJIT/issues/859
+
+ARM64 - corrupted local variable on trace exit / snapshot replay,
+https://github.com/LuaJIT/LuaJIT/issues/579
+
+x86/x64: Fix math.ceil(-0.9) result sign,
+https://github.com/LuaJIT/LuaJIT/issues/859
+
+Synopsis: math.ceil(x)
+]]
+
+local luzer = require("luzer")
+local test_lib = require("lib")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
+    local res = math.ceil(x)
+    assert(type(res) == "number")
+end
+
+local args = {
+    artifact_prefix = "math_ceil_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_cos_test.lua

@@ -0,0 +1,27 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+Synopsis: math.cos(x)
+]]
+
+local luzer = require("luzer")
+local test_lib = require("lib")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
+    local res = math.cos(x)
+    assert(type(res) == "number")
+end
+
+local args = {
+    artifact_prefix = "math_cos_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_deg_test.lua

@@ -0,0 +1,27 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+Synopsis: math.deg(x)
+]]
+
+local luzer = require("luzer")
+local test_lib = require("lib")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local a = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
+    local res = math.deg(a)
+    assert(type(res) == "number")
+end
+
+local args = {
+    artifact_prefix = "math_deg_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_exp_test.lua

@@ -0,0 +1,27 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+Synopsis: math.exp(x)
+]]
+
+local luzer = require("luzer")
+local test_lib = require("lib")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local a = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
+    local res = math.exp(a)
+    assert(type(res) == "number")
+end
+
+local args = {
+    artifact_prefix = "math_exp_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_floor_test.lua

@@ -0,0 +1,27 @@
+--[[
+SPDX-License-Identifier: ISC
+Copyright (c) 2023-2025, Sergey Bronnikov.
+
+18 – The Mathematical Library
+https://www.lua.org/pil/18.html
+
+6.7 – Mathematical Functions
+https://www.lua.org/manual/5.3/manual.html#6.7
+
+Synopsis: math.floor(x)
+]]
+
+local luzer = require("luzer")
+local test_lib = require("lib")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local a = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
+    local res = math.floor(a)
+    assert(type(res) == "number")
+end
+
+local args = {
+    artifact_prefix = "math_floor_",
+}
+luzer.Fuzz(TestOneInput, nil, args)