public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug tree-optimization/107547] New: ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe @ 2022-11-07 9:16 marxin at gcc dot gnu.org 2022-11-07 9:16 ` [Bug tree-optimization/107547] " marxin at gcc dot gnu.org ` (3 more replies) 0 siblings, 4 replies; 5+ messages in thread From: marxin at gcc dot gnu.org @ 2022-11-07 9:16 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107547 Bug ID: 107547 Summary: ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: jakub at gcc dot gnu.org Target Milestone: --- The following ICEs: $ cat math.i int foo_f; void foo() { __builtin_acoshf128(foo_f); } $ gcc math.i -c -O2 during GIMPLE pass: cdce math.i: In function ‘foo’: math.i:2:6: internal compiler error: in get_no_error_domain, at tree-call-cdce.cc:769 2 | void foo() { __builtin_acoshf128(foo_f); } | ^~~ 0x7964a5 get_no_error_domain /home/marxin/Programming/gcc/gcc/tree-call-cdce.cc:769 0x7964a5 gen_shrink_wrap_conditions /home/marxin/Programming/gcc/gcc/tree-call-cdce.cc:806 0xfb8b21 shrink_wrap_one_built_in_call /home/marxin/Programming/gcc/gcc/tree-call-cdce.cc:1055 0xfb8b21 shrink_wrap_conditional_dead_built_in_calls /home/marxin/Programming/gcc/gcc/tree-call-cdce.cc:1167 0xfb8b21 execute /home/marxin/Programming/gcc/gcc/tree-call-cdce.cc:1246 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/107547] ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe 2022-11-07 9:16 [Bug tree-optimization/107547] New: ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe marxin at gcc dot gnu.org @ 2022-11-07 9:16 ` marxin at gcc dot gnu.org 2022-11-07 14:06 ` jakub at gcc dot gnu.org ` (2 subsequent siblings) 3 siblings, 0 replies; 5+ messages in thread From: marxin at gcc dot gnu.org @ 2022-11-07 9:16 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107547 Martin Liška <marxin at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Priority|P3 |P1 Target Milestone|--- |13.0 Status|UNCONFIRMED |NEW Last reconfirmed| |2022-11-07 ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/107547] ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe 2022-11-07 9:16 [Bug tree-optimization/107547] New: ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe marxin at gcc dot gnu.org 2022-11-07 9:16 ` [Bug tree-optimization/107547] " marxin at gcc dot gnu.org @ 2022-11-07 14:06 ` jakub at gcc dot gnu.org 2022-11-08 12:24 ` [Bug tree-optimization/107547] [13 Regression] " cvs-commit at gcc dot gnu.org 2022-11-08 12:25 ` jakub at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: jakub at gcc dot gnu.org @ 2022-11-07 14:06 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107547 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 53843 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53843&action=edit gcc13-pr107547.patch Untested fix. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/107547] [13 Regression] ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe 2022-11-07 9:16 [Bug tree-optimization/107547] New: ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe marxin at gcc dot gnu.org 2022-11-07 9:16 ` [Bug tree-optimization/107547] " marxin at gcc dot gnu.org 2022-11-07 14:06 ` jakub at gcc dot gnu.org @ 2022-11-08 12:24 ` cvs-commit at gcc dot gnu.org 2022-11-08 12:25 ` jakub at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: cvs-commit at gcc dot gnu.org @ 2022-11-08 12:24 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107547 --- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>: https://gcc.gnu.org/g:970dcd567449ec510477a043bbff70a0b960bd7f commit r13-3804-g970dcd567449ec510477a043bbff70a0b960bd7f Author: Jakub Jelinek <jakub@redhat.com> Date: Tue Nov 8 13:24:02 2022 +0100 cdce: Fix up get_no_error_domain for new f{16,32,64,128} builtins [PR107547] I've missed that this function needs to handle all the builtins that are handled in can_test_argument_range. The following patch does that. For many of the builtins (like acos, or log) it is the same range regardless of the floating point type, but for some (cosh, sinh, exp{,m1,2}) it is different for each format, so I had to compute those ranges. Note, seems the existing ranges were in some cases (e.g. for exp2) the smallest in absolute value which results infinite result, in others the largest which still results in finite result (but consistently so for the IEEE single vs. double). I've followed that for IEEE half and quad cases too, just am not sure why it was like that. I think get_domain with true, false is open interval rather than closed and the comments indicate that too, conservatively that is certainly correct. OT, with frange, perhaps we could DCE the calls unconditionally if frange can prove we are in the domain range. 2022-11-08 Jakub Jelinek <jakub@redhat.com> PR tree-optimization/107547 * tree-call-cdce.cc (get_no_error_domain): Handle CASE_FLT_FN_FLOATN_NX of BUILT_IN_{ACOS,ASIN,ACOSH,ATANH,LOG,LOG2,LOG10,LOG1P}. Handle BUILT_IN_{COSH,SINH,EXP,EXPM1,EXP2}F{16,32,64,128}. * gcc.dg/pr107547.c: New test. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/107547] [13 Regression] ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe 2022-11-07 9:16 [Bug tree-optimization/107547] New: ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe marxin at gcc dot gnu.org ` (2 preceding siblings ...) 2022-11-08 12:24 ` [Bug tree-optimization/107547] [13 Regression] " cvs-commit at gcc dot gnu.org @ 2022-11-08 12:25 ` jakub at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: jakub at gcc dot gnu.org @ 2022-11-08 12:25 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107547 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Fixed. ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2022-11-08 12:25 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2022-11-07 9:16 [Bug tree-optimization/107547] New: ICE in get_no_error_domain, at tree-call-cdce.cc:769 since r13-3568-g7f940822816917fe marxin at gcc dot gnu.org 2022-11-07 9:16 ` [Bug tree-optimization/107547] " marxin at gcc dot gnu.org 2022-11-07 14:06 ` jakub at gcc dot gnu.org 2022-11-08 12:24 ` [Bug tree-optimization/107547] [13 Regression] " cvs-commit at gcc dot gnu.org 2022-11-08 12:25 ` jakub at gcc dot gnu.org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).