John, I gave up on the old version of creduce I was using and I am building the most recent one to see how it goes. My example simply just kept growing. I am trying to reduce a horrible ICE in gcc, where removing a character in a #define line of a preprocessed file, causes the ICE to disappear. Actually very subtle changes make the bug disappear and the file is close to 500Kb so I really need it smaller.
Lets see how it goes with the most recent version of creduce. Paulo Matos > -----Original Message----- > From: [email protected] [mailto:creduce-dev- > [email protected]] On Behalf Of John Regehr > Sent: 02 October 2013 15:09 > To: [email protected] > Subject: Re: [creduce-dev] Increase of size during reduction process > > Hi Paulo, > > This is odd behavior, I haven't seen it happen where a temporary size > increase keeps going. > > You can easily disable individual passes that aren't being helpful: just > modify creduce.in and then "make install" again. > > C-Reduce is deterministic so it doesn't take any kind of seed. > > John > > > On 10/02/2013 08:02 AM, Paulo Matos wrote: > > > >> -----Original Message----- > >> From: Eitan Adler [mailto:[email protected]] > >> Sent: 02 October 2013 14:55 > >> To: Paulo Matos > >> Cc: [email protected] > >> Subject: Re: [creduce-dev] Increase of size during reduction process > >> > >> On Wed, Oct 2, 2013 at 5:41 AM, Paulo Matos <[email protected]> wrote: > >>> Hi, > >> > >>> Shouldn't size increase be dismissed? > >> > >> It is possible to get into local minimums which are not global minimums. > >> > >> > > > > This testcase I am trying is driving me nuts. > > It's currently at > > (-3.3 %, 473260 bytes) > > > > Each time a pass_blank starts it increases the size more than it decreases > during its process, therefore even though the testcase started with > > ===< pass_blank :: 0 >=== > > (0.0 %, 458340 bytes) > > it is now way larger. > > > > Is there a way to set a seed to creduce, so that I can try to avoid those > local minimums? > > Maybe if I can set a seed, I can set up multiple parallel creduce and grab > the one that generates the smallest example. > > > > Paulo Matos > >
