Issue exposed by noalias or more aggressive alias analysis.
Fixes http://llvm.org/PR25422.
Differential D21007
DSE: Don't remove stores made live by a call which unwinds. eli.friedman on Jun 5 2016, 3:54 PM. Authored by
Details
Diff Detail Event Timeline
Comment Actions Updated. Unfortunately, the patch gets a lot more complicated because of the need to avoid iterator invalidation. On the plus side, I think I fixed a couple latent iterator invalidation bugs. Comment Actions The mechanical changes to deal with the iterators LGTM. I'll defer to Hal or someone else to approve the changes to remove stores made live by a call which unwinds.
Comment Actions Hi @eli.friedman, Chad
Comment Actions InstrOrdering is basically an OrderedBasicBlock, I guess... I think I'd need to modify the interface a bit for this exact use to deal with modifications.
|
Should we keep the comments from line 54?