• Georg Schmid's avatar
    [csa] Track stores and perform simple alias analysis in CSA Load Elimination · 16893bda
    Georg Schmid authored
    This CL allows CsaLoadElimination to retain some information in the presence of StoreToObject nodes. Two stores to an object don't alias if either the objects or the offsets don't alias. The analysis approximates either of these two conditions conservatively as follows:
    - Freshly allocated, distinct objects cannot alias.
    - Two objects cannot alias if one of is freshly allocated and the other was passed as a parameter or is a heap constant.
    - Two offsets cannot alias if they are both constant and distinct from each other.
    
    R=jarin@chromium.org, tebbi@chromium.org
    
    Change-Id: Ibec81913b413f81a3f7cbd40544a22d3711e6e5a
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1660626
    Commit-Queue: Georg Schmid <gsps@google.com>
    Reviewed-by: 's avatarTobias Tebbi <tebbi@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#62232}
    16893bda
test-torque.cc 16.5 KB