Re: [PATCH][GIMPLE FE] Split out parser into separate file

2016-10-27 Thread Richard Biener
On Thu, 27 Oct 2016, Trevor Saunders wrote: > On Tue, Oct 25, 2016 at 03:33:36PM +0200, Richard Biener wrote: > > > > Hi, > > > > so I did the massaging to split out the GIMPLE parsing routines out > > to a separate file (quite tricky to get the gengtype issues correctly > > so I thought to help

Re: [PR debug/77773] segfault when compiling __simd64_float16_t with -g

2016-10-27 Thread Richard Biener
On Wed, Oct 26, 2016 at 9:17 PM, Aldy Hernandez wrote: > The following one-liner segfaults on arm-eabi when compiled with > -mfloat-abi=hard -g: > > __simd64_float16_t usingit; > > The problem is that the pretty printer (in simple_type_specificer()) is > dereferencing a NULL result from c_

Re: [PATCH GCC][1/4]Simplify (convert1 (minmax ((convert2 (x) c)))) into minmax (x c)

2016-10-27 Thread Richard Biener
On Wed, Oct 26, 2016 at 5:22 PM, Bin.Cheng wrote: > On Wed, Oct 26, 2016 at 4:05 PM, Marc Glisse wrote: >> On Wed, 26 Oct 2016, Bin.Cheng wrote: >> >>> On Wed, Oct 26, 2016 at 3:10 PM, Bin.Cheng wrote: On Wed, Oct 26, 2016 at 3:04 PM, Marc Glisse wrote: > > On Wed, 26 Oct

[PATCH] Fix host_size_t_cst_p predicate

2016-10-27 Thread Martin Liška
Running simple test-case w/o the proper header file causes ICE: strncmp ("a", "b", -1); 0xe74462 tree_to_uhwi(tree_node const*) ../../gcc/tree.c:7324 0x90a23f host_size_t_cst_p ../../gcc/fold-const-call.c:63 0x90a23f fold_const_call(combined_fn, tree_node*, tree_node*, tree_node*,

Re: [SPARC] Housekeeping work

2016-10-27 Thread Rainer Orth
Hi Eric, > No functional changes. > > Tested on SPARC/Solaris, applied on the mainline. > > > 2016-10-25 Eric Botcazou > > * config.gcc (sparc*-*-solaris2*): Adjust. > (sparc64-*-linux*): Likewise. > * config/sparc/default-64.h: Rename to... > * config/sparc/default64.h:

[PATCH][SUSPENDED] Teach the SSA propagator to propagate values

2016-10-27 Thread Richard Biener
This makes the SSA propagator safe to be used when the using pass propagates SSA names optimistically thus it really does value-numbering where the value of a SSA name might not be available at each use. This happens when in PHI handling we merge a SSA name with UNDEFINED to the SSA name. Both C

Re: [PATCH, Fortran] DEC Compatibility: Logical operations on integers become bitwise ops with -fdec

2016-10-27 Thread Andreas Schwab
I have filed PR78128, this may be a target bug. Andreas. -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different."

Re: [PATCH, ARM 5/7, ping3] Adapt other atomic operations to ARMv8-M Baseline

2016-10-27 Thread Kyrill Tkachov
Hi Thomas, On 24/10/16 09:05, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 14/10/16 14:51, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 03/10/16 17:45, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 22/09/16 14:47, Thomas Preudhomme wrote: Hi, This patch

Re: [PATCH, ARM 7/7, ping3] Enable ARMv8-M atomic and synchronization support for ARMv8-M Baseline

2016-10-27 Thread Kyrill Tkachov
Hi Thomas, On 24/10/16 09:06, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 14/10/16 14:51, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 03/10/16 17:46, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 22/09/16 14:50, Thomas Preudhomme wrote: Hi, This patch

Re: [PATCH, ARM 7/7, ping3] Enable ARMv8-M atomic and synchronization support for ARMv8-M Baseline

2016-10-27 Thread Thomas Preudhomme
On 27/10/16 10:05, Kyrill Tkachov wrote: Hi Thomas, On 24/10/16 09:06, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 14/10/16 14:51, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 03/10/16 17:46, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 22/09/16 14:50

[PATCH][GIMPLE FE] Add some missing handling of memory refs

2016-10-27 Thread Richard Biener
This adds __realpart / __imagpart handling as well as simple -> and . handling (it doesn't nest yet). Tested on x86_64-unknown-linux-gnu, applied. Richard. 2016-10-27 Richard Biener c/ * gimple-parser.c (c_parser_gimple_compound_statement): Simplify. Do not allow mix

[PATCH][GIMPLE FE] Handle nested component refs

2016-10-27 Thread Richard Biener
Just a loop was missing. Tested on x86_64-unknown-linux-gnu. Richard. 2016-10-27 Richard Biener c/ * gimple-parser.c (c_parser_gimple_postfix_expression_after_primary): Add missing outer loop. * gcc.dg/gimplefe-15.c: Adjust. diff --git a/gcc/c/gimple-parser

Re: [PATCH, GCC/ARM 1/2, ping] Add multilib support for embedded bare-metal targets

2016-10-27 Thread Kyrill Tkachov
Hi Thomas, On 24/10/16 09:06, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 13/10/16 16:35, Thomas Preudhomme wrote: Hi ARM maintainers, This patchset aims at adding multilib support for R and M profile ARM architectures and allowing it to be built alongside multilib for A profile

Re: [PATCHv2 1/7, GCC, ARM, V8M] Add support for ARMv8-M's Secure Extensions flag and intrinsics

2016-10-27 Thread Andre Vieira (lists)
On 26/10/16 14:00, Kyrill Tkachov wrote: > > On 26/10/16 10:12, Kyrill Tkachov wrote: >> Hi Andre, thanks for resending them. >> >> On 25/10/16 17:26, Andre Vieira (lists) wrote: >>> On 24/08/16 12:00, Andre Vieira (lists) wrote: On 25/07/16 14:19, Andre Vieira (lists) wrote: > This patch

Re: [PATCHv2 2/7, GCC, ARM, V8M] Handling ARMv8-M Security Extension's cmse_nonsecure_entry attribute

2016-10-27 Thread Andre Vieira (lists)
On 26/10/16 17:28, Kyrill Tkachov wrote: > > On 26/10/16 17:28, Andre Vieira (lists) wrote: >> On 26/10/16 10:33, Kyrill Tkachov wrote: >>> +static tree >>> +arm_handle_cmse_nonsecure_entry (tree *node, tree name, >>> + tree /* args */, >>> + int /* flags */, >>> +

Re: [PATCH 3/7, GCC, ARM, V8M] ARMv8-M Security Extension's cmse_nonsecure_entry: __acle_se label and bxns return

2016-10-27 Thread Andre Vieira (lists)
On 26/10/16 11:03, Kyrill Tkachov wrote: > Hi Andre, > > On 25/10/16 17:28, Andre Vieira (lists) wrote: >> On 25/07/16 14:23, Andre Vieira (lists) wrote: >>> This patch extends support for the ARMv8-M Security Extensions >>> 'cmse_nonsecure_entry' attribute in two ways: >>> >>> 1) Generate two lab

Re: [PATCHv2 4/7, GCC, ARM, V8M] ARMv8-M Security Extension's cmse_nonsecure_entry: clear registers

2016-10-27 Thread Andre Vieira (lists)
On 26/10/16 17:30, Kyrill Tkachov wrote: > > On 26/10/16 17:26, Andre Vieira (lists) wrote: >> On 26/10/16 13:51, Kyrill Tkachov wrote: >>> Hi Andre, >>> >>> On 25/10/16 17:29, Andre Vieira (lists) wrote: On 24/08/16 12:01, Andre Vieira (lists) wrote: > On 25/07/16 14:23, Andre Vieira (li

Re: [PATCHv2 5/7, GCC, ARM, V8M] Handling ARMv8-M Security Extension's cmse_nonsecure_call attribute

2016-10-27 Thread Andre Vieira (lists)
On 25/10/16 17:29, Andre Vieira (lists) wrote: > On 24/08/16 12:01, Andre Vieira (lists) wrote: >> On 25/07/16 14:25, Andre Vieira (lists) wrote: >>> This patch adds support for the ARMv8-M Security Extensions >>> 'cmse_nonsecure_call' attribute. This attribute may only be used for >>> function typ

Re: [PATCHv2 6/7, GCC, ARM, V8M] ARMv8-M Security Extension's cmse_nonsecure_call: use __gnu_cmse_nonsecure_call

2016-10-27 Thread Andre Vieira (lists)
On 25/10/16 17:30, Andre Vieira (lists) wrote: > On 24/08/16 12:01, Andre Vieira (lists) wrote: >> On 25/07/16 14:26, Andre Vieira (lists) wrote: >>> This patch extends support for the ARMv8-M Security Extensions >>> 'cmse_nonsecure_call' to use a new library function >>> '__gnu_cmse_nonsecure_call

Re: [PATCHv2 1/7, GCC, ARM, V8M] Add support for ARMv8-M's Secure Extensions flag and intrinsics

2016-10-27 Thread Kyrill Tkachov
On 27/10/16 10:53, Andre Vieira (lists) wrote: On 26/10/16 14:00, Kyrill Tkachov wrote: On 26/10/16 10:12, Kyrill Tkachov wrote: Hi Andre, thanks for resending them. On 25/10/16 17:26, Andre Vieira (lists) wrote: On 24/08/16 12:00, Andre Vieira (lists) wrote: On 25/07/16 14:19, Andre Vieira

[PATCH][GIMPLE FE] Fix SSA name parsing

2016-10-27 Thread Richard Biener
The following handles parsing SSA names where it belongs so that p_1(D)->a also works. Tested on x86_64-unknown-linux-gnu, applied. Richard. 2016-10-27 Richard Biener c/ * gimple-parser.c (c_parser_gimple_unary_expression): Move SSA name handling ... (c_parse

Re: [patch,testsuite] Support dg-require-effective-target label_offsets.

2016-10-27 Thread Georg-Johann Lay
On 26.10.2016 18:51, Bernd Schmidt wrote: On 10/26/2016 04:46 PM, Georg-Johann Lay wrote: +if { [istarget avr-*-*] } { +# If the value of a label does not fit into 16 bits, the linker +# will generate a stub (containing a direct jump) and we end up +# with the address of the stub

Re: [PATCH][GIMPLE FE] Split out parser into separate file

2016-10-27 Thread Trevor Saunders
On Thu, Oct 27, 2016 at 09:28:31AM +0200, Richard Biener wrote: > On Thu, 27 Oct 2016, Trevor Saunders wrote: > > > On Tue, Oct 25, 2016 at 03:33:36PM +0200, Richard Biener wrote: > > > > > > Hi, > > > > > > so I did the massaging to split out the GIMPLE parsing routines out > > > to a separate

Re: [PATCHv2 2/7, GCC, ARM, V8M] Handling ARMv8-M Security Extension's cmse_nonsecure_entry attribute

2016-10-27 Thread Kyrill Tkachov
On 27/10/16 10:54, Andre Vieira (lists) wrote: On 26/10/16 17:28, Kyrill Tkachov wrote: On 26/10/16 17:28, Andre Vieira (lists) wrote: On 26/10/16 10:33, Kyrill Tkachov wrote: +static tree +arm_handle_cmse_nonsecure_entry (tree *node, tree name, + tree /* args */, +

Re: [PATCH, ARM 5/7, ping3] Adapt other atomic operations to ARMv8-M Baseline

2016-10-27 Thread Thomas Preudhomme
On 27/10/16 09:50, Kyrill Tkachov wrote: Hi Thomas, On 24/10/16 09:05, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 14/10/16 14:51, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 03/10/16 17:45, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 22/09/16 14:47

[PATCH][AARCH64]Skip gcc.target/aarch64/pr66912.c in tiny or large memory model.

2016-10-27 Thread Renlin Li
Hi all, This a simple patch to fix gcc.target/aarch64/pr66912.c. It's a test case only applicable to small memory model which is the default one. It has been tested to run only when the memory model is small. Okay to commit? Regards, Renlin Li gcc/testsuite/ChangeLog: 2016-10-27 Renlin Li

[libgcc] Protect __TMC_END__ - __TMC_LIST__ == 0

2016-10-27 Thread Marc Glisse
Hello, some optimization patch I was working on simplified __TMC_END__ - __TMC_LIST__ == 0 to false, which is not wanted (I assume that's why it wasn't written __TMC_END__ == __TMC_LIST__ in the first place). Bootstrap+regtest on powerpc64le-unknown-linux-gnu. 2016-10-27 Marc Glisse

Re: [PATCH][GIMPLE FE] Split out parser into separate file

2016-10-27 Thread Richard Biener
On Thu, 27 Oct 2016, Trevor Saunders wrote: > On Thu, Oct 27, 2016 at 09:28:31AM +0200, Richard Biener wrote: > > On Thu, 27 Oct 2016, Trevor Saunders wrote: > > > > > On Tue, Oct 25, 2016 at 03:33:36PM +0200, Richard Biener wrote: > > > > > > > > Hi, > > > > > > > > so I did the massaging to s

Re: [PATCHv2 4/7, GCC, ARM, V8M] ARMv8-M Security Extension's cmse_nonsecure_entry: clear registers

2016-10-27 Thread Kyrill Tkachov
On 27/10/16 11:00, Andre Vieira (lists) wrote: On 26/10/16 17:30, Kyrill Tkachov wrote: On 26/10/16 17:26, Andre Vieira (lists) wrote: On 26/10/16 13:51, Kyrill Tkachov wrote: Hi Andre, On 25/10/16 17:29, Andre Vieira (lists) wrote: On 24/08/16 12:01, Andre Vieira (lists) wrote: On 25/07/1

Re: [PATCH][AARCH64]Skip gcc.target/aarch64/pr66912.c in tiny or large memory model.

2016-10-27 Thread Szabolcs Nagy
On 27/10/16 11:25, Renlin Li wrote: > Hi all, > > This a simple patch to fix gcc.target/aarch64/pr66912.c. > It's a test case only applicable to small memory model which is the default > one. > /* { dg-final { scan-assembler ":got(page_lo15)?:n_common" } } */ i think this is supposed to work

Re: [patch,testsuite] Support dg-require-effective-target label_offsets.

2016-10-27 Thread Bernd Schmidt
On 10/27/2016 12:16 PM, Georg-Johann Lay wrote: Now imagine some arithmetic like &&LAB2 - &&LAB1. This might result in one or two stub addresses, and difference between such addresses is a complete different thing than the difference between the original labels: The result might differ in absol

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Andreas Schwab
+open(unit=fd,file=f,action='read',readonly) > +close(unit=fd,status='delete') ! XFAIL "protected by READONLY" > + > +end At line 12 of file /usr/local/gcc/gcc-20161027/gcc/testsuite/gfortran.dg/dec_io_6.f90 (unit = 8) Fortran runtime error: Cannot open file

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Jakub Jelinek
t; > +! > > + > > +implicit none > > + > > +integer :: fd = 8 > > +character(*), parameter :: f = "test.txt" > > + > > +open(unit=fd,file=f,action='read',readonly) > > +close(unit=fd,status='delete') ! XFAIL "protected by

Re: [PATCH][AARCH64]Skip gcc.target/aarch64/pr66912.c in tiny or large memory model.

2016-10-27 Thread Renlin Li
Hi, On 27/10/16 11:48, Szabolcs Nagy wrote: On 27/10/16 11:25, Renlin Li wrote: Hi all, This a simple patch to fix gcc.target/aarch64/pr66912.c. It's a test case only applicable to small memory model which is the default one. /* { dg-final { scan-assembler ":got(page_lo15)?:n_common" } }

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Fritz Reese
On Thu, Oct 27, 2016 at 7:02 AM Andreas Schwab wrote: ... > At line 12 of file > /usr/local/gcc/gcc-20161027/gcc/testsuite/gfortran.dg/dec_io_6.f90 (unit = 8) > Fortran runtime error: Cannot open file 'test.txt': No such file or directory > Indeed. From: Fritz Reese Dat

[PATCH, LIBGCC] Avoid count_leading_zeros with undefined result (PR 78067)

2016-10-27 Thread Bernd Edlinger
Hi, by code reading I became aware that libgcc can call count_leading_zeros in certain cases which can give undefined results. This happens on signed int128 -> float or double conversions, when the int128 is in the range INT64_MAX+1 to UINT64_MAX. On x86_64, there is (more or less by chance) no

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Jakub Jelinek
On Thu, Oct 27, 2016 at 07:25:24AM -0400, Fritz Reese wrote: > On Thu, Oct 27, 2016 at 7:02 AM Andreas Schwab wrote: > ... > > At line 12 of file > > /usr/local/gcc/gcc-20161027/gcc/testsuite/gfortran.dg/dec_io_6.f90 (unit = > > 8) > > Fortran runtime error: Cannot

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Fritz Reese
On Thu, Oct 27, 2016 at 7:32 AM, Jakub Jelinek wrote: > On Thu, Oct 27, 2016 at 07:25:24AM -0400, Fritz Reese wrote: >> On Thu, Oct 27, 2016 at 7:02 AM Andreas Schwab wrote: >> ... >> > At line 12 of file >> > /usr/local/gcc/gcc-20161027/gcc/testsuite/gfortra

Re: RFC [3/3] divmod transform v2 - add test cases

2016-10-27 Thread Prathamesh Kulkarni
On 24 October 2016 at 21:09, Prathamesh Kulkarni wrote: > On 16 October 2016 at 11:31, Prathamesh Kulkarni > wrote: >> Hi, >> This patch adds test-cases for divmod transform. >> OK to commit ? > ping https://gcc.gnu.org/ml/gcc-patches/2016-10/msg01241.html Hi Richard, Could you please review this

Re: [PATCH, Fortran] DEC Compatibility: Logical operations on integers become bitwise ops with -fdec

2016-10-27 Thread Fritz Reese
How odd. Good catch. --- Fritz Reese On Thu, Oct 27, 2016 at 4:41 AM, Andreas Schwab wrote: > I have filed PR78128, this may be a target bug. > > Andreas. > > -- > Andreas Schwab, SUSE Labs, sch...@suse.de > GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 > "And now for

Re: [PATCH] Fix bootstrap with --enable-languages=all,go

2016-10-27 Thread Rainer Orth
Hi Jeff, > On 10/19/2016 06:13 AM, Rainer Orth wrote: >> Hi Jakub, >> 2016-10-01 Rainer Orth * configure.ac (target_libraries): Readd target-boehm-gc. Restore --enable-objc-gc handling. * configure: Regenerate. >>> >>> This is incomplete. I guess it can be com

Re: [PATCH] Fix bootstrap with --enable-languages=all,go

2016-10-27 Thread Rainer Orth
Hi Jeff, > On 10/19/2016 06:13 AM, Rainer Orth wrote: >> Hi Jakub, >> 2016-10-01 Rainer Orth * configure.ac (target_libraries): Readd target-boehm-gc. Restore --enable-objc-gc handling. * configure: Regenerate. >>> >>> This is incomplete. I guess it can be com

Re: [PATCH] Fix bootstrap with --enable-languages=all,go

2016-10-27 Thread Rainer Orth
Hi Jeff, > On 10/19/2016 06:13 AM, Rainer Orth wrote: >> Hi Jakub, >> 2016-10-01 Rainer Orth * configure.ac (target_libraries): Readd target-boehm-gc. Restore --enable-objc-gc handling. * configure: Regenerate. >>> >>> This is incomplete. I guess it can be com

Re: [PATCH] Fix bootstrap with --enable-languages=all,go

2016-10-27 Thread Rainer Orth
Hi Jeff, > On 10/19/2016 06:13 AM, Rainer Orth wrote: >> Hi Jakub, >> 2016-10-01 Rainer Orth * configure.ac (target_libraries): Readd target-boehm-gc. Restore --enable-objc-gc handling. * configure: Regenerate. >>> >>> This is incomplete. I guess it can be com

Re: [RFC] Handle unary pass-through jump functions for ipa-vrp

2016-10-27 Thread Martin Jambor
Hi, On Tue, Oct 25, 2016 at 10:18:25AM +1100, kugan wrote: > Hi, > > Attached RFC patch handles unary pass-through jump functions for ipa-vrp > such that in the following case: > > int bar (int j) > { > foo (~j); > foo (abs (j)); > foo (j); > return 0; > } Thanks for working on this. A

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Jakub Jelinek
On Thu, Oct 27, 2016 at 07:46:16AM -0400, Fritz Reese wrote: > > Shouldn't something also remove dec_io_5.txt file if it is created? > > Shall the (now xfailed, so not implemented yet?) runtime error terminate > > the program, or can it be also just deleted later on? If not, > > we'll need some dg

[PATCH][GIMPLE FE] Rewrite SSA name parsing

2016-10-27 Thread Richard Biener
This re-writes SSA name parsing to support declarations of anonymous SSA names (I restricted that to plaine _N thus w/o name for the moment to cater a bit for the ambiguity). It also should support non-SSA name PHI args now (esp. addresses), but no testcase yet as there seem to be bugs downstream

[PATCH][GIMPLE FE] Handle non-SSA PHI args

2016-10-27 Thread Richard Biener
Tested on x86_64-unknown-linux-gnu. Richard. 2016-10-27 Richard Biener * tree-into-ssa.c (rewrite_add_phi_arguments): Handle non-SSA PHI arguments from the GIMPLE FE. * gcc.dg/gimplefe-18.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/gimplefe-18.c b/gcc/testsu

[PATCH][GIMPLE FE] Dump anon SSA names w/o identifier

2016-10-27 Thread Richard Biener
The parser only groks those in declarations so make it easy and emit them that way with -gimple. Tested on x86_64-unknown-linux-gnu. Richard. 2016-10-27 Richard Biener * tree-pretty-print.c (dump_generic_node): For -gimple dump anonymous SSA names without identifier. diff -

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Fritz Reese
On Thu, Oct 27, 2016 at 8:16 AM, Jakub Jelinek wrote: > On Thu, Oct 27, 2016 at 07:46:16AM -0400, Fritz Reese wrote: >> > Shouldn't something also remove dec_io_5.txt file if it is created? >> > Shall the (now xfailed, so not implemented yet?) runtime error terminate >> > the program, or can it be

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Fritz Reese
On Thu, Oct 27, 2016 at 8:49 AM, Fritz Reese wrote: > From: Fritz Reese > Date: Thu, 27 Oct 2016 08:46:33 -0400 > Subject: [PATCH] Fix some DEC I/O testcases. > > gcc/testsuite/gfortran.dg/ > * dec_io_5.f90: Rename 'test.txt' to 'dec_io_5.txt'. > * dec_io_6.f90: Use 'dec_i

Re: [PATCH, LIBGCC] Avoid count_leading_zeros with undefined result (PR 78067)

2016-10-27 Thread Bernd Schmidt
On 10/27/2016 01:27 PM, Bernd Edlinger wrote: Hi, by code reading I became aware that libgcc can call count_leading_zeros in certain cases which can give undefined results. This happens on signed int128 -> float or double conversions, when the int128 is in the range INT64_MAX+1 to UINT64_MAX.

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Jakub Jelinek
On Thu, Oct 27, 2016 at 08:49:42AM -0400, Fritz Reese wrote: > The presence of "test.txt" in dec_io_6.f90 was an artifact of me using > the same "test.txt" file for all dec_io_1 through dec_io_5 in my own > private tests. Thus since "test.txt" already existed from my own tests > I didn't catch when

Re: [arm-embedded] [PATCH, 1/7] Move memory model declarations in memmodel.h

2016-10-27 Thread Thomas Preudhomme
On 22/09/16 17:41, Thomas Preudhomme wrote: Hi, We've decided to apply the following patch to ARM/embedded-6-branch. Sorry I meant ARM/embedded-5-branch. This has just been applied on ARM/embedded-6-branch as well 2 days ago (2016-10-25). Best regards, Thomas

Re: [arm-embedded] [PATCH, ARM 2/7] Adapt atomic and exclusive load and store to ARMv8-M Baseline

2016-10-27 Thread Thomas Preudhomme
On 22/09/16 17:41, Thomas Preudhomme wrote: Hi, We've decided to apply the following patch to ARM/embedded-6-branch. Sorry I meant ARM/embedded-5-branch. This has just been applied on ARM/embedded-6-branch as well 1 day ago (2016-10-26). Best regards, Thomas

Re: [arm-embedded] [PATCH, ARM 3/7] Refactor atomic compare_and_swap to make it fit for ARMv8-M Baseline

2016-10-27 Thread Thomas Preudhomme
On 22/09/16 17:41, Thomas Preudhomme wrote: Hi, We've decided to apply the following patch to ARM/embedded-6-branch. Sorry I meant ARM/embedded-5-branch. This has just been applied on ARM/embedded-6-branch as well 1 day ago (2016-10-26). Best regards, Thomas

Re: [arm-embedded] [PATCH, ARM 4/7] Adapt atomic compare and swap to ARMv8-M Baseline

2016-10-27 Thread Thomas Preudhomme
On 22/09/16 17:42, Thomas Preudhomme wrote: Hi, We've decided to apply the following patch to ARM/embedded-6-branch. Sorry I meant ARM/embedded-5-branch. This has just been applied on ARM/embedded-6-branch as well 1 day ago (2016-10-26). Best regards, Thomas

Re: [arm-embedded] [PATCH, ARM 5/7] Adapt other atomic operations to ARMv8-M Baseline

2016-10-27 Thread Thomas Preudhomme
On 22/09/16 17:42, Thomas Preudhomme wrote: Hi, We've decided to apply the following patch to ARM/embedded-6-branch. Sorry I meant ARM/embedded-5-branch. This has just been applied on ARM/embedded-6-branch as well today. Best regards, Thomas

Re: [arm-embedded] [PATCH, ARM/testsuite 6/7] Force soft float in ARMv6-M and ARMv8-M Baseline options

2016-10-27 Thread Thomas Preudhomme
On 22/09/16 17:42, Thomas Preudhomme wrote: Hi, We've decided to apply the following patch to ARM/embedded-6-branch. Sorry, I meant ARM/embedded-5-branch. Best regards, Thomas

Re: [arm-embedded] [PATCH, ARM 7/7] Enable ARMv8-M atomic and synchronization support for ARMv8-M Baseline

2016-10-27 Thread Thomas Preudhomme
On 22/09/16 17:43, Thomas Preudhomme wrote: Hi, We've decided to apply the following patch to ARM/embedded-6-branch. Sorry I meant ARM/embedded-5-branch. This has just been applied on ARM/embedded-6-branch as well today. Best regards, Thomas

[COMMITTED] Add myself to MAINTAINERS file

2016-10-27 Thread Andrew Burgess
I committed the patch below. Thanks, Andrew --- Index: ChangeLog === --- ChangeLog (revision 241618) +++ ChangeLog (revision 241619) @@ -1,3 +1,8 @@ +2016-10-27 Andrew Burgess + + * MAINTAINERS (Reviewers): Add myself.

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Fritz Reese
On Thu, Oct 27, 2016 at 8:52 AM, Jakub Jelinek wrote: > On Thu, Oct 27, 2016 at 08:49:42AM -0400, Fritz Reese wrote: >> >> Do you know if there is there any way from DG to verify that a runtime >> warning is emitted? > > Use dg-output for that. And, if the test is supposed to exit with non-zero >

Re: RFC [3/3] divmod transform v2 - add test cases

2016-10-27 Thread Richard Biener
On Thu, 27 Oct 2016, Prathamesh Kulkarni wrote: > On 24 October 2016 at 21:09, Prathamesh Kulkarni > wrote: > > On 16 October 2016 at 11:31, Prathamesh Kulkarni > > wrote: > >> Hi, > >> This patch adds test-cases for divmod transform. > >> OK to commit ? > > ping https://gcc.gnu.org/ml/gcc-patch

Re: [PATCH] GIMPLE store merging pass

2016-10-27 Thread Richard Biener
On Mon, 24 Oct 2016, Kyrill Tkachov wrote: > Hi all, > > This is a slight update over [1] with Richard's feedback addressed. > In terminate_all_aliasing_chains we now terminate the chain early if > the destination is writing to a base offset by a variable amount. > This avoids walking the store c

Re: RFC [2/3] divmod transform v2 - override expand_divmod_libfunc for ARM port

2016-10-27 Thread Prathamesh Kulkarni
On 26 October 2016 at 18:51, Kyrill Tkachov wrote: > > On 16/10/16 07:00, Prathamesh Kulkarni wrote: >> >> Hi, >> This patch overrides expand_divmod_libfunc hook for ARM port. >> I separated the SImode tests into separate file from DImode tests >> because certain arm configs (cortex-15) have hardw

Re: [PATCH GCC][3/4]Add support for constant operand in pattern (convert (op:s (convert@2 @0) (convert?@3 @1)))

2016-10-27 Thread Richard Biener
On Wed, Oct 26, 2016 at 4:01 PM, Bin.Cheng wrote: > On Tue, Oct 25, 2016 at 1:00 PM, Richard Biener > wrote: >> On Tue, Oct 25, 2016 at 1:21 PM, Bin Cheng wrote: >>> Hi, >>> This is an update patch for >>> https://gcc.gnu.org/ml/gcc-patches/2016-10/msg00738.html . In this >>> version, existin

Re: RFC [3/3] divmod transform v2 - add test cases

2016-10-27 Thread Prathamesh Kulkarni
On 27 October 2016 at 18:58, Richard Biener wrote: > On Thu, 27 Oct 2016, Prathamesh Kulkarni wrote: > >> On 24 October 2016 at 21:09, Prathamesh Kulkarni >> wrote: >> > On 16 October 2016 at 11:31, Prathamesh Kulkarni >> > wrote: >> >> Hi, >> >> This patch adds test-cases for divmod transform.

Re: Add uniform_inside_sphere_distribution

2016-10-27 Thread Andreas Schwab
On Okt 26 2016, Jonathan Wakely wrote: > In all the new tests please replace this dg-options directive with: > > { dg-do run { target cxx11 } } ERROR: ext/random/uniform_inside_sphere_distribution/cons/default.cc: syntax error in target selector "target cxx11" for " dg-do 1 run { target cxx11

Re: [PATCH] Five patches for std::experimental::filesystem

2016-10-27 Thread Jonathan Wakely
On 26/10/16 09:24 +0200, Christophe Lyon wrote: Hi Jonathan, On 25 October 2016 at 17:32, Jonathan Wakely wrote: Two more fixes for the filesystem TS, and improved tests. Handle negative times in filesystem::last_write_time * src/filesystem/ops.cc (last_write_time(const pat

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-27 Thread Richard Biener
On Thu, Oct 27, 2016 at 9:41 AM, Martin Liška wrote: > Running simple test-case w/o the proper header file causes ICE: > strncmp ("a", "b", -1); > > 0xe74462 tree_to_uhwi(tree_node const*) > ../../gcc/tree.c:7324 > 0x90a23f host_size_t_cst_p > ../../gcc/fold-const-call.c:63 > 0x90a

RFA: PATCH to gengtype to avoid putting tree_node support in front end objects

2016-10-27 Thread Jason Merrill
Currently, the way gengtype works it scans the list of source files with front end files at the end, and pushes data structures onto a stack. It then processes the stack in LIFO order, so that data structures from front ends are handled first. As a result, if a GTY data structure in a front end d

[PATCH VECT]Support operand swapping for cond_expr in vect_slp

2016-10-27 Thread Bin Cheng
Hi, During analysis, vect_slp checks if statements of a group are isomorphic to each other, specifically, all statements have to be isomorphic to the first one. Apparently, operands of commutative operators (PLUS_EXPR/MINUS_EXPR etc.) could be swapped when checking isomorphic property. Though

Re: RFC [3/3] divmod transform v2 - add test cases

2016-10-27 Thread Richard Biener
On Thu, 27 Oct 2016, Prathamesh Kulkarni wrote: > On 27 October 2016 at 18:58, Richard Biener wrote: > > On Thu, 27 Oct 2016, Prathamesh Kulkarni wrote: > > > >> On 24 October 2016 at 21:09, Prathamesh Kulkarni > >> wrote: > >> > On 16 October 2016 at 11:31, Prathamesh Kulkarni > >> > wrote: >

C++ PATCH to class using-declaration ambiguity handling

2016-10-27 Thread Jason Merrill
While working on the inheriting constructors overhaul I noticed that we were handling this wrong: we were allowing one using-declaration to hide another, but they should both be added so that the ambiguity is seen by overload resolution. Tested x86_64-pc-linux-gnu, applying to trunk. commit cda993

Re: [PATCH GCC][4/4]Simplify (cond (cmp x c1) (op x c2) c3) -> (op (minmax x c1) c2)

2016-10-27 Thread Richard Biener
On Tue, Oct 25, 2016 at 1:22 PM, Bin Cheng wrote: > Hi, > As commented in patch, this one simplifies (cond (cmp x c1) (op x c2) c3) > into (op (minmax x c1) c2) if: > > 1) OP is PLUS or MINUS. > 2) CMP is LT, LE, GT or GE. > 3) C3 == (C1 op C2), and the experation isn't undefined b

Re: Add uniform_inside_sphere_distribution

2016-10-27 Thread Jonathan Wakely
On 27/10/16 15:33 +0200, Andreas Schwab wrote: On Okt 26 2016, Jonathan Wakely wrote: In all the new tests please replace this dg-options directive with: { dg-do run { target cxx11 } } ERROR: ext/random/uniform_inside_sphere_distribution/cons/default.cc: syntax error in target selector "t

Re: [PATCH] Fix dwarf2out regression from C++17 inline variables changes

2016-10-27 Thread Jason Merrill
OK. On Tue, Oct 25, 2016 at 3:56 PM, Jakub Jelinek wrote: > On Tue, Oct 25, 2016 at 08:06:12PM +0200, Jakub Jelinek wrote: >> I think this patch should fix it, will bootstrap/regtest it now: >> >> 2016-10-25 Jakub Jelinek >> >> * dwarf2out.c (gen_member_die): Only reparent_child instead

Re: [PATCH GCC][2/4]Simplify (cond (cmp (convert (x), c1), x, c2)) into (minmax (x, c))

2016-10-27 Thread Richard Biener
On Tue, Oct 25, 2016 at 1:21 PM, Bin Cheng wrote: > Hi, > Second patch optimizing (cond (cmp (convert (x), c1), x, c2)) into (minmax > (x, c)). As commented in patch, this is done if: > > + 1) Comparison's operands are promoted from smaller type. > + 2) Const c1 equals to c2 after canoni

Re: [PATCH, Fortran] DEC Compatibility: New I/O Specifiers CARRIAGECONTROL, READONLY, SHARE with -fdec

2016-10-27 Thread Jakub Jelinek
On Thu, Oct 27, 2016 at 09:12:42AM -0400, Fritz Reese wrote: > On Thu, Oct 27, 2016 at 8:52 AM, Jakub Jelinek wrote: > > On Thu, Oct 27, 2016 at 08:49:42AM -0400, Fritz Reese wrote: > >> > >> Do you know if there is there any way from DG to verify that a runtime > >> warning is emitted? > > > > Us

Re: [PATCH, GCC/ARM 1/2, ping] Add multilib support for embedded bare-metal targets

2016-10-27 Thread Thomas Preudhomme
Hi Kyrill, On 27/10/16 10:45, Kyrill Tkachov wrote: Hi Thomas, On 24/10/16 09:06, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 13/10/16 16:35, Thomas Preudhomme wrote: Hi ARM maintainers, This patchset aims at adding multilib support for R and M profile ARM architectures and all

Re: [PATCH GCC][2/4]Simplify (cond (cmp (convert (x), c1), x, c2)) into (minmax (x, c))

2016-10-27 Thread Bin.Cheng
On Thu, Oct 27, 2016 at 2:58 PM, Richard Biener wrote: > On Tue, Oct 25, 2016 at 1:21 PM, Bin Cheng wrote: >> Hi, >> Second patch optimizing (cond (cmp (convert (x), c1), x, c2)) into (minmax >> (x, c)). As commented in patch, this is done if: >> >> + 1) Comparison's operands are promoted f

[PATCH] PR70975 Pass valid offset argument to sendfile

2016-10-27 Thread Jonathan Wakely
This fixes a FAIL on Solaris, due to a difference between the GNU and Solaris versions of sendfile(2). 2016-10-27 Uros Bizjak PR libstdc++/70975 * src/filesystem/ops.cc (do_copy_file): Pass non-null pointer to sendfile for offset argument. Tested powerpc64le-linux, co

Re: [PATCH, RFC] Introduce -fsanitize=use-after-scope (v2)

2016-10-27 Thread Martin Liška
On 10/21/2016 04:26 PM, Jakub Jelinek wrote: > On Wed, Oct 12, 2016 at 04:07:53PM +0200, Martin Liška wrote: >>> Ok, first let me list some needed follow-ups that don't need to be handled >>> right away: >>> - r237814-like changes for ASAN_MARK I've spent quite some on that and that's what I begin

Re: [SPARC] Housekeeping work

2016-10-27 Thread Eric Botcazou
> it seems your patch introduced a considerable number of regressions > (found on sparc-sun-solaris2.12 with /bin/as): the first mail-report.log > is from r241560 with just your patch reverted, the second from that rev > as is: Ouch, it's a single '*' probably added very late in the game... Testi

Re: [RFC] Handle unary pass-through jump functions for ipa-vrp

2016-10-27 Thread Jan Hubicka
> gcc/testsuite/ChangeLog: > > 2016-10-25 Kugan Vivekanandarajah > > * gcc.dg/ipa/vrp7.c: New test. > > > gcc/ChangeLog: > > 2016-10-25 Kugan Vivekanandarajah > > * ipa-cp.c (ipa_get_jf_pass_through_result): Skip unary expressions. > (propagate_vr_accross_jump_function

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-27 Thread Martin Liška
On 10/27/2016 03:35 PM, Richard Biener wrote: > On Thu, Oct 27, 2016 at 9:41 AM, Martin Liška wrote: >> Running simple test-case w/o the proper header file causes ICE: >> strncmp ("a", "b", -1); >> >> 0xe74462 tree_to_uhwi(tree_node const*) >> ../../gcc/tree.c:7324 >> 0x90a23f host_size_t_

[patch] Use straight-line sequence for signed overflow additive operation

2016-10-27 Thread Eric Botcazou
Hi, as suggested by Segher, this changes the generic signed-signed-signed case of expand_addsub_overflow to using a straight-line code sequence instead of a branchy one, the new sequence being also shorter. On 32-bit PowerPC the code generated at -O2 for 32-bit addition and subtraction is:

Re: [PATCH][AARCH64]Skip gcc.target/aarch64/pr66912.c in tiny or large memory model.

2016-10-27 Thread Andrew Pinski
On Thu, Oct 27, 2016 at 4:24 AM, Renlin Li wrote: > Hi, > > On 27/10/16 11:48, Szabolcs Nagy wrote: >> >> On 27/10/16 11:25, Renlin Li wrote: >>> >>> Hi all, >>> >>> This a simple patch to fix gcc.target/aarch64/pr66912.c. >>> It's a test case only applicable to small memory model which is the >>>

[PATCH] Fix and testcases for pr72747

2016-10-27 Thread Will Schmidt
Hi, Per PR72747, A statement such as "v = vec_splats (1);" correctly initializes a vector. However, a statement such as "v[1] = v[0] = vec_splats (1);" initializes both v[1] and v[0] to random garbage. It has been determined that this is occurring because we did not emit the actual initializatio

Re: [PATCH, LIBGCC] Avoid count_leading_zeros with undefined result (PR 78067)

2016-10-27 Thread Bernd Edlinger
On 10/27/16 14:52, Bernd Schmidt wrote: > On 10/27/2016 01:27 PM, Bernd Edlinger wrote: >> Hi, >> >> by code reading I became aware that libgcc can call count_leading_zeros >> in certain cases which can give undefined results. This happens on >> signed int128 -> float or double conversions, when t

Re: [PATCH] Fix bootstrap with --enable-languages=all,go

2016-10-27 Thread Jeff Law
On 10/27/2016 05:00 AM, Rainer Orth wrote: Hi Jeff, On 10/19/2016 06:13 AM, Rainer Orth wrote: Hi Jakub, 2016-10-01 Rainer Orth * configure.ac (target_libraries): Readd target-boehm-gc. Restore --enable-objc-gc handling. * configure: Regenerate. This is incomple

[committed] avoid double evaluation of PIC_OFFSET_TABLE_REGNUM

2016-10-27 Thread Aldy Hernandez
This patch was approved for stage1 a few months back, and I've neglected to commit it. There are no changes from the posted patch. https://gcc.gnu.org/ml/gcc-patches/2016-03/msg01373.html Committed to trunk. commit 5321d430b8d2cf33ff2b5fd9d6cc3f8d1304b0a2 Author: Aldy Hernandez Date: Thu Ma

Re: [PR debug/77773] segfault when compiling __simd64_float16_t with -g

2016-10-27 Thread Aldy Hernandez
On 10/27/2016 12:35 AM, Richard Biener wrote: On Wed, Oct 26, 2016 at 9:17 PM, Aldy Hernandez wrote: The following one-liner segfaults on arm-eabi when compiled with -mfloat-abi=hard -g: __simd64_float16_t usingit; The problem is that the pretty printer (in simple_type_specificer()) i

Re: [PATCH][AARCH64]Skip gcc.target/aarch64/pr66912.c in tiny or large memory model.

2016-10-27 Thread Renlin Li
On 27/10/16 16:28, Andrew Pinski wrote: On Thu, Oct 27, 2016 at 4:24 AM, Renlin Li wrote: Hi, On 27/10/16 11:48, Szabolcs Nagy wrote: On 27/10/16 11:25, Renlin Li wrote: Hi all, This a simple patch to fix gcc.target/aarch64/pr66912.c. It's a test case only applicable to small memory mod

Re: [PATCH, RFC] Introduce -fsanitize=use-after-scope (v2)

2016-10-27 Thread Jakub Jelinek
On Thu, Oct 27, 2016 at 04:40:30PM +0200, Martin Liška wrote: > On 10/21/2016 04:26 PM, Jakub Jelinek wrote: > > On Wed, Oct 12, 2016 at 04:07:53PM +0200, Martin Liška wrote: > >>> Ok, first let me list some needed follow-ups that don't need to be handled > >>> right away: > >>> - r237814-like chan

[committed] libgomp: Use appropriate size for malloc in goacc_new_thread

2016-10-27 Thread Aldy Hernandez
Last year I had queued this up for the gomp4.1 merge to mainline, and Jakub said if no one complained it would be OK (or so I recall :-/). Either way, I believe it's an obvious change. This is working because sizeof(gomp_thread) is larger than sizeof(goacc_thread), but the extra memory is unne

Re: [PATCH, LIBGCC] Avoid count_leading_zeros with undefined result (PR 78067)

2016-10-27 Thread Bernd Schmidt
On 10/27/2016 05:57 PM, Bernd Edlinger wrote: In the function below we have if ((UWtype)u == u) that actually ensures hi != 0. Ah, right. So maybe we ought to just add the same case here as well? if ((UWtype)u == u) return (FSTYPE)(UWtype)u; That would also make the comment less mislead

[PATCH, libstdc++]: Fix PR 70975, experimental/filesystem/operations/copy.cc FAILs on Solaris 12

2016-10-27 Thread Uros Bizjak
Attached patch improves sendfile syscall compatibility with (older) Solaris 12, where non-null third argument is required. It also paves the way for compatibility with Solaris 10/11, where otherwise additional -lsendfile is needed to link with libsendfile library. The change has no effect on linux.

Re: [PATCH, LIBGCC] Avoid count_leading_zeros with undefined result (PR 78067)

2016-10-27 Thread Bernd Edlinger
On 10/27/16 20:04, Bernd Schmidt wrote: > On 10/27/2016 05:57 PM, Bernd Edlinger wrote: >> In the function below we have if ((UWtype)u == u) >> that actually ensures hi != 0. > > Ah, right. So maybe we ought to just add the same case here as well? > > if ((UWtype)u == u) > return (FSTYPE)(UWt

Re: [PATCH, libstdc++]: Fix PR 70975, experimental/filesystem/operations/copy.cc FAILs on Solaris 12

2016-10-27 Thread Jonathan Wakely
On 27/10/16 20:33 +0200, Uros Bizjak wrote: Attached patch improves sendfile syscall compatibility with (older) Solaris 12, where non-null third argument is required. It also paves the way for compatibility with Solaris 10/11, where otherwise additional -lsendfile is needed to link with libsendfi

  1   2   >