From 0daedcdb9bc57553a75528ec3cb4dad6a1fac2b6 Mon Sep 17 00:00:00 2001 From: Arseny Kapoulkine Date: Wed, 27 Nov 2024 11:18:33 +0900 Subject: [PATCH] Add a test for 0-a as well 0-a can't be simplified with -a as 0 becomes -0 under negation. --- tests/conformance/basic.lua | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/conformance/basic.lua b/tests/conformance/basic.lua index 23ab9034..05d851ea 100644 --- a/tests/conformance/basic.lua +++ b/tests/conformance/basic.lua @@ -96,6 +96,7 @@ assert((function() local a = 1 a = a / 2 return a end)() == 0.5) -- argument is passed into anonymous function to prevent constant folding assert((function(a) return tostring(a + 0) end)(-0) == "0") assert((function(a) return tostring(a - 0) end)(-0) == "-0") +assert((function(a) return tostring(0 - a) end)(0) == "0") assert((function(a) return tostring(a - a) end)(1 / 0) == "nan") assert((function(a) return tostring(a * 0) end)(0 / 0) == "nan") assert((function(a) return tostring(a / (2^1000)) end)(2^1000) == "1")