Hi Richard,
I screwed up while committing pr88839 fix, by not including the change
to aarch64-sve.md
that adds "@" to vcond_mask pattern, which resulted in trunk failing to build
with: "gen_vcond_mask" was not declared in this scope -:/
The attached patch resolves the failure.
OK to commit ?
Thank
On Thu, Aug 22, 2019 at 11:18 AM Kewen.Lin wrote:
>
> Hi Bin,
>
> Thanks for your time!
>
> on 2019/8/21 下午8:32, Bin.Cheng wrote:
> > On Wed, Aug 14, 2019 at 3:23 PM Kewen.Lin wrote:
> >>
> >> Hi!
> >>
> >> Comparing to the previous versions of implementation mainly based on the
> >> existing IV
On 8/20/19 6:14 PM, Jonathan Wakely wrote:
On 16/08/19 22:39 -0400, Ed Smith-Rowland via libstdc++ wrote:
The latest draft and I guess the above paper changed the macro names
for the C++20 constexpr lib featues.
__cpp_lib_constexpr_algorithms ->__cpp_lib_constexpr.
The __cpp_lib_constexpr ma
Hi Bin,
Thanks for your time!
on 2019/8/21 下午8:32, Bin.Cheng wrote:
> On Wed, Aug 14, 2019 at 3:23 PM Kewen.Lin wrote:
>>
>> Hi!
>>
>> Comparing to the previous versions of implementation mainly based on the
>> existing IV cands but zeroing the related group/use cost, this new one is
>> based
>
On 2019/8/21 15:40, Richard Biener wrote:
On Tue, 20 Aug 2019, Xiong Hu Luo wrote:
The DECL_MD_FUNCTION_CODE added in r274404(PR 91421) by rsandifo requires that
DECL to be a BUILTIN_IN_MD class built-in, asserts will happen when lto
as the patch r274411(PR 91287) outputs some math function sym
> +#undef TARGET_PASS_BY_REFERENCE
> +#define TARGET_PASS_BY_REFERENCE bpf_pass_by_reference
I might have misunderstood, but I thought from an earlier (IRC?)
message, it wasn't possible for the callee to access the caller's
frame, which was why you
> -Original Message-
> From: gcc-patches-ow...@gcc.gnu.org On
> Behalf Of JiangNing OS
> Sent: Thursday, August 22, 2019 8:24 AM
> To: Prathamesh Kulkarni ; James Greenhalgh
>
> Cc: gcc Patches ; Richard Sandiford
> ; Kyrill Tkachov ;
> nd
> Subject: RE: PR90724 - ICE with __sync_bool_
> -Original Message-
> From: gcc-patches-ow...@gcc.gnu.org On
> Behalf Of Prathamesh Kulkarni
> Sent: Thursday, August 22, 2019 2:36 AM
> To: James Greenhalgh
> Cc: gcc Patches ; Richard Sandiford
> ; Kyrill Tkachov ;
> nd
> Subject: Re: PR90724 - ICE with __sync_bool_compare_and_swap wi
On Mon, 19 Aug 2019, Marek Polacek wrote:
> I'm of the mind that we should advertise some of the new cool
> C++ changes going into GCC 10, esp. those that are user-visible.
I concur. :-)
> Checking this in.
Thank you!
Gerald
On 8/19/19 7:57 AM, Richard Biener wrote:
>
> +static tree
> +objsize_from_type (tree object)
> +{
> + if (TREE_CODE (object) != ADDR_EXPR)
> +return NULL_TREE;
> +
> + tree type = TREE_TYPE (object);
> + if (POINTER_TYPE_P (type))
>
> that if looks suspicious... I'd say
> if (!POINTER
On 8/16/19 4:21 PM, Martin Sebor wrote:
> On 8/16/19 12:15 PM, Jeff Law wrote:
>> On 8/16/19 12:09 PM, Marc Glisse wrote:
>>> On Fri, 16 Aug 2019, Jeff Law wrote:
>>>
This patch improves our ability to detect dead stores by handling cases
where the size memcpy, memset, strncpy, etc call i
On 8/21/19 2:50 PM, Martin Sebor wrote:
> This patch is a subset of the solution for PR 91457 whose main
> goal is to eliminate inconsistencies in warnings issued for
> out-of-bounds accesses to the various flavors of flexible array
> members of constant objects. That patch was posted here:
> ht
On Wed, 21 Aug 2019, Eric Botcazou wrote:
> > Rather than checking if the outermost declarator is
> > cdk_function and using its parameters if so, it's necessary to check if
> > the *innermost declarator that isn't cdk_id or cdk_attrs* is cdk_function
> > and use its parameters if so, as that's wh
> The problem is that the logic in c_parser_declaration_or_fndef for setting
> DECL_ARGUMENTS (not previously meaningful in non-definition declarations
> at all), as introduced by
>
> r253411 | dmalcolm | 2017-10-04 14:10:59 + (Wed, 04 Oct 2017) | 85 lines
>
> C: underline parameters in misma
On 8/21/19 11:23 AM, kamlesh kumar wrote:
> Hi ,
> This patch include fix for PR81810
> Bootstrapped/regtested on x86_64-linux, ok for trunk?
>
> Thanks
> ./Kamlesh
>
> 2019-08-21 Kamlesh Kumar
>
>PR tree-optimization/81810
>* tree-ssa-dse.c (dse_dom_walker::dse_optimize_stmt
On 8/21/19 11:23 AM, kamlesh kumar wrote:
> Hi ,
> This patch include fix for PR81810
> Bootstrapped/regtested on x86_64-linux, ok for trunk?
>
> Thanks
> ./Kamlesh
>
> 2019-08-21 Kamlesh Kumar
>
>PR tree-optimization/81810
>* tree-ssa-dse.c (dse_dom_walker::dse_optimize_stmt
This patch is a subset of the solution for PR 91457 whose main
goal is to eliminate inconsistencies in warnings issued for
out-of-bounds accesses to the various flavors of flexible array
members of constant objects. That patch was posted here:
https://gcc.gnu.org/ml/gcc-patches/2019-08/msg01202
On 8/20/19 1:26 AM, Richard Biener wrote:
On Tue, Aug 20, 2019 at 4:32 AM Martin Sebor wrote:
On 8/19/19 8:10 AM, Richard Biener wrote:
On Sat, Aug 17, 2019 at 12:43 AM Martin Sebor wrote:
With the recent enhancement to the strlen handling of multibyte
stores the g++.dg/warn/Warray-bounds-
I'm afraid I'm not clear on the semantics of builtin_with_linkage_p (as in
the current checked-in version). It says:
/* Return true if the builtin DECL is implemented in a standard library.
Otherwise returns false which doesn't guarantee it is not (thus the list of
handled builtins below m
On Wed, 21 Aug 2019, Martin Jambor wrote:
> - I have listed roundeven variants in extend.texi. If I did not find
> the right spot, I will gladly move to a more appropriate one.
I don't think they should be documented with the __builtin_* that are
always expanded inline. They should be do
On Mon, 19 Aug 2019 at 22:14, James Greenhalgh wrote:
>
> On Thu, Aug 15, 2019 at 02:11:25PM +0100, Prathamesh Kulkarni wrote:
> > On Thu, 8 Aug 2019 at 11:22, Prathamesh Kulkarni
> > wrote:
> > >
> > > On Thu, 1 Aug 2019 at 15:34, Prathamesh Kulkarni
> > > wrote:
> > > >
> > > > On Thu, 25 Jul
On Thu, 15 Aug 2019 at 01:50, Richard Sandiford
wrote:
>
> Richard Biener writes:
> > On Wed, Aug 14, 2019 at 6:49 PM Richard Biener
> > wrote:
> >>
> >> On Wed, Aug 14, 2019 at 5:06 PM Prathamesh Kulkarni
> >> wrote:
> >> >
> >> > Hi,
> >> > The attached patch tries to fix PR86753.
> >> >
> >>
I've merged trunk revision 274803 to the gccgo branch.
Ian
Hi,
On Wed, Aug 21 2019, Joseph Myers wrote:
> On Wed, 21 Aug 2019, Martin Jambor wrote:
>
>> Hi Tejas,
>>
>> On Wed, Aug 14 2019, Tejas Joshi wrote:
>> > Hi.
>> > Here is a clean patch that does not fold roundeven resulting for
>> > integer type and the conditions for folding functions
>> > roun
This are all modifications to the testsuite required to get to the
state described in the cover letter of the entire IPA-SRA
patch-series. Please note that ipa/ipa-sra-2.c and ipa/ipa-sra-6.c
should actually be svn rm-ed instead as they try to invoke
functionality that the new IPA-SRA does not hav
This patch actually adds the analysis bits of IPA-SRA - both the
function summary generation and the interprocedural analysis and
decision stage. The transformation itself then happens in the call
graph cloning infrastructure changes which are in the previous patch.
Please see the cover letter of
This patch removes the old IPA-SRA. Please see the covert letter for
more information about the whole patch-set.
Martin
2019-07-23 Martin Jambor
* dbgcnt.def: Remove eipa_sra.
* passes.def: Remove old IPA-SRA.
* tree-pass.h (make_pass_early_ipa_sra): Remove declaratio
Hello,
I have fixed two bugs of the previous IPA-SRA submission and re-based
it on a recent trunk and am posting it again so that people can have
look at an up-to-date version (and also as a reminder that it is still
pending review). Previous submissions are available at:
- https://gcc.gnu.or
Hi ,
This patch include fix for PR81810
Bootstrapped/regtested on x86_64-linux, ok for trunk?
Thanks
./Kamlesh
2019-08-21 Kamlesh Kumar
PR tree-optimization/81810
* tree-ssa-dse.c (dse_dom_walker::dse_optimize_stmt): Added
BUILT_IN_STRCPY to consider for dse.
(may
This patch to the Go frontend fixes it to not use the full package
path for the fieldtrack information generated for an unexported field.
Bootstrapped and ran Go testsuite on x86_64-pc-linux-gnu. Committed
to mainline.
Ian
Index: gcc/go/gofrontend/MERGE
===
On Thu, 8 Aug 2019, Segher Boessenkool wrote:
> 2) Is it *required*, or can we delete ordered compares in some cases?
> 2a) Like, if we test ab, we only need one compare instruction,
> not the two that are generate right now.
Yes, you only need one ordered compare there. The relevant text fr
Hi James,
On 8/21/19 1:48 PM, James Greenhalgh wrote:
On Mon, Oct 24, 2016 at 03:27:10PM +0100, Kyrill Tkachov wrote:
Hi all,
When storing a 64-bit immediate that has equal bottom and top halves we
currently
synthesize the repeating 32-bit pattern twice and perform a single X-store.
With this
On Thu, 8 Aug 2019, Tejas Joshi wrote:
> +/* Try to evaluate:
> +
> + *RESULT = fadd (*ARG0, *ARG1)
> +
> + in format FORMAT. Return true on success. */
> +
> +static bool
> +fold_const_fadd (real_value *result, const real_value *arg0,
> + const real_value *arg1, const real_f
On 8/21/19 7:57 AM, Wilco Dijkstra wrote:
> Hi Richard,
>
>>>
>>> I think this should be in expand stage where there could be comparison
>>> of the cost of the RTLs.
>>
>> I tend to agree here, if not then for the reason the "simplified" variants
>> have more GIMPLE stmts which means they are not
I'm going to commit the attached two patches. Removed the redundant
changes in test cases and added constructor initialization of
fold_all_stmts.
Regards
Robin
--
gcc/ChangeLog:
2019-08-21 Robin Dapp
* gimple-loop-versioning.cc (loop_versioning::record_address_fragment):
A
On Tue, 20 Aug 2019 23:14:35 +0200
jose.march...@oracle.com (Jose E. Marchesi) wrote:
> The kernel verifier doesn't allow backward jumps.
>
> This may change at some point. There is much discussion among the
> kernel hackers in whether it is possible to allow bounded loops in a
> safe way. In t
Currently, we disregard prefix attributes in conditions, e.g.:
if ([[maybe_unused]] int i = f()) { }
The problem here is that although we've parsed the attribute, it
was never passed down to start_decl, so the effects were lost.
Bootstrapped/regtested on x86_64-linux, ok for trunk?
2019-08-21
This patch to the Go frontend checks if a hidden function is
referenced by an inline function when deciding whether to hid the
function descriptor. This fixes https://golang.org/issue/33739. The
test case is https://golang.org/cl/191001. Bootstrapped and ran Go
testsuite on x86_64-pc-linux-gnu.
Hi Richard,
> >
> > I think this should be in expand stage where there could be comparison
> > of the cost of the RTLs.
>
> I tend to agree here, if not then for the reason the "simplified" variants
> have more GIMPLE stmts which means they are not "simpler". In
> fact I'd argue for canonicaliza
On Wed, Aug 21, 2019 at 2:59 PM Richard Sandiford
wrote:
>
> copy_attributes_to_builtin only handles BUILT_IN_NORMAL, but C++ was
> calling it immediately after the:
>
> if (DECL_BUILT_IN_CLASS (newdecl) == BUILT_IN_NORMAL)
>
> block. The corresponding C code calls it inside the block i
As described in PR target/91306, the alignment of entries in CRT data structures
as set in libgcc/crtstuff.c can be too large for msp430-elf.
crtstuff.c assumes the correct alignment of entries with a type of (void *) or
int32 is the "sizeof" that type.
However, for msp430-elf in the large memory
copy_attributes_to_builtin only handles BUILT_IN_NORMAL, but C++ was
calling it immediately after the:
if (DECL_BUILT_IN_CLASS (newdecl) == BUILT_IN_NORMAL)
block. The corresponding C code calls it inside the block instead.
Tested on x86_64-linux-gnu. OK to install?
Richard
2019-0
On Mon, Oct 24, 2016 at 03:27:10PM +0100, Kyrill Tkachov wrote:
> Hi all,
>
> When storing a 64-bit immediate that has equal bottom and top halves we
> currently
> synthesize the repeating 32-bit pattern twice and perform a single X-store.
> With this patch we synthesize the 32-bit pattern once i
On Wed, Aug 14, 2019 at 3:23 PM Kewen.Lin wrote:
>
> Hi!
>
> Comparing to the previous versions of implementation mainly based on the
> existing IV cands but zeroing the related group/use cost, this new one is
> based
> on Richard and Segher's suggestion introducing one doloop dedicated IV cand.
On Mon, Aug 19, 2019 at 07:45:19AM -0500, Segher Boessenkool wrote:
> But if you think we can remove the !TARGET_TLS_MARKERS everywhere it
> is relevant at all, now is the time, patches very welcome, it would be
> a nice cleanup :-) Needs testing everywhere of course, but now is
> stage 1 :-)
Thi
On Wed, Aug 21, 2019 at 02:00:10PM +0200, Ilya Leoshkevich wrote:
> > Am 20.08.2019 um 19:13 schrieb Segher Boessenkool
> > :
> > On Tue, Aug 20, 2019 at 06:13:00PM +0200, Ilya Leoshkevich wrote:
> >>> Am 20.08.2019 um 17:50 schrieb Segher Boessenkool
> >>> :
> >>> There is currently no way to sa
On Wed, 21 Aug 2019, Martin Jambor wrote:
> Hi Tejas,
>
> On Wed, Aug 14 2019, Tejas Joshi wrote:
> > Hi.
> > Here is a clean patch that does not fold roundeven resulting for
> > integer type and the conditions for folding functions
> > round/ceil/floor/roundeven and trunc only checks for signali
> Am 20.08.2019 um 19:13 schrieb Segher Boessenkool
> :
>
> On Tue, Aug 20, 2019 at 06:13:00PM +0200, Ilya Leoshkevich wrote:
>>> Am 20.08.2019 um 17:50 schrieb Segher Boessenkool
>>> :
>>> There is currently no way to say (in trees or gimple or rtl) whether
>>> comparisons are signaling ("or
On Wed, 21 Aug 2019, Eric Botcazou wrote:
> This fixes a crash of the C compiler when -fdump-ada-spec is passed for:
>
> extern void (*signal (int __sig, void (*__handler)(int)))(int);
>
> It appears that the C parser is somewhat confused by this declaration and
> builds a FUNCTION_DECL whose t
On Wed, 21 Aug 2019 at 15:18, Richard Sandiford
wrote:
>
> Prathamesh Kulkarni writes:
> > Hi,
> > The attached patch is a fix for PR88839 ported from sve-acle-branch.
> > OK to commit to trunk ?
> >
> > Thanks,
> > Prathamesh
> >
> > 2019-08-21 Prathamesh Kulkarni
> > Richard Sandif
On Tue, 20 Aug 2019, Richard Biener wrote:
>
> Excessive use of __builtin_assume_aligned can cause missed optimizations
> because those calls are propagation barriers. The following removes
> those that are redundant and provide no extra information, on the
> testcase allowng store-merging to ap
> Am 20.08.2019 um 13:54 schrieb Richard Sandiford :
>
> Ilya Leoshkevich writes:
>>> Am 20.08.2019 um 12:13 schrieb Richard Sandiford
>>> :
>>>
>>> Ilya Leoshkevich writes:
z13 supports only non-signaling vector comparisons. This means we
cannot vectorize LT, LE, GT, GE and LTGT wh
Hi Tejas,
On Wed, Aug 14 2019, Tejas Joshi wrote:
> Hi.
> Here is a clean patch that does not fold roundeven resulting for
> integer type and the conditions for folding functions
> round/ceil/floor/roundeven and trunc only checks for signaling NaN.
wouldn't checking for *signalling* NaNs mean usi
On Tue, Aug 20, 2019 at 03:42:53PM -0600, Jeff Law wrote:
> > I have been thinking about Segher's suggestion on providing options to
> > lift some of the limitations, for compiler testing. Unfortunately, many
> > of the restrictions are deeply rooted in the design of the
> > architecture... or the
On Tue, Aug 20, 2019 at 11:14:35PM +0200, Jose E. Marchesi wrote:
> The kernel verifier doesn't allow backward jumps.
>
> This may change at some point. There is much discussion among the
> kernel hackers in whether it is possible to allow bounded loops in a
> safe way. In that case, some of the
This fixes a crash of the C compiler when -fdump-ada-spec is passed for:
extern void (*signal (int __sig, void (*__handler)(int)))(int);
It appears that the C parser is somewhat confused by this declaration and
builds a FUNCTION_DECL whose type has got 2 arguments (TYPE_ARG_TYPES list)
but whic
Prathamesh Kulkarni writes:
> Hi,
> The attached patch is a fix for PR88839 ported from sve-acle-branch.
> OK to commit to trunk ?
>
> Thanks,
> Prathamesh
>
> 2019-08-21 Prathamesh Kulkarni
> Richard Sandiford
>
> PR target/88839
> * config/aarch64/aarch64.c (aarch64_ev
Hi,
The arm/cmse/cmse-9.c test was missing quotes in the expected warning messages.
Fix as obvious with r274793.
Christophe
2019-08-21 Christophe Lyon
* gcc.target/arm/cmse/cmse-9.c: Add quotes to expected
warning messages.
Index: gcc/testsuite/gcc.target/arm/cmse/cmse-9.c
===
Hi all,
This patch adds '-mcpu' options for following CPUs:
Cortex-A77, Cortex-A76AE, Cortex-A65, Cortex-A65AE, and Cortex-A34.
Related specifications are as following:
https://developer.arm.com/ip-products/processors/cortex-a
Bootstraped/regtested for aarch64-none-linux-gnu.
Please help to che
GNATprove directly handles non-null access checks, and requires that the
frontend does not insert explicit checks in the form of conditional
exceptions being raised. Now fixed.
There is no impact on compilation.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-21 Yannick Moy
gcc/ada
It was unusual for the analysis phase of compiler to rewrite static
expression of pragma Entry_Queue_Length with its value. This typically
happens when expanding the AST and only if needed for a given backend.
In particular, GNATprove doesn't need such an expansion and actually
needs the unrewritte
This instructs -gnatR4 to also list the Etype of components in
user-declared record types if it is compiler-generated, for example in:
package P3 is
type idx is range 1 .. 100;
type Arr is array (Idx range <>) of Character;
type Rec is record
C : Arr (1 .. 5);
end record;
This fixes an assertion failure on the instantiation of a generic
package on a type derived from the private view of a protected type,
ultimately caused by Finalize_Address returning Empty for the subtype
built for the generic actual type of the instantiation.
Finalize_Address has a special proces
'read' system call may be interrupted by signal with 'errno' is set to
EINTER. In this case, re-try a few times.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-21 Vadim Godunko
gcc/ada/
* libgnat/g-expect.adb (Expect_Internal): Attempt to read
several times when 'r
In the case of a task declaring an entry with an aliased formal
parameter of a limited class-wide type, the front end was creating a
master object (_master) for the access type generated for such an entry
formal inside the task specification, even though such access types
don't need an associated m
This fixes a (sub)type mismatch in the expansion of an extended return
statement generated for a built-in-place function that doesn't need a
BIP_Alloc_Form parameter but returns unconstrained.
No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-21 Eric Botcazou
g
GNATprove analyzer for SPARK code depends on the frontend to accurately
propagate the known value of Size attribute. This was not done for
formal type parameters in generic instantiations. Now fixed.
There is no impact on compilation.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-21
Ownership checking done as in GNATprove should ignore address of
subprograms, as it applies only on objects. Now fixed.
There is no impact on compilation.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-21 Yannick Moy
gcc/ada/
* sem_spark.adb (Process_Path): Do nothing on
Allow values of negative one to be accepted as a valid parameter as a
special case.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-21 Justin Squirek
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Modify
documentation to reflect expected behavior.
The compiler crashes processing an internally generated cloned tree that
has a subprogram call with a named actual parameter.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-21 Javier Miranda
gcc/ada/
* sem_util.adb (Update_Named_Associations): Update
First_Named_Ac
Hi,
This patch fixes an ICE in the D front-end that occurred in some
specific targets where va_list is an anonymous RECORD_TYPE, such as
mips -mabi=eabi.
These are now built as its equivalent D type, and exposed in the
gcc.builtins module.
Bootstrapped and regression tested the D testsuite on
x8
Hi,
This patch merges the libphobos library with upstream phobos 66ae77ac3.
Finishes off build support for phobos on musl targets.
Bootstrapped and regression tested on x86_64-linux-gnu and x86_64-linux-musl.
Committed to trunk as r274770.
--
Iain
---
diff --git a/libphobos/src/MERGE b/libphob
Hi,
This patch merges the dmd frontend implementation with upstream dmd b37a537d3.
Fixes PR d/91339, in which an error: cannot find source code for
runtime library file 'object.d' occurred when the path contained a
'~'.
Bootstrapped and regression tested the D testsuite on x86_64-linux-gnu.
Com
Hi,
This patch turns an ICE into a sorry() error. Not marking the PR as
fixed, as an implementation of ModuleInfo code generation should be
worked out when named section support is not present on the target.
Bootstrapped and regression tested the D testsuite on
x86_64-linux-gnu, with further che
Hi,
This patch merges the dmd frontend implementation with upstream dmd 375ed10aa.
This allows the frontend to be able to compile on targets where the
pointer size is 16-bits.
Bootstrapped and regression tested the D testsuite on
x86_64-linux-gnu, with further checking done on msp430-elf
cross-c
Hi,
This patch fixes another ICE in the D front-end that occurred on
targets where SIZE_TYPE was unhandled by d_build_c_type_nodes.
Now signed_type_for() is used to set signed_size_type_node, and
(u)intmax_type_node is determined by UINTMAX_TYPE.
Bootstrapped and regression tested the D testsuit
Hi,
This patch fixes a segmentation fault in the D front-end when handling
built-in types that are PSImode.
D does not have the notion of integer types to be of any size other
than the fixed-sized byte, short, int, long, and cent types, however
integer types with non-standard sizes are still matc
On Tue, 20 Aug 2019, Xiong Hu Luo wrote:
> The DECL_MD_FUNCTION_CODE added in r274404(PR 91421) by rsandifo requires that
> DECL to be a BUILTIN_IN_MD class built-in, asserts will happen when lto
> as the patch r274411(PR 91287) outputs some math function symbol to the
> object,
> this patch will
I am testing the following and will commit it as obvious.
Richard.
2019-08-21 Richard Biener
PR target/91498
* config/i386/i386-features.c
(general_scalar_chain::make_vector_copies): Copy stack temporary
rtx when using it multiple times.
(general_scal
79 matches
Mail list logo
