Re: [Tarantool-patches] [PATCH luajit] Fix FOLD rule for x-0.

[Igor Munkin via Tarantool-patches <tarantool-patches@dev.tarantool.org>]

Sergey,

I've checked the patchset into all long-term branches in
tarantool/luajit and bumped a new version in master, release/2.11 and
release/2.10.

On 31.10.23, Sergey Kaplun via Tarantool-patches wrote:
> From: Mike Pall <mike>
> 
> Reported by XmiliaH.
> 
> (cherry-picked from commit 7b994e0ee0399caf6319865bbac88ddf62129a36)
> 
> Fold optimization x - (-0) ==> x is INVALID for x = -0 in FP arithmetic.
> Its result is -0 instead of +0. This patch allows only x - (+0) ==> x
> optimization.
> 
> Sergey Kaplun:
> * added the description and the test for the problem
> 
> Part of tarantool/tarantool#9145
> ---
> 
> Branch: https://github.com/tarantool/luajit/tree/skaplun/lj-783-fix-fold-x-0
> Tarantool PR: https://github.com/tarantool/tarantool/pull/9320
> Related Issues:
> * https://github.com/tarantool/tarantool/issues/9145
> * https://github.com/LuaJIT/LuaJIT/pull/783
> 
>  src/lj_opt_fold.c                            |  3 +--
>  test/tarantool-tests/lj-783-fold--0.test.lua | 28 ++++++++++++++++++++
>  2 files changed, 29 insertions(+), 2 deletions(-)
>  create mode 100644 test/tarantool-tests/lj-783-fold--0.test.lua
> 

<snipped>

> -- 
> 2.42.0
> 

-- 
Best regards,
IM