Re: [PATCH] vrp: remove rendundant has_single_use tests

2016-04-21 Thread Richard Biener
On Thu, Apr 21, 2016 at 2:47 AM, Patrick Palka wrote: > On Wed, Apr 20, 2016 at 6:45 PM, Patrick Palka wrote: >> During assert-location discovery, if an SSA name is live according to >> live_on_edge() on some outgoing edge E, then the SSA name

Re: [PATCH] vrp: remove rendundant has_single_use tests

2016-04-21 Thread Richard Biener
On Thu, Apr 21, 2016 at 12:45 AM, Patrick Palka wrote: > During assert-location discovery, if an SSA name is live according to > live_on_edge() on some outgoing edge E, then the SSA name definitely has > at least two uses: the use on the outgoing edge, and the use in some BB

Re: [PATCH] vrp: remove rendundant has_single_use tests

2016-04-20 Thread Patrick Palka
On Wed, Apr 20, 2016 at 6:45 PM, Patrick Palka wrote: > During assert-location discovery, if an SSA name is live according to > live_on_edge() on some outgoing edge E, then the SSA name definitely has > at least two uses: the use on the outgoing edge, and the use in some BB

[PATCH] vrp: remove rendundant has_single_use tests

2016-04-20 Thread Patrick Palka
During assert-location discovery, if an SSA name is live according to live_on_edge() on some outgoing edge E, then the SSA name definitely has at least two uses: the use on the outgoing edge, and the use in some BB dominating E->src from which the SSA_NAME and the potential assertion was