tarantool / luajit / 7609632020

89%

tarantool/master: 93%

push

github

Simplify handling of instable types in TNEW/TDUP load forwarding.

Thanks to Peter Cawley.

(cherry picked from commit c42c62e71)

This patch is a follow-up for the commit
b89186cb0 ("Fix handling of instable
types in TNEW/TDUP load forwarding."). The problem still occurs when
TDUP load forwarding is performed for the boolean value. The
`fwd_ahload()` always takes the type of IR without checking the type of
the TValue for this iteration.

This patch solves the issue by returning the expected type of the TValue
from the constant table (or `nil` for TNEW IR) instead. In the case of
type instability, the error in `loop_unroll()` will be raised, and the
loop will be unrolled for one more iteration to prevent inconsistencies.

Sergey Kaplun:
* added the description and the test for the problem

Part of tarantool/tarantool#9595

5399 of 5994 branches covered (0.0%)

Branch coverage included in aggregate %.

20684 of 23357 relevant lines covered (88.56%)

2756380.51 hits per line