• bmeurer's avatar
    [turbofan] Introduce CheckedUint32Div and CheckUint32Mod operators. · 15ebec03
    bmeurer authored
    Checked integer division and modulus can be done more efficiently
    if we know that the inputs are in Unsigned32 range.
    
    Drive-by-fix: Replace the TypeCheckKind on NodeInfo by a proper
    restriction type, and thread the feedback type through binary
    Number operations similar to what we do for their speculative
    versions. Also deal with Unsigned32 inputs for integer multiplication.
    
    R=jarin@chromium.org
    BUG=v8:4583,v8:5141
    
    Review-Url: https://codereview.chromium.org/2149493002
    Cr-Commit-Position: refs/heads/master@{#37703}
    15ebec03
verifier.cc 52.4 KB