tarantool / luajit / 9545488659 / 1

93%

tarantool/master: 93%

push

github

Maintain chain invariant in DCE.

Thanks to Peter Cawley.

(cherry picked from commit f72c19e48)

Instructions with strong guards that are sometimes emitted with a guard
and sometimes emitted without a guard (like HREFK, CONV, or SLOAD) may
be eliminated from the IR chain and replaced with the NOP IR. If the
next IR of the same kind on the trace is not eliminated, it may
reference the IR NOP instead of an instruction of the same type. This
may lead to the corresponding assertion failure in the `rec_check_ir()`.

This patch unconditionally links the IRs during chain maintenance in
DCE.

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

Part of tarantool/tarantool#9924

Reviewed-by: Maxim Kokryashkin <m.kokryashkin@tarantool.org>
Reviewed-by: Sergey Bronnikov <sergeyb@tarantool.org>
Signed-off-by: Sergey Kaplun <skaplun@tarantool.org>

5661 of 6019 branches covered (94.05%)

Branch coverage included in aggregate %.

21610 of 23421 relevant lines covered (92.27%)

2934929.89 hits per line