Re: [PR48866] three alternative fixes

2012-06-13 Thread Alexandre Oliva
On Apr 9, 2012, Alexandre Oliva wrote: > On Jun 2, 2011, Alexandre Oliva wrote: >> On May 30, 2011, Alexandre Oliva wrote: >>> On May 30, 2011, Alexandre Oliva wrote: I have 3 different, mutually exclusive patches that fix PR 48866. The problem is exponential time while dealing w

Re: [PR48866] three alternative fixes

2012-04-08 Thread Alexandre Oliva
On Jun 2, 2011, Alexandre Oliva wrote: > On May 30, 2011, Alexandre Oliva wrote: >> On May 30, 2011, Alexandre Oliva wrote: >>> I have 3 different, mutually exclusive patches that fix PR 48866. The >>> problem is exponential time while dealing with an expression that >>> resulted from a long

Re: [PR48866] three alternative fixes

2011-06-02 Thread Alexandre Oliva
Ugh, failed to refresh the patch file, resending with the correct one. On May 30, 2011, Alexandre Oliva wrote: > On May 30, 2011, Alexandre Oliva wrote: >> 2. emit placeholders for replaceable DEFs and, when the DEFs are >> expanded at their point of use, emit the expansion next to the >> place

Re: [PR48866] three alternative fixes

2011-06-02 Thread Alexandre Oliva
On May 30, 2011, Alexandre Oliva wrote: > On May 30, 2011, Alexandre Oliva wrote: >> 3. expand dominators before dominated blocks, so that DEFs of >> replaceable SSA names are expanded before their uses. Expand them when >> they're encountered, but not requiring a REG as a result. Save the RTL

Re: [PR48866] three alternative fixes

2011-06-02 Thread Alexandre Oliva
On May 30, 2011, Alexandre Oliva wrote: > On May 30, 2011, Alexandre Oliva wrote: >> 2. emit placeholders for replaceable DEFs and, when the DEFs are >> expanded at their point of use, emit the expansion next to the >> placeholder, rather than at the current stream. The result of the >> expansi

Re: [PR48866] three alternative fixes

2011-06-02 Thread Alexandre Oliva
On May 30, 2011, Alexandre Oliva wrote: > On May 30, 2011, Alexandre Oliva wrote: >> 1. emit debug temps for replaceable DEFs that end up being referenced in >> debug insns. We already have some code to try to deal with this, but it >> emits the huge expressions we'd rather avoid, and it may cr

Re: [PR48866] three alternative fixes

2011-06-01 Thread Alexandre Oliva
On May 30, 2011, Michael Matz wrote: > Hi, > On Mon, 30 May 2011, Alexandre Oliva wrote: >> > 3. expand dominators before dominated blocks, so that DEFs of >> >replaceable SSA names are expanded before their uses. Expand them >> >when they're encountered, but not requiring a REG as a

Re: [PR48866] three alternative fixes

2011-05-30 Thread Michael Matz
Hi, On Mon, 30 May 2011, Alexandre Oliva wrote: > > 3. expand dominators before dominated blocks, so that DEFs of > >replaceable SSA names are expanded before their uses. Expand them > >when they're encountered, but not requiring a REG as a result. > >Save the RTL expression that

Re: [PR48866] three alternative fixes

2011-05-30 Thread Alexandre Oliva
On May 30, 2011, Alexandre Oliva wrote: > 3. expand dominators before dominated blocks, so that DEFs of > replaceable SSA names are expanded before their uses. Expand them when > they're encountered, but not requiring a REG as a result. Save the RTL > expression that results from the expansion

Re: [PR48866] three alternative fixes

2011-05-30 Thread Alexandre Oliva
On May 30, 2011, Alexandre Oliva wrote: > 2. emit placeholders for replaceable DEFs and, when the DEFs are > expanded at their point of use, emit the expansion next to the > placeholder, rather than at the current stream. The result of the > expansion is saved and used in debug insns that refere

Re: [PR48866] three alternative fixes

2011-05-30 Thread Alexandre Oliva
On May 30, 2011, Alexandre Oliva wrote: > 1. emit debug temps for replaceable DEFs that end up being referenced in > debug insns. We already have some code to try to deal with this, but it > emits the huge expressions we'd rather avoid, and it may create > unnecessary duplication. This new appr