tarantool / luajit
93%
tarantool/master: 93%

LAST BUILD BRANCH: ligurio/gh-xxxx-fix-stack-checks-in-vararg-calls
DEFAULT BRANCH: tarantool/master
Repo Added
Files 89
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH tarantool/archive/3.4
branch: tarantool/archive/3.4
CHANGE BRANCH
x

coverage: 93.004% (-0.06%) from 93.068%
20059613795

push

github

Buristan 
ARM64: Fix assembly of HREFK (again).

Thanks to Peter Cawley.

(cherry picked from commit 93ce12ee1)

When assembling the HREFK IR with the huge offset of the target node
from the table, this offset calculation and the key loading from the
node are emitted like the following:
|  ldr   x16, [x2, 40]
|  add   x16, x16, x21
|  ldr   x27, [x16, 8]
|  cmp   x27, x17

Here, `x16` is the node register, `x27` is the key register, and `x21`
is the register containing the offset.

It is possible that the register for holding the constant operand in the
addition may be chosen as the same register containing the node address,
since the full `RSET_GPR` is given to the `emit_opk()`. It will result
in the following invalid mcode:
|  ldr   x27, [x2, 40]
|  str   x27, [sp, 8]
|  add   x16, x16, x16
|  ldr   x16, [sp, 8]
|  ldr   x27, [x16, 8]
|  cmp   x27, x17

It seems that in the current implementation the LuaJIT's register
allocator always prefers the register holding the key instead, so this
does not lead to the invalid emitting. Hence, it is impossible to come
up with any valid reproducer. However, to avoid possible regressions in
the future, this patch fixes the invalid register set by excluding the
node register from it.

Sergey Kaplun:
* added the description for the problem

Part of tarantool/tarantool#11691

Reviewed-by: Sergey Bronnikov <sergeyb@tarantool.org>
Signed-off-by: Sergey Kaplun <skaplun@tarantool.org>
(cherry picked from commit fd5e7cb52)

5709 of 6046 branches covered (94.43%)

Branch coverage included in aggregate %.

21782 of 23513 relevant lines covered (92.64%)

3873112.47 hits per line

Relevant lines Covered
23513 RELEVANT LINES 21782 COVERED LINES
3873112.47 HITS PER LINE
Source Files on tarantool/archive/3.4

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20059613795 tarantool/archive/3.4 ARM64: Fix assembly of HREFK (again). Thanks to Peter Cawley. (cherry picked from commit 93ce12ee1) When assembling the HREFK IR with the huge offset of the target node from the table, this offset calculation and ... push Buristan github
93.0
See All Builds (1910)