[PATCH] tree-sra: Fix grp_covered flag computation when totally scalarizing (PR117423)

ches if it passes there too? Thanks, Martin gcc/ChangeLog: 2025-07-17 Martin Jambor PR tree-optimization/117423 * tree-sra.cc (analyze_access_subtree): Fix computation of grp_covered flag. gcc/testsuite/ChangeLog: 2025-07-17 Martin Jambor PR tree-optimizat

Re: [pushed: r16-2211] diagnostics: add support for directed graphs; use them for state graphs

Hello David, On Fri, Jul 11 2025, David Malcolm wrote: > In r16-1631-g2334d30cd8feac I added support for capturing state > information from -fanalyzer in XML form, and adding a way to visualize > these states in HTML output. The data was optionally captured in SARIF > output (with "xml-state=yes"

Re: [PATCH] ipa, cgraph: Enable constant propagation to OpenMP kernels

Hello, and sorry for a rather late reaction. First and foremost, thanks for the patch, I think it is great to have this finally implemented and although I would like to see a couple things changed, I think the patch is quite close to what could be committed to gcc master. After my first pass thr

Re: [PATCH] ipa: Disallow signature changes in fun->has_musttail functions [PR121023]

a a chance to comment. I agree. Martin > > Thanks, > Richard. > >> 2025-07-11 Jakub Jelinek >> Martin Jambor >> >> PR ipa/121023 >> * ipa-fnsummary.cc (compute_fn_summary): Disallow signature changes >> on cfun->has_musttail f

Re: [PATCH 17/17] Ignore more clang warnings in contrib/filter-clang-warnings.py

On Wed, Jun 25 2025, Martin Jambor wrote: > Hi, > > in contrib we have a script filter-clang-warnings.py which supposedly > filters out uninteresting warnings emitted by clang when it compiles > GCC. I'm not sure if anyone else uses it but our internal SUSE > test

[PATCH] ranger: Mark three occurrences of verify_range with overide

it to master after bootstrapping it on x86_64-linux. Thanks, Martin gcc/ChangeLog: 2025-07-07 Martin Jambor * value-range.h (class irange): Mark member function verify_range with override. (class prange): Mark member function verify_range with final override

Re: [pushed: r16-1631] diagnostics: add state diagrams to analyzer experimental-html output [PR116792]

Hello, On Mon, Jun 23 2025, David Malcolm wrote: > This patch adds various support for debugging diagnostic paths and > events, intended initially for myself to help with debugging -fanalyzer. [...] > diff --git a/gcc/analyzer/sm.cc b/gcc/analyzer/sm.cc > index 0abbdd69adf..54bd92c31ab 100644 >

Re: [PATCH 14/17] c-format: Removed unused private member

On Wed, Jun 25 2025, Martin Jambor wrote: > Hi, > > when building GCC with clang, it warns that the private member suffix > in class element_expected_type_with_indirection (defined in > gcc/c-family/c-format.cc) is not used which indeed looks like it is > the case. This patch th

Re: [PATCH 09/17] jit: Silence clang warning in jit-builtins.cc

Hello, On Wed, Jun 25 2025, Martin Jambor wrote: > Hi, > > When compiling GCC (with JIT enabled) by clang, it produces a series > of warning s like this for all uses of DEF_GOACC_BUILTIN_COMPILER and > DEF_GOMP_BUILTIN_COMPILER in o

Re: [PATCH 16/17] Fortran: Silence a clang warning (suggesting a brace) in io.cc

es we filter out and in this case I thought it was easier to change the source code. Thank you, Martin > > -- > steve > > > On Wed, Jun 25, 2025 at 04:18:16PM +0200, Martin Jambor wrote: >> Hi, >> >> when GCC is built with clang, it suggests that we add a b

Re: [PATCH 10/17] rust: Silence a clang warning in borrow-checker-diagnostics

On Wed, Jun 25 2025, Martin Jambor wrote: > Hi, > > when compiling > gcc/rust/checks/errors/borrowck/rust-borrow-checker-diagnostics.cc > with clang, it emits the following warning: > > gcc/rust/checks/errors/borrowck/rust-borrow-checker-diagnostics.cc:145:46: > warning:

Re: [PATCH 13/17] lto-ltrans-cache: Remove unused private member

Hi, On Thu, Jun 26 2025, Michal Jireš wrote: > On 6/25/25 4:14 PM, Martin Jambor wrote: >> Hi, >> >> when building GCC with clang, it warns that the private member suffix >> in class ltrans_file_cache (defined in lto-ltrans-cache.h) is not used >> which indeed

[PATCH 15/17] coroutines: Removed unused private member in cp_coroutine_transform

, as with all of these clang warning issues, I'm perfectly happy to add an entry to contrib/filter-clang-warnings.py to ignore the warning instead. Thanks, Martin gcc/cp/ChangeLog: 2025-06-24 Martin Jambor * coroutines.h (class cp_coroutine_transform): Remove m

[PATCH 04/17] ranger: Mark several member functions as final override

. Bootstrapped and tested on x86_64-linx. OK for master? Alternatively, as with all of these clang warning issues, I'm perfectly happy to add an entry to contrib/filter-clang-warnings.py to ignore the warnings instead. Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor *

[PATCH 17/17] Ignore more clang warnings in contrib/filter-clang-warnings.py

resting warnings. Since I don't think anyone else uses the script, I'm would like to declare these changes "obvious" in the sense that they are obviously useful for me and obviously nobody else will mind or even be affected. I'm going to hold off for a week though, pl

[PATCH 16/17] Fortran: Silence a clang warning (suggesting a brace) in io.cc

. OK for master? Alternatively, as with all of these clang warning issues, I'm perfectly happy to add an entry to contrib/filter-clang-warnings.py to ignore the warning instead. Thanks, Martin gcc/fortran/ChangeLog: 2025-06-24 Martin Jambor * io.cc (format_asterisk): Add a

[PATCH 06/17] value-relation.h: Mark dom_oracle::next_relation as override

entry to contrib/filter-clang-warnings.py to ignore the warning instead. Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor * value-relation.h (class dom_oracle): Mark member function next_relation as override. --- gcc/value-relation.h | 2 +- 1 file changed, 1 insertion(

[PATCH 14/17] c-format: Removed unused private member

master? Alternatively, as with all of these clang warning issues, I'm perfectly happy to add an entry to contrib/filter-clang-warnings.py to ignore the warning instead. Thanks, Martin gcc/c-family/ChangeLog: 2025-06-24 Martin Jambor * c-format.cc (

[PATCH 12/17] Silence a clang warning in tree-vect-slp.cc about an unused variable

. OK for master? Alternatively, as with all of these clang warning issues, I'm perfectly happy to add an entry to contrib/filter-clang-warnings.py to ignore the warning instead. Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor * tree-vect-slp.cc (cond_expr_maps): R

[PATCH 11/17] tree-vect-stmts.cc: Remove an unused shadowed variable

s not used at all. This patch removes it. Bootstrapped and tested on x86_64-linx. OK for master? Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor * tree-vect-stmts.cc (supportable_indirect_convert_operation): Remove an unused shadowed variable. --- gcc/tree-vect-st

[PATCH 09/17] jit: Silence clang warning in jit-builtins.cc

ested on x86_64-linx. OK for master? Alternatively, as with all of these clang warning issues, I'm perfectly happy to add an entry to contrib/filter-clang-warnings.py to ignore the warnings instead. Thanks, Martin gcc/jit/ChangeLog: 2025-06-23 Martin Jambor * jit-builtins.c

[PATCH 02/17] Mark pass_sccopy gate and execute functions as final override

consider this obvious and will commit it shortly. Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor * gimple-ssa-sccopy.cc (class pass_sccopy): Mark member functions gate and execute as final override. --- gcc/gimple-ssa-sccopy.cc | 4 ++-- 1 file changed, 2 insertions

[PATCH 13/17] lto-ltrans-cache: Remove unused private member

x86_64-linx. OK for master? Alternatively, as with all of these clang warning issues, I'm perfectly happy to add an entry to contrib/filter-clang-warnings.py to ignore the warning instead. Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor * lto-ltrans-cache.h (

[PATCH 07/17] gfortran: Avoid freeing uninitialized value

e. Bootstrapped and tested on x86_64-linx. OK for master? Thanks, Martin gcc/fortran/ChangeLog: 2025-06-23 Martin Jambor * match.cc (gfc_match_nullify): Initialize p to NULL; --- gcc/fortran/match.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/fortran/ma

[PATCH 10/17] rust: Silence a clang warning in borrow-checker-diagnostics

from there? Thanks, Martin gcc/rust/ChangeLog: 2025-06-23 Martin Jambor * checks/errors/borrowck/rust-borrow-checker-diagnostics.cc (BorrowCheckerDiagnostics::get_loan): Type cast loan to uint32_t. --- .../checks/errors/borrowck/rust-borrow-checker-diagnostics.cc | 2 +- 1

[PATCH 08/17] ranger-op: Use CFN_ constant instead of plain BUILTIN_ one

. Thanks, Martin gcc/ChangeLog: 2025-06-23 Martin Jambor * gimple-range-op.cc (gimple_range_op_handler::maybe_builtin_call): Use CFN_BUILT_IN_ISINF instead of BUILT_IN_ISINF. --- gcc/gimple-range-op.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a

[PATCH 05/17] tree-ssa-propagate.h: Mark two functions as override

he warning(s) instead. Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor * tree-ssa-propagate.h (class substitute_and_fold_engine): Mark member functions value_of_expr and range_of_expr as override. --- gcc/tree-ssa-propagate.h | 4 ++-- 1 file changed, 2 insert

[PATCH 03/17] Diagnostics: Mark path_label::get_effects as final override

py to add an entry to contrib/filter-clang-warnings.py to ignore the warning(s) instead. Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor * diagnostic-path-output.cc (path_label::get_effects): Mark as final override. * diagnostic-format-ht

[PATCH 01/17] Mark rtl_avoid_store_forwarding functions final override

precedent elsewhere I consider this obvious and will commit it shortly. Thanks, Martin gcc/ChangeLog: 2025-06-24 Martin Jambor * avoid-store-forwarding.cc (class pass_rtl_avoid_store_forwarding): Mark member function gate as final override. --- gcc/avoid-store

Re: [COMMITTED 02/12] - Move to an always available relation oracle.

Hello, On Thu, May 23 2024, Andrew MacLeod wrote: > This patch provides a basic oracle which doesn't do anything, but will > still respond when queried.  This allows passes to avoid the NULL check > for an oracle pointer before they do anything, and results in a slight > speedup in VRP, and a s

Re: [PATCH 3/3] Assert finished vectorizer pattern COND_EXPR transition

Hi, On Fri, Oct 25 2024, Richard Biener wrote: > The following places a few strathegic asserts so we do not end up > with COND_EXPRs with a comparison as the first operand during > vectorization. > > Bootstrap and regtest running on x86_64-unknown-linux-gnu. > > These are the asserts I'd like to k

Re: [PATCH] Fix IPA-SRA issue with reverse SSO on specific pattern

Hi, On Wed, May 21 2025, Eric Botcazou wrote: > Hi, > > IPA-SRA generally works fine in the presence of reverse Scalar_Storage_Order > by propagating the relevant flag onto the newly generated MEM_REFs. However > we have been recently faced with a specific Ada pattern that it doesn't > handle

[PATCH] ipa: When inlining, don't combine PT JFs changing signedness (PR120295)

situation with adding an extra conversion instead. Bootstrapped and LTO-bootstrapped on x86_64-linux. OK for master and gcc-15 branch? Thanks, Martin gcc/ChangeLog: 2025-05-19 Martin Jambor PR ipa/120295 * ipa-prop.cc (update_jump_functions_after_inlining): Do not combine

[PATCH] ipa: Fix whitespace when dumping VR in jump_functions

Hi, lack of white space breakes the tree-visualisation structure and makes the dump unnecessarily difficult to read. I have bootstrapped and tested the patch on x86_64-linux. I plan to commit it soon as obvious. Thanks, Martin gcc/ChangeLog: 2025-05-19 Martin Jambor * ipa

Re: [PATCH 3/5] ipa: Dump cgraph_node UID instead of order into ipa-clones dump file

t new clones to >> those about removed nodes (if any). >> >> gcc/ChangeLog: >> >> 2025-04-23 Martin Jambor >> >> * cgraph.h (symtab_node): Make member function get_uid const. >> * cgraphclones.cc (dump_callgraph_transformation): Du

[PATCH] tree-sra: Do not create stores into const aggregates

convoluted. Anyway, it passes bootstrap and testing on x86_64-linux, bootstrap on Aarch64, testsuite is still running there. OK for master and all active release branches if it passes? Thanks, Martin gcc/ChangeLog: 2025-05-13 Martin Jambor PR tree-optimization/111873

Re: [PATCH 3/5] ipa: Dump cgraph_node UID instead of order into ipa-clones dump file

Hi, On Wed, Apr 30 2025, Michal Jires wrote: > On Mon, 2025-04-28 at 16:10:58 +0200, Martin Jambor wrote: >> Hi, >> >> starting with GCC 15 the order is not unique for any symtab_nodes but >> m_uid is, I believe we ought to dump the latter in the ipa-clones dump, &g

[PATCH 5/5] ipa: Drop the default value of suffix parameter of create_clone (PR119852)

/ChangeLog: 2025-04-25 Martin Jambor PR ipa/119852 * cgraph.h (cgraph_node::create_clone): Remove the default value of argument suffix. Update function comment. * cgraphclones.cc (cgraph_node::create_clone): Update function comment. * ipa-inline-transform.cc

[PATCH 4/5] ipa: Fix create_version_clone_with_body declaration and comment

(suffix) which is also used in related functions. The patch also updates the function comment in both places because it clearly became out of date. Bootstrapped and tested on x86_64-linux. OK for master? Thanks, Martin gcc/ChangeLog: 2025-04-25 Martin Jambor * cgraph.h (cgraph_node

[PATCH 3/5] ipa: Dump cgraph_node UID instead of order into ipa-clones dump file

for master and gcc 15? Thanks, Martin gcc/ChangeLog: 2025-04-23 Martin Jambor * cgraph.h (symtab_node): Make member function get_uid const. * cgraphclones.cc (dump_callgraph_transformation): Dump m_uid of the call graph nodes instead of order. * cgraph.cc

[PATCH 2/5] ipa: Do not emit info about temporary clones to ipa-clones dump (PR119852)

put either. Bootstrapped and tested on x86_64-linux. OK for master and gcc 15, 14 and 13? Thanks, Martin gcc/ChangeLog: 2025-04-23 Martin Jambor PR ipa/119852 * cgraphclones.cc (dump_callgraph_transformation): Document the function. Do not dump if suffix is NULL. gcc

[PATCH 1/5] Document option -fdump-ipa-clones

make html and manually inspecting the output. Is it perhaps OK for master and the branches or what would better be changed? Thanks, Martin gcc/ChangeLog: 2025-04-23 Martin Jambor * doc/invoke.texi (Developer Options): Document -fdump-ipa-clones. --- gcc/doc/invoke

Re: [PATCH 2/2] icf: Remove unused constructors of sem_function and sem_variable

Hi, On Thu, Apr 17 2025, Andrew Pinski wrote: > The constructors for sem_function and sem_variable that just > passes the bitmap obstack and NOT the cgraph node was unused > so let's remove it. > > gcc/ChangeLog: > > * ipa-icf.cc (sem_function::sem_function): Remove > the obstack argum

Re: [PATCH 1/2] icf: Remove nop code from sem_function::init.

Hi, On Thu, Apr 17 2025, Andrew Pinski wrote: > Here we had: > node = node; > Which does nothing so let's remove it. > > gcc/ChangeLog: > > * ipa-icf.cc (sem_function::init): Remove assignment of node from > itself. I'm not sure if you meant to push this as obvious or whether you were lo

Re: [PATCH] ipa-cp: Fix up ipcp_print_widest_int

Hi, On Tue, Apr 15 2025, Jakub Jelinek wrote: > On Tue, Apr 15, 2025 at 02:17:46PM +0200, Martin Jambor wrote: >> Hi, >> >> On Tue, Apr 15 2025, Jakub Jelinek wrote: >> > On Mon, Mar 31, 2025 at 03:34:07PM +0200, Martin Jambor wrote: >> >> This patch j

[PATCH] ipa-bit-cp: Fix adjusting value according to mask (PR119803)

. Thanks, Martin gcc/ChangeLog: 2025-04-15 Martin Jambor PR ipa/119803 * ipa-cp.cc (ipcp_bits_lattice::meet_with_1): Move m_value adjustmed according to m_mask below the adjustment of the latter according to cap_mask. Optimize the calculation of cap_mask a bit

Re: [PATCH] ipa-cp: Fix up ipcp_print_widest_int

Hi, On Tue, Apr 15 2025, Jakub Jelinek wrote: > On Mon, Mar 31, 2025 at 03:34:07PM +0200, Martin Jambor wrote: >> This patch just introduces a form of dumping of widest ints that only >> have zeros in the lowest 128 bits so that instead of printing >> thousands of f&#x

Re: [PATCH 2/7] ipa-cp: Make propagation of bits in IPA-CP aware of type conversions (PR119318)

Hello, On Wed, Apr 09 2025, Martin Jambor wrote: > Hi, > > On Tue, Apr 08 2025, Jan Hubicka wrote: >>> After the propagation of constants and value ranges, it turns out >>> that the propagation of known bits also needs to be made aware of any >>> interm

Re: [PATCH 1/7] ipa: Record and stream result types of arithemetic jump functions

>> >> Thanks, >> >> Martin >> >> >> gcc/ChangeLog: >> >> 2025-03-20 Martin Jambor >> >> PR ipa/118097 >> PR ipa/118785 >> PR ipa/119318 >> * ipa-prop.h (ipa_pass_through_data): New fiel

Re: [PATCH 1/7] ipa: Record and stream result types of arithemetic jump functions

>> >> Thanks, >> >> Martin >> >> >> gcc/ChangeLog: >> >> 2025-03-20 Martin Jambor >> >> PR ipa/118097 >> PR ipa/118785 >> PR ipa/119318 >> * ipa-prop.h (ipa_pass_through_data): New fiel

Re: [PATCH 2/7] ipa-cp: Make propagation of bits in IPA-CP aware of type conversions (PR119318)

s precision there. This implements just that, using the >> newly collected and streamed types of the operations involved. >> >> Bootstrapped and tested and LTO bootstrapped on x86_64-linux. OK for >> master? >> >> Thanks, >> >> Martin >> >

Re: [PATCH] sra: Avoid creating TBAA hazards (PR118924)

Hi, On Tue, Apr 01 2025, Richard Biener wrote: > On Mon, 31 Mar 2025, Martin Jambor wrote: > >> Hi, >> >> the testcase in PR 118924, when compiled on Aarch64, contains an >> gimple aggregate assignment statement in between different types which >> are types

[PATCH] sra: Avoid creating TBAA hazards (PR118924)

ll active release branches? Thanks, Martin gcc/ChangeLog: 2025-03-24 Martin Jambor PR tree-optimization/118924 * tree-ssa-alias-compare.h (types_equal_for_same_type_for_tbaa_p): Declare. * tree-ssa-alias.cc (types_equal_for_same_type_for_tbaa_p): Make pub

[RFC PATCH 6/7] ipa: Remove type checks in arithmetic pass-through jfunc construction

-21 Martin Jambor * ipa-prop.cc (compute_complex_assign_jump_func): Remove test for comparison operation or type compatibility of LHS and RHS1. (analyze_agg_content_value): Likewise. --- gcc/ipa-prop.cc | 11 +-- 1 file changed, 1 insertion(+), 10 deletions

[PATCH 4/7] ipa-cp: Use the stored and streamed pass-through types in ipa-vr (PR118785)

This patch revisits the fix for PR 118785 and intead of deducing the necessary operation type it just uses the value collected and streamed by an earlier patch. gcc/ChangeLog: Bootstrapped and tested and LTO bootstrapped on x86_64-linux. OK for master? Thanks, Martin 2025-03-20 Martin

[PATCH 1/7] ipa: Record and stream result types of arithemetic jump functions

signedness. This patch does the recorsing and streaming, the following one adds the use of the date. Bootstrapped and tested and LTO bootstrapped on x86_64-linux. OK for master? Thanks, Martin gcc/ChangeLog: 2025-03-20 Martin Jambor PR ipa/118097 PR ipa/118785 PR ipa

[PATCH 2/7] ipa-cp: Make propagation of bits in IPA-CP aware of type conversions (PR119318)

streamed types of the operations involved. Bootstrapped and tested and LTO bootstrapped on x86_64-linux. OK for master? Thanks, Martin gcc/ChangeLog: 2025-03-20 Martin Jambor PR ipa/119318 * ipa-cp.cc (ipcp_bits_lattice::meet_with_1): Set all mask bits not covered by

[PATCH 5/7] ipa-cp: Use the collected pass-through types to propagate constants (PR118097)

: 2025-03-20 Martin Jambor PR ipa/118097 * ipa-cp.cc (ipa_get_jf_arith_result): Require res_operand for anything except NOP_EXPR or ADDR_EXPR, document it and remove the code trying to deduce it. (ipa_value_from_jfunc): Use the stored and streamed type of

[RFC PATCH 7/7] ipa: Allow a type conversion in construction of aggregate jump functions

case. Bootstrapped and tested and LTO bootstrapped on x86_64-linux but my plan is to propose this only in the next stage 1. Thanks, Martin gcc/ChangeLog: 2025-03-24 Martin Jambor * ipa-prop.cc (is_a_safe_conversion_stmt_p): New function. (skip_a_safe_conversion_op): Moved up

[PATCH 3/7] ipa-cp: Make dumping of widest_ints even more sane

e the function not only to print bits but also to print masks where values like these can also occur. Bootstrapped and tested and LTO bootstrapped on x86_64-linux. OK for master? Thanks, Martin gcc/ChangeLog: 2025-03-21 Martin Jambor * ipa-cp.cc (ipcp_print_widest_int): Also

[PATCH 0/7] Fix PRs 118097, 118785 and 119318 by storing and streaming operation type

type rather than relying on expr_type_first_operand_type_p. The last two patches in the series are only meant as an RFC and I'd like to commit them only in the next stage 1 as they then take the approach one step further and allow for more propagation. Martin Martin Jambor (7): ipa: Recor

[PATCH] sra: Clear grp_same_access_path of acesses created by total scalarization (PR118924)

. Bootstrapped on x86_64-linux and Aarch64-linux. OK for master and then for all active release branches? Thanks, Martin gcc/ChangeLog: 2025-03-26 Martin Jambor PR tree-optimization/118924 * tree-sra.cc (create_total_scalarization_access): Set grp_same_access_path flag to zero

Re: [PATCH] testsuite: add testcase for recent alias fix

Hi, On Tue, Mar 25 2025, Sam James wrote: > r15-7961-gdc47161c1f32c3 fixes a typo in ao_compare::compare_ao_refs > but there wasn't a testcase available at the time. Now there is. > > Thanks to Andrew for the testcase. > > gcc/testsuite/ChangeLog: > PR testsuite/119382 > > * gcc.dg/ipa

[PATCH] ipa: Do not modify cgraph edges from thunk clones during inlining (PR116572)

on x86_64. It has been approved by Honza in person so I will commit it a few moments. I also plan to backport it to gcc-14 in a few weeks. Thanks, Martin gcc/ChangeLog: 2025-03-13 Martin Jambor PR ipa/116572 * cgraph.cc (cgraph_update_edges_for_call_stmt): Do not update

Re: [PATCH] Fix a pasto in ao_compare::compare_ao_refs

On Thu, Mar 13 2025, Richard Biener wrote: > On Mon, Mar 10, 2025 at 11:59 PM Martin Jambor wrote: >> >> Hi, >> >> when reading the function ao_compare::compare_ao_refs I came accross >> what I believe to ba a copy-and-paste error which this patch fixes. >>

[PATCH] Fix a pasto in ao_compare::compare_ao_refs

Hi, when reading the function ao_compare::compare_ao_refs I came accross what I believe to ba a copy-and-paste error which this patch fixes. Bootstrapped, LTO-bootstrapped and tested on x86_64-linux. OK for master? Thanks, Martin gcc/ChangeLog: 2025-03-10 Martin Jambor * tree

Re: [PATCH] ipa-cp: Avoid ICE when redistributing nodes among edges to recursive clones (PR 118318)

Hello, On Mon, Mar 03 2025, Martin Jambor wrote: > Hi, > > PR 118318 reported an ICE during PGO build of Firefox when IPA-CP, in > the final stages of update_counts_for_self_gen_clones where it > attempts to guess how to distribute profile count among clones created > for recur

[PATCH] ipa-cp: Avoid ICE when redistributing nodes among edges to recursive clones (PR 118318)

does. Bootstrapped and LTO-profile-bootstrapped and tested on x86_64. OK for master? (Should I then backport this to active release branches? I guess it would make sense.) Thanks, Martin gcc/ChangeLog: 2025-02-28 Martin Jambor PR ipa/118318 * ipa-cp.cc

Re: [PATCH] ipa-vr: Handle non-conversion unary ops separately from conversions (PR 118756)

Hello, On Tue, Feb 25 2025, Jakub Jelinek wrote: > On Tue, Feb 25, 2025 at 04:48:37PM +0100, Martin Jambor wrote: >> --- /dev/null >> +++ b/gcc/testsuite/g++.dg/lto/pr118785_0.C >> @@ -0,0 +1,14 @@ >> +// { dg-lto-do link } >> +// { dg-require-effective-target fpi

[PATCH] ipa-vr: Handle non-conversion unary ops separately from conversions (PR 118756)

/ChangeLog: 2025-02-24 Martin Jambor PR ipa/118785 * ipa-cp.cc (ipa_vr_intersect_with_arith_jfunc): Handle non-conversion unary operations separately before doing any conversions. Check expr_type_first_operand_type_p for non-unary operations too. Fix type

Re: [PATCH] ipa-sra: Avoid clashes with ipa-cp when pulling accesses across calls (PR 118243)

Hello, and ping please. Thanks, Martin On Mon, Feb 10 2025, Martin Jambor wrote: > Hello, > > among other things, IPA-SRA checks whether splitting out a bit of an > aggregate or something passed by reference would lead into a clash > with an already known IPA-CP constant a

Re: rs6000: Add -msplit-patch-nops (PR112980)

Hello, On Fri, Jan 10 2025, Martin Jambor wrote: > Hello, > > On Wed, Dec 11 2024, Martin Jambor wrote: >> Hello, >> >> even though it is not my work, I would like to ping this patch. Having >> it upstream would really help us a lot. >> > > Please, p

[PATCH] lto: Add an entry for cold attribute to lto_gnu_attributes

g assert to the redirect_to_unreachable function to make sure it has the intended effect. LTO-bootstrapped and tested on x86_64-linux. OK for master? Thanks, Martin gcc/ChangeLog: 2025-02-03 Martin Jambor PR lto/118125 * ipa-fnsummary.cc (redirect_to_unreachable): Add checking asse

[PATCH] ipa-sra: Avoid clashes with ipa-cp when pulling accesses across calls (PR 118243)

master and (assuming it applies cleanly and passes the checks there too) to all active release branches? Thanks, Martin gcc/ChangeLog: 2025-02-10 Martin Jambor PR ipa/118243 * ipa-sra.cc (pull_accesses_from_callee): New parameters caller_ipcp_ts and param_idx. Check

Re: [PATCH] ipa-cp: Perform operations in the appropriate types (PR 118097)

Hello, and a gentle ping, please. Martin On Fri, Jan 24 2025, Martin Jambor wrote: > Hi, > > the following version of the patch has one of the testcase adjusted to > use long long and so pass also on 32bit i386 (and hopefully 32bit Arm > too), otherwise it has not changed from w

Re: [PATCH v2 1/7] Add tunables for input buffer

Hello Andi, On Sat, Jan 25 2025, Andi Kleen wrote: > From: Andi Kleen > > The input machinery to read the source code independent of the lexer > has a range of hard coded maximum array sizes that can impact performance. > Make them tunable. > > input.cc is part of libcommon so it cannot direct ac

Re: [PATCH] tree-ssa-dce: Avoid creating invalid BBs with no outgoing edge (PR117892)

Hi, On Tue, Jan 28 2025, Richard Biener wrote: > On Mon, 27 Jan 2025, Martin Jambor wrote: > >> Hi, >> >> Zhendong Su and Michal Jireš found out that our gimple DSE pass can, >> under fairly specific conditions, remove a noreturn call which then >> leaves be

[PATCH] tree-ssa-dce: Avoid creating invalid BBs with no outgoing edge (PR117892)

alone even when they otherwise appear to be dead. Interestingly, our CFG verifier does not report this. I'll put on my todo list to add a test for it in the next stage 1. Bootstrapped and tested on x86_64-linux, OK for master? Thanks, Martin gcc/ChangeLog: 2025-01-27 Martin Jambor

Re: [PATCH] ipa-cp: Perform operations in the appropriate types (PR 118097)

and allow conversions like for scalars. gcc/ChangeLog: 2025-01-20 Martin Jambor PR ipa/118097 * ipa-cp.cc (ipa_get_jf_arith_result): Adjust comment. (ipa_get_jf_pass_through_result): Removed. (ipa_value_from_jfunc): Use directly ipa_get_jf_arith_result,

[PATCH] ipa-cp: Perform operations in the appropriate types (PR 118097)

GCC 16, we could relax this and allow conversions like for scalars. Bootstrapped, LTO-bootstrapped and tested on x86_64-linux. OK for master? Thanks, Honza gcc/ChangeLog: 2025-01-20 Martin Jambor PR ipa/118097 * ipa-cp.cc (ipa_get_jf_arith_result): Adjust comment

[PATCH] MAINTAINERS: Make contrib/check-MAINTAINERS.py happy

This commit makes the contrib/check-MAINTAINERS.py script happy about our MAINTAINERS file. I hope that it knows best how things ought to be and so am committing this as obvious. ChangeLog: 2025-01-13 Martin Jambor * MAINTAINERS: Fix the name order of the Write After Approval

Re: rs6000: Add -msplit-patch-nops (PR112980)

Hello, On Wed, Dec 11 2024, Martin Jambor wrote: > Hello, > > even though it is not my work, I would like to ping this patch. Having > it upstream would really help us a lot. > Please, pretty please, consider reviewing this in time for GCC 15, having it upstream would really he

[PATCH] ipa-cp: Fold-convert values when necessary (PR 118138)

? Thanks, Martin gcc/ChangeLog: 2025-01-03 Martin Jambor PR ipa/118138 * ipa-cp.cc (ipacp_value_safe_for_type): Return the appropriate type instead of a bool, accept NULL_TREE VALUEs. (propagate_vals_across_arith_jfunc): Use the new returned value of

Subject: [PATCH] ipa-cp: Make dumping of bit masks representing -1 nicer

er now? Thanks, Martin gcc/ChangeLog: 2025-01-03 Martin Jambor * ipa-cp.cc (ipcp_print_widest_int): New function. (ipcp_store_vr_results): Use it. (ipcp_bits_lattice::print): Likewise. Fix formatting. --- gcc/ipa-cp.cc | 20 +--- 1 file changed, 17 i

Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

On Fri, Nov 15 2024, Martin Jambor wrote: > Hi, > > On Thu, Nov 07 2024, Aldy Hernandez wrote: >> Jan Hubicka writes: >> >>>> > 2024-11-01 Martin Jambor >>>> > >>>> > * ipa-prop.cc (ipa_compute_jump_functions_for_edge

Re: [PATCH 8/8] ipa: Improve how we derive value ranges from IPA invariants

n progress. OK for master is that passes too? >> >> Thanks, >> >> Martin >> >> >> gcc/ChangeLog: >> >> 2024-11-04 Martin Jambor >> >> * ipa-prop.h (ipa_get_range_from_ip_invariant): Declare. >> (ipa_ran

Re: [PATCH 3/8] ipa: Skip type conversions in jump function constructions

Hi, On Tue, Dec 03 2024, Richard Biener wrote: > On Tue, Dec 3, 2024 at 12:09 PM Martin Jambor wrote: >> On Fri, Nov 15 2024, Richard Biener wrote: >> > On Fri, Nov 15, 2024 at 1:45 PM Jan Hubicka wrote: >> >> > >> >> > The patch only ever skip

Re: rs6000: Add -msplit-patch-nops (PR112980)

Hello, even though it is not my work, I would like to ping this patch. Having it upstream would really help us a lot. Thank you very much in advance, Martin On Wed, Nov 13 2024, Michael Matz wrote: > Hello, > > this is essentially > > https://gcc.gnu.org/pipermail/gcc-patches/2024-May/6510

Re: [PATCH 3/8] ipa: Skip type conversions in jump function constructions

Hi, sorry for re-posting this but my mail client broke threading when saving the email as Draft somehow and I really hope to still get this testcase working for GCC 15: On Fri, Nov 15 2024, Richard Biener wrote: > On Fri, Nov 15, 2024 at 1:45 PM Jan Hubicka wrote: >> > >> > The patch only ever s

Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

Hi, On Fri, Nov 15 2024, Martin Jambor wrote: > Hi, > > On Thu, Nov 07 2024, Aldy Hernandez wrote: >> Jan Hubicka writes: >> >>>> > 2024-11-01 Martin Jambor >>>> > >>>> > * ipa-prop.cc (ipa_compute_jump_function

Re: [PATCH 3/8] ipa: Skip type conversions in jump function constructions

Hi, On Fri, Nov 15 2024, Richard Biener wrote: > On Fri, Nov 15, 2024 at 1:45 PM Jan Hubicka wrote: >> >> > >> > The patch only ever skips just one conversion, never a chain of them and >> > deliberately so, for the reasons shown in the example. >> > >> > However, I have just realized that combin

Re: [PATCH 5/8] ipa: Update value range jump functions during inlining

Hello, I believe all questions regarding the patch below have been answered and so I would like to ping it. Thanks, Martin On Tue, Nov 05 2024, Martin Jambor wrote: > Hi, > > when inlining (during the analysis phase) a call graph edge, we update > all pass-through jump functions c

Re: [COMMITED] [lto] ipcp don't propagate where not needed

On Wed, Nov 06 2024, Michal Jires wrote: > On Wed, 2024-11-06 at 17:33:50 +, Jonathan Wakely wrote: >> >> If there's going to be a constructor then it should initialize the members. >> >> Otherwise, your original patch was better, because you could write >> this to get an all-zeros object: >>

Re: [PATCH 7/8] ipa: Verify that const jump functions have corresponding value range

Hi, On Thu, Nov 07 2024, Aldy Hernandez wrote: > Aldy Hernandez writes: > >> Martin Jambor writes: >> >>> Hi, >>> >>> Because the simplified way of extracting value ranges from functions >>> does not look at scalar constants (as one of the v

Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

Hi, On Thu, Nov 07 2024, Aldy Hernandez wrote: > Jan Hubicka writes: > >>> > 2024-11-01 Martin Jambor >>> > >>> > * ipa-prop.cc (ipa_compute_jump_functions_for_edge): When creating >>> > value-range jump functions from po

Re: [PATCH 5/8] ipa: Update value range jump functions during inlining

Hi, On Fri, Nov 15 2024, Jan Hubicka wrote: >> >> On 11/15/24 10:19, Jan Hubicka wrote: >> > > I have seen this happen when the result of the intersection is an empty >> > > set (one of the few comments in value-range.h actually describes an >> > > undefined range as an "empty range"). I have on

Re: [PATCH 5/8] ipa: Update value range jump functions during inlining

ally passed LTO and profiled-LTO bootstrap on the same platform >> and a bootstrap and testsuite on ppc64-linux. Aarch64-linux bootstrap >> and testing is in progress. OK for master is that passes too? >> >> Thanks, >> >> Martin >> >> >&

Re: [PATCH 3/8] ipa: Skip type conversions in jump function constructions

Hi, On Tue, Nov 05 2024, Jan Hubicka wrote: >> gcc/ChangeLog: >> >> 2024-11-01 Martin Jambor >> >> * ipa-prop.cc (skip_a_conversion_op): New function. >> (ipa_compute_jump_functions_for_edge): Use it. >> >> gcc/tests

Re: [PATCH] tree-sra: Avoid SRAing arguments to a function returning_twice (PR 117142)

-linux when applied on top of the gcc-13 release branch and I plan to commit it there tomorrow. After some two more weeks I plan to do the same on top of gcc-12. Martin gcc/ChangeLog: 2024-11-14 Martin Jambor PR tree-optimization/117142 * tree-sra.cc (scan_function): Disqualify

Re: [PATCH 1/8] ipa: Fix jump function copying

Hello Josef, On Tue, Nov 05 2024, Josef Melcr wrote: > Hi! > > On 11/5/24 12:06, Martin Jambor wrote: >> +/* Copy information from SRC_JF to DST_JF which correstpond to call graph >> edges >> + SRC and DST. */ >> + >> +static void >> +ipa_duplicate

  1   2   3   4   5   6   7   8   9   10   >