[PATCH] A new copy propagation and PHI elimination pass

g: * gcc.dg/sccopy-1.c: New test. Signed-off-by: Filip Kastl --- gcc/Makefile.in | 1 + gcc/passes.def | 3 + gcc/testsuite/gcc.dg/sccopy-1.c | 78 +++ gcc/tree-pass.h | 1 + gcc/tree-ssa-sccopy.cc | 867 +++

Re: [PATCH] A new copy propagation and PHI elimination pass

On Fri 2023-10-20 15:50:25, Filip Kastl wrote: > Bootstraped and tested* on x86_64-pc-linux-gnu. > > * One testcase (pr79691.c) did regress. However that is because the test is > dependent on a certain variable not being copy propagated. I will go into more > detail about this in

Re: [PATCH] A new copy propagation and PHI elimination pass

Hi, thanks for the guidance. I'm going to post a new version of the patch with the testcase modified so that it searches for 'return 9;' instead of '= 9;'. Filip Kastl On Fri 2023-10-27 13:55:37, Jeff Law wrote: > > > On 10/20/23 07:52, Filip Kastl wro

[PATCH v2] A new copy propagation and PHI elimination pass

ed the pr79691.c testcase so that it works as intended with other changes from the patch. The pr79691.c testcase checks that we get constants from snprintf calls and that they simplify into a single constant. The testcase doesn't account for the fact that this constant may be further copy propa

[COMMITED] contrib: Update test_mklog to correspond to mklog

Hi, the recent change to contrib/mklog.py broke contrib/test_mklog.py. It modified mklog.py to produce "Move to..." instead of "Moved to..." note in changelog for files that were moved. I've commited the fix as obvious. Filip Kastl -- 8< -- contrib/ChangeLog:

[COMMITED] MAINTAINERS: Fix order in Write After Aproval

Hi, I pushed this patch on Fri 8th and sent this mail to notify that I did so. I had some trouble with sending the mail though and it didn't arrive to the mailing list. I'm sending it now instead. Filip Kastl -- 8< -- ChangeLog: * MAINTAINERS: Fix order of names i

[PATCH v4] A new copy propagation and PHI elimination pass

. I didn't yet bootstrap this version. I just regtested it. Will bootstrap and regtest on the most current commit. Once that is successfully done, is the pass OK to be pushed to main? Filip -- >8 -- This patch adds the strongly-connected copy propagation (SCCOPY) pass. It is a lightweight GIMPLE

Re: [PATCH v4] A new copy propagation and PHI elimination pass

Successfully bootstrapped and regtested on x86_64-linux. Will push to master. Filip

[PATCH v3] A new copy propagation and PHI elimination pass

_1 and _7 by 16 It also handles more complicated situations, e.g.: _8 = PHI <_9, _10>; _9 = PHI <_8, _10>; _10 = PHI <_8, _9, _1>; // Replaces occurences of _8, _9 and _10 by _1 gcc/ChangeLog: * Makefile.in: Added sccopy pass. * passes.def: Added sccopy pass bef

[RFC] gimple ssa: SCCP - A new PHI optimization pass

es these functions. Signed-off-by: Filip Kastl gcc/ChangeLog: * Makefile.in: Added sccp pass. * passes.def: Added sccp pass to early and late optimizations. * tree-pass.h (make_pass_sccp): Added sccp pass. * tree-ssa-propagate.cc (cleanup_after_replace): New

Re: [RFC] gimple ssa: SCCP - A new PHI optimization pass

> The most obvious places would be right after SSA construction and before RTL > expansion. > Can you provide measurements for those positions? The algorithm should only remove PHIs that break SSA form minimality. Since GCC's SSA construction already produces minimal SSA form, the algorithm isn't

Re: [RFC] gimple ssa: SCCP - A new PHI optimization pass

> That's interesting. Your placement at > > NEXT_PASS (pass_cd_dce, false /* update_address_taken_p */); > NEXT_PASS (pass_phiopt, true /* early_p */); > + NEXT_PASS (pass_sccp); > > and > >NEXT_PASS (pass_tsan); >NEXT_PASS (pass_dse, true /* use DR a

[PING] [PATCH v2] A new copy propagation and PHI elimination pass

- Forwarded message from Filip Kastl - From: Filip Kastl To: gcc-patches@gcc.gnu.org Cc: rguent...@suse.de, hubi...@ucw.cz Subject: [PATCH v2] A new copy propagation and PHI elimination pass Date: Thu, 2 Nov 2023 14:00:02 +0100 Message-ID: > Hi, > > this is a patch that I

Re: [PATCH v2] A new copy propagation and PHI elimination pass

Hi Richard, > Can you name the new file gimple-ssa-sccopy.cc please? Yes, no problem. Btw, I thought that it is standard that gimple ssa passes have the tree-ssa- prefix. Do I understand it correctly that this is not true and many tree-ssa-*.cc passes should actually be named gimple-ssa-*.cc but

[COMMITED] MAINTAINERS: Fix order in DCO

Hi, I've noticed wrong order in the Contributing under the DCO section of the MAINTAINERS file. I'm commiting the fix as obvious. Filip Kastl -- 8< -- ChangeLog: * MAINTAINERS: Fix order in Contributing under the DCO. Signed-off-by: Filip Kastl --- MAINTAINERS |

Re: [PATCH] gimple ssa: Teach switch conversion to optimize powers of 2 switches

Hi, I'm replying to Richard and keeping Andrew in cc since your suggestions overlap. On Tue 2024-06-11 14:48:06, Richard Biener wrote: > On Thu, 30 May 2024, Filip Kastl wrote: > > +/* { dg-do compile } */ > > +/* { dg-options "-O2 -fdump-tree-switchconv -march=znver

Re: [PATCH] gimple ssa: Teach switch conversion to optimize powers of 2 switches

into splitting out the can_ and gen_ functions as you suggested. I'm still a bit unsure what your vision of these is so before I submit all the changes I made to the patch as version 2 I would like to share how I implemented the functions (see bellow). Is this how you imagined the functio

Re: [PATCH] gimple ssa: Teach switch conversion to optimize powers of 2 switches

On Wed 2024-07-10 11:34:44, Richard Biener wrote: > On Mon, 8 Jul 2024, Filip Kastl wrote: > > > Hi, > > > > I'm replying to Richard and keeping Andrew in cc since your suggestions > > overlap. > > > > > > On Tue 2024-06-11 14:48:06, Richard

[PATCH v2] gimple ssa: Teach switch conversion to optimize powers of 2 switches

: switch BB ---+ / | \ \ case BBsdefault BB \ | / / final BB / |/ Here idom(final BB) == switch BB. After the index exponential transform the CFG looks like this cond BB -+ | | switch BB ---+ | / | \ \ | case BBsdefault BB \ | / / final

Re: [PATCH v2] gimple ssa: Teach switch conversion to optimize powers of 2 switches

On Thu 2024-07-18 12:07:42, Richard Biener wrote: > On Wed, 17 Jul 2024, Filip Kastl wrote: > > > > + } > > > > + > > > > + vec v; > > > > + v.create (1); > > > > + v.quick_push (m_final_bb); > > > >

[COMMITED] MAINTAINERS: Fix an entry using spaces instead of tabs

: * MAINTAINERS: Use tabs between name and email. contrib/ChangeLog: * check-MAINTAINERS.py: Add warning about not using tabs. Signed-off-by: Filip Kastl --- MAINTAINERS | 2 +- contrib/check-MAINTAINERS.py | 8 2 files changed, 9 insertions(+), 1 deletion(-) diff

[PATCH] gimple ssa: Teach switch conversion to optimize powers of 2 switches

test on a version where I removed the check that the target has the POPCOUNT and FFS instructions so that the transformation would be triggered more often. That testing also went well. Are there any things I should tweak? Or is the patch ready to be applied? Cheers, Filip Kastl -- 8<

[wwwdocs v2] gcc-15: Mention c++ header dependency changes () in porting_to.html

Jonathan suggested. - Changed "in libstdc++" to "within libstdc++". Validated with the W3 Validator. Is this ok to be pushed? Cheers, Filip Kastl --- htdocs/gcc-15/changes.html| 3 +- htdocs/gcc-15/porting_to.html | 54 +++ 2 files ch

Re: [wwwdocs v2] gcc-15: Mention c++ header dependency changes () in porting_to.html

On Wed 2024-08-21 09:50:39, Jonathan Wakely wrote: > On Wed, 21 Aug 2024 at 09:48, Filip Kastl wrote: > > > > Hi, > > > > this is the second version of my patch. See version 1 here: > > > > https://gcc.gnu.org/pipermail/gcc-patches/2024-August/659584.h

[PATCH] gimple ssa: switchconv: Use __builtin_popcount and support more types in exp transform [PR116355]

Hi, bootstrapped and regtested on x86_64-linux. Ok to push? Cheers, Filip Kastl -- 8< -- The gen_pow2p function generates (a & -a) == a as a fallback for POPCOUNT (a) == 1. Not only is the bitmagic not equivalent to POPCOUNT (a) == 1 but it also introduces UB (consider signed a =

[PATCH] contrib: Set check-params-in-docs.py to skip tables of values of a param

fault', 'asimd-only', 'sve-only', 'prefer-asimd', 'prefer-sve'} Is the patch ok to be pushed? Cheers, Filip Kastl -- 8< -- Currently check-params-in-docs.py reports extra params being listed in invoke.texi. However, those aren't actual par

[PATCH v2] gimple ssa: switchconv: Use __builtin_popcount and support more types in exp transform [PR116355]

as one of their parameters. - Using gimple_convert instead of manually building CONVERT_EXPR/NOP_EXPR assignments. - Using gimple_build for building __builtin_popcount. - Adjusted ChangeLog entries. Bootstrapped and regtested on x86_64 linux. Ok to push? Cheers, Filip Kastl -- 8< -- The

Re: [PATCH][contrib]: support json output from check_GNU_style_lib.py

with this errlines.append({"file": locs[0], "row": locs[1], "column": locs[2], "err": e.console_error}) Cheers, Filip Kastl

Re: [PATCH][contrib]: support json output from check_GNU_style_lib.py

gt; +if len(errors) == 0: > +exit(0) > +else: > +json_string = json.dumps(result) > +print(json_string) > +exit(1) > else: > assert False Sure, this looks nice. I'm not sure if I have the right to approve the patch though. Cheers, Filip Kastl

Re: [PATCH v2] gimple ssa: Teach switch conversion to optimize powers of 2 switches

|| switch BB + | / | \ | \ | case BBs |default BB \ | / |/ final BB <- pred BB -+ | Here no predecessors of final_bb are dominated by default_bb but at the same time there does exist a path from default_bb to final_bb. Or is this CFG impos

Re: [PATCH v2] gimple ssa: Teach switch conversion to optimize powers of 2 switches

l has a pred dominated by default" isn't equivalent with "there is a path between default and final" even when we assume that the original idom of final_bb was switch_bb. Therefore I think we're back to searching for a nice way to test "there is a path between default and final". Maybe you can spot a flaw in my logic or maybe you see a solution I don't. Meanwhile I'll look into source code of the rest of the switch conversion pass. Switch conversion pass inserts conditions similar to what I'm doing so someone before me may have already solved how to properly fix dominators in this situation. Cheers, Filip Kastl

Re: [PATCH v2] gimple ssa: Teach switch conversion to optimize powers of 2 switches

> Meanwhile I'll look into source code of the rest of the switch conversion > pass. > Switch conversion pass inserts conditions similar to what I'm doing so someone > before me may have already solved how to properly fix dominators in this > situation. Oh nevermind. Switch conversion (gen_inboun

Re: [PATCH v2] gimple ssa: Teach switch conversion to optimize powers of 2 switches

On Tue 2024-07-30 14:34:54, Richard Biener wrote: > On Tue, 30 Jul 2024, Filip Kastl wrote: > > > > > > Ah, I see you fix those up. Then 2.) is left - the final block. Iff > > > > > the final block needs adjustment you know there was a path from > > &g

[PATCH] testsuite: Adjust switch-exp-transform-3.c for 32bit

that the exponential index transform is able to handle long long int. Signed-off-by: Filip Kastl --- .../gcc.target/i386/switch-exp-transform-3.c | 51 +-- 1 file changed, 2 insertions(+), 49 deletions(-) diff --git a/gcc/testsuite/gcc.target/i386/switch-exp-transf

[PATCH v2] testsuite: Adjust switch-exp-transform-3.c for 32bit

On Wed 2024-07-31 12:18:34, Jakub Jelinek wrote: > On Wed, Jul 31, 2024 at 12:02:08PM +0200, Filip Kastl wrote: > > 32bit x86 CPUs won't natively support the FFS operation on a 64 bit > > type. Therefore, the switch-exp-transform-3.c test will always fail > > with a 32

Re: [PATCH v2] testsuite: Adjust switch-exp-transform-3.c for 32bit

On Wed 2024-07-31 13:34:28, Jakub Jelinek wrote: > On Wed, Jul 31, 2024 at 01:32:06PM +0200, Filip Kastl wrote: > > Thanks for the feedback! Here is a second version of the patch. I've > > tested > > this version with > > > > make check RUNTESTFLAG

[COMMITED] gimple ssa: Fix a typo in gimple-ssa-sccopy.cc

Hello, just commited this as obvious. Filip Kastl -- 8< -- Fixes a misplaced comment in gimple-ssa-sccopy.cc. The comment belongs to a bitmap definition but was instead placed before the beginning of a namespace block. gcc/ChangeLog: * gimple-ssa-sccopy.cc: Move a misplaced comm

[PATCH] gimple ssa: Put SCCOPY logic into a class

xactly that. I waited until stage 1 to submit it. Bootstrapped and regtested on x86_64. Is the patch ok to be pushed to trunk? Cheers, Filip Kastl [1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113054 -- 8< -- Currently the main logic of the sccopy pass is implemented as static functions.

Re: [PATCH] gimple ssa: Put SCCOPY logic into a class

On Tue 2024-08-06 15:14:32, Richard Biener wrote: > On Tue, 6 Aug 2024, Filip Kastl wrote: > > > Hello everybody, > > > > In pr113054[1] Andrew said that he doesn't like the 'dead_stmts' static > > variable I used when implementing the sccopy pass.

[wwwdocs] gcc-15: Mention c++ header dependency changes () in porting_to.html

rom GCC 14 porting_to.html). Ha! As I'm writing this I noticed that actually Jonathan predicted this and suggested a corresponding porting_to.html entry. Well, here it is :). Validated with the W3 Validator. Is this ok to be pushed? Cheers, Filip Kastl -- 8< -- --- htdocs/gcc-15/ch

Re: [wwwdocs] gcc-15: Mention c++ header dependency changes () in porting_to.html

ithout including <cstdint> where needed will no longer compile. Any opinion on these two options? Cheers, Filip Kastl

[PATCH] contrib/check-params-in-docs.py: Ignore target-specific params

at the script would mistakenly complain about parms missing from --help=params. Previously, the script was just set to ignore aarch64 and gcn params which solved this issue only for x86. This patch sets the script to ignore all target-specific params. contrib/ChangeLog: * check-params-in-doc

Re: [RFC] gimple ssa: VRP to mark switch default as unreachable instead of removing it [PR112687]

On Sun 2024-09-01 09:25:07, Jeff Law wrote: > > > On 9/1/24 9:19 AM, Filip Kastl wrote: > > (I'm Cc-ing Diego since he originally contributed the VRP pass and Jeff > > because > > I've seen him in git blame on many lines of vr-values.cc around the place I

[RFC] gimple ssa: VRP to mark switch default as unreachable instead of removing it [PR112687]

I'll appreciate comments on if I should place the blob of code creating the __builtin_unreachable somewhere else in the file. I'll also appreciate any other comments on the patch. Cheers, Filip Kastl P.S. While writing this I realized that in this case... int unopt(int v) { sw

[PATCH] gimple ssa: Don't use __builtin_popcount in switch exp transform [PR116616]

Hi, bootstrapped and regtested on x86_64-linux. Ok to push? Thanks, Filip Kastl 8< Switch exponential transformation in the switch conversion pass currently generates tmp1 = __builtin_popcount (var); tmp2 = tmp1 == 1; when inserting code to determine if var is power of two.

[PATCH v2] gimple ssa: Don't use __builtin_popcount in switch exp transform

-linux. Ok to push? Thanks, Filip Kastl --- 8< --- Switch exponential transformation in the switch conversion pass currently generates tmp1 = __builtin_popcount (var); tmp2 = tmp1 == 1; when inserting code to determine if var is power of two. If the target doesn't support expanding the

[COMMITED] MAINTAINERS: Fix name order

ChangeLog: * MAINTAINERS: Fix Write After Approval name order. Signed-off-by: Filip Kastl --- MAINTAINERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MAINTAINERS b/MAINTAINERS index cf1cf78e16c..269ac2ea6b4 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -760,7

Re: [PATCH 2/2] Only do switch bit test clustering when multiple labels point to same bb

(vec &clusters); >/* Compute the number of case labels that correspond to each outgoing edge > of > switch statement. Record this information in the aux field of the edge. > + Returns max number of cases per edge. > */ I would specify "approx max number" instead of "max number" here. Otherwise looks good to me. Cheers, Filip Kastl

[PATCH] i386: Add -mveclibabi=aocl [PR56504]

Hi, Bootstrapped and regtested on x86_64 linux. I also tested that all the new calls can be linked with the AOCL LibM library. Ok to push? Thanks, Filip Kastl -- 8< -- We currently support generating vectorized math calls to the AMD core math library (ACML) (-mveclibabi=acml). T

Re: [PATCH] i386: Add -mveclibabi=aocl [PR56504]

UBLIC (new_fndecl) = 1; > > + DECL_EXTERNAL (new_fndecl) = 1; > > + DECL_IS_NOVOPS (new_fndecl) = 1; > > + TREE_READONLY (new_fndecl) = 1; > > I see that NOVOPS is copied from the older implementation. I think > const (which is specified by TREE_READONLY = 1) should be

Re: [PATCH] i386: Add -mveclibabi=aocl [PR56504]

On Wed 2024-11-13 15:18:32, Jan Hubicka wrote: > > - sincos and all functions working with arrays ... Because these > > functions have pointer arguments and that would require a bigger > > rework of ix86_veclibabi_aocl(). Also, I'm not sure if GCC even ever > > generates calls to these funct

[PING] [PATCH v2] gimple ssa: Don't use __builtin_popcount in switch exp transform

Hi, I'd like to ping my patch. You can find it here https://gcc.gnu.org/pipermail/gcc-patches/2024-September/662744.html Btw I forgot to include [PR116616] in the subject. Hope I didn't confuse people. I will take care to include the tag in the git commit message. Thanks, Filip Kastl

Re: [PATCH] Update email in MAINTAINERS file.

> +Aldy Hernandez > -- > 2.43.0 > Hi Aldy, Could you move your entry in the DCO list so that it respects surname alphabetical order, please? Your name should be between Robin Dapp and Michal Jires. Thanks, Filip Kastl

Re: [PATCH] Update email in MAINTAINERS file.

On Tue 2024-09-24 11:43:47, Aldy Hernandez wrote: > Pushed attached patch. > > Thanks. > Aldy > Nice. Thanks! Filip > On Tue, Sep 24, 2024 at 10:09 AM Filip Kastl wrote: > > > On Mon 2024-09-23 09:43:28, Aldy Hernandez wrote: > > > From: A

[PING] [PATCH] contrib: Set check-params-in-docs.py to skip tables of values of a param

Hi, I'd like to ping my patch. You can find it here: https://gcc.gnu.org/pipermail/gcc-patches/2024-August/661362.html Btw not sure if I could Cc anyone on this. AFAIK no one is a maintainer of the ./contrib scripts. Thanks, Filip Kastl

[COMMITED] [PATCH v2] contrib: Set check-params-in-docs.py to skip tables of values of a param

Thanks for the approval Richard! I've incorporated your suggestion to remove the "digits skip" code and I've pushed the patch. Cheers, Filip Kastl -- 8< -- Currently check-params-in-docs.py reports extra params being listed in invoke.texi. However, those aren't

Re: [PATCH 1/2] doc: install: document bootstrap-ubsan

Hi, I'm not a maintainer but I think we certainly want to have bootstrap-ubsan documented and the patch looks good to me. Cheers, Filip On Thu 2024-10-31 21:11:13, Sam James wrote: > gcc/ChangeLog: > PR other/116948 > > * doc/install.texi (Building a native compiler): Mention > boo

Re: [PATCH 2/2] doc: install: document UBSAN_OPTIONS

On Wed 2024-11-06 10:19:12, Sam James wrote: > Sam James writes: > > > Explain that 'bootstrap-ubsan' won't abort on errors by default and how > > to override that by setting UBSAN_OPTIONS. > > > > gcc/ChangeLog: > > PR other/116948 > > > > * doc/install.texi (Building a native compiler):

[PATCH] gimple: Add limit after which slower switchlower algs are used [PR117091] [PR117352]

from PR117352 anymore. Ok to push? Thanks, Filip Kastl -- 8< -- This patch adds a limit on the number of cases of a switch. When this limit is exceeded, switch lowering decides to use faster but less powerful algorithms. In particular this means that for finding bit tests switch lowerin

[COMMITTED] contrib: Fix 2 bugs in check-params-in-docs.py

Hi All, Commiting this as obvious. Cheers, Filip Kastl -- 8< -- In my last patch for check-params-in-docs.py I accidentally 1. left one occurence of the 'help_params' variable not renamed 2. converted 'help_params' from a dict to a list These issues cause t

[COMMITTED] doc: Add store-forwarding-max-distance to invoke.texi

gcc/ChangeLog: * doc/invoke.texi: Add store-forwarding-max-distance. Signed-off-by: Filip Kastl --- gcc/doc/invoke.texi | 5 + 1 file changed, 5 insertions(+) diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index d2409a41d50..4b1acf9b79c 100644 --- a/gcc/doc/invoke.texi

[COMMITTED] params.opt: Fix typo

Add missing '=' after -param=cycle-accurate-model. gcc/ChangeLog: * params.opt: Add missing '=' after -param=cycle-accurate-model. Signed-off-by: Filip Kastl --- gcc/params.opt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/params.opt b/

[PATCH v2] gimple: Add limit after which slower switchlower algs are used [PR117091] [PR117352]

ting this again just to be extra sure. Ok to push if bootstrap/regtest succeeds? Cheers, Filip Kastl -- 8< -- This patch adds a limit on the number of cases of a switch. When this limit is exceeded, switch lowering decides to use faster but less powerful algorithms. In particular this mean

Re: [PATCH] gimple: Add limit after which slower switchlower algs are used [PR117091] [PR117352]

On Fri 2024-11-15 12:08:24, Richard Biener wrote: > On Fri, 15 Nov 2024, Filip Kastl wrote: > > > Hi, > > > > Andi's greedy bit test finding algorithm was reverted. I found a fix for > > the > > problem that caused the revert. I made this patch t

Re: [PATCH] gimple: Add limit after which slower switchlower algs are used [PR117091] [PR117352]

01:38, Andi Kleen wrote: > On Fri, Nov 15, 2024 at 10:43:57AM +0100, Filip Kastl wrote: > > Hi, > > > > Andi's greedy bit test finding algorithm was reverted. I found a fix for > > the > > problem that caused the revert. I made this patch to reintroduce the g

Re: [wwwdocs] gcc-15/changes: Mention the new -mveclibabi=aocl option in the IA-32/x86-64 section

I would like to gently ping this. Thanks, Filip Kastl On Mon 2025-02-17 10:52:22, Filip Kastl wrote: > Hi, > > I'm mentioning a change I made in the gcc-15/changes.html file. Validated > with > the W3 Validator. Is this ok to be pushed? > > Cheers,

[PATCH] gimple: sccopy: Don't increment i after vec::unordered_remove()

Hi, Ok to push if bootstrap and regtest (on x86_64 linux) succeeds? Thanks, Filip Kastl -- 8< -- I increment the index variable in a loop even when I do vec::unordered_remove() which causes the vector traversal to miss some elements. Mikael notified me of this mistake I made in my l

Re: [PATCH] SCC-Copy: Add More Debug dumps

On Mon 2025-03-17 15:52:53, Andrew Pinski wrote: > While debugging a failure, I noticed that SCC copy didn't print > out what it was doing, e.g. replacing name1 with name 2. > This adds that dump. That's useful indeed. Thanks for that addition! Filip Kastl

Re: [PATCH] gimple: sccopy: Prune removed statements from SCCs [PR117919]

On Mon 2025-03-17 21:31:13, Mikael Morin wrote: > Le 28/02/2025 à 17:01, Filip Kastl a écrit : > > diff --git a/gcc/gimple-ssa-sccopy.cc b/gcc/gimple-ssa-sccopy.cc > > index 9f25fbaff36..7ffb5718ab6 100644 > > --- a/gcc/gimple-ssa-sccopy.cc > > +++ b/gcc/gimple-ssa-scco

[PATCH 0/4] gimple: Rework the bit-test switch lowering algorithm

solutions than Andi's and the original one and runs in linear time. More details below and in commit messages. Bootstrapped and regtested on x86_64 linux. Ok for trunk? Filip Kastl Better solutions When I say "better solutions", I mean the number of clusters. Clust

[PATCH 1/4] gimple: Merge slow and fast bit-test switch lowering [PR117091]

. (bit_test_cluster::find_bit_tests): We don't need to decide between slow and fast so just put the modified (no longer) slow algorithm here. Signed-off-by: Filip Kastl --- gcc/tree-switch-conversion.cc | 107 ++ 1 file changed, 17 insertions(+

[PATCH 2/4] gimple: Make bit-test switch lowering more powerful

of bit_test_cluster::is_beneficial and bit_test_cluster::can_be_handled. Signed-off-by: Filip Kastl --- gcc/tree-switch-conversion.cc | 153 +++--- gcc/tree-switch-conversion.h | 10 --- 2 files changed, 67 insertions(+), 96 deletions(-) diff --git a/gcc/tree

[PATCH 3/4] gimple: Don't warn about using different algs for big switch lowering [PR117091]

about using different algorithms. Signed-off-by: Filip Kastl --- gcc/tree-switch-conversion.cc | 7 --- 1 file changed, 7 deletions(-) diff --git a/gcc/tree-switch-conversion.cc b/gcc/tree-switch-conversion.cc index 4f0be8c43f0..dea217a01ef 100644 --- a/gcc/tree-switch-conversion.cc +++ b/gcc

[PATCH 4/4] gimple: Switch bit-test lowering testcases for the more powerful alg

h-5.c: New test. * gcc.dg/tree-ssa/switch-6.c: New test. Signed-off-by: Filip Kastl --- gcc/testsuite/gcc.dg/tree-ssa/switch-5.c | 60 gcc/testsuite/gcc.dg/tree-ssa/switch-6.c | 51 2 files changed, 111 insertions(+) create mode 100644 gcc/test

Re: [PATCH] sreal.h: fix typo in the comment for sreal::max

On Wed 2025-04-30 08:44:11, Vojtěch Káně wrote: > --- > gcc/sreal.h | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/gcc/sreal.h b/gcc/sreal.h > index 8700807a131..c5aef1f3a82 100644 > --- a/gcc/sreal.h > +++ b/gcc/sreal.h > @@ -118,7 +118,7 @@ public: > return min; >

Re: [PATCH] Add diffsummary.py to contrib

g worked. I've run flake8 on this and didn't see any pep8 violation that other contrib scripts wouldn't violate too :) (lines longer than 79 chars, not enough blank lines and similar stuff). Thanks, Filip Kastl On Tue 2025-04-29 11:38:26, Andi Kleen wrote: > This adds an automatic

Re: [PATCH] gimple: sccopy: Prune removed statements from SCCs [PR117919]

Hi Richard, I almost forgot that the issue is also present on GCC 14. Can I backport to releases/gcc-14 branch? Thanks, Filip Kastl On Fri 2025-02-28 17:46:42, Richard Biener wrote: > > > > Am 28.02.2025 um 17:02 schrieb Filip Kastl : > > > > Hi, > > >

[wwwdocs v2] gcc-15/changes: Mention the new -mveclibabi=aocl option in the IA-32/x86-64 section

Hi Gerald, On Thu 2025-03-06 18:38:12, Gerald Pfeifer wrote: > On Thu, 6 Mar 2025, Filip Kastl wrote: > > I would like to gently ping this. > > Ooops, sorry. > > > > + GCC now supports generating vectorized math calls to the math > > > library > >

Re: [wwwdocs v2] gcc-15/changes: Mention the new -mveclibabi=aocl option in the IA-32/x86-64 section

On Fri 2025-03-07 16:36:17, Gerald Pfeifer wrote: > On Fri, 7 Mar 2025, Filip Kastl wrote: > > Here is a second version of the patch. Thanks for the suggestions. I > > addressed them both. Do you think this is better? > > Loving it. :) > > Thank you, > Gerald Ok, pushed. Thanks! Filip

[PATCH] gimple: sccopy: Prune removed statements from SCCs [PR117919]

Hi, bootstrapped and regtested on x86_64 linux. Ok to be pushed? Thanks, Filip Kastl -- 8< -- While writing the sccopy pass I didn't realize that 'replace_uses_by ()' can remove portions of the CFG. This happens when replacing arguments of some statement results in th

[wwwdocs] gcc-15/changes: Mention the new -mveclibabi=aocl option in the IA-32/x86-64 section

Hi, I'm mentioning a change I made in the gcc-15/changes.html file. Validated with the W3 Validator. Is this ok to be pushed? Cheers, Filip Kastl -- 8< -- --- htdocs/gcc-15/changes.html | 6 ++ 1 file changed, 6 insertions(+) diff --git a/htdocs/gcc-15/changes.html b/htdoc

[COMMITED] invoke.texi: Fix typo in the file-cache-lines param

Pushed as obvious. Filip Kastl -- 8< -- file-cache-lines param was documented as file-cache-files. This fixes the typo. gcc/ChangeLog: * doc/invoke.texi: Fix typo file-cache-files -> file-cache-lines. Signed-off-by: Filip Kastl --- gcc/doc/invoke.texi | 2 +-

Re: [PATCH] gimple: sccopy: Don't increment i after vec::unordered_remove()

On Thu 2025-03-20 13:31:38, Richard Biener wrote: > On Thu, 20 Mar 2025, Filip Kastl wrote: > > > Hi, > > > > Ok to push if bootstrap and regtest (on x86_64 linux) succeeds? > > OK. > And I again almost forgot: Can I backport this to releases/gcc-14 bran

[PATCH] gimple: Don't assert that switch has nondefault cases during lowering [PR120080]

Hi, bootstrapped and regtested on x86_64 linux. Ok to push? Filip Kastl -- 8< --- I have mistakenly assumed that switch lowering cannot encounter a switch with zero clusters. This patch removes the relevant assert and instead gives up bit-test lowering when this happens. PR t

[COMMITED] testsuite: Disable bit tests in aarch64/pr99988.c

-off-by: Filip Kastl --- gcc/testsuite/gcc.target/aarch64/pr99988.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/testsuite/gcc.target/aarch64/pr99988.c b/gcc/testsuite/gcc.target/aarch64/pr99988.c index 7cca4962944..c09ce67c0fa 100644 --- a/gcc/testsuite/gcc.target/aarch64

[COMMITED] [PATCH v2] gimple: Don't assert that switch has nondefault cases during lowering [PR120080]

::find_bit_tests): Replace assert with return. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/pr120080.c: New test. Signed-off-by: Filip Kastl --- gcc/testsuite/gcc.dg/tree-ssa/pr120080.c | 26 gcc/tree-switch-conversion.cc| 8 +--- 2 files

[COMMITED] MAINTAINERS: Add myself to write after approval

Victor Kaplansky +Filip Kastl Geoffrey Keating Brendan Kehoe Andi Kleen -- 2.40.1

[PATCH] value-prof.cc: Correct edge prob calculation.

-by: Filip Kastl --- gcc/value-prof.cc | 6 +- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/value-prof.cc b/gcc/value-prof.cc index f40e58ac4f2..580d6dd648d 100644 --- a/gcc/value-prof.cc +++ b/gcc/value-prof.cc @@ -1186,7 +1186,11 @@ gimple_mod_subtract_transform