[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] creduce expanding file instead of reducing
Yeah, the inliner is one of many parts of C-Reduce that help in the
expected case and hurt in the worst case.
Matthias, I recommend just disabling it by editing creduce.in. If this
is something that people commonly run into (it isn't, that I know of) we
can add a command line flag for turning off inlining.
On 04/20/2015 12:09 PM, Yang Chen wrote:
On 2015-04-20 08:53, Matthias Klose wrote:
On 04/20/2015 05:27 AM, Yang Chen wrote:
Thanks for reporting the issue.
I couldn't reproduce the GCC failure on my machine running Ubuntu 14.04
(detailed below). Looks like the crash was specific to
which I don't have access to. Do you happen to know which C-Reduce
transformation caused the code expansion, or do you have any saved
log/intermediate files that were produced during the reduction? Thanks.
yes, only seen on this target. I didn't try yet to reproduce this with
compiler. I had the log of the creduce run attached to the email.
would you need to reproduce this?
My apologies - I overlooked the attached log.
The increase was caused by simple-inliner, which doubled the size of the
test after it finished.
Can you attach the file named as something like testcase.best in the dir
where you performed the reduction, which might be stress_cpu.best in
your case? Thanks.