https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
Andrew Pinski changed:
What|Removed |Added
Known to work||12.1.0
Keywords|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
Andrew Pinski changed:
What|Removed |Added
Depends on||101993
--- Comment #13 from Andrew Pinsk
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #12 from Anatoly Sinyavin ---
Does it mean that my solution is not accepted?
If it's so I am going to think about two approaches
- vectorizer should ignore that path (Richard Biener 2013-09-09 08:22:53
UTC)
- replacing the GI
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #11 from Marc Glisse ---
(In reply to Jakub Jelinek from comment #10)
> That is still wrong, __builtin_unreachable is still very much useful even at
> the RTL level (where we expand it as basic blocks without successors).
> Perhaps if-
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #10
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #9 from Anatoly Sinyavin ---
Created attachment 31082
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31082&action=edit
Patch for new solution
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #8 from Anatoly Sinyavin ---
(In reply to Marc Glisse from comment #7)
> (In reply to Anatoly Sinyavin from comment #3)
> > So I suggest processing __builtin_unreachable immediately after "cfg" pass
> > (cfg buiding).
>
> That seems a
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #7 from Marc Glisse ---
(In reply to Anatoly Sinyavin from comment #3)
> So I suggest processing __builtin_unreachable immediately after "cfg" pass
> (cfg buiding).
That seems awfully early. Don't we want to at least wait until after
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #6 from Anatoly Sinyavin ---
I have created two patches to fix this problem.
The first patch (bug_fix_58359_builit_unreachable.patch) just moves
functionality of optimize_unreachable from "fab" pass to "cfg" pass
The second pat
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #5 from Anatoly Sinyavin ---
Created attachment 30915
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30915&action=edit
Second patch
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #4 from Anatoly Sinyavin ---
Created attachment 30914
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30914&action=edit
Fisrt patch
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
Anatoly Sinyavin changed:
What|Removed |Added
CC||a.sinyavin at samsung dot com
--- Comm
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
--- Comment #2 from Marc Glisse ---
Another optimization prevented by __builtin_unreachable:
extern void f();
void g(int i){
if(i>0){
f();
__builtin_unreachable();
}
}
misses that f is a tail call and generates at -O3 on x86_64:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58359
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
14 matches
Mail list logo
