HomePhabricator

[InstCombine] remove uses before deleting instructions (PR43723)

Authored by spatel on Jan 2 2020, 6:33 AM.

Description

[InstCombine] remove uses before deleting instructions (PR43723)

This is a less ambitious alternative to previous attempts to fix
this bug with:
rG56b2aee1875a
rGef02831f0a4e
rG56b2aee1875a
...because those all failed bot testing with use-after-free or
other problems.

The original crashing/assert problem is still showing up on
various fuzzers, so I've added a new minimal test based on
another one of those failures.

Instead of trying to manage and coordinate the logic in
isAllocSiteRemovable() with the deletion loops, just loosen
the existing code that handles casts and GEP by replacing
with undef to allow other opcodes. That means that no
instructions with uses should assert on deletion, and there
are hopefully no non-obvious sanitizer bugs induced.

Details

Committed
spatelJan 2 2020, 6:47 AM
Parents
rG324fd5902a81: [mlir][Linalg] NFC - Rename ViewTraits -> StructuredOpTraits
Branches
Unknown
Tags
Unknown