On Mon, Oct 15, 2012 at 10:19 AM, Paolo Bonzini wrote: > I prefer to declare the notes invalid and drop the notes.
Then, afaic, our only option is to drop them all in web, as per attached patch. I strongly disagree with this approach though. It destroys information that is correct, that we had before DF_RD_PRUNE_DEAD_DEFS, that we can update, and that helps with optimization. This whole discussion about notes being dead has gone in completely the wrong direction. With renaming these notes are valid, and do not refer to dead regs. Perhaps you could be convinced if you look at Honza's test case with the patch of r192413 reverted. The test case still fails with --param max-unroll-times=3, that makes visualizing the problem easier. Ciao! Steven
web_destroy_eq_notes.diff
Description: Binary data
