[Tarantool-patches] [PATCH] fold: keep type of emitted CONV in sync with its mode
Kirill Yukhin
kyukhin at tarantool.org
Thu Dec 5 16:09:33 MSK 2019
Hello,
On 02 дек 10:03, Igor Munkin wrote:
> From: Vyacheslav Egorov <vegorov at google.com>
>
> When emitting CONV make sure that its type matches its destination IRType.
>
> This keeps IR fully internally consistent with respect to types - i.e. if
> we push narrowing CONV Dt.St upwards through an arithmetic operation of type
> St we end up with arithmetic operation of type Dt and two convertions
> CONV Dt.St which narrow the operands.
>
> Igor Munkin:
> * added a test for the problem
> * backported the original patch to tarantool/luajit repo
> * stripped some words not related to the patch itself
>
> Fixes LuaJIT/LuaJIT#524
>
> Signed-off-by: Vyacheslav Egorov <vegorov at google.com>
> Signed-off-by: Igor Munkin <imun at tarantool.org>
I've checked your patch into luajit repo and bumped new version
in Tarantool.
--
Regards, Kirill Yukhin
More information about the Tarantool-patches
mailing list