On Tue, Aug 9, 2022 at 2:03 PM Martin Liška wrote:
>
> Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
>
> Ready to be installed?
> Thanks,
> Martin
>
> gcc/ChangeLog:
>
> * gcc.cc (driver::detect_jobserver): Remove and move to
> jobserver.h.
> * lto-
Gentle ping. :)
From: Dimitrije Milosevic
Sent: Friday, July 29, 2022 12:38 PM
To: gcc-patches@gcc.gnu.org
Cc: Djordje Todorovic ; xry...@xry111.site
; mask...@google.com
Subject: [PATCH] Mips: Enable TSAN for 64-bit ABIs
The following patch enables TSAN for mips64, on which it is supported.
On Tue, 9 Aug 2022, Andrew MacLeod wrote:
>
> On 8/9/22 09:01, Richard Biener wrote:
> > This revisits how we compute imports later used for the ranger path
> > query during backwards threading. The compute_imports function
> > of the path solver ends up pulling the SSA def chain of regular
> >
On 2022/8/9 11:01, Kewen.Lin wrote:
Hi Xionghu,
Thanks for the fix.
on 2022/8/8 11:42, Xionghu Luo wrote:
The native RTL expression for vec_mrghw should be same for BE and LE as
they are register and endian-independent. So both BE and LE need
generate exactly same RTL with index [0 4 1 5]
On Fri, Aug 05, 2022 at 01:19:05PM -0500, Segher Boessenkool wrote:
> On Thu, Jul 28, 2022 at 12:43:49AM -0400, Michael Meissner wrote:
> > These patches lay the foundation for a set of follow-on patches that will
> > change the internal handling of 128-bit floating point types in GCC. In the
> >
My recently added testcase gcc.dg/fold-eqandshift-4.c, incorrectly assumed
that "char" was "signed char", and hence fails on powerpc64 where this
isn't the case. Fixed by making "signed char" explicit where needed in
this test. Committed as obvious.
2022-08-10 Roger Sayle
gcc/testsuite/Cha
On Aug 9, 2022, Alexandre Oliva wrote:
> Ping?
> https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598276.html
Oops, sorry, I linked to the wrong patch. This is the one I meant to ping:
https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598874.html
> On Jul 27, 2022, Alexandre Oliva wrot
Hi Segher,
Thanks for your comments. I checked the cost table. For P9 and P10, the
cost of all mul* insn is the same, not relevant to the size of operand.
I will split the test case to one compiling and one runnable case.
Thanks.
Gui Haochen
On 10/8/2022 上午 5:43, Segher Boessenkool wrote:
>
We were missing checks for uninitialized params on calls to functions
that the analyzer has hardcoded knowledge of - both for those that are
handled just by state machines, and for those that are handled in
region-model-impl-calls.cc (for those arguments for which the svalue
wasn't accessed in hand
On Tue, 2022-08-09 at 11:39 -0400, David Malcolm wrote:
> On Sat, 2022-07-30 at 19:18 +0530, Vibhav Pant wrote:
> > I don't have push rights to the repo, so this would need to be
> > applied manually.
>
> I've gone ahead and pushed your fix to trunk (for GCC 13) as r13-
> 2004-
> g9385cd9c74cf66.
On Tue, 2022-08-09 at 23:19 +0200, Tim Lange wrote:
> This patch adds an experimental out-of-bounds checker to the
> analyzer.
>
> The checker was tested on coreutils, curl, httpd and openssh. It is
> mostly
> accurate but does produce false-positives on yacc-generated files and
> sometimes when t
Hi!
On Tue, Aug 09, 2022 at 11:01:05AM +0800, Kewen.Lin wrote:
> on 2022/8/8 11:42, Xionghu Luo wrote:
> > Regression tested pass for Power8{LE,BE}{32,64} and Power{9,10}LE{32,64}
>
> Sorry, no -m32 for LE testing.
You can use -m32 on powerpc64le-*, but the default configuration
disallows it. T
On Tue, 2022-08-09 at 23:19 +0200, Tim Lange wrote:
> This patch adds the "shrinks buffer" case to the success_with_move
> modelling of realloc.
Hi Tim, thanks for the patch.
>
> 2022-08-09 Tim Lange
>
> gcc/analyzer/ChangeLog:
>
> PR analyzer/106539
> * region-model-impl-ca
Hi!
On Mon, Aug 08, 2022 at 02:04:07PM +0800, HAO CHEN GUI wrote:
> This patch adds an expand and several insns for multiply-add with three
> 64bit operands.
Also for maddld for 32-bit operands.
>"maddld %0,%1,%2,%3"
>[(set_attr "type" "mul")])
I suppose attr "size" isn't relevant for
On Tue, Aug 09, 2022 at 11:14:16AM +0800, Kewen.Lin wrote:
> on 2022/8/8 14:04, HAO CHEN GUI wrote:
> > +/* { dg-do run { target { has_arch_ppc64 } } } */
> > +/* { dg-options "-O2 -mdejagnu-cpu=power9 -save-temps" } */
> > +/* { dg-require-effective-target int128 } */
> > +/* { dg-require-effectiv
This patch adds an experimental out-of-bounds checker to the analyzer.
The checker was tested on coreutils, curl, httpd and openssh. It is mostly
accurate but does produce false-positives on yacc-generated files and
sometimes when the analyzer misses an invariant. These cases will be
documented in
This patch adds the "shrinks buffer" case to the success_with_move
modelling of realloc.
2022-08-09 Tim Lange
gcc/analyzer/ChangeLog:
PR analyzer/106539
* region-model-impl-calls.cc (region_model::impl_call_realloc):
Add get_copied_size function and pass the result as
Hi!
On Tue, Aug 09, 2022 at 08:51:59PM +0800, Kewen.Lin wrote:
> on 2022/8/9 18:35, Segher Boessenkool wrote:
> >> +/* As ELFv2 ABI shows, the allowable bytes past the global entry
> >> + point are 0, 4, 8, 16, 32 and 64. Considering there are two
> >> + non-prefixed instructions
On Tue, 2022-08-09 at 21:42 +0530, Immad Mir wrote:
> This patch fixes the ICE caused by valid_to_unchecked_state,
> at analyzer/sm-fd.cc by handling the m_start state in
> check_for_dup.
>
> Tested lightly on x86_64.
>
> gcc/analyzer/ChangeLog:
> PR analyzer/106551
> * sm-fd.cc (
On 8/9/22 09:01, Richard Biener wrote:
This revisits how we compute imports later used for the ranger path
query during backwards threading. The compute_imports function
of the path solver ends up pulling the SSA def chain of regular
stmts without limit and since it starts with just the gori i
On Tue, Aug 9, 2022 at 7:00 AM Alexandre Oliva via Gcc-patches
wrote:
>
> Ping?
>
> https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598276.html
This is great! And hope
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103398 can be
re-considered, at least for some ports :)
> On Jul 27, 2022, Alex
About 5 years ago we got a request to implement -Wself-move, which
warns about useless moves like this:
int x;
x = std::move (x);
This patch implements that warning.
Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk?
PR c++/81159
gcc/c-family/ChangeLog:
* c.opt (
Thanks. I've added few testcases that use uninitialized ints in dup, dup2,
and dup3.
Immad.
On Tue, Aug 9, 2022 at 8:43 PM David Malcolm wrote:
> On Tue, 2022-08-09 at 13:16 +0530, Immad Mir wrote:
> > This patch fixes the ICE caused by valid_to_unchecked_state,
> > at analyzer/sm-fd.cc by hand
This patch fixes the ICE caused by valid_to_unchecked_state,
at analyzer/sm-fd.cc by handling the m_start state in
check_for_dup.
Tested lightly on x86_64.
gcc/analyzer/ChangeLog:
PR analyzer/106551
* sm-fd.cc (check_for_dup): handle the m_start
state when transitioning th
On Sat, 2022-07-30 at 19:18 +0530, Vibhav Pant wrote:
> I don't have push rights to the repo, so this would need to be
> applied manually.
I've gone ahead and pushed your fix to trunk (for GCC 13) as r13-2004-
g9385cd9c74cf66.
I plan to also push it to the gcc 12 branch shortly (for gcc 12.2)
T
Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Pushed to trunk as r13-2003-g16877cc2006ede.
gcc/ChangeLog:
* doc/invoke.texi (Static Analyzer Options): Add notes on which
functions the analyzer has hardcoded knowledge of.
Signed-off-by: David Malcolm
---
gcc/doc/
On Tue, 2022-08-09 at 13:16 +0530, Immad Mir wrote:
> This patch fixes the ICE caused by valid_to_unchecked_state,
> at analyzer/sm-fd.cc by handling the m_start state in
> check_for_dup.
>
> Tested lightly on x86_64.
>
> gcc/analyzer/ChangeLog:
> PR analyzer/106551
> * sm-fd.cc (
On Mon, Aug 08, 2022 at 04:27:10PM -0400, Marek Polacek wrote:
> + /* Also try to warn about redundant std::move in code such as
> + T f (const T& t)
> + {
> + return std::move(t);
> + }
> +for which EXPR will be something like
> + *std::move ((const struct T &) (const
On Mon, 8 Aug 2022, Andre Vieira (lists) wrote:
> Hi,
>
> So I've changed the approach from the RFC as suggested, moving the bitfield
> lowering to the if-convert pass.
>
> So to reiterate, ifcvt will lower COMPONENT_REF's with DECL_BIT_FIELD field's
> to either BIT_FIELD_REF if they are reads o
On Tue, 2022-08-09 at 21:03 +0800, Lulu Cheng wrote:
>
> 在 2022/8/9 下午7:30, Xi Ruoyao 写道:
>
>
>
>
> > Sorry for late reply, I'm rebuilding my entire Linux system (from
> > scratch) for Glibc-2.36 and Binutils-2.39 update and I just reached the
> > mail client.
> >
> > On Mon, 2022-08-08 at 1
Ping?
https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598276.html
On Jul 27, 2022, Alexandre Oliva wrote:
> for gcc/testsuite/ChangeLog
> * g++.dg/abi/anon1.C: Disable pie on ia32.
> * g++.dg/abi/anon4.C: Likewise.
> * g++.dg/cpp0x/initlist-const1.C: Likewise.
> *
Ping?
https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598872.html
On Jul 27, 2022, Alexandre Oliva wrote:
> for gcc/ChangeLog
> * config/i386/i386.cc (symbolic_base_address_p,
> base_address_p): New, factored out from...
> (extract_base_offset_in_addr): ... here and exte
Ping? (sorry, Joseph, I failed to Cc: you last time)
https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598034.html
https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598084.html
On Jul 7, 2022, Alexandre Oliva wrote:
> for gcc/c-family/ChangeLog
> * c-attribs.cc (c_common_attribute_
Ping?
https://gcc.gnu.org/pipermail/gcc-patches/2022-July/599011.html
Here's an incremental patch for some of these tests, that avoids some
relatively rare spurious failures.
diff --git a/gcc/testsuite/c-c++-common/torture/strub-run1.c
b/gcc/testsuite/c-c++-common/torture/strub-run1.c
index b24
There has been support for generating "inbranch" SIMD clones for a long time,
but nothing actually uses them (as far as I can see).
This patch add supports for a sub-set of possible cases (those using
mask_mode == VOIDmode). The other cases fail to vectorize, just as before,
so there should be n
Enable and configure SIMD clones for amdgcn. This affects both the __simd__
function attribute, and the OpenMP "declare simd" directive.
Note that the masked SIMD variants are generated, but the middle end doesn't
actually support calling them yet.
gcc/ChangeLog:
* config/gcn/gcn.cc (g
The vecsize_int/vecsize_float has an assumption that all arguments will use
the same bitsize, and vary the number of lanes according to the element size,
but this is inappropriate on targets where the number of lanes is fixed and
the bitsize varies (i.e. amdgcn).
With this change the vecsize can
This patch series implements OpenMP "simd" routines for amdgcn, and also
adds support for "simd inbranch" routines for amdgcn, x86_64, and
aarch64 (probably, I can't easily test it).
I can approve patch 2 myself, but it depends on patch 1 so I include it
here for context and completeness.
I first
On Tue, Aug 9, 2022 at 12:10 PM Prathamesh Kulkarni
wrote:
>
> On Mon, 8 Aug 2022 at 14:27, Richard Biener
> wrote:
> >
> > On Mon, Aug 1, 2022 at 5:17 AM Prathamesh Kulkarni
> > wrote:
> > >
> > > On Thu, 21 Jul 2022 at 12:21, Richard Biener
> > > wrote:
> > > >
> > > > On Wed, Jul 20, 2022
在 2022/8/9 下午7:30, Xi Ruoyao 写道:
Sorry for late reply, I'm rebuilding my entire Linux system (from
scratch) for Glibc-2.36 and Binutils-2.39 update and I just reached the
mail client.
On Mon, 2022-08-08 at 12:53 +0800, Lulu Cheng wrote:
I still think it makes a little bit more sense to put at
This revisits how we compute imports later used for the ranger path
query during backwards threading. The compute_imports function
of the path solver ends up pulling the SSA def chain of regular
stmts without limit and since it starts with just the gori imports
of the path exit it misses some inte
Hi Segher,
Thanks for the review comments!
on 2022/8/9 18:35, Segher Boessenkool wrote:
> Hi!
>
>> + /* As ELFv2 ABI shows, the allowable bytes past the global entry
>> + point are 0, 4, 8, 16, 32 and 64. Considering there are two
>> + non-prefixed instructions for global e
Hi,
This patch changes the emission strategy for inline functions so that
they are given codegen in every referencing module, not just the module
that they are defined in.
Functions that are declared `pragma(inline)' should be treated as if
they are defined in every translation unit they are refe
I've committed this patch for amdgcn.
This changes the procedure calling ABI such that vector arguments are
passed in vector registers, rather than on the stack as before.
The ABI for scalar functions is the same for arguments, but the return
value has now moved to a vector register; keeping
Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
Ready to be installed?
Thanks,
Martin
gcc/ChangeLog:
* gcc.cc (driver::detect_jobserver): Remove and move to
jobserver.h.
* lto-wrapper.cc (jobserver_active_p): Likewise.
(run_gcc): Likewise.
Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
Ready to be installed?
Thanks,
Martin
PR lto/106328
gcc/ChangeLog:
* jobserver.h (struct jobserver_info): Add pipefd.
(jobserver_info::connect): New.
(jobserver_info::disconnect): Likewise.
Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
Ready to be installed?
Thanks,
Martin
gcc/ChangeLog:
* jobserver.h (jobserver_info::jobserver_info): Parse FIFO
format of --jobserver-auth.
---
gcc/jobserver.h | 19 +--
1 file changed, 17 ins
On 8/5/22 12:58, Richard Biener wrote:
> On Thu, Aug 4, 2022 at 10:57 AM Martin Liška wrote:
>>
>> After a long time, GNU make has finally implemented named pipes when
>> it comes to --jobserver-auth. The traditional approach are
>> provided opened file descriptors that causes troubles:
>> https:/
On Tue, 2 Aug 2022, Richard Biener wrote:
> The following removes all excessive update_ssa calls from OMP
> expansion, thereby rewriting the atomic load and store cases to
> GIMPLE code generation. I don't think autopar ever exercises the
> atomics code though.
>
> There's not much test coverage
Sorry for late reply, I'm rebuilding my entire Linux system (from
scratch) for Glibc-2.36 and Binutils-2.39 update and I just reached the
mail client.
On Mon, 2022-08-08 at 12:53 +0800, Lulu Cheng wrote:
> I still think it makes a little bit more sense to put attribute(model)
> and -mcmodel togeth
Hi!
> + /* As ELFv2 ABI shows, the allowable bytes past the global entry
> + point are 0, 4, 8, 16, 32 and 64. Considering there are two
> + non-prefixed instructions for global entry (8 bytes), the count
> + for patchable NOPs before local entry would be 2, 6 and
In PR65320 Martin raised the point that the pretty printer for the C++
containers is inconsistent across the different types. It's also
inconsistent when it comes to showing different states (empty vs not) of
the same type.
In addition, IMO some more information should be printed like the templat
On Mon, 8 Aug 2022 at 14:27, Richard Biener wrote:
>
> On Mon, Aug 1, 2022 at 5:17 AM Prathamesh Kulkarni
> wrote:
> >
> > On Thu, 21 Jul 2022 at 12:21, Richard Biener
> > wrote:
> > >
> > > On Wed, Jul 20, 2022 at 5:36 PM Prathamesh Kulkarni
> > > wrote:
> > > >
> > > > On Mon, 18 Jul 2022 at
On Tue, Aug 9, 2022 at 10:16 AM Roger Sayle wrote:
>
>
> This x86_64 backend patch allows TImode STV to take advantage of the
> fact that the PTEST instruction performs an AND operation. Previously
> PTEST was (mostly) used for comparison against zero, by using the same
> operands. The benefits
This removes max-fsm-thread-length which is obsoleted by
max-jump-thread-paths.
Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.
* doc/invoke.texi (max-fsm-thread-length): Remove.
* params.opt (max-fsm-thread-length): Likewise.
* tree-ssa-threadbackward.cc
The following adds a limit for the exponential greedy search of
the backwards jump threader. The idea is to limit the search
space in a way that the paths considered are the same if the search
were in BFS order rather than DFS. In particular it stops considering
incoming edges into a block if the
This x86_64 backend patch allows TImode STV to take advantage of the
fact that the PTEST instruction performs an AND operation. Previously
PTEST was (mostly) used for comparison against zero, by using the same
operands. The benefits are demonstrated by the new test case:
__int128 a,b;
int foo()
This patch fixes the ICE caused by valid_to_unchecked_state,
at analyzer/sm-fd.cc by handling the m_start state in
check_for_dup.
Tested lightly on x86_64.
gcc/analyzer/ChangeLog:
PR analyzer/106551
* sm-fd.cc (check_for_dup): handle the m_start
state when transitioning th
On 08/08/22 15:29, Jonathan Wakely wrote:
On Wed, 13 Jul 2022 at 18:28, François Dumont via Libstdc++
wrote:
libstdc++: [_GLIBCXX_DEBUG] Add backtrace generation on demand
Add _GLIBCXX_DEBUG_BACKTRACE macro to activate backtrace generation
on _GLIBCXX_DEBUG assertions. Prerequisite is to h
59 matches
Mail list logo
