tarantool / luajit / 6826413019 / 1

89%

tarantool/master: 93%

push

github

Fix FOLD rule for x-0.

Reported by XmiliaH.

(cherry-picked from commit 7b994e0ee)

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

Reviewed-by: Maxim Kokryashkin <m.kokryashkin@tarantool.org>
Reviewed-by: Sergey Bronnikov <sergeyb@tarantool.org>
Signed-off-by: Igor Munkin <imun@tarantool.org>
(cherry picked from commit ab0c0793a)

5319 of 5955 branches covered (0.0%)

Branch coverage included in aggregate %.

20390 of 23212 relevant lines covered (87.84%)

695417.29 hits per line