[Bug ipa/93429] Missed IPA-CP on by-ref argument directly passed through from caller

2020-06-11 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93429 fxue at gcc dot gnu.org changed: What|Removed |Added Status|NEW |RESOLVED Resolution

[Bug testsuite/97066] [11 Regression] regression caused by r11-3207

2020-09-16 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97066 fxue at gcc dot gnu.org changed: What|Removed |Added Component|tree-optimization |testsuite Last reconfirmed

[Bug tree-optimization/89134] A missing optimization opportunity for a simple branch in loop

2019-11-07 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89134 --- Comment #14 from fxue at gcc dot gnu.org --- Author: fxue Date: Thu Nov 7 15:43:01 2019 New Revision: 277923 URL: https://gcc.gnu.org/viewcvs?rev=277923&root=gcc&view=rev Log: Loop split on semi-invariant conditional statement 20

[Bug ipa/91682] IPA-cp can not propagate value for by-ref argument in form of *arg = param op constant

2019-11-13 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91682 --- Comment #1 from fxue at gcc dot gnu.org --- Author: fxue Date: Thu Nov 14 03:19:15 2019 New Revision: 278193 URL: https://gcc.gnu.org/viewcvs?rev=278193&root=gcc&view=rev Log: Support extended aggregate jump function in ipa-cp 20

[Bug ipa/92528] [10 Regression] ICE in ipa_get_parm_lattices since r278219

2019-11-15 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92528 --- Comment #7 from fxue at gcc dot gnu.org --- Author: fxue Date: Fri Nov 15 15:03:24 2019 New Revision: 278300 URL: https://gcc.gnu.org/viewcvs?rev=278300&root=gcc&view=rev Log: 2019-11-15 Feng Xue PR ipa/92528 * ip

[Bug ipa/92133] Support multi versioning on self recursive function

2019-12-01 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92133 --- Comment #7 from fxue at gcc dot gnu.org --- Author: fxue Date: Mon Dec 2 06:37:30 2019 New Revision: 278893 URL: https://gcc.gnu.org/viewcvs?rev=278893&root=gcc&view=rev Log: Enable recursive function versioning 2019-12-02

[Bug ipa/92794] [10 Regression] ICE in decide_about_value, at ipa-cp.c:5186

2019-12-15 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92794 --- Comment #3 from fxue at gcc dot gnu.org --- What's configure option for 32 be powerpc?

[Bug ipa/92971] New: Suspicious code in cgraph_edge_brings_all_agg_vals_for_node(), ipa-cp.c

2019-12-17 Thread fxue at gcc dot gnu.org
: normal Priority: P3 Component: ipa Assignee: unassigned at gcc dot gnu.org Reporter: fxue at gcc dot gnu.org CC: marxin at gcc dot gnu.org Target Milestone: --- The variable "values" is defined as static, which makes a questionable s

[Bug ipa/92794] [10 Regression] ICE in decide_about_value, at ipa-cp.c:5186

2019-12-18 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92794 --- Comment #5 from fxue at gcc dot gnu.org --- Author: fxue Date: Thu Dec 19 02:54:40 2019 New Revision: 279561 URL: https://gcc.gnu.org/viewcvs?rev=279561&root=gcc&view=rev Log: Handle aggregate pass-through for self-recursive call

[Bug ipa/92794] [10 Regression] ICE in decide_about_value, at ipa-cp.c:5186

2019-12-18 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92794 --- Comment #7 from fxue at gcc dot gnu.org --- I tested it locally, passed. You can have a try to confirm that.

[Bug middle-end/93041] GCC 10 removes an infinite loop and causes a null pointer to dereferenced

2019-12-23 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93041 fxue at gcc dot gnu.org changed: What|Removed |Added CC||fxue at gcc dot gnu.org

[Bug tree-optimization/93084] [10 regression] Infinite loop in ipa-cp when building clang with LTO+PGO

2019-12-29 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93084 fxue at gcc dot gnu.org changed: What|Removed |Added CC||fxue at gcc dot gnu.org

[Bug tree-optimization/93084] [10 regression] Infinite loop in ipa-cp when building clang with LTO+PGO

2019-12-29 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93084 --- Comment #6 from fxue at gcc dot gnu.org --- Could you share how you build clang with PGO, and train workload?

[Bug tree-optimization/93084] [10 regression] Infinite loop in ipa-cp when building clang with LTO+PGO

2020-01-01 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93084 --- Comment #8 from fxue at gcc dot gnu.org --- I checked llvm source code, the recursive call lies in Constant *llvm::ConstantFoldInsertValueInstruction(), but in dump, I noticed that call edge is

[Bug tree-optimization/93084] [10 regression] Infinite loop in ipa-cp when building clang with LTO+PGO

2020-01-01 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93084 --- Comment #9 from fxue at gcc dot gnu.org --- xxx.localalias is gcc-generated as a noninterposable alias to xxx. But I guess target node returned by xxx.localalias->function_symbol() is not xxx. A simple thing we can do is to write a sim

[Bug tree-optimization/93084] [10 regression] Infinite loop in ipa-cp when building clang with LTO+PGO

2020-01-03 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93084 --- Comment #12 from fxue at gcc dot gnu.org --- Identified the cause, it's my bug, will give a fix soon.

[Bug tree-optimization/93084] [10 regression] Infinite loop in ipa-cp when building clang with LTO+PGO

2020-01-07 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93084 --- Comment #13 from fxue at gcc dot gnu.org --- Author: fxue Date: Wed Jan 8 02:55:00 2020 New Revision: 279987 URL: https://gcc.gnu.org/viewcvs?rev=279987&root=gcc&view=rev Log: Find matched aggregate lattice for self-recursive CP

[Bug lto/93166] [10 Regression] ICE in get_info_about_necessary_edges, at ipa-cp.c:4137 since r278893

2020-01-16 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93166 --- Comment #3 from fxue at gcc dot gnu.org --- (In reply to Martin Jambor from comment #2) > I have analyzed this ICE and came to the conclusion that the assert is > wrong for polymorphic context lattices - e.g. in the reported case we &g

[Bug lto/93166] [10 Regression] ICE in get_info_about_necessary_edges, at ipa-cp.c:4137 since r278893

2020-01-19 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93166 --- Comment #4 from fxue at gcc dot gnu.org --- Created attachment 47676 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47676&action=edit all-in-one test case

[Bug lto/93166] [10 Regression] ICE in get_info_about_necessary_edges, at ipa-cp.c:4137 since r278893

2020-01-19 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93166 --- Comment #5 from fxue at gcc dot gnu.org --- To add a specialized class for tree lattices is a way, but will complicate the code. We can simple remove the assertion. And a one-file test case was made from original files.

[Bug lto/93166] [10 Regression] ICE in get_info_about_necessary_edges, at ipa-cp.c:4137 since r278893

2020-01-25 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93166 --- Comment #7 from fxue at gcc dot gnu.org --- (In reply to Jeffrey A. Law from comment #6) > I've got state, so I'll take this as well. Here is a patch at https://gcc.gnu.org/ml/gcc-patches/2020-01/msg00068.html, waiting fo

[Bug ipa/93429] New: Missed IPA-CP on by-ref argument directly passed through from caller

2020-01-25 Thread fxue at gcc dot gnu.org
Priority: P3 Component: ipa Assignee: unassigned at gcc dot gnu.org Reporter: fxue at gcc dot gnu.org CC: marxin at gcc dot gnu.org Target Milestone: --- Here is a case, f1 (int *p1) { ... = *p1; ... } f2 (int *p2

[Bug ipa/93707] New: ICE in perlbench from SPEC2017

2020-02-12 Thread fxue at gcc dot gnu.org
Assignee: unassigned at gcc dot gnu.org Reporter: fxue at gcc dot gnu.org CC: marxin at gcc dot gnu.org Target Milestone: --- Compiling options "-flto --param ipa-cp-eval-threshold=1" will trigger an ICE in the GCC and perlbench benchmark in Spec2017. during IP

[Bug ipa/93707] ICE in perlbench from SPEC2017

2020-02-12 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93707 fxue at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed

[Bug ipa/93707] ICE in perlbench from SPEC2017

2020-02-12 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93707 --- Comment #1 from fxue at gcc dot gnu.org --- Created attachment 47825 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47825&action=edit A simplified case

[Bug ipa/93707] ICE in perlbench from SPEC2017

2020-02-12 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93707 --- Comment #2 from fxue at gcc dot gnu.org --- For a self-recursive function, a for-all-contexts clone could generate an edge whose callee is not the function. Thus, to check whether an edge stands for a recursive call during cloning, we should

[Bug ipa/93799] [10 Regression] ice in propagate_vals_across_arith_jfunc, at ipa-cp.c:2039

2020-02-18 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93799 --- Comment #2 from fxue at gcc dot gnu.org --- Duplicate of pr93763

[Bug ipa/93823] [10 Regression] ICE: in find_more_scalar_values_for_callers_subset, at ipa-cp.c:4709 due to -fipa-cp

2020-02-19 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93823 --- Comment #2 from fxue at gcc dot gnu.org --- Duplicate of pr93707

[Bug ipa/91089] IPA-cp does not setup proper cost model for switch default case in function versioning

2019-09-17 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91089 --- Comment #3 from fxue at gcc dot gnu.org --- Author: fxue Date: Tue Sep 17 12:30:08 2019 New Revision: 275802 URL: https://gcc.gnu.org/viewcvs?rev=275802&root=gcc&view=rev Log: PR ipa/91089 - Setup predicate for switch default cas

[Bug ipa/91088] IPA-cp cost evaluation is too conservative for "if (f(param) cmp const_val)" condition

2019-10-16 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91088 --- Comment #4 from fxue at gcc dot gnu.org --- Author: fxue Revision: 277054 Modified property: svn:log Modified: svn:log at Wed Oct 16 07:41:24 2019 -- --- svn:log

[Bug testsuite/92125] New test gcc.dg/ipa/pr91088.c introduced in r277054 fails

2019-10-17 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92125 --- Comment #2 from fxue at gcc dot gnu.org --- Author: fxue Date: Thu Oct 17 09:55:37 2019 New Revision: 277095 URL: https://gcc.gnu.org/viewcvs?rev=277095&root=gcc&view=rev Log: PR testsuite/92125 2019-10-17 Feng Xue PR t

[Bug tree-optimization/89713] Optimize away an empty loop whose finiteness can not be analytically determined

2019-06-12 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89713 --- Comment #5 from fxue at gcc dot gnu.org --- Author: fxue Date: Thu Jun 13 04:17:42 2019 New Revision: 272234 URL: https://gcc.gnu.org/viewcvs?rev=272234&root=gcc&view=rev Log: PR tree-optimization/89713 - Assume loop with an exit i

[Bug ipa/90401] Missed propagation of by-ref constant argument to callee function

2019-06-13 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90401 --- Comment #3 from fxue at gcc dot gnu.org --- Author: fxue Date: Fri Jun 14 02:34:48 2019 New Revision: 272282 URL: https://gcc.gnu.org/viewcvs?rev=272282&root=gcc&view=rev Log: PR ipa/90401 gcc/ChangeLog: * ip