[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