• epertoso's avatar
    [x64/ia32] Deal with the non-transitivity of InstructionSelector::CanCover()... · 0d22e7e4
    epertoso authored
    [x64/ia32] Deal with the non-transitivity of InstructionSelector::CanCover() when folding loads into branches.
    
    Sequences like:
    
    1: Load[kRepWord32|kTypeInt32](<address>, ...)
    2: Word32And(1, <constant>)
    3: Word32Equal(2, <another constant>)
    4: Store[(kRepWord32 : NoWriteBarrier)](<address>, <value>)
    5: Branch[None](3, ...) -> B1, B2
    
    where #1 and #4 refer to the same memory location, are problematic because in VisitBranch we assume that 'InstructionSelector::CanCover()' is transitive.
    
    What happens is that CanCover(5, 3) is true (3 is a pure op), and so are CanCover(3, 2), CanCover(2, 1), but the effect level of 5 and 3 never gets checked because 3 is a pure op. Upon VisitBranch, we ended up materializing:
    
    mov [address], <value>
    test [address], <another constant>
    
    With this patch, it becomes:
    
    mov reg, [address]
    mov [address], <value>
    test reg, <another constant>
    
    BUG=chromium:611976
    
    Review-Url: https://codereview.chromium.org/2008493002
    Cr-Commit-Position: refs/heads/master@{#36482}
    0d22e7e4
Name
Last commit
Last update
..
benchmarks Loading commit data...
cctest Loading commit data...
fuzzer Loading commit data...
intl Loading commit data...
js-perf-test Loading commit data...
memory Loading commit data...
message Loading commit data...
mjsunit Loading commit data...
mozilla Loading commit data...
preparser Loading commit data...
promises-aplus Loading commit data...
simdjs Loading commit data...
test262 Loading commit data...
unittests Loading commit data...
webkit Loading commit data...
bot_default.gyp Loading commit data...
bot_default.isolate Loading commit data...
default.gyp Loading commit data...
default.isolate Loading commit data...
ignition.gyp Loading commit data...
ignition.isolate Loading commit data...
optimize_for_size.gyp Loading commit data...
optimize_for_size.isolate Loading commit data...
perf.gyp Loading commit data...
perf.isolate Loading commit data...