[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: [ANN] Lua 5.4.0 (beta) now available
- From: Roberto Ierusalimschy <roberto@...>
- Date: Mon, 4 Nov 2019 10:11:29 -0300
> https://github.com/lua/lua/blob/6e1aec7a677a9891f2f8ca57e039d9984fdc69bc/lvm.c#L1085
>
>
> lua_assert(isIT(i) || (L->top = base));
>
> should be:
>
> lua_assert(isIT(i) || (L->top == base));
>
> I think.
Strange as it is, this is correct. See previous comment:
/* invalidate top for instructions not expecting it */
lua_assert(isIT(i) || (L->top = base));
The idea is that only opcodes marked with 'isIT' should use L->top.
To test this, all other opcodes set L->top to an "absurd" value
(base, so that it is out of the range of valid registers) to force
some error if it is used.
-- Roberto
