The only failure I had was pr50433, now fixed by revision 179046. With it,
all the ADA tests pass (including gnat.dg/opt19.adb) pass without failure
on x86_64-apple-darwin10 (thanks Jan for the quick fix).
That's what I meant. Note that it's Ada, not ADA, because it's a first name:
the problem here is that we consider param.foo to be a memory reference,
while it is not. The following patch should fix it, but because it changes
the behaviour of inline heuristics, I will run bechmarks tonight before
committing it.
Thanks in advance. Can you add PR
Eric,
I am not sure to understand the sentence:
There is apparently an ACATS failure on x86-64/Darwin, but I've installed the
testcase as gnat.dg/opt19.adb in the tree.
The only failure I had was pr50433, now fixed by revision 179046. With it,
all the ADA tests pass (including
On 21 Sep 2011, at 15:58, Dominique Dhumieres wrote:
I am not sure to understand the sentence:
There is apparently an ACATS failure on x86-64/Darwin, but I've
installed the
testcase as gnat.dg/opt19.adb in the tree.
The only failure I had was pr50433, now fixed by revision 179046.
With
the problem here is that we consider param.foo to be a memory reference,
while it is not. The following patch should fix it, but because it changes
the behaviour of inline heuristics, I will run bechmarks tonight before
committing it.
Thanks in advance. Can you add PR tree-optimization/50433
* ipa-inline-analysis.c (add_condition): Add conditions parameter;
simplify obviously true clauses.
(and_predicates, or_predicates): Add conditions parameter.
(inline_duplication_hoook): Update.
(mark_modified): New function.
(unmodified_parm): New function.
Hi Honza,
On 15 Sep 2011, at 11:27, Jan Hubicka wrote:
Bootstrapped/regtested x86_64-linux, will commit it later today.
Honza
* ipa-inline-analysis.c (add_condition): Add conditions parameter;
simplify obviously true clauses.
(and_predicates, or_predicates): Add
* ipa-inline-analysis.c (add_condition): Add conditions parameter;
simplify obviously true clauses.
(and_predicates, or_predicates): Add conditions parameter.
(inline_duplication_hoook): Update.
(mark_modified): New function.
(unmodified_parm): New
Hi,
this patch updates inline heuristics so we could analyse also non-SSA vars. I.e.
in:
int aaa(int a)
{
if (a4)
bbb(a);
}
We are still able to work out that bbb is called only when a4 despite the fact
that A has address taken.
The patch also makes dataflow to simplify a bit the solution,