Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/2017 09:16 PM, Richard Biener wrote: On April 6, 2017 8:12:29 PM GMT+02:00, Bernd Edlinger wrote: But isn't the effective type changed by the assignment b[1] = 0; as described in 6.5(6): "If a value is stored into an object having no declared type through an lvalue having a type that

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Thu, 6 Apr 2017, Bernd Edlinger wrote: > On 04/06/17 09:47, Richard Biener wrote: > > On Wed, 5 Apr 2017, Bernd Edlinger wrote: > > > >> On 04/05/17 19:22, Bernd Edlinger wrote: > >>> On 04/05/17 18:08, Jakub Jelinek wrote: > >>> > >>> Yes, exactly. I really want to reach the deadline for gcc-

Re: [PATCH] PR80101: Fix ICE in store_data_bypass_p

> The only straightforward way I see is to use a rs6000_store_data_bypass_p > instead, which would be doing the same thing. :-( Why not just change the type of the blockage instruction as you suggested? -- Eric Botcazou

Re: [PATCH] Fix PR80334

On Thu, 6 Apr 2017, Rainer Orth wrote: > Hi Richard, > > > The following patch makes sure to preserve (mis-)alignment of memory > > references when IVOPTs generates TARGET_MEM_REFs for them. > > > > Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. > > > > Richard. > > > > 2017-04-06

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Thu, 6 Apr 2017, Bernd Edlinger wrote: > On 04/06/17 21:05, Florian Weimer wrote: > > On 04/06/2017 08:49 PM, Bernd Edlinger wrote: > > > >> For instance how do you "declare an object without a declared type"? > > > > malloc and other allocation functions return pointers to objects without > >

[PATCH, contrib] Re: port contrib/download_prerequisites script to macOS

ping On 04/04/2017 06:10 PM, Damian Rouson wrote: > All, > > The attached patch modifies the contrib/download_prerequisites script to work > on macOS. > The revised script detects the operating system and adjusts the shasum and > md5 commands > to their expected name and arguments on macOS.

Re: [RS6000] Fix PR45053

On Thu, Feb 07, 2013 at 07:15:05PM +1030, Alan Modra wrote: > I think this one counts as obvious, but I'll ask for permission anyway. > Bootstrapped etc. powerpc-linux. OK everywhere? Okay for trunk (and backports, if you want). -O2 may look odd but there is a nice big comment explaining it (ple

[PATCH v2,testsuite] PR79867: Merge fixes for windows DLL loading problem from libffi

We currently have two copies of target-libpath.exp in the tree under gcc/testsuite/lib and libffi/testsuite/lib. It was originally pulled into the libffi project (from downstream gcc) in 2009 (https://github.com/libffi/libffi/commit/5cbe2058c128e848446ae79fe15ee54260a90559). Then in 2012, Anthony

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/17 09:47, Richard Biener wrote: > On Wed, 5 Apr 2017, Bernd Edlinger wrote: > >> On 04/05/17 19:22, Bernd Edlinger wrote: >>> On 04/05/17 18:08, Jakub Jelinek wrote: >>> >>> Yes, exactly. I really want to reach the deadline for gcc-7. >>> Fixing the name is certainly the most important fi

[wwwdocs, PATCH v2] C++ terminology: the One Definition Rule in diagnostics

On Thu, 2017-04-06 at 10:44 -0600, Jeff Law wrote: > On 03/24/2017 03:29 AM, Martin Liška wrote: > > I would like to ping that. I'm not sure what's agreement after I > > read > > discussion in: https://gcc.gnu.org/ml/gcc/2017-03/msg00070.html > > > > Martin Sebor may know, CC'ing him. > Not sure i

Re: [PATCH] Fix PR80334

Hi Richard, > The following patch makes sure to preserve (mis-)alignment of memory > references when IVOPTs generates TARGET_MEM_REFs for them. > > Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. > > Richard. > > 2017-04-06 Richard Biener > > PR tree-optimization/80334 >

Re: [PATCH] PR80101: Fix ICE in store_data_bypass_p

On Thu, Apr 06, 2017 at 10:05:54PM +0200, Eric Botcazou wrote: > > [This is a repost of a patch previously posted on 3/29/2017. > > Eric, I hope you might consider that this falls within your scope > > of maintenance. Thanks.] > > My viewpoint is that it's better to keep the assertions and fix th

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/05/17 23:02, Bernd Edlinger wrote: > On 04/05/17 19:22, Bernd Edlinger wrote: >> On 04/05/17 18:08, Jakub Jelinek wrote: >> >> Yes, exactly. I really want to reach the deadline for gcc-7. >> Fixing the name is certainly the most important first step, >> and if everybody agrees on "typeless_s

Re: [PR 79905] ICE with vector_type

Hi! On Thu, Apr 06, 2017 at 02:34:03PM -0400, Nathan Sidwell wrote: > Segher, this fixes a C++ ICE where TYPE_CANONICALs didn't match, but the > types were the same (and non-structural comparison). The underlying > cause is that types with different TYPE_NAME are considered different > canonic

Re: [PATCH] PR80101: Fix ICE in store_data_bypass_p

> [This is a repost of a patch previously posted on 3/29/2017. > Eric, I hope you might consider that this falls within your scope > of maintenance. Thanks.] My viewpoint is that it's better to keep the assertions and fix the back-end instead, which looks rather straightforward. -- Eric Botcaz

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/17 21:14, Richard Biener wrote: > On April 6, 2017 7:39:14 PM GMT+02:00, Bernd Edlinger > wrote: >> On 04/06/17 16:17, Florian Weimer wrote: Here is what I want to write in the doc: @item typeless_storage @cindex @code{typeless_storage} type attribute A type decl

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/17 21:05, Florian Weimer wrote: > On 04/06/2017 08:49 PM, Bernd Edlinger wrote: > >> For instance how do you "declare an object without a declared type"? > > malloc and other allocation functions return pointers to objects without > a declared type. > Thanks Florian, this discussion is v

[PATCH, i386] Introduce SSE 4.1 SI->DI zero-extension to moves between SSE registers

Attached patch considerably improves zero-extended SImode -> DImode moves between SSE registers for SSE4.1 targets. The patch teaches the compiler to generate: vmovdqa m(%rip), %ymm1 vpmovzxdq %xmm1, %xmm1 vpsrlw %xmm1, %xmm0, %xmm0 to zero-extend the value in the S

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On April 6, 2017 8:12:29 PM GMT+02:00, Bernd Edlinger wrote: >On 04/06/17 19:47, Florian Weimer wrote: >> On 04/06/2017 07:39 PM, Bernd Edlinger wrote: >>> On 04/06/17 16:17, Florian Weimer wrote: > Here is what I want to write in the doc: > > @item typeless_storage > @cindex @cod

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On April 6, 2017 7:39:14 PM GMT+02:00, Bernd Edlinger wrote: >On 04/06/17 16:17, Florian Weimer wrote: >>> Here is what I want to write in the doc: >>> >>> @item typeless_storage >>> @cindex @code{typeless_storage} type attribute >>> A type declared with this attribute behaves like a character ty

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On April 6, 2017 4:51:01 PM GMT+02:00, Florian Weimer wrote: >On 04/06/2017 04:43 PM, Jonathan Wakely wrote: >> On 06/04/17 16:23 +0200, Richard Biener wrote: >>> On Thu, 6 Apr 2017, Florian Weimer wrote: >>> On 04/06/2017 04:11 PM, Bernd Edlinger wrote: > I think it is not too com

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/2017 08:49 PM, Bernd Edlinger wrote: For instance how do you "declare an object without a declared type"? malloc and other allocation functions return pointers to objects without a declared type. Thanks, Florian

[PATCH, i386]: Fix PR 79733, ICE in int_mode_for_mode, at stor-layout.c

Hello! Attached patch rewrites handling of IX86_BUILTIN_K{,OR}TEST{C,Z}{8,16,32,64} builtins. It is possible to get VOIDmode const0_rtx when expanding arguments, and code was not prepared to handle it. The expansion crashed when copying VOIDmode immediate to a reg via copy_to_reg. 2017-04-06 Uro

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/17 20:19, Florian Weimer wrote: > > I don't know what your patch does, but your proposed documentation does > not make this valid because “declared as char” is still not “having no > declared type”. Or put differently, “behaves like a character type” is > not what we actually want here. >

Re: [PATCH] Don't error about x86 return value in SSE reg (or x86 reg) or argument in SSE reg too early (PR target/80298)

On Wed, Apr 5, 2017 at 5:37 PM, Uros Bizjak wrote: > 2017-04-05 Uros Bizjak > > PR target/80298 > * config/i386/mmintrin.h: Add -msse target option when __SSE__ is > not defined for x86_64 target. Add -mmmx target option when __SSE2__ > is not defined. > * config/i386/mm3d

Re: [PR 79905] ICE with vector_type

On 04/06/2017 11:13 AM, Bill Schmidt wrote: Nathan's patch regstraps cleanly. I'll try Richard's variant (dropping the if test below) now. As expected, this version passes regstrap as well. Thanks for testing. Segher, this fixes a C++ ICE where TYPE_CANONICALs didn't match, but the types

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/2017 08:12 PM, Bernd Edlinger wrote: On 04/06/17 19:47, Florian Weimer wrote: On 04/06/2017 07:39 PM, Bernd Edlinger wrote: On 04/06/17 16:17, Florian Weimer wrote: Here is what I want to write in the doc: @item typeless_storage @cindex @code{typeless_storage} type attribute A type d

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/17 19:47, Florian Weimer wrote: > On 04/06/2017 07:39 PM, Bernd Edlinger wrote: >> On 04/06/17 16:17, Florian Weimer wrote: Here is what I want to write in the doc: @item typeless_storage @cindex @code{typeless_storage} type attribute A type declared with this attr

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/2017 07:39 PM, Bernd Edlinger wrote: On 04/06/17 16:17, Florian Weimer wrote: Here is what I want to write in the doc: @item typeless_storage @cindex @code{typeless_storage} type attribute A type declared with this attribute behaves like a character type with respect to aliasing semant

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/17 16:17, Florian Weimer wrote: >> Here is what I want to write in the doc: >> >> @item typeless_storage >> @cindex @code{typeless_storage} type attribute >> A type declared with this attribute behaves like a character type >> with respect to aliasing semantics. >> This is attribute is sim

Re: [PATCH] Destroy arguments for _Cilk_spawn calling in the child (PR 80038)

On 03/31/2017 07:50 AM, Xi Ruoyao wrote: Hi, I''ve sent this patch once (). But I haven't got any response. I'd like to resend it instead of pinging, and explain it more. There's a couple things going on here. Cilk+ does not currentl

Re: [PATCH] Increase memory limit for genautomata on AIX

On 03/31/2017 05:42 AM, Sam Thursfield wrote: When doing 64-bit builds of GCC on AIX, genautomata experiences malloc() failures. It seems that a 512MB heap is no longer big enough. I also updated the comments in this file to match the values passed to the linker. The AIX `ld` manual says this ab

Re: [PATCH] Fix dwarf2out ICE with C++17 inline static data members with redundant redeclaration (PR debug/80234)

On 03/29/2017 01:42 PM, Jakub Jelinek wrote: Hi! When a C++17 inline static data member has a redundant out-of-class deprecated redeclaration, we can end up with 2 DW_TAG_variable in DW_TAG_compile_unit, one DW_AT_declaration and one with DW_AT_specification pointing to it (the latter emitted fo

Re: [PATCH 0/3] Introduce internal_error_cont and exclude it from pot files

On 03/24/2017 03:29 AM, Martin Liška wrote: I would like to ping that. I'm not sure what's agreement after I read discussion in: https://gcc.gnu.org/ml/gcc/2017-03/msg00070.html Martin Sebor may know, CC'ing him. Not sure if you're pinging the internal_error_cont stuff, or the ODR diagnostics c

Re: [PATCH, GCC/ARM, gcc-6-branch] Fix PR80082: LDRD erronously used for 64bit load on ARMv7-R

On 06/04/17 14:05, Ramana Radhakrishnan wrote: On Mon, Mar 27, 2017 at 12:15 PM, Thomas Preudhomme wrote: Hi, Currently GCC is happy to use LDRD to perform a 64bit load on ARMv7-R, as shown by the testcase on this patch. However, LDRD is only atomic when LPAE extensions is available, which t

Re: [PATCH] S/390: Optimize atomic_compare_exchange and atomic_compare builtins.

I wrote (incorrectly): > >[(parallel > > [(set (match_operand:SI 0 "register_operand" "") > > (match_operator:SI 1 "s390_eqne_operator" > > - [(match_operand:CCZ1 2 "register_operand") > > + [(match_operand 2 "cc_reg_operand") > > (match_operand 3 "const0

Re: [PATCH] S/390: Optimize atomic_compare_exchange and atomic_compare builtins.

Dominik Vogt wrote: > > v3: > > > > * Remove sne* patterns. > > * Move alignment check from s390_expand_cs to s390.md. > > * Use s_operand instead of memory_nosymref_operand. > > * Remove memory_nosymref_operand. > > * Allow any CC-mode in cstorecc4 for TARGET_Z196. > > * Fix EQ with

RE: [patch, MIPS] Update -mvirt option description

> -Original Message- > From: Matthew Fortune [mailto:matthew.fort...@imgtec.com] > Sent: Friday, March 31, 2017 4:00 PM > To: Moore, Catherine > Cc: 'gcc-patches@gcc.gnu.org' (gcc-patches@gcc.gnu.org) patc...@gcc.gnu.org>; roland.il...@gmx.de > Subject: [patch, MIPS] Update -mvirt optio

[PATCH] PR80101: Fix ICE in store_data_bypass_p

[This is a repost of a patch previously posted on 3/29/2017. Eric, I hope you might consider that this falls within your scope of maintenance. Thanks.] This problem reports an assertion error when certain rtl expressions which are not eligible as producers or consumers of a store bypass optimiza

Re: [PR 79905] ICE with vector_type

> On Apr 6, 2017, at 9:26 AM, Bill Schmidt wrote: > > >> On Apr 6, 2017, at 9:19 AM, Bill Schmidt wrote: >> >> >>> On Apr 6, 2017, at 9:04 AM, Richard Biener >>> wrote: >>> >>> On Thu, Apr 6, 2017 at 1:28 PM, Nathan Sidwell wrote: Let's try this one then. >> >> Nathan's patch regst

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/2017 05:05 PM, Jakub Jelinek wrote: On Thu, Apr 06, 2017 at 04:51:01PM +0200, Florian Weimer wrote: On 04/06/2017 04:43 PM, Jonathan Wakely wrote: On 06/04/17 16:23 +0200, Richard Biener wrote: On Thu, 6 Apr 2017, Florian Weimer wrote: On 04/06/2017 04:11 PM, Bernd Edlinger wrote:

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Thu, Apr 06, 2017 at 04:51:01PM +0200, Florian Weimer wrote: > On 04/06/2017 04:43 PM, Jonathan Wakely wrote: > > On 06/04/17 16:23 +0200, Richard Biener wrote: > > > On Thu, 6 Apr 2017, Florian Weimer wrote: > > > > > > > On 04/06/2017 04:11 PM, Bernd Edlinger wrote: > > > > > > > > > I think

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/2017 04:43 PM, Jonathan Wakely wrote: On 06/04/17 16:23 +0200, Richard Biener wrote: On Thu, 6 Apr 2017, Florian Weimer wrote: On 04/06/2017 04:11 PM, Bernd Edlinger wrote: > I think it is not too complicated to done in the C++ FE. > The FE looks for array of std::byte and unsigned c

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 06/04/17 16:23 +0200, Richard Biener wrote: On Thu, 6 Apr 2017, Florian Weimer wrote: On 04/06/2017 04:11 PM, Bernd Edlinger wrote: > I think it is not too complicated to done in the C++ FE. > The FE looks for array of std::byte and unsigned char, > and sets the attribute when the final typ

[PATCH v2,rs6000] PR80108: Fix ICE with cross compiler

I am reposting this patch, previously posted just moments ago, to correct the subject so that it clarifies that this is a rs6000-specific patch. Thanks. PR 80108 describes an ICE that occurs on an existing test program when compiled with a particular combination of target options. This patch fix

Re: [gomp4] add support for fortran allocate support with declare create

On 04/06/2017 02:05 AM, Thomas Schwinge wrote: >> --- /dev/null >> +++ b/gcc/testsuite/gfortran.dg/goacc/declare-allocatable-1.f90 >> @@ -0,0 +1,25 @@ >> +! Verify that OpenACC declared allocatable arrays have implicit >> +! OpenACC enter and exit pragmas at the time of allocation and >> +! deallo

Re: [PR 79905] ICE with vector_type

> On Apr 6, 2017, at 9:19 AM, Bill Schmidt wrote: > > >> On Apr 6, 2017, at 9:04 AM, Richard Biener >> wrote: >> >> On Thu, Apr 6, 2017 at 1:28 PM, Nathan Sidwell wrote: >>> Let's try this one then. > > Nathan's patch regstraps cleanly. I'll try Richard's variant (dropping the > if test

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Thu, 6 Apr 2017, Florian Weimer wrote: > On 04/06/2017 04:11 PM, Bernd Edlinger wrote: > > > I think it is not too complicated to done in the C++ FE. > > The FE looks for array of std::byte and unsigned char, > > and sets the attribute when the final type is constructed. > > > > What I am try

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Thu, 6 Apr 2017, Bernd Edlinger wrote: > On 04/06/17 09:55, Richard Biener wrote: > > On Thu, 6 Apr 2017, Jakub Jelinek wrote: > > > >> On Thu, Apr 06, 2017 at 09:47:10AM +0200, Richard Biener wrote: > >>> @@ -955,6 +960,7 @@ get_alias_set (tree t) > >>> Just be pragmatic here and make su

Re: [PR 79905] ICE with vector_type

> On Apr 6, 2017, at 9:04 AM, Richard Biener wrote: > > On Thu, Apr 6, 2017 at 1:28 PM, Nathan Sidwell wrote: >> Let's try this one then. Nathan's patch regstraps cleanly. I'll try Richard's variant (dropping the if test below) now. Bill > > I'd call this > > + if (result == TYPE_CANONIC

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/2017 04:11 PM, Bernd Edlinger wrote: I think it is not too complicated to done in the C++ FE. The FE looks for array of std::byte and unsigned char, and sets the attribute when the final type is constructed. What I am trying to do is just extend the semantic of may_alias a bit, and the

[PATCH v2] PR80108: Fix ICE with cross compiler

PR 80108 describes an ICE that occurs on an existing test program when compiled with a particular combination of target options. This patch fixes the compiler to reject that particular combination of target options since it is not meaningful and duplicates the offending test case with a dg-option

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 04/06/17 09:55, Richard Biener wrote: > On Thu, 6 Apr 2017, Jakub Jelinek wrote: > >> On Thu, Apr 06, 2017 at 09:47:10AM +0200, Richard Biener wrote: >>> @@ -955,6 +960,7 @@ get_alias_set (tree t) >>> Just be pragmatic here and make sure the array and its element >>> type get the sam

Re: [PR 79905] ICE with vector_type

On Thu, Apr 6, 2017 at 1:28 PM, Nathan Sidwell wrote: > Let's try this one then. I'd call this + if (result == TYPE_CANONICAL (result)) +/* Copy so we don't give the canonical type a name. */ +result = build_variant_type_copy (result); premature optimization -- I wonder if anything br

[PATCH] Fix PR80341

This fixes an old bug I introduced. We may not pass in the final truncation type to get_unwidened for divisions but need to preserve the original values. That means the INTEGER_CST handling needs extension for the !for_type case as well. And some refactoring. (as much as I hate working on this

Re: [PATCH] Cherry-pick upstream r299036 from libsanitizer (PR sanitizer/80166).

On 04/06/2017 02:57 PM, Jakub Jelinek wrote: > On Thu, Apr 06, 2017 at 02:53:06PM +0200, Martin Liška wrote: >> PING^1 > > I've acked that on IRC, with: > marxin: please use PR sanitizer/80166 in the ChangeLog, ok with that Sorry, I must miss that due to connection troubles. Anyway, thanks, Mart

Re: [PATCH, GCC/ARM, gcc-6-branch] Fix PR80082: LDRD erronously used for 64bit load on ARMv7-R

On Mon, Mar 27, 2017 at 12:15 PM, Thomas Preudhomme wrote: > Hi, > > Currently GCC is happy to use LDRD to perform a 64bit load on ARMv7-R, > as shown by the testcase on this patch. However, LDRD is only atomic > when LPAE extensions is available, which they are not for ARMv7-R. This > commit solv

Re: [PATCH, GCC/testsuite/ARM, stage4, ping] Compile atomic_loaddi_11 for Cortex-R5

On Tue, Apr 4, 2017 at 6:00 PM, Thomas Preudhomme wrote: > Hi, > > gcc.target/arm/atomic_loaddi_11.c testcase contributed in r246365 does > not test the changed code since ARMv7-R does not have division > instructions in ARM state. This patch changes it to target Cortex-R5 > processor instead whic

Re: [PATCH] Cherry-pick upstream r299036 from libsanitizer (PR sanitizer/80166).

On Thu, Apr 06, 2017 at 02:53:06PM +0200, Martin Liška wrote: > PING^1 I've acked that on IRC, with: marxin: please use PR sanitizer/80166 in the ChangeLog, ok with that > On 03/31/2017 10:34 AM, Martin Liška wrote: > > Hello. > > > > Cherry-picking the commit to fix PR reported originally to th

Re: [PATCH] On x86 allow if-conversion of more than one insn as long as there is at most one cmov (PR tree-optimization/79390)

On Thu, Apr 06, 2017 at 02:50:27PM +0200, Rainer Orth wrote: > 2017-04-06 Rainer Orth > > * gcc.target/i386/pr79390.c: Allow for cmovl.a. Please mention PR tree-optimization/79390 in the ChangeLog and commit message. Ok with that change. > # HG changeset patch > # Parent 7c92d635959dc

Re: [PATCH] Cherry-pick upstream r299036 from libsanitizer (PR sanitizer/80166).

PING^1 On 03/31/2017 10:34 AM, Martin Liška wrote: > Hello. > > Cherry-picking the commit to fix PR reported originally to the GCC. > Ready to install after it finishes regression tests? > > Thanks, > Martin >

Re: [PATCH] Support multiple files w/ -i option in gcov (PR gcov-profile/80224).

PING^1 On 03/28/2017 11:06 AM, Martin Liška wrote: > Hello. > > The fix of the PR, where intermediate format is currently dumped in a bit > different manner. > I believe it can share majority of file creation (and destruction) with > normal format. > Apart from that I refined usage string from:

Re: [PATCH] On x86 allow if-conversion of more than one insn as long as there is at most one cmov (PR tree-optimization/79390)

Jeff Law writes: > On 04/01/2017 06:20 AM, Jakub Jelinek wrote: >> Hi! >> >> As discussed in the PR, in the following testcase we don't if-convert >> with the generic (and many other) tuning, because we default to >> --param max-rtl-if-conversion-insns=1 in most of the tunings. >> The problem we

[PATCH] Refactor tree-affine.c wide_int_ext_for_comb

This makes a following real change smaller, thus I am testing this refactoring separately at this stage. Bootstrap / regtest in progress on x86_64-unknown-linux-gnu. Richard. 2017-04-06 Richard Biener * tree-affine.c (wide_int_ext_for_comb): Take type rather than aff_tree.

[PATCH] Fix PR80334

The following patch makes sure to preserve (mis-)alignment of memory references when IVOPTs generates TARGET_MEM_REFs for them. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Richard. 2017-04-06 Richard Biener PR tree-optimization/80334 * tree-ssa-loop-ivopts

[PATCH] Fix ICE/wrong-code with address-spaces and SRA/SCCVN

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2017-04-06 Richard Biener PR tree-optimization/80262 * tree-sra.c (build_ref_for_offset): Preserve address-space information. * tree-ssa-sccvn.c (vn_reference_maybe_forwprop_address):

[Patch, testsuite] Fix failing builtin-sprintf-warn-{3,10}.c for avr

Hi, This patch fixes a whole bunch of failures reported for gcc.dg/tree-ssa/builtin-sprintf-warn-{3,10}.c for the avr target. builtin-sprintf-warn-10.c fails because the bounds in the warning messages expect 4 digit wide exponents i.e. __DBL_MAX_EXP__ > 999. For the avr, floats and doub

Re: [PR 79905] ICE with vector_type

Let's try this one then. nathan -- Nathan Sidwell 2017-04-05 Nathan Sidwell PR target/79905 * config/rs6000/rs6000.c (rs6000_vt): New. (rs6000_init_builtins): Use it. testsuite/ * g++.dg/torture/pr79905.C: New. Index: config/rs6000/rs6000.c

Re: [PATCH] Fix PR80281

On Wed, 5 Apr 2017, Christophe Lyon wrote: > On 5 April 2017 at 13:41, Bin.Cheng wrote: > > On Wed, Apr 5, 2017 at 12:38 PM, Markus Trippelsdorf > > wrote: > >> On 2017.04.03 at 15:20 +0200, Richard Biener wrote: > >>> I'm re-testing the following variant. > >>> > >>> Richard. > >>> > >>> 2017-0

[unified-autovect: Patch 1b/N] Instruction tile and grammar creation.

Hi Richard, This is regarding the implementation of auto-vectorization based on my talk titled "Improving the effectiveness and generality of GCC auto-vectorization" in GNU Tools Cauldron 2015. I have applied previous patches in branch 'unified-autovect' which generates primitive reorder tree

Re: [PR 79905] ICE with vector_type

On Wed, Apr 5, 2017 at 10:33 PM, Bill Schmidt wrote: > On 4/5/17 9:14 AM, Nathan Sidwell wrote: >> >>> Thanks for the patch! Looks like there are some compile problems. I >>> can fix "resut", but not sure what the intent is for "canonical": >> >> I'm a dumbass. I built the x86_64 compiler :( >>

Re: patch to fix PR70703

On Wed, Apr 5, 2017 at 6:18 PM, Vladimir Makarov wrote: > > > On 04/05/2017 12:07 PM, Vladimir Makarov wrote: >> >> >> >> I'll correct the patch. >> > Here is the patch I've committed. Note that in such contexts it's better to just use [u]int64_t. Richard. > 2017-04-05 Vladimir Makarov > >

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On 05/04/17 20:46 +, Bernd Edlinger wrote: It does the same as may_alias but additionally objects declared with that type have alias set 0, I just don't know if I have yet found the right words so that it can be understood. Based on the feedback I have now written: +@item typeless_storage +

Re: [PATCH] Fix MMX/SSE/AVX* shifts by non-immediate scalar (PR target/80286)

On Thu, Apr 06, 2017 at 10:47:03AM +0200, Uros Bizjak wrote: > > +(define_insn_and_split "*3_1" > > + [(set (match_operand:VI2_AVX2_AVX512BW 0 "register_operand") > > + (any_lshift:VI2_AVX2_AVX512BW > > + (match_operand:VI2_AVX2_AVX512BW 1 "register_operand") > > + (sign_exte

Re: [PATCH] S/390: Optimize atomic_compare_exchange and atomic_compare builtins.

On Wed, Apr 05, 2017 at 02:52:00PM +0100, Dominik Vogt wrote: > On Mon, Mar 27, 2017 at 09:27:35PM +0100, Dominik Vogt wrote: > > The attached patch optimizes the atomic_exchange and > > atomic_compare patterns on s390 and s390x (mostly limited to > > SImode and DImode). Among general optimizaatio

Re: [gomp4] add support for fortran allocate support with declare create

Hi Cesar! On Wed, 5 Apr 2017 08:23:58 -0700, Cesar Philippidis wrote: > This patch implements the OpenACC 2.5 behavior of fortran allocate on > variables marked with declare create as defined in Section 2.13.2 in the > OpenACC spec. Thanks! > While working on adding support for allocate, I no

Re: [PATCH] Fix MMX/SSE/AVX* shifts by non-immediate scalar (PR target/80286)

On Thu, Apr 06, 2017 at 10:40:07AM +0200, Jakub Jelinek wrote: > On Thu, Apr 06, 2017 at 09:33:58AM +0200, Uros Bizjak wrote: > > Newly introduced alternatives (x/x) and (v/v) are valid also for > > 32-bit targets, so we have to adjust insn constraint of > > *vec_extractv4si_0_zext and enable alter

Re: [PATCH] Fix MMX/SSE/AVX* shifts by non-immediate scalar (PR target/80286)

On Thu, Apr 6, 2017 at 10:40 AM, Jakub Jelinek wrote: > On Thu, Apr 06, 2017 at 09:33:58AM +0200, Uros Bizjak wrote: >> Newly introduced alternatives (x/x) and (v/v) are valid also for >> 32-bit targets, so we have to adjust insn constraint of >> *vec_extractv4si_0_zext and enable alternatives acc

Re: [PATCH] Fix MMX/SSE/AVX* shifts by non-immediate scalar (PR target/80286)

On Thu, Apr 06, 2017 at 09:33:58AM +0200, Uros Bizjak wrote: > Newly introduced alternatives (x/x) and (v/v) are valid also for > 32-bit targets, so we have to adjust insn constraint of > *vec_extractv4si_0_zext and enable alternatives accordingly. After the That is true. But if we provide just t

Re: [PATCH] Fix MMX/SSE/AVX* shifts by non-immediate scalar (PR target/80286)

On Thu, Apr 6, 2017 at 9:33 AM, Uros Bizjak wrote: > On Tue, Apr 4, 2017 at 5:09 PM, Jakub Jelinek wrote: >> On Tue, Apr 04, 2017 at 02:33:24PM +0200, Uros Bizjak wrote: >>> > I assume split those before reload. Because we want to give reload a >>> > chance >>> > to do the zero extension on GPR

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Thu, 6 Apr 2017, Jakub Jelinek wrote: > On Thu, Apr 06, 2017 at 09:47:10AM +0200, Richard Biener wrote: > > @@ -955,6 +960,7 @@ get_alias_set (tree t) > > Just be pragmatic here and make sure the array and its element > > type get the same alias set assigned. */ > >else if (TRE

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Thu, Apr 06, 2017 at 09:47:10AM +0200, Richard Biener wrote: > @@ -955,6 +960,7 @@ get_alias_set (tree t) > Just be pragmatic here and make sure the array and its element > type get the same alias set assigned. */ >else if (TREE_CODE (t) == ARRAY_TYPE > +&& ! TYPE_TYPELE

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Wed, 5 Apr 2017, Bernd Edlinger wrote: > On 04/05/17 19:22, Bernd Edlinger wrote: > > On 04/05/17 18:08, Jakub Jelinek wrote: > > > > Yes, exactly. I really want to reach the deadline for gcc-7. > > Fixing the name is certainly the most important first step, > > and if everybody agrees on "typ

Re: [PATCH] Fix MMX/SSE/AVX* shifts by non-immediate scalar (PR target/80286)

On Tue, Apr 4, 2017 at 5:09 PM, Jakub Jelinek wrote: > On Tue, Apr 04, 2017 at 02:33:24PM +0200, Uros Bizjak wrote: >> > I assume split those before reload. Because we want to give reload a >> > chance >> > to do the zero extension on GPRs if it is more beneficial, and it might >> > choose to st

Re: [PATCH] Add a new type attribute always_alias (PR79671)

On Wed, 5 Apr 2017, Jason Merrill wrote: > On Wed, Apr 5, 2017 at 1:41 PM, Bernd Edlinger > wrote: > > On 04/05/17 17:20, Richard Biener wrote: > >>> Also, wonder if you need to mark all types containing such arrays, > >>> if you couldn't just set that flag in C++ on unsigned char/std::byte > >>>