Re: Enabling -frename-registers?

On Mon, May 2, 2016 at 3:20 PM, Bernd Schmidt wrote: > On 05/02/2016 01:57 PM, Uros Bizjak wrote: > >> With the referred testcase, the compare-debug failure trips on (debug_insn >> 101) > > > Ok, INDEX_REG_CLASS is NO_REGS on alpha, and apparently the contents of the > MEM

Two small optimizations to vrp pass

This patch 1. changes the need_assert_for bitmap into an sbitmap since its size is known to be at most num_ssa_names 2. changes a use of FOR_EACH_IMM_USE_STMT to a use of FOR_EACH_IMM_USE_FAST since the uses are only being read, not modified Does this look OK to commit after bootstrap and

Re: [gcc] Re: [PATCH] Fix spec-options.c test case

Bernd Edlinger wrote: > No, I actually fixed it, thanks. That test was done without my patch: > > > LAST_UPDATED: Sun May 1 13:46:11 UTC 2016 (revision 235692) > > svn log -r235762 > > r235762

Re: [PATCH] Fix spec-options.c test case

Oleg Endo wrote: > On Mon, 2016-05-02 at 16:13 +0200, Bernd Schmidt wrote: >> On 05/02/2016 03:43 PM, Bernd Edlinger wrote: >> > Yes, you are right. Only the original use-case seems to be >> > sh-superh-elf specific. But there are also spec strings >> > that are always

Re: [PATCH] Fix spec-options.c test case

On 02.05.2016 23:28, Oleg Endo wrote: > On Mon, 2016-05-02 at 16:13 +0200, Bernd Schmidt wrote: >> On 05/02/2016 03:43 PM, Bernd Edlinger wrote: >>> Yes, you are right. Only the original use-case seems to be >>> sh-superh-elf specific. But there are also spec strings >>> that are always

Re: [PATCH #3], Fix _Complex when there are multiple FP types the same size

On 05/02/2016 11:10 PM, Michael Meissner wrote: So I would like to commit the following changes (assuming they bootstrap and have no regressions) instead. Are these patches ok for the trunk, and eventually the gcc 6.2 branch if they don't break other back ends? Ok for the non-rs6000 changes.

Re: [PATCH #3], Fix _Complex when there are multiple FP types the same size

The bootstrap and make check succeeded without problems. -- Michael Meissner, IBM IBM, M/S 2506R, 550 King Street, Littleton, MA 01460-6245, USA email: meiss...@linux.vnet.ibm.com, phone: +1 (978) 899-4797

Re: Patches to fix optimizer bug & C++ exceptions for GCC VAX backend

On Tue, 26 Apr 2016, Jeff Law wrote: > > So offhand I think you need an RTL instruction splitter to express this, > > and then avoid fetching 64 bits worth of data from memory -- for the sake > > of matching the indexed addressing mode -- where you only need 32 bits. > > At the hardware

Re: [PATCH #3], Fix _Complex when there are multiple FP types the same size

On Mon, May 02, 2016 at 11:24:25PM +0200, FX wrote: > Hi Michael, > > Thanks for letting us know. > > Right now, the Fortran front-end uses the following real modes: > - those corresponding to {float,double,long_double}_type_node > - TFmode (if libquadmath support is enabled) > and then uses

Re: [PATCH] Optimize bit test and * atomics into lock; bt[src] (PR target/49244)

On Mon, May 02, 2016 at 11:01:02PM +0200, Uros Bizjak wrote: > > +(define_expand "atomic_bit_test_and_set" > > + [(match_operand:SWI248 0 "register_operand") > > + (match_operand:SWI248 1 "memory_operand") > > + (match_operand:SWI248 2 "nonmemory_operand") > > + (match_operand:SI 3

Re: [PATCH] PR testsuite/70520: Backport r265322 from llvm upstream

On Mon, May 02, 2016 at 02:11:49PM -0700, H.J. Lu wrote: > Since x86 psABIs require the function incoming stack must align at 16 > bytes, child process stack passed to clone should be aligned at 16 > bytes. > > Tested on Linux/x86-64. OK for trunk? > > > H.J. > PR testsuite/70520 >

Re: [PATCH] Fix spec-options.c test case

On Mon, 2016-05-02 at 16:13 +0200, Bernd Schmidt wrote: > On 05/02/2016 03:43 PM, Bernd Edlinger wrote: > > Yes, you are right. Only the original use-case seems to be > > sh-superh-elf specific. But there are also spec strings > > that are always available. I think adding -DFOO to > >

Re: [PATCH #3], Fix _Complex when there are multiple FP types the same size

Hi Michael, Thanks for letting us know. Right now, the Fortran front-end uses the following real modes: - those corresponding to {float,double,long_double}_type_node - TFmode (if libquadmath support is enabled) and then uses the corresponding complex modes. So, I guess the question in your

[PATCH] PR testsuite/70520: Backport r265322 from llvm upstream

Since x86 psABIs require the function incoming stack must align at 16 bytes, child process stack passed to clone should be aligned at 16 bytes. Tested on Linux/x86-64. OK for trunk? H.J. PR testsuite/70520 * c-c++-common/asan/clone-test-1.c (main): Align child process

Re: [PATCH #3], Fix _Complex when there are multiple FP types the same size

On Mon, May 02, 2016 at 12:54:43PM +0200, Bernd Schmidt wrote: > On 04/30/2016 06:00 PM, Segher Boessenkool wrote: > >On Fri, Apr 29, 2016 at 04:51:27PM -0400, Michael Meissner wrote: > >>2016-04-29 Michael Meissner > >> > >>* config/rs6000/rs6000.c

Re: [PATCH] Optimize bit test and * atomics into lock; bt[src] (PR target/49244)

On Mon, May 2, 2016 at 6:36 PM, Jakub Jelinek wrote: > Hi! > > This patch adds pattern recognition (see attached testcase on what it e.g. > can handle) of the i?86/x86_64 lock; bt[src] operations. > It is too late to do this during or after RTL expansion, so it is done late >

Re: An abridged "Writing C" for the gcc web pages

On 05/02/2016 02:40 PM, Carlos O'Donell wrote: However, in the end, I think that yet-another-document is not the solution we want. What we actually need is a program that just formats your source according to the GNU Coding Style and that way you can always tell your users "Run indent" and be

Re: An abridged "Writing C" for the gcc web pages

On 04/22/2016 12:21 PM, Bernd Schmidt wrote: > (Apologies if you get this twice, the mailing list didn't like the > html attachment in the first attempt). > > We frequently get malformatted patches, and it's been brought to my > attention that some people don't even make the effort to read the

Re: [PING][PATCH] New plugin event when evaluating a constexpr call

2016-04-26 10:41 GMT-03:00 Andres Tiraboschi : > Hi, thanks for answering, > > 2016-04-25 16:21 GMT-03:00 Jason Merrill : >> Let's create a constexpr.h rather than expose constexpr internals to all of >> the front end. Really, I'd prefer

Re: [PATCH] Improve detection of constant conditions during jump threading

On Sat, Apr 30, 2016 at 2:28 PM, Patrick Palka wrote: > `On Fri, Apr 29, 2016 at 3:15 PM, Jeff Law wrote: >> On 04/19/2016 11:50 AM, Patrick Palka wrote: >> >>> 1. This patch introduces a "regression" in gcc.dg/tree-ssa/ssa-thread-11.c >>> in that we no

Re: [PATCH, GCC 5] PR 70613, -fabi-version docs don't match implementation

On Mon, Apr 25, 2016 at 11:47 AM, Bernd Schmidt wrote: Here is a patch to correct the -fabi-version docs on the GCC 5 branch. >>> https://gcc.gnu.org/ml/gcc-patches/2016-04/msg00480.html ping^3 I put an explanation of the patch history for gcc-5 in the PR

Re: [PATCH] Allow arg promotion in gimple_builtin_call_types_compatible_p (PR target/49244)

On May 2, 2016 6:29:55 PM GMT+02:00, Jakub Jelinek wrote: >Hi! > >Most of the builtins don't pass arguments in char/short types, >except for some sync/atomic builtins, some sanitizer builtins and >TM builtins. >On targets where targetm.calls.promote_prototypes returns true (e.g.

[PATCH, i386]: Merge some more x87 and SSE patterns

2016-05-02 Uros Bizjak * config/i386/predicates.md (register_ssemem_operand): New predicate. * config/i386/i386.md (*cmpi): Merge from *cmpi_mixed and *cmpi_i387. Disable unsupported alternatives using "enabled" attribute. Use register_ssemem_operand

Re: [OpenACC] minor code cleanup

On Mon, May 02, 2016 at 02:16:25PM -0400, Nathan Sidwell wrote: > While working on some more loop partitioning improvements, I noticed some > unnecessary checking. By construction an openacc loop must have at least > one head/tail marker, so we should assert that earlier when lowering the > loop

[OpenACC] minor code cleanup

While working on some more loop partitioning improvements, I noticed some unnecessary checking. By construction an openacc loop must have at least one head/tail marker, so we should assert that earlier when lowering the loop (in the common compiler) and then rely on it later when processing

[SPARC] Support for --with-{cpu,tune}-{32,64} in sparc*-* targets

Hi people. This patch adds support for the --with-{cpu,tune}-{32,64} configure options to sparc*-* targets. This allows to separately select cpus and tune options for -m32 and -m64 modes in multilib compilers. Tested in sparc64-*-* and sparcv9-*-* targets. 2016-04-28 Jose E. Marchesi

Re: Inline across -ffast-math boundary

> On Mon, May 02, 2016 at 07:01:38PM +0200, Jan Hubicka wrote: > > This patch impleemnts the suggested check for presence of FP parameters. > > We can play with special casing the moves incrementally. > > This patch has broken the build: > > /home/marek/src/gcc/gcc/ipa-inline.c: In function

Re: [PATCH] Better location info for "incomplete type" error msg (PR c/70756)

On 05/02/2016 12:41 PM, Marek Polacek wrote: On Fri, Apr 29, 2016 at 04:04:13PM -0400, Jason Merrill wrote: On 04/28/2016 11:59 AM, Marek Polacek wrote: 3) for the C++ FE I used a macro so that I don't have to change all the cxx_incomplete_type_error calls now, How about an inline

Re: Inline across -ffast-math boundary

On Mon, May 02, 2016 at 07:01:38PM +0200, Jan Hubicka wrote: > This patch impleemnts the suggested check for presence of FP parameters. > We can play with special casing the moves incrementally. This patch has broken the build: /home/marek/src/gcc/gcc/ipa-inline.c: In function ‘bool

Re: Fix for PR70498 in Libiberty Demangler

On 05/01/2016 06:24 PM, Marcel Böhme wrote: Please attach it (text/plain) instead. Done. That still seemed to be inlined, but I managed to apply this version. Committed. Bernd

Re: Inline across -ffast-math boundary

> On Thu, 21 Apr 2016, Jan Hubicka wrote: > > > Hi, > > this patch implements the long promised logic to inline across -ffast-math > > boundary when eitehr caller or callee has no fp operations in it. This is > > needed to resolve code quality regression on Firefox with LTO where > >

Re: [PATCH] Better location info for "incomplete type" error msg (PR c/70756)

On Fri, Apr 29, 2016 at 04:04:13PM -0400, Jason Merrill wrote: > On 04/28/2016 11:59 AM, Marek Polacek wrote: > > 3) for the C++ FE I used a macro so that I don't have to change all the > > cxx_incomplete_type_error calls now, > > How about an inline overload, instead? I realized the macro

Re: [PATCH] Improve add/sub TImode double word splitters (PR rtl-optimization/70467)

2016-05-02 Jakub Jelinek PR rtl-optimization/70467 * cse.c (cse_insn): Handle no-op MEM moves after folding. * gcc.target/i386/pr70467-1.c: New test. I seem to have a memory of acking this before. Certainly looks OK. Bernd

[PATCH] Optimize bit test and * atomics into lock; bt[src] (PR target/49244)

Hi! This patch adds pattern recognition (see attached testcase on what it e.g. can handle) of the i?86/x86_64 lock; bt[src] operations. It is too late to do this during or after RTL expansion, so it is done late during gimple, by recognizing these sequences in the fold builtins pass, turning

[PATCH] Allow arg promotion in gimple_builtin_call_types_compatible_p (PR target/49244)

Hi! Most of the builtins don't pass arguments in char/short types, except for some sync/atomic builtins, some sanitizer builtins and TM builtins. On targets where targetm.calls.promote_prototypes returns true (e.g. always on x86_64/i686), unfortunately this means that gimple_call_builtin_p often

[PATCH] Improve add/sub TImode double word splitters (PR rtl-optimization/70467)

On Fri, Apr 01, 2016 at 08:29:17PM +0200, Uros Bizjak wrote: > > Bootstrapped/regtested on x86_64-linux and i686-linux, ok for stage1 > > (while the previous patch looks simple enough that I'd like to see it in > > 6.x, this one IMHO can wait). > > Yes, please. This is not a regression. So, I'm

Re: [PATCH] Clean up tests where a later dg-do completely overrides another.

On Mon, May 02, 2016 at 09:29:50AM -0600, Jeff Law wrote: > On 04/29/2016 05:56 PM, Dominik Vogt wrote: > > ... > >Maybe a comment should be added to the test case > > > > /* If this test is *run* (not just compiled) and therefore fails > > on non sh*-targets, this is because of a bug older

[committed] Fix internal-fn handling in ipa-pure-const.c (PR rtl-optimization/70467)

Hi! During testing of my PR70467 patch I've run into execute/va-arg-13.c miscompilation, caused by ipa-pure-const.c in ipa mode saying a function using VA_ARG internal function is pure - it might not be, e.g. on x86_64 where va_list is [1] array of struct and is passed to this "pure" function, it

Re: [PATCH] Re-use cc1-checksum.c for stage-final

On 04/29/2016 05:36 AM, Richard Biener wrote: On Thu, 28 Apr 2016, Jeff Law wrote: On 04/28/2016 02:49 AM, Richard Biener wrote: The following prototype patch re-uses cc1-checksum.c from the previous stage when compiling stage-final. This eventually allows to compare cc1 from the last two

Re: [PATCH][CilkPlus] Merge libcilkrts from upstream

On 04/29/2016 05:36 AM, Ilya Verbin wrote: Hi! This patch brings the latest libcilkrts from upstream. Regtested on i686-linux and x86_64-linux. Abidiff: Functions changes summary: 0 Removed, 1 Changed (16 filtered out), 2 Added functions Variables changes summary: 0 Removed, 0 Changed (1

Re: [patch] cleanups for vtable-verify

On 05/01/2016 07:34 AM, Steven Bosscher wrote: Hello, This patch is random cleanups on the vtable-verify code. OK for trunk? Ciao! Steven gcc/ * vtable-verify.h (verify_vtbl_ptr_fndecl): Add GTY markers. (num_vtable_map_nodes): Remove extern declaration.

Re: [libvtv, build] Don't install libvtv without --enable-vtable-verify

On 05/02/2016 07:33 AM, Rainer Orth wrote: When installing gcc 6.1.0 on Solaris 12, installation failed in libvtv: libtool: install: /usr/gnu/bin/install -c .libs/libvtv.lai /var/gcc/gcc-6.1.0/12-gcc-gas/install/vol/gcc-6/lib/amd64/libvtv.la libtool: install: /usr/gnu/bin/install -c

Re: [PATCH] Clean up tests where a later dg-do completely overrides another.

On 04/29/2016 05:56 PM, Dominik Vogt wrote: Yeah, sorry, I really should have mentioned this but forgot about it. It's a bug in DejaGnu. When it encounters a conditional dg-do and the condition does not match, it *still* replaces the do-action of a prior dg-do with the current one. With

Fix for PR70909 in Libiberty Demangler (4)

Hi, This fixes several stack overflows due to infinite recursion in d_print_comp (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70909). The method d_print_comp in cp-demangle.c recursively constructs the d_print_info dpi from the demangle_component dc. The method d_print_comp_inner traverses

Re: [PATCH] c++/66561 - __builtin_LINE at al. should yield constant expressions

On 04/29/2016 01:32 PM, Jason Merrill wrote: On 04/26/2016 07:59 PM, Martin Sebor wrote: * builtins.c (fold_builtin_FILE): New function. (fold_builtin_FUNCTION, fold_builtin_LINE): New functions. (fold_builtin_0): Call them. Can we now remove the handling for these built-ins from

Re: [PATCH][genrecog] Fix warning about potentially uninitialised use of label

On 05/02/2016 03:47 AM, Richard Sandiford wrote: Kyrill Tkachov writes: Hi all, I'm getting a warning when building genrecog that 'label' may be used uninitialised in: uint64_t label = 0; if (d->test.kind == rtx_test::CODE &&

Re: [PATCH] Drop excess size used for run time allocated stack variables.

On 04/29/2016 04:12 PM, Dominik Vogt wrote: The attached patch removes excess stack space allocation with alloca in some situations. Plese check the commit message in the patch for details. Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany 0001-ChangeLog gcc/ChangeLog * explow.c

Re: [PATCH] Fix spec-options.c test case

On 05/02/2016 03:43 PM, Bernd Edlinger wrote: Yes, you are right. Only the original use-case seems to be sh-superh-elf specific. But there are also spec strings that are always available. I think adding -DFOO to "cpp_unique_options" will work on any target, and make the test case even more

Re: [PATCH] Fix PR target/70669 (allow __float128 to use direct move)

Michael Meissner writes: > PR target/70669 > * gcc.target/powerpc/pr70669.c: New test. FAIL: gcc.target/powerpc/pr70669.c scan-assembler mtvsrd FAIL: gcc.target/powerpc/pr70669.c scan-assembler-times stxvd2x 1 foo: .quad .L.foo,.TOC.@tocbase,0

[PATCH] [ARC] Use GOTOFFPC relocation for pc-relative accesses.

This patch makes the pc-relative access to be more safe by using @pcl syntax. This new syntax generates a pc-relative relocation which will be handled by assembler. OK to apply? Claudiu gcc/ 2016-05-02 Claudiu Zissulescu Joern Rennecke

Re: [PATCH] Fix spec-options.c test case

On 02.05.2016 12:26, Bernd Schmidt wrote: > On 05/01/2016 09:52 AM, Bernd Edlinger wrote: >> Hi, >> >> I took a closer look at this test case, and I found, except that >> it triggers a dejagnu bug, it is also wrong. I have tested with >> a cross-compiler for target=sh-elf and found that the test

Re: [PATCH] Drop excess size used for run time allocated stack variables.

> static rtx > -round_push (rtx size) > +round_push (rtx size, int already_added) round_push also needs to know about the required alignment in case that is more strict than a simple stack slot alignment. > { > - rtx align_rtx, alignm1_rtx; > + rtx align_rtx, add_rtx; > >if

PING: [PATCH] PR target/70454: Build x86 libgomp with -march=i486 or better

On Mon, Apr 25, 2016 at 1:36 PM, H.J. Lu wrote: > If x86 libgomp isn't compiled with -march=i486 or better, append > -march=i486 XCFLAGS for x86 libgomp build. > > Tested on i686 with and without --with-arch=i386. Tested on > x86-64 with and without --with-arch_32=i386. OK

Re: [PATCH, rs6000] Add support for int versions of vec_adde

Bill Seurer writes: > * gcc.target/powerpc/vec-adde.c: New test. > * gcc.target/powerpc/vec-adde-int128.c: New test. -m32: FAIL: gcc.target/powerpc/vec-adde.c execution test FAIL: gcc.target/powerpc/vec-adde-int128.c (test for excess errors) Excess errors:

[libvtv, build] Don't install libvtv without --enable-vtable-verify

When installing gcc 6.1.0 on Solaris 12, installation failed in libvtv: libtool: install: /usr/gnu/bin/install -c .libs/libvtv.lai /var/gcc/gcc-6.1.0/12-gcc-gas/install/vol/gcc-6/lib/amd64/libvtv.la libtool: install: /usr/gnu/bin/install -c .libs/libvtv.a

Re: Enabling -frename-registers?

On 04/29/2016 07:32 AM, Bernd Schmidt wrote: On 04/29/2016 03:02 PM, David Edelsohn wrote: How has this show general benefit for all architectures to deserve enabling it by default at -O2? It should improve postreload scheduling in general, and it can also help clear up bad code generation

Re: Enabling -frename-registers?

On 05/02/2016 01:57 PM, Uros Bizjak wrote: With the referred testcase, the compare-debug failure trips on (debug_insn 101) Ok, INDEX_REG_CLASS is NO_REGS on alpha, and apparently the contents of the MEM isn't a valid address. Try this? Bernd Index: gcc/regrename.c

Re: Thoughts on memcmp expansion (PR43052)

On Mon, May 2, 2016 at 2:57 PM, Bernd Schmidt wrote: > On 05/02/2016 02:52 PM, Richard Biener wrote: >> >> +struct pieces_addr >> +{ >> ... >> + void *m_cfndata; >> +public: >> + pieces_addr (rtx, bool, by_pieces_constfn, void *); >> >> unless you strick private: somewhere

Re: Thoughts on memcmp expansion (PR43052)

On 05/02/2016 02:52 PM, Richard Biener wrote: +struct pieces_addr +{ ... + void *m_cfndata; +public: + pieces_addr (rtx, bool, by_pieces_constfn, void *); unless you strick private: somewhere the public: is redundant Yeah, ideally I want to turn these into a classes rather than structs.

Re: Thoughts on memcmp expansion (PR43052)

On Thu, Apr 28, 2016 at 8:36 PM, Bernd Schmidt wrote: > On 01/18/2016 10:22 AM, Richard Biener wrote: >> >> See also https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52171 - the >> inline expansion >> for small sizes and equality compares should be done on GIMPLE. Today the >>

Re: [ada, build] Fix make install-gcc-specs with empty GCC_SPEC_FILES

> Installing gcc 6.1.0 on Solaris 10 with /bin/ksh failed for > install-gcc-specs (I'd already seen that for 5.1.0, but forgotten about > it): > > make[3]: Entering directory `/var/gcc/gcc-6.1.0/10-gcc-gas/gcc/ada' > for f in ; do \ > cp -p /vol/src/gnu/gcc/gcc-6.1.0/gcc/ada/$f \ >

[ada, build] Fix make install-gcc-specs with empty GCC_SPEC_FILES

Installing gcc 6.1.0 on Solaris 10 with /bin/ksh failed for install-gcc-specs (I'd already seen that for 5.1.0, but forgotten about it): make[3]: Entering directory `/var/gcc/gcc-6.1.0/10-gcc-gas/gcc/ada' for f in ; do \ cp -p /vol/src/gnu/gcc/gcc-6.1.0/gcc/ada/$f \

Re: [PATCH] Fix PR tree-optimization/51513

On Mon, 2016-05-02 at 10:49 +0200, Richard Biener wrote: > Again, the wild jump is not a bug but at most a missed optimization > (to remove it). Sorry, came down with a cold and haven't looked into this yet. I'll do that today. I agree it's a missed optimization bug. We noticed this with a post

Re: Enabling -frename-registers?

On Mon, May 2, 2016 at 1:21 PM, Uros Bizjak wrote: On 04/17/2016 08:59 PM, Jeff Law wrote: > invoke.texi has an independent list (probably incomplete! ;( of all the > things that -O2 enables. Make sure to add -frename-registers to that > list and this is

[testuite,AArch64] Make scan for 'br' more robust

Hi, I've noticed a "regression" of AArch64's noplt_3.c in the gcc-6-branch because my validation script adds the branch name to gcc/REVISION. As a result scan-assembler-times "br" also matched "gcc-6-branch", hence the failure. The small attached patch replaces "br" by "br\t" to fix the

Re: Avoid NULL cfun ICE in gcc/config/nvptx/nvptx.c:nvptx_libcall_value

Hi! On Thu, 28 Apr 2016 13:42:39 +0200, Bernd Schmidt wrote: > On 04/28/2016 01:15 PM, Alexander Monakov wrote: > > So if my understanding is correct, additional !cfun check can be acceptable > > as > > a fix along the existing hack. Perhaps with a note about the nature of

RE: [PATCH 6/6] [ARC] Various instruction pattern fixes

> > gcc/ > > 2016-04-18 Claudiu Zissulescu > > > > * config/arc/arc.md (mulsidi3): Change operand 0 predicate to > > register_operand. > > (umulsidi3): Likewise. > > (indirect_jump): Fix jump instruction assembly patterns. > > (arcset): Change operand 1

Re: Enabling -frename-registers?

On Mon, May 2, 2016 at 1:15 PM, Bernd Schmidt wrote: > On 05/02/2016 01:12 PM, Uros Bizjak wrote: > >>> On 04/17/2016 08:59 PM, Jeff Law wrote: >>> invoke.texi has an independent list (probably incomplete! ;( of all the things that -O2 enables. Make sure to add

Re: Enabling -frename-registers?

On 05/02/2016 01:12 PM, Uros Bizjak wrote: On 04/17/2016 08:59 PM, Jeff Law wrote: invoke.texi has an independent list (probably incomplete! ;( of all the things that -O2 enables. Make sure to add -frename-registers to that list and this is Ok for the trunk (gcc-7). This is what I

Re: Enabling -frename-registers?

Hello! > On 04/17/2016 08:59 PM, Jeff Law wrote: > >> invoke.texi has an independent list (probably incomplete! ;( of all the >> things that -O2 enables. Make sure to add -frename-registers to that >> list and this is Ok for the trunk (gcc-7). > > This is what I committed. The patch introduced

Re: [PATCH v2] [libatomic] Add RTEMS support

If nobody objects, I will back port this to GCC 6 next Monday. On 20/04/16 14:40, Joel Sherrill wrote: As the other RTEMS target maintainer. I second the request. --joel On Apr 20, 2016 7:35 AM, "Sebastian Huber"

Re: [PATCH #2], Fix _Complex when there are multiple FP types the same size

On 04/30/2016 06:00 PM, Segher Boessenkool wrote: On Fri, Apr 29, 2016 at 04:51:27PM -0400, Michael Meissner wrote: 2016-04-29 Michael Meissner * config/rs6000/rs6000.c (rs6000_hard_regno_nregs_internal): Add support for __float128 complex

Re: [C PATCH] Fix ICE-on-invalid with enum forward declaration (PR c/70851)

On 05/02/2016 12:27 PM, Marek Polacek wrote: Here, the problem was that we weren't diagnosing invalid code when an array dimension was of incomplete enum type. That led to an ICE in gimplifier. Bootstrapped/regtested on x86_64-linux, ok for trunk? 2016-05-02 Marek Polacek

Re: [PATCH 2/4] PR c++/62314: add fixit hint for "expected ';' after class definition"

On 04/28/2016 04:28 PM, David Malcolm wrote: whereas clang reportedly emits: test.c:2:12: error: expected ';' after struct struct a {} ^ ; (note the offset of the location, and the fix-it hint) The following patch gives us the latter, more readable output. Huh.

[Ada] Crash on illegal allocator for limited type.

This patch fixes a compiler crash on an allocator for an object of a limited type, when the expression of the qualified expression is a type conversion. Compiling bug1.adb must yield: bug1.adb:29:08: illegal expression for initialized allocator of a limited type (RM 7.5 (2.7/2)) --- pragma

[Ada] Remove spurious accessibility check for aggregate component

This patch removes an accessibility check that was improperly applied, via a type conversion, to an an operand that is an access parameter that also requires a non-null check. Test in ACATS 4.0K C3A0030. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-05-02 Ed Schonberg

[Ada] Speed up memory management

This patch speeds up "new" and Unchecked_Deallocation in simple cases. No change in behavior; no test available. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-05-02 Bob Duff * s-memory.adb (Alloc, Realloc): Move checks for Size = 0 or size_t'Last

[Ada] Crash on inlined call to subprogram declared in package instance

This patch fixes a compiler crash on an inlined call in a nested instantiation when the corresponding generic unit has aspect specifications. The following must compile quietly: gcc -c inst.ads -gnatn -O --- with Pointer; package Inst is package I is new Pointer (Integer); end; ---

[C PATCH] Fix ICE-on-invalid with enum forward declaration (PR c/70851)

Here, the problem was that we weren't diagnosing invalid code when an array dimension was of incomplete enum type. That led to an ICE in gimplifier. Bootstrapped/regtested on x86_64-linux, ok for trunk? 2016-05-02 Marek Polacek PR c/70851 * c-decl.c

Re: [PATCH] Fix spec-options.c test case

On 05/01/2016 09:52 AM, Bernd Edlinger wrote: Hi, I took a closer look at this test case, and I found, except that it triggers a dejagnu bug, it is also wrong. I have tested with a cross-compiler for target=sh-elf and found that the test case actually FAILs because the foo.specs uses

[Ada] Minimize internally built wrappers of protected types

This patch minimizes the generation of wrappers of protected type dispatching primitives since they may cause reporting spurious ambiguity in correct code. After this patch the following test compiles without errors: package Ambig is type Lim_Iface is limited interface; type Prot is

[Ada] Optimization of anonymous access-to-controlled types

This patch modifies the creation of finalization masters for anonymous access- to-controlled types. Prior to this change, each compilation unit utilized a single heterogeneous finalization master to service all allocations where the associated type is anonymous access-to-controlled. This patch

[Ada] Handling of attribute definition clauses for ASIS with GNSA

This patch introduces new switch -gnatd.H to enabled ASIS_GNSA mode. When active, this mode disabled the call to gigi. In addition, the patch suppresses various error checks with respect to attribute definition clauses in ASIS mode. -- Source -- -- clauses.ads package

[Ada] Predicate checks when Assertion policy is Ignore

This patch implements the proper semantics of predicated subtypes in various contexts when the assertion policy is Ignore. This affects the semantics of case constructs and object declarations when values that do not satisfy the predicate are present. Tested in ACATS 4.0J tests C54003 and C457005

[Ada] Undefined symbol with interface types

Compiling with optimizations enabled the linker may report undefined symbols of the form "xxxTs" associated with types that implement interface types. This issue was introduced on 2016-01-16 as part of improving the support of subprograms that are inlined across units with optimization. No small

libgomp: In OpenACC testing, cycle though $offload_targets, and by default only build for the offload target that we're actually going to test (was: check-target-libgomp wall time, without vs. with of

Hi Jakub! On Fri, 29 Apr 2016 09:43:41 +0200, Jakub Jelinek wrote: > On Thu, Apr 28, 2016 at 12:43:43PM +0200, Thomas Schwinge wrote: > > commit 3b521f3e35fdb4b320e95b5f6a82b8d89399481a > > Author: Thomas Schwinge > > Date: Thu Apr 21 11:36:39 2016

[PATCH, i386]: Merge FP ops patterns

Hello! 2016-05-02 Uros Bizjak * config/i386/predicates.md (nonimm_ssenomem_operand): New predicate. (register_mixssei387nonimm_operand): Remove predicate. * config/i386/i386.md (*fop__comm): Merge from *fop__comm_mixed and *fop__comm_i387. Disable

[Ada] Correctly set Last when calling Text_IO.Get_Line on empty string

Ada RM requires that procedure Text_IO_Get_Line sets Last to Item'First - 1 when parameter Item is the empty string, which was not performed until now. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-05-02 Yannick Moy * a-tigeli.adb (Get_Line): Always set

Re: Fix PR rtl-optimization/70886

On 05/02/2016 09:12 AM, Eric Botcazou wrote: The pointer comparison is not stable for VALUEs when cselib is used (this is the business of canonical cselib values). I tried rtx_equal_for_cselib_p here but this doesn't work because there are dangling VALUEs during scheduling (VALUEs whose

Re: [PATCH][genrecog] Fix warning about potentially uninitialised use of label

Kyrill Tkachov writes: > Hi all, > > I'm getting a warning when building genrecog that 'label' may be used > uninitialised in: > >uint64_t label = 0; > >if (d->test.kind == rtx_test::CODE >&& d->if_statement_p () >&& label == CONST_INT)

Re: Canonicalize X u< X to UNORDERED_EXPR

On Mon, May 2, 2016 at 11:18 AM, Marc Glisse wrote: > On Mon, 2 May 2016, Richard Biener wrote: > >> On Sat, Apr 30, 2016 at 8:44 PM, Marc Glisse wrote: >>> >>> Hello, >>> >>> this case seemed to be missing in the various X cmp X transformations. It

Re: [PATCH][GCC7] Remove scaling of COMPONENT_REF/ARRAY_REF ops 2/3

On Mon, 2 May 2016, Eric Botcazou wrote: > > The following experiment resulted from looking at making > > array_ref_low_bound and array_ref_element_size non-mutating. Again > > I wondered why we do this strange scaling by offset/element alignment. > > The idea is to expose the alignment factor

Re: Support << and >> for offset_int and widest_int

"H.J. Lu" writes: > On Fri, Apr 29, 2016 at 5:30 AM, Richard Sandiford > wrote: >> Following on from the comparison patch, I think it makes sense to >> support << and >> for offset_int (int128_t) and widest_int (intNNN_t), >> with >> being

[PATCH][Committed] [ARC] Fix warnings, update source code.

Small syntactic fixes. Committed as obvious. Best, Claudiu include/ 2016-05-02 Claudiu Zissulescu * config/arc/arc.c (arc_preferred_simd_mode): Remove enum keyword. (arc_save_restore): Likewise. (arc_dwarf_register_span): Likewise.

[Ada] Fix Ada.Directories.Delete_Tree not to change current directory

... which is very unfriendly to tasking programs, where a task running Delete_Tree could cause a unexpected change of current directory in another task running concurrently. The program below is expected to display No directory change observed -- with Ada.Text_IO; use Ada.Text_IO; with

[Ada] Representation information for nested subprograms

With this patch the representation information generated with the -gnatR compilation switch includes information on subprograms nested within subprogram bodies. Executing gcc -c -gnatRm p.adb must yield; --- Representation information for unit P (body) procedure inner declared at

[Ada] Error in handling of convention of formal parameter

This patch fixes an error in the determination of the convention to be used for a formal parameter, when the corresponding type carries a convention pragma. Executing: gcc -c p.ads -gnatRm must yield: Representation information for unit P (spec) for Rec'Size use 1024; for Rec'Alignment use 1;

[Ada] Race condition in allocator with finalization

This patch fixes a race condition in an allocator for a type that needs finalization. The race condition is unlikely to occur in practice; it occurs when the allocator is in a Finalize that occurs after the corresponding master has already started its finalization. Finalize operations often

[Ada] Spurious error on container "of" loop

This patch modifies the implementation of container indexing to inspect the base type of the container in case the container is a subtype. No simple reproducer found. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-05-02 Hristian Kirtchev * sem_ch4.adb

Re: Canonicalize X u< X to UNORDERED_EXPR

On Mon, 2 May 2016, Richard Biener wrote: On Sat, Apr 30, 2016 at 8:44 PM, Marc Glisse wrote: Hello, this case seemed to be missing in the various X cmp X transformations. It does not change the generated code in the testcase. The missing :c is rather trivial. I can

  1   2   >