tests/lapi: add math tests

The patch adds a fuzzing tests for Lua math functions.

Author: ligurio

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 function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local n = fdp:consume_number(-10^53, 10^53)
+    local abs = n
+    if abs < 0 then
+        abs = -abs
+    end
+    assert(math.abs(n) == abs)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_abs_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_acos_test.lua

@@ -0,0 +1,30 @@
+--[[
+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)
+    assert(y <= math.pi)
+    assert(y == math.pi - math.acos(-x))
+    assert(math.cos(y) == x)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_acos_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_asin_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.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)
+    assert(math.sin(y) == x)
+end
+
+local args = {
+    max_len = 4096,
+    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 function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(-10^53, 10^53)
+    local y = math.atan(x)
+    assert(y >= -math.pi / 2)
+    assert(y <=  math.pi / 2)
+    assert(math.atan(-x) == -y)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_atan_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_ceil_test.lua

@@ -0,0 +1,38 @@
+--[[
+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 function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(-10^53, 10^53)
+    math.ceil(x)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_ceil_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_cos_test.lua

@@ -0,0 +1,26 @@
+--[[
+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 function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(-10^53, 10^53)
+    math.cos(x)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_cos_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_deg_test.lua

@@ -0,0 +1,26 @@
+--[[
+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 function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local a = fdp:consume_number(-10^53, 10^53)
+    math.deg(a)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_deg_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_exp_test.lua

@@ -0,0 +1,26 @@
+--[[
+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 function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local a = fdp:consume_number(-10^53, 10^53)
+    math.exp(a)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_exp_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_floor_test.lua

@@ -0,0 +1,26 @@
+--[[
+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 function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local a = fdp:consume_number(-10^53, 10^53)
+    math.floor(a)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_floor_",
+}
+luzer.Fuzz(TestOneInput, nil, args)

tests/lapi/math_fmod_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.fmod (x, y)
+]]
+
+local luzer = require("luzer")
+
+local function TestOneInput(buf)
+    local fdp = luzer.FuzzedDataProvider(buf)
+    local x = fdp:consume_number(-10^53, 10^53)
+    local y = fdp:consume_number(-10^53, 10^53)
+    math.fmod(x, y)
+end
+
+local args = {
+    max_len = 4096,
+    artifact_prefix = "math_fmod_",
+}
+luzer.Fuzz(TestOneInput, nil, args)