Skip to content
This repository has been archived by the owner. It is now read-only.

fold: keep type of emitted CONV in sync with its mode #53

Merged
merged 1 commit into from
Nov 26, 2019

Commits on Nov 25, 2019

  1. fold: keep type of emitted CONV in sync with its mode

    Alternative fix for LuaJIT#37
    
    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.
    
    Previous variantion of the fix introduced slight inconsistency with types
    (inserted convertions were CONV int.St while arithmetic operation was still of
    type Dt).
    
    Signed-off-by: Vyacheslav Egorov <vegorov@google.com>
    mraleph committed Nov 25, 2019
    Configuration menu
    Copy the full SHA
    8a0aaa3 View commit details
    Browse the repository at this point in the history