Re: [[Boolean Vector, patch 5/5] Support boolean vectors in vector lowering

2015-10-23 Thread Andreas Schwab
../../gcc/tree-vect-generic.c: In member function 'virtual unsigned int {anonymous}::pass_lower_vector_ssa::execute(function*)': ../../gcc/tree-vect-generic.c:127:70: error: 'a2' may be used uninitialized in this function [-Werror=maybe-uninitialized] return gimplify_build3 (gsi, BIT_FIELD_REF,

Re: Move fold_trunc_transparent_mathfn to match.pd

2015-10-23 Thread Richard Sandiford
Richard Biener writes: >> @@ -12963,11 +12959,11 @@ tree_single_nonnegative_warnv_p (tree t, > bool *strict_overflow_p, int depth) >> If this code misses important cases that unbounded recursion >> would not, passes that need this information could be revised >> to provi

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Jakub Jelinek
On Thu, Oct 22, 2015 at 04:17:32PM -0400, Nathan Sidwell wrote: > On 10/22/15 04:04, Jakub Jelinek wrote: > > >>+ /* Ignore blocks containing non-clonable function calls. */ > >>+ for (gsi = gsi_start_bb (CONST_CAST_BB (bb)); > >>+ !gsi_end_p (gsi); gsi_next (&gsi)) > >>+{ > >>+

Re: Do not compare TYPE_MODE in operand_equal_p when OEP_ADDRESS_OF is set

2015-10-23 Thread Richard Biener
On Fri, 23 Oct 2015, Jan Hubicka wrote: > Hi, > this patch disables TYPE_MODE comparing when we care about address only. > I already disabled other matching of types, but missed this one as it is > placed later in the function body. > > Bootstrapped/regtested x86_64-linux, OK? Ok. Richard. > H

[gomp4] Merge gomp-4_1-branch r225300 (2015-07-02) into gomp-4_0-branch

2015-10-23 Thread Thomas Schwinge
Hi! On Mon, 19 Oct 2015 17:54:46 +0200, I wrote: > I have recently merged trunk r228776 (2015-10-13) into gomp-4_0-branch, > which is the trunk revision before Jakub's big "Merge from > gomp-4_1-branch to trunk", >

Re: [PATCH 0/4] OpenMP 4.0 offloading to Intel MIC

2015-10-23 Thread Jakub Jelinek
On Thu, Oct 22, 2015 at 09:26:37PM +0300, Ilya Verbin wrote: > On Mon, Dec 22, 2014 at 13:01:40 +0100, Thomas Schwinge wrote: > > By chance (when tracking down a different problem), I've found the > > following. Would you please check whether that's a real problem in > > liboffloadmic, or its libg

Use macros to define built-in operator lists

2015-10-23 Thread Richard Sandiford
No functional change. This should be a slight readability improvement on its own, but becomes more important with the next patch. Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi. OK to install? Thanks, Richard gcc/ * match.pd: Use macros to define built-in operator

Re: [gomp4 00/14] NVPTX: further porting

2015-10-23 Thread Jakub Jelinek
On Thu, Oct 22, 2015 at 07:16:49PM +0200, Bernd Schmidt wrote: > I'm not really familiar with OpenMP and what it allows, so take all my > comments with a grain of salt. > > On 10/22/2015 06:41 PM, Alexander Monakov wrote: > >The second approach is to run all threads in the warp all the time, makin

Re: [gomp4 00/14] NVPTX: further porting

2015-10-23 Thread Jakub Jelinek
On Thu, Oct 22, 2015 at 07:16:49PM +0200, Bernd Schmidt wrote: > I'm not really familiar with OpenMP and what it allows, so take all my > comments with a grain of salt. > > On 10/22/2015 06:41 PM, Alexander Monakov wrote: > >The second approach is to run all threads in the warp all the time, makin

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Jakub Jelinek
On Thu, Oct 22, 2015 at 02:06:54PM -0400, Nathan Sidwell wrote: > On 10/22/15 10:26, Richard Biener wrote: > >On Thu, Oct 22, 2015 at 4:01 PM, Nathan Sidwell wrote: > >>On 10/22/15 04:07, Richard Biener wrote: > >> > >>>Yeah, please make them either end or start a BB so we have to check > >>>at mo

[Committed, PATCH] Update HOWTO_MERGE file for libsanitizer.

2015-10-23 Thread Maxim Ostapenko
This patch updates libsanitizer/HOWTO_MERGE file according to Yura's nits here: https://gcc.gnu.org/ml/gcc-patches/2015-10/msg02039.html. Just a documentation patch, no changes in functionality. -Maxim Index: libsanitizer/HOWTO_MERGE =

Re: RFA/RFC: insns that do not start a source line

2015-10-23 Thread Richard Biener
On Thu, Oct 22, 2015 at 5:14 PM, Bernd Schmidt wrote: > On 10/22/2015 05:08 PM, Bernd Schmidt wrote: > >> So I'm not entirely sure yet what's supposed to happen here, but I think >> the problem could well be in the expansion phase. > > > Forgot to mention another possibility that crossed my mind:

Re: [PATCH 2/5] Enable -fsymbolic in LTO if -Bsymbolic is used

2015-10-23 Thread Richard Biener
On Thu, Oct 22, 2015 at 7:09 PM, H.J. Lu wrote: > When -Bsymbolic is passed to linker, references to global symbols > defined in the shared library are resolved locally. We should pass > -fsymbolic to GCC in this case. Hmm, I think this info should come via the linker plugin, otherwise it won't

Re: [PATCH] gcc/fold-const.c: Correct the report warning position.

2015-10-23 Thread Richard Biener
On Thu, Oct 22, 2015 at 9:46 PM, Jeff Law wrote: > On 10/21/2015 04:31 PM, Chen Gang wrote: >> >> Hello all: >> >> It is for bug63510, which reported by another members (not me), I guess, >> this patch should fix this bug. >> >> Welcome any other members' ideas, suggestions, and completions. > > N

Re: Move some bit and binary optimizations in simplify and match

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 6:29 AM, Hurugalawadi, Naveen wrote: > Hi, > >>> So I suggest to modify your patch to do > Done. > > Please find attached the modified patch. > > Regression tested successfully on X86_64. Ok. Thanks, Richard. > Thanks, > Naveen

[COMMITTED] Add myself to MAINTAINERS (Write After Approval)

2015-10-23 Thread Alan Hayward
Hi All, I've just added myself to Write After Approval maintainers. Committed r229216 Cheers, Alan. Index: ChangeLog === --- ChangeLog (revision 229215) +++ ChangeLog (revision 229216) @@ -1,3 +1,7 @@ +2015-10-23 Alan Hayward

Re: [PR debug/67192] Fix C loops' back-jump location

2015-10-23 Thread Andreas Arnez
On Tue, Oct 13 2015, Bernd Schmidt wrote: > One could argue that peek_token should not have an effect on > input_location, and in fact cpp_peek_token seems to take steps that > this does not happen, but it looks like c_parser_peek_token does not > use that mechanism. Yes, the C/C++ parsers differ

Re: Add VIEW_CONVERT_EXPR to operand_equal_p

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 7:19 AM, Jan Hubicka wrote: > Hello, > this is a variant of patch I tested. After looking into the issue more, I > think we don't really need > to check types to be compatible (or we want to check it in other references, > too). It seems to me > that we should be able t

[PATCH v2] [PR debug/67192] Fix C loops' back-jump location

2015-10-23 Thread Andreas Arnez
After parsing an unconditional "while"- or "for"-loop, the C front-end generates a backward-goto statement and implicitly sets its location to the current input_location. But in some cases the parser peeks ahead first, such that input_location already points to the line after the loop and the gene

Re: [RFA] Fix pr67830, another type narrowing problem

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 8:22 AM, Jeff Law wrote: > /* This is another case of narrowing, specifically when there's an outer >BIT_AND_EXPR which masks off bits outside the type of the innermost >operands. Like the previous case we have to convert the operands >to unsigned types to avo

Re: Move fold_trunc_transparent_mathfn to match.pd

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 9:56 AM, Richard Sandiford wrote: > Richard Biener writes: >>> @@ -12963,11 +12959,11 @@ tree_single_nonnegative_warnv_p (tree t, >> bool *strict_overflow_p, int depth) >>> If this code misses important cases that unbounded recursion >>> would not, passes

Re: Use macros to define built-in operator lists

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 10:10 AM, Richard Sandiford wrote: > No functional change. This should be a slight readability improvement > on its own, but becomes more important with the next patch. > > Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi. > OK to install? Ok. Thanks,

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Richard Biener
On Thu, Oct 22, 2015 at 8:06 PM, Nathan Sidwell wrote: > On 10/22/15 10:26, Richard Biener wrote: >> >> On Thu, Oct 22, 2015 at 4:01 PM, Nathan Sidwell wrote: >>> >>> On 10/22/15 04:07, Richard Biener wrote: >>> Yeah, please make them either end or start a BB so we have to check at most

Re: [Boolean Vector, patch 1/5] Introduce boolean vector to be used as a vector comparison type

2015-10-23 Thread Richard Biener
On Thu, Oct 22, 2015 at 6:21 PM, Ilya Enkovich wrote: > On 22 Oct 12:37, Andreas Schwab wrote: >> Ilya Enkovich writes: >> >> > 2015-10-22 13:13 GMT+03:00 Andreas Schwab : >> >> FAIL: gcc.c-torture/compile/pr54713-1.c -O0 (internal compiler error) >> > >> > Can't reproduce it on i386. What's c

Re: [mask-vec_cond, patch 1/2] Support vectorization of VEC_COND_EXPR with no embedded comparison

2015-10-23 Thread Richard Biener
On Thu, Oct 8, 2015 at 5:50 PM, Ilya Enkovich wrote: > Hi, > > This patch allows COND_EXPR with no embedded comparison to be vectorized. > It's applied on top of vectorized comparison support series. New optab > vcond_mask_optab is introduced for such statements. Bool patterns now avoid > co

Move int rounding folds to match.pd

2015-10-23 Thread Richard Sandiford
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi. OK to install? Thanks, Richard gcc/ * builtins.c (do_real_to_int_conversion): New function. (fold_fixed_mathfn, fold_builtin_int_roundingfn): Delete. (fold_builtin_1): Handle constant {i,l,ll}{ceil,floor

[testsuite] Run tree-ssa/restrict-4.c without fipa-icf

2015-10-23 Thread Tom de Vries
Hi, tree-ssa/restrict-4.c (containing two functions) is currently run with fipa-icf, and the body of one function is replaced by a call to the other function. The test is currently xfailed, but fipa-icf makes it more likely that the test would still fail if we would add the support the test i

Re: [PATCH][PR67666] Handle single restrict pointer in struct in create_variable_info_for_1

2015-10-23 Thread Tom de Vries
On 29/09/15 10:29, Richard Biener wrote: On Tue, 29 Sep 2015, Tom de Vries wrote: On 22/09/15 09:49, Richard Biener wrote: On Tue, 22 Sep 2015, Tom de Vries wrote: Hi, Consider this test-case: struct ps { int *__restrict__ p; }; void f (struct ps &__restrict__ ps1) { *(ps1.p) = 1;

Re: [mask-load, patch 1/2] Use boolean predicate for masked loads and store

2015-10-23 Thread Richard Biener
On Thu, Oct 8, 2015 at 5:40 PM, Ilya Enkovich wrote: > Hi, > > This patch replaces integer mask argument for MASK_LOAD ans MASK_STORE calls > with a boolean one. To allow various boolean vector modes assigned by a > target maskload and maskstore optabs were transformed into convert_optab to >

Re: [Patch, MIPS] Patch to fix MIPS optimization bug in combine

2015-10-23 Thread Eric Botcazou
> Here is the new patch that I am currently testing with your change and > incorporating Eric's comment. I included both test cases but renamed > yours and put it into gcc.dg/torture. Does the code in combine.c to > address Eric's comment look OK to you? > > Steve Ellcey > steve.ell...@imgtec.co

[committed] Use make_constraint_from in intra_create_variable_infos

2015-10-23 Thread Tom de Vries
Hi, this no-functional-changes patch uses make_constraint_from in intra_create_variable_infos. Bootstrapped and reg-tested on x86_64. Committed as obvious. Thanks, - Tom Use make_constraint_from in intra_create_variable_infos 2015-10-23 Tom de Vries * tree-ssa-structalias.c (intra_crea

Re: [gomp4 00/14] NVPTX: further porting

2015-10-23 Thread Jakub Jelinek
On Thu, Oct 22, 2015 at 07:16:49PM +0200, Bernd Schmidt wrote: > I'm not really familiar with OpenMP and what it allows, so take all my > comments with a grain of salt. The OpenMP execution/data sharing model for the target regions is very roughly that variables referenced in the various construct

Re: [mask-load, patch 1/2] Use boolean predicate for masked loads and store

2015-10-23 Thread Ilya Enkovich
2015-10-23 12:59 GMT+03:00 Richard Biener : > > ICK. So what does the above do? It basically preserves the boolean condition > as "mask" unless ... we ought to swap it (formerly easy, just swap arguments > of the cond_expr, now a bit harder, we need to invert the condition). But I > don't unders

[Ada] Detection of lingering ignored Ghost code

2015-10-23 Thread Arnaud Charlet
This patch updates the generation of external symbol names to add a special prefix for ignored Ghost entities. The prefix aids in the detection of leaking ignored Ghost code in object/binary files. The reproducer showcases the usage. -- Source -- -- pack_pre.ads packag

Re: [mask-load, patch 1/2] Use boolean predicate for masked loads and store

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 12:23 PM, Ilya Enkovich wrote: > 2015-10-23 12:59 GMT+03:00 Richard Biener : >> >> ICK. So what does the above do? It basically preserves the boolean >> condition >> as "mask" unless ... we ought to swap it (formerly easy, just swap arguments >> of the cond_expr, now a b

Re: [mask-load, patch 1/2] Use boolean predicate for masked loads and store

2015-10-23 Thread Ilya Enkovich
2015-10-23 13:32 GMT+03:00 Richard Biener : > On Fri, Oct 23, 2015 at 12:23 PM, Ilya Enkovich > wrote: >> 2015-10-23 12:59 GMT+03:00 Richard Biener : >>> >>> ICK. So what does the above do? It basically preserves the boolean >>> condition >>> as "mask" unless ... we ought to swap it (formerly

[Ada] Unconstrained build-in-place return in block statement

2015-10-23 Thread Arnaud Charlet
For a build-in-place return of an unconstrained limited type (for example, a limited class-wide type), the result is returned on the secondary stack. This patch fixes a bug in the case where the return statement is inside a block statement nested inside the function, and that block uses the seconda

Re: [gomp4 00/14] NVPTX: further porting

2015-10-23 Thread Bernd Schmidt
On 10/23/2015 12:16 PM, Jakub Jelinek wrote: On Thu, Oct 22, 2015 at 07:16:49PM +0200, Bernd Schmidt wrote: I'm not really familiar with OpenMP and what it allows, so take all my comments with a grain of salt. So [snip - really good example] Thanks! So what I was trying to describe as a

[gomp4] Merge gomp-4_1-branch r226438 (2015-07-31) into gomp-4_0-branch

2015-10-23 Thread Thomas Schwinge
Hi! On Fri, 23 Oct 2015 10:07:49 +0200, Thomas Schwinge wrote: > On Mon, 19 Oct 2015 17:54:46 +0200, I wrote: > > [...] Jakub's big "Merge from > > gomp-4_1-branch to trunk", > > . > > Instead of attem

[testsuite, committed, PR68063] Add missing private clause in libgomp.c++/member-2.C

2015-10-23 Thread Tom de Vries
Hi Jakub, this patch adds a missing private clause in libgomp.c++/member-2.C (as you suggested in the PR). This allows the test to succeed consistently. Committed to trunk. Thanks, - Tom Add missing private clause in libgomp.c++/member-2.C 2015-10-23 Tom de Vries PR testsuite/68063 *

Re: [testsuite, committed, PR68063] Add missing private clause in libgomp.c++/member-2.C

2015-10-23 Thread Jakub Jelinek
On Fri, Oct 23, 2015 at 12:48:57PM +0200, Tom de Vries wrote: > Hi Jakub, > > this patch adds a missing private clause in libgomp.c++/member-2.C (as you > suggested in the PR). > > This allows the test to succeed consistently. > > Committed to trunk. Thanks. > Add missing private clause in lib

Re: Move int rounding folds to match.pd

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 11:47 AM, Richard Sandiford wrote: > Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi. > OK to install? Ok. Thanks, Richard. > Thanks, > Richard > > > gcc/ > * builtins.c (do_real_to_int_conversion): New function. > (fold_fixed_mathfn,

[Ada] Consistent setting of Pure flag on function with address parameters.

2015-10-23 Thread Arnaud Charlet
A subprogram that has an Address parameter and is declared in a Pure package is not considered Pure, because the parameter may be used as a pointer and the referenced data may change even if the address value itself does not. This check was previously performed only on the subprogram body, leading

Re: [PATCH] 2015-10-19 Benedikt Huber Philipp Tomsich

2015-10-23 Thread Bernd Schmidt
On 10/22/2015 12:13 PM, Benedikt Huber wrote: https://gcc.gnu.org/contribute.html states "If you do not have write access and a patch of yours has been approved, but not committed, please advise the approver of that fact. You may want to point out lack of write access in your initial submissio

[PATCH] Fix genmatch dependencies

2015-10-23 Thread Richard Biener
Noticed it doesn't properly re-build for tree.def changes. Built on x86_64, applied. Richard. 2015-10-23 Richard Biener * Makefile.in (build/genmatch.o): Properly depend on is-a.h, tree.def and builtins.def. Index: gcc/Makefile.in ===

Re: [PATCH] 2015-10-19 Benedikt Huber Philipp Tomsich

2015-10-23 Thread Benedikt Huber
> I guess the first question would be, have you done the copyright assignment? Yes, I have already done that. signature.asc Description: Message signed with OpenPGP using GPGMail

Re: [Boolean Vector, patch 1/5] Introduce boolean vector to be used as a vector comparison type

2015-10-23 Thread Ilya Enkovich
On 23 Oct 11:40, Richard Biener wrote: > On Thu, Oct 22, 2015 at 6:21 PM, Ilya Enkovich wrote: > > On 22 Oct 12:37, Andreas Schwab wrote: > >> Ilya Enkovich writes: > >> > >> > 2015-10-22 13:13 GMT+03:00 Andreas Schwab : > >> >> FAIL: gcc.c-torture/compile/pr54713-1.c -O0 (internal compiler er

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-23 Thread Bernd Schmidt
On 10/21/2015 12:10 AM, Joseph Myers wrote: On Tue, 20 Oct 2015, Bernd Schmidt wrote: How about &a.v[2].a and &a.v[2].b I don't think either is valid. typedef struct FA5_7 { int i; char a5_7 [5][7]; } FA5_7; __builtin_offsetof (FA5_7, a5_7 [0][7]), // { dg-warning

Re: [PATCH v2] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-10-23 Thread Bernd Schmidt
On 10/13/2015 05:17 PM, Pierre-Marie de Rodat wrote: diff --git a/gcc/df-problems.c b/gcc/df-problems.c index c08ae36..56e1cf5 100644 --- a/gcc/df-problems.c +++ b/gcc/df-problems.c @@ -1464,9 +1464,12 @@ df_live_bb_local_compute (unsigned int bb_index) seen are included in the gen

Re: [RFA 1/2]: Don't ignore target_header_dir when deciding inhibit_libc

2015-10-23 Thread Bernd Schmidt
On 10/12/2015 11:58 AM, Ulrich Weigand wrote: Index: gcc/configure.ac === --- gcc/configure.ac(revision 228530) +++ gcc/configure.ac(working copy) @@ -1993,7 +1993,7 @@ elif test "x$TARGET_SYSTEM_ROOT" != x; t fi if tes

Re: Fwd: PING^3: [PATCH]: New configure options that make the compiler use -fPIE and -pie as default option

2015-10-23 Thread Marcus Shawcroft
Hi, This patch breaks the distinction between build and host. For example consider a configure along these lines: ./configure --host=aarch64-none-linux-gnu --target=aarch64-none-linux-gnu --build=x86_64-pc-linux-gnu Will result in: CXX_FOR_BUILD='g++' CXX='aarch64-none-linux-gnu-g++' the gcc/c

[PATCH] Remove superfluous code in intra_create_variable_infos

2015-10-23 Thread Tom de Vries
[ was: Re: [PATCH][PR67671] Handle restrict pointer references as restrict in AA ] On 22/09/15 16:02, Richard Biener wrote: On Tue, 22 Sep 2015, Tom de Vries wrote: >Hi, > >Consider this test-case: >... >struct ps >{ > int *__restrict__ p; >}; > >f (struct ps &__restrict__ ps1) >{ > *(ps1

[Patch] S/390: Fix symbol ref alignment

2015-10-23 Thread Robin Dapp
Hi, the attached patch fixes the treatment of symbol ref alignments for arrays and structs in S390. Until now, the NOT_NATURALLY_ALIGNED flag was not correctly set for array elements and structs larger than 8 bytes. Therefore, load relative instructions that require a specific alignment would not

[gomp4.5] Support lastprivate on distribute

2015-10-23 Thread Jakub Jelinek
Hi! This patch adds support for lastprivate clause on distribute construct (firstprivate+lastprivate on the same var is disallowed, as one can't synchronize between contention groups). Regtested on x86_64-linux (normal and intelmicemul offloading). 2015-10-23 Jakub Jelinek gcc/ * gim

[AArch64][PATCH 1/7] Add support for ARMv8.1 Adv.SIMD,instructions.

2015-10-23 Thread Matthew Wahab
The ARMv8.1 architecture extension adds two Adv.SIMD instructions, sqrdmlah and sqrdmlsh. This patch series adds the instructions to the AArch64 backend together with the ACLE feature macro and NEON intrinsics to make use of them. The instructions are enabled when -march=armv8.1-a is selected. To

[Ada] Instances of Ada.Unchecked_Conversion as volatile functions

2015-10-23 Thread Arnaud Charlet
This patch implements the following rule from the SPARK RM: 7.1.2 - (A protected function is also defined to be a volatile function,) as is an instance of Unchecked_Conversion where one or both of the actual Source and Target types are effectively volatile types. - -- Source

[AArch64][PATCH 2/7] Add sqrdmah, sqrdmsh instructions.

2015-10-23 Thread Matthew Wahab
The ARMv8.1 architecture extension adds two Adv.SIMD instructions, sqrdmlah and sqrdmlsh. This patch adds the instructions to the aarch64-simd patterns, making them conditional on the TARGET_SIMD_RDMA feature macro introduced in the previous patch. The instructions patterns are defined using unsp

Committed: Fix PR libgcc/66883

2015-10-23 Thread Joern Wolfgang Rennecke
2015-10-23 Joern Rennecke PR libgcc/66883 * config/epiphany/udivsi3-float.c: Fix CONCISE test, and comment typo. Index: config/epiphany/udivsi3-float.c === --- config/epiphany/udivsi3-float.c (revision 229235) +++ config/epip

[AArch64][PATCH 3/7] Add builtins for ARMv8.1 Adv.SIMD,instructions.

2015-10-23 Thread Matthew Wahab
The ARMv8.1 architecture extension adds two Adv.SIMD instructions, sqrdmlah and sqrdmlsh. This patch adds the GCC builtins to generate the new instructions which are needed for the NEON intrinsics added later in this series. Tested the series for aarch64-none-linux-gnu with native bootstrap and m

[Ada] Iterator subtypes

2015-10-23 Thread Arnaud Charlet
THis patch fixes an omission in the handling of iterators over containers. The code now handles properly an iterator type that is a subtype of the type obtained from an instantiation of the predefined iterator interfaces. Compiling and executing main.adb must yield: Element_T.F: 42 Element_T.F: 4

[AArch64][PATCH 4/7] Add ACLE feature macro for ARMv8.1,Adv.SIMD instructions.

2015-10-23 Thread Matthew Wahab
The ARMv8.1 architecture extension adds two Adv.SIMD instructions, sqrdmlah and sqrdmlsh. This patch adds the feature macro __ARM_FEATURE_QRDMX to indicate the presence of these instructions, generating it when the feature is available, as it is when -march=armv8.1-a is selected. Tested the serie

[Ada] Implement stack-checking on arm64-darwin.

2015-10-23 Thread Arnaud Charlet
Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-23 Tristan Gingold * init.c (__gnat_sigtramp): New assembly function for arm64-darwin. (__gnat_error_handler): Use trampoline for arm64. Index: init.c ===

[AArch64][dejagnu][PATCH 5/7] Dejagnu support for ARMv8.1 Adv.SIMD.

2015-10-23 Thread Matthew Wahab
The ARMv8.1 architecture extension adds two Adv.SIMD instructions,. This patch adds support in Dejagnu for ARMv8.1 Adv.SIMD specifiers and checks. The new test options are - { dg-add-options arm_v8_1a_neon }: Add compiler options needed to enable ARMv8.1 Adv.SIMD. - { dg-require-effective-targe

Re: [patch 1/3] Header file reduction - backend files.

2015-10-23 Thread Andrew MacLeod
On 10/23/2015 01:43 AM, Jeff Law wrote: On 10/22/2015 04:25 PM, Jeff Law wrote: On 10/01/2015 08:33 PM, Andrew MacLeod wrote: these are all in the main gcc directory. 297 files total. [ ... ] Out of time for now. More to follow... So a quirk of show-headers. Let's look at cgraphunit.c o

[AArch64][PATCH 6/7] Add NEON intrinsics vqrdmlah and vqrdmlsh.

2015-10-23 Thread Matthew Wahab
The ARMv8.1 architecture extension adds two Adv.SIMD instructions, sqrdmlah and sqrdmlsh. This patch adds the NEON intrinsics vqrdmlah and vqrdmlsh for these instructions. The new intrinsics are of the form vqrdml{as}h[q]_. Tested the series for aarch64-none-linux-gnu with native bootstrap and ma

[AArch64][PATCH 7/7] Add NEON intrinsics vqrdmlah_lane and vqrdmlsh_lane.

2015-10-23 Thread Matthew Wahab
The ARMv8.1 architecture extension adds two Adv.SIMD instructions, sqrdmlah and sqrdmlsh. This patch adds the NEON intrinsics vqrdmlah_lane and vqrdmlsh_lane for these instructions. The new intrinsics are of the form vqrdml{as}h[q]_lane_. Tested the series for aarch64-none-linux-gnu with native b

Re: Fwd: PING^3: [PATCH]: New configure options that make the compiler use -fPIE and -pie as default option

2015-10-23 Thread H.J. Lu
On Fri, Oct 23, 2015 at 4:54 AM, Marcus Shawcroft wrote: > Hi, > > This patch breaks the distinction between build and host. For example > consider a configure along these lines: > > ./configure --host=aarch64-none-linux-gnu > --target=aarch64-none-linux-gnu --build=x86_64-pc-linux-gnu > > Will re

Re: [PATCH] Remove superfluous code in intra_create_variable_infos

2015-10-23 Thread Richard Biener
On Fri, 23 Oct 2015, Tom de Vries wrote: > [ was: Re: [PATCH][PR67671] Handle restrict pointer references as restrict in > AA ] > > On 22/09/15 16:02, Richard Biener wrote: > > On Tue, 22 Sep 2015, Tom de Vries wrote: > > > > > >Hi, > > > > > > > >Consider this test-case: > > > >... > > > >struc

Re: [Boolean Vector, patch 1/5] Introduce boolean vector to be used as a vector comparison type

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 1:12 PM, Ilya Enkovich wrote: > On 23 Oct 11:40, Richard Biener wrote: >> On Thu, Oct 22, 2015 at 6:21 PM, Ilya Enkovich >> wrote: >> > On 22 Oct 12:37, Andreas Schwab wrote: >> >> Ilya Enkovich writes: >> >> >> >> > 2015-10-22 13:13 GMT+03:00 Andreas Schwab : >> >> >> F

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Nathan Sidwell
On 10/23/15 04:25, Jakub Jelinek wrote: On Thu, Oct 22, 2015 at 02:06:54PM -0400, Nathan Sidwell wrote: On 10/22/15 10:26, Richard Biener wrote: On Thu, Oct 22, 2015 at 4:01 PM, Nathan Sidwell wrote: On 10/22/15 04:07, Richard Biener wrote: Yeah, please make them either end or start a BB so

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Richard Biener
On Fri, Oct 23, 2015 at 2:57 PM, Nathan Sidwell wrote: > On 10/23/15 04:25, Jakub Jelinek wrote: >> >> On Thu, Oct 22, 2015 at 02:06:54PM -0400, Nathan Sidwell wrote: >>> >>> On 10/22/15 10:26, Richard Biener wrote: On Thu, Oct 22, 2015 at 4:01 PM, Nathan Sidwell wrote: > > On 1

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Jakub Jelinek
On Fri, Oct 23, 2015 at 08:57:17AM -0400, Nathan Sidwell wrote: > >If you want to force end of a BB after the IFN_UNIQUE call, then you can just > >gimple_call_set_ctrl_altering (gcall, true); > >on it, and probably tweak gimple_call_initialize_ctrl_altering > >so that it does that by default. Plu

Re: [PATCH] x86 interrupt attribute

2015-10-23 Thread Yulia Koval
Added fix for PR68037. Bootstraped/regtested on Linux/x86_64. Implement x86 interrupt attribute The interrupt and exception handlers are called by x86 processors. X86 hardware pushes information onto stack and calls the handler. The requirements are 1. Both interrupt and except

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Nathan Sidwell
On 10/23/15 09:03, Richard Biener wrote: It's a hack. I don't like hacks. One person's hack can be another person's pragmatism :) I think the requirement "don't duplicate me" but inlining is ok is somewhat broken. The requirement is that the SESE region formed by the markers remains as a

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Jakub Jelinek
On Fri, Oct 23, 2015 at 09:13:43AM -0400, Nathan Sidwell wrote: > You're correct that the SESE region could be split across a function > boundary in the manner you describe, but the complexity of dealing with > that in the backend's partitioning code would be high. Let's not try and > enable that

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Nathan Sidwell
On 10/23/15 09:03, Jakub Jelinek wrote: On Fri, Oct 23, 2015 at 08:57:17AM -0400, Nathan Sidwell wrote: If this is during the omplower pass, then it is before cfg pass and therefore all you need is tweak the gimple_call_initialize_ctrl_altering function and the cfg pass will DTRT. ok, thanks

[gomp4] Merge gomp-4_1-branch r228761 (2015-10-13) into gomp-4_0-branch

2015-10-23 Thread Thomas Schwinge
Hi! On Fri, 23 Oct 2015 12:48:23 +0200, I wrote: > On Fri, 23 Oct 2015 10:07:49 +0200, I wrote: > > On Mon, 19 Oct 2015 17:54:46 +0200, I wrote: > > > [...] Jakub's big "Merge from > > > gomp-4_1-branch to trunk", > > >

[gomp4] Merge trunk r228777 (2015-10-13) into gomp-4_0-branch

2015-10-23 Thread Thomas Schwinge
Hi! On Fri, 23 Oct 2015 15:38:31 +0200, I wrote: > On Fri, 23 Oct 2015 12:48:23 +0200, I wrote: > > On Fri, 23 Oct 2015 10:07:49 +0200, I wrote: > > > On Mon, 19 Oct 2015 17:54:46 +0200, I wrote: > > > > [...] Jakub's big "Merge from > > > > gomp-4_1-branch to trunk", > > > >

Re: [gomp4] Merge gomp-4_1-branch r228761 (2015-10-13) into gomp-4_0-branch

2015-10-23 Thread Jakub Jelinek
On Fri, Oct 23, 2015 at 03:38:31PM +0200, Thomas Schwinge wrote: > Hi! > > On Fri, 23 Oct 2015 12:48:23 +0200, I wrote: > > On Fri, 23 Oct 2015 10:07:49 +0200, I wrote: > > > On Mon, 19 Oct 2015 17:54:46 +0200, I wrote: > > > > [...] Jakub's big "Merge from > > > > gomp-4_1-branch to trunk", > > >

Re: [PATCH, VECTOR ABI] Add __attribute__((__simd__)) to GCC.

2015-10-23 Thread Kirill Yukhin
Hello Joseph, On 22 Oct 12:48, Joseph Myers wrote: > On Thu, 22 Oct 2015, Kirill Yukhin wrote: > > > Ping? > > You need to update this patch to take account of Marek's fix for bug 67964 > (it was because I was suspicious of the "continue;" in this patch > accepting invalid syntax that I found t

Re: [PATCH, VECTOR ABI] Add __attribute__((__simd__)) to GCC.

2015-10-23 Thread Joseph Myers
On Fri, 23 Oct 2015, Kirill Yukhin wrote: > > You need to update this patch to take account of Marek's fix for bug 67964 > > (it was because I was suspicious of the "continue;" in this patch > > accepting invalid syntax that I found that bug), retest and resubmit. > I've rebased the patch on top

Re: Fwd: PING^3: [PATCH]: New configure options that make the compiler use -fPIE and -pie as default option

2015-10-23 Thread Marcus Shawcroft
On 23 October 2015 at 13:34, H.J. Lu wrote: > On Fri, Oct 23, 2015 at 4:54 AM, Marcus Shawcroft > wrote: >> Hi, >> >> This patch breaks the distinction between build and host. For example >> consider a configure along these lines: >> >> ./configure --host=aarch64-none-linux-gnu >> --target=aarch6

Re: [patch] Add counter inits to zero_iter_bb in expand_omp_for_init_counts

2015-10-23 Thread Thomas Schwinge
Hi Jakub and Tom! On Thu, 1 Oct 2015 15:37:26 +0200, Tom de Vries wrote: > On 01/10/15 14:49, Jakub Jelinek wrote: > > On Thu, Oct 01, 2015 at 02:46:01PM +0200, Tom de Vries wrote: > >> this patch adds initialization in zero_iter_bb of counters introduced in > >> expand_omp_for_init_counts. > >>

Re: [OpenACC 1/11] UNIQUE internal function

2015-10-23 Thread Nathan Sidwell
On 10/23/15 09:16, Jakub Jelinek wrote: On Fri, Oct 23, 2015 at 09:13:43AM -0400, Nathan Sidwell wrote: You're correct that the SESE region could be split across a function boundary in the manner you describe, but the complexity of dealing with that in the backend's partitioning code would be h

Re: [gomp4] Merge gomp-4_1-branch r228761 (2015-10-13) into gomp-4_0-branch

2015-10-23 Thread Thomas Schwinge
Hi Jakub! On Fri, 23 Oct 2015 15:58:47 +0200, Jakub Jelinek wrote: > On Fri, Oct 23, 2015 at 03:38:31PM +0200, Thomas Schwinge wrote: > > On Fri, 23 Oct 2015 12:48:23 +0200, I wrote: > > > On Fri, 23 Oct 2015 10:07:49 +0200, I wrote: > > > > On Mon, 19 Oct 2015 17:54:46 +0200, I wrote: > > > > >

RE: FW: [PATCH] Target hook for disabling the delay slot filler.

2015-10-23 Thread Simon Dardis
> -Original Message- > From: Jeff Law [mailto:l...@redhat.com] > Sent: 08 October 2015 20:44 > To: Simon Dardis; Bernd Schmidt > Cc: gcc-patches@gcc.gnu.org > Subject: Re: FW: [PATCH] Target hook for disabling the delay slot filler. > > On 09/18/2015 05:10 AM, Simon Dardis wrote: > >> Ar

Move cexp simplifications to match.pd

2015-10-23 Thread Richard Sandiford
This required reinstating support for captures in the result of a simplification. That part (genmatch.c) is by Richard B. Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi. OK to install? Thanks, Richard gcc/ 2015-10-20 Richard Sandiford Richard Biener

Re: [patch 1/3] Header file reduction - backend files.

2015-10-23 Thread Jeff Law
On 10/23/2015 06:24 AM, Andrew MacLeod wrote: Hmm. yeah, It was mostly intended to show you what structure you have and are getting indirectly, not so much indicate that you actually include things directly twice.It utilizes a common function which returns unique header files (find_unique_

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-23 Thread Martin Sebor
On 10/23/2015 05:13 AM, Bernd Schmidt wrote: On 10/21/2015 12:10 AM, Joseph Myers wrote: On Tue, 20 Oct 2015, Bernd Schmidt wrote: How about &a.v[2].a and &a.v[2].b I don't think either is valid. typedef struct FA5_7 { int i; char a5_7 [5][7]; } FA5_7; __builtin_offsetof

Re: [PATCH] tree-scalar-evolution.c: Handle LSHIFT by constant

2015-10-23 Thread Alan Lawrence
On 19/10/15 12:49, Richard Biener wrote: > Err, you should always do the shift in the type of rhs1. You should also > avoid the chrec_convert of rhs2 above for shifts. Err, yes, indeed. Needed to keep the chrec_convert before the chrec_fold_multiply, and the rest followed. How's this? Bootstr

[PATCH] PR/67682, break SLP groups up if only some elements match

2015-10-23 Thread Alan Lawrence
vect_analyze_slp_instance currently only creates an slp_instance if _all_ stores in a group fitted the same pattern. This patch splits non-matching groups up on vector boundaries, allowing only part of the group to be SLP'd, or multiple subgroups to be SLP'd differently. The algorithm could be mad

[PATCH, PR68062] Fix uniform vector operation lowering

2015-10-23 Thread Ilya Enkovich
Hi, This patch checks optab exists before using it vector vector statement lowering. It fixes compilation of test from PR68062 with -funsigned-char option added (doesn't fix original testcase). Bootstrapped for x86_64-unknown-linux-gnu. OK for trunk if no regressions? Thanks, Ilya -- gcc/

[PATCH, committed] Fix uninitialized variable warning

2015-10-23 Thread Ilya Enkovich
Hi, This patch fixes uninitialized variable warning. Applied to trunk. Thanks, Ilya -- gcc/ 2015-10-23 Ilya Enkovich * tree-vect-generic.c (expand_vector_condition): Avoid uninitialized variable warning. diff --git a/gcc/tree-vect-generic.c b/gcc/tree-vect-generic.c index

PATCH: Fix cross build for CXX_FOR_BUILD != CXX

2015-10-23 Thread H.J. Lu
On Fri, Oct 23, 2015 at 7:23 AM, Marcus Shawcroft wrote: > On 23 October 2015 at 13:34, H.J. Lu wrote: >> On Fri, Oct 23, 2015 at 4:54 AM, Marcus Shawcroft >> wrote: >>> Hi, >>> >>> This patch breaks the distinction between build and host. For example >>> consider a configure along these lines:

Re: Partial fix for LTO bootstrap with Ada

2015-10-23 Thread Tom de Vries
[ added missing cc of gcc-patches ] On 23/10/15 17:46, Tom de Vries wrote: [ Quote-pasted from https://gcc.gnu.org/ml/gcc-patches/2012-01/msg01077.html ] The LTO bootstrap of the Ada compiler is currently plagued by at least three different problems. The attached patch is for the easy one: it

Re: [Bulk] [OpenACC 0/7] host_data construct

2015-10-23 Thread James Norris
Hi, This a re-posting of the original note incorporating the suggestions from Joseph and Nathan (thank you). This patch adds the processing of OpenACC host_data construct in C and C++. (Note: Support in Fortran is already in trunk.) The patch also adds the required support in the mid

Re: [patch 1/3] Header file reduction - backend files.

2015-10-23 Thread Andrew MacLeod
On 10/23/2015 11:11 AM, Jeff Law wrote: On 10/23/2015 06:24 AM, Andrew MacLeod wrote: Hmm. yeah, It was mostly intended to show you what structure you have and are getting indirectly, not so much indicate that you actually include things directly twice.It utilizes a common function which

RE: [PATCH] select isl-0.15 in download_prerequisites

2015-10-23 Thread VandeVondele Joost
> I think it is fine to bump the default version of isl to be downloaded by > default. > Are there other reviewers who would oppose committing this patch? So, OK for trunk ?

Re: [PATCH] select isl-0.15 in download_prerequisites

2015-10-23 Thread Szabolcs Nagy
On 05/09/15 17:46, VandeVondele Joost wrote: can 4.8 and 4.9 be built with isl-0.15? The patch only influences an in-tree build of isl for trunk, so does it matter ? can isl-0.15 be built with 4.8 and 4.9? ..with an old libc? (i remember seeing isl-0.14 fail because max_align_t or something

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-23 Thread Joseph Myers
On Fri, 23 Oct 2015, Martin Sebor wrote: > But now that I'm re-reading the answer above I see that Joseph > was suggesting that a5_7[5][0] should be diagnosed when the patch > accepts it as an extension. I think we do want to accept it > because a5_7 is treated as a flexible array member (as an e

  1   2   3   >