[PATCH] D92045: [DSE] Consider out-of-bound writes in isOverwrite.
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 24 11:24:48 PST 2020
nikic added inline comments.
Comment at: llvm/test/Transforms/DeadStoreElimination/MSSA/out-of-bounds-stores.ll:73
ret i32 0
I'm having a hard time understanding why anything gets eliminated in this example, regardless of whether this is considered an overwrite or not. There is a codepath (for.body -> for.inc -> for.end) that goes from the first store to the load without passing through the store in for.body.1, so how can it even be relevant for DSE purposes?
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the llvm-commits