[arm.c] Use VAR_P

2016-10-27 Thread Prathamesh Kulkarni
Hi, This patch uses replaces TREE_CODE(x) == VAR_DECL by VAR_P(x) in arm.c. Bootstrap+tested on arm-linux-gnueabihf. OK to commit ? Thanks, Prathamesh 2016-10-28 Prathamesh Kulkarni * config/arm/arm.c (arm_const_not_ok_for_debug_p): Use VAR_P. diff

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

2016-10-27 Thread kugan
Hi, On 28/10/16 01:58, Jan Hubicka wrote: 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):

[ipa-vrp] ice in set_value_range

2016-10-27 Thread kugan
Hi, { tree val = ipa_get_jf_constant (jfunc); if (TREE_CODE (val) == INTEGER_CST) { + value_range vr; if (TREE_OVERFLOW_P (val)) val = drop_tree_overflow (val); - jfunc->vr_known = true; - jfunc->m_vr.type = VR_RANGE; -

[PATCH] enhance buffer overflow warnings (and c/53562)

2016-10-27 Thread Martin Sebor
The attached patch enhances the compile-time detection of buffer overflow in functions like __builtin___memcpy_chk to consider non-constant lengths known to be in a certain range and warn when the lower bound of the range doesn't fit in the destination object. The patch does the same thing for

Re: [PATCH], Allow SImode to go into VSX registers on PowerPC ISA 2.07 (power8) and above

2016-10-27 Thread Michael Meissner
On Thu, Oct 27, 2016 at 02:55:51PM -0500, Segher Boessenkool wrote: > On Wed, Oct 26, 2016 at 06:51:54PM -0400, Michael Meissner wrote: > > (zero_extendsi2): Reorder pattern, so RLDICL comes before > > the FPR and VSX loads, but before MTVSRWZ. Remove ??, ! from the > > constraints.

[PATCH, GCC] Fix conflicting posix_memalign declaration error

2016-10-27 Thread Caroline Tice
The posix_memalign declaration in gcc/i386/config/pmm_malloc.h is decorated with 'throw ()', which occasionally causes declaration conflict errors (some header files, not part of GCC, that declare posix_memalign, do not have the throw decoration). An example of this can be seen at

[Aarch64][PATCH] Improve Logical And Immediate Expressions

2016-10-27 Thread Michael Collison
This patch is designed to improve code generation for "and" instructions with certain immediate operands. For the following test case: int f2(int x) { x &= 0x0ff8; x &= 0xff001fff; return x; } the trunk aarch64 compiler generates: mov w1, 8184 movkw1, 0xf00, lsl 16 and

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

2016-10-27 Thread Joseph Myers
On Thu, 27 Oct 2016, 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

Re: [PATCH], Allow SImode to go into VSX registers on PowerPC ISA 2.07 (power8) and above

2016-10-27 Thread Segher Boessenkool
On Wed, Oct 26, 2016 at 06:51:54PM -0400, Michael Meissner wrote: > (zero_extendsi2): Reorder pattern, so RLDICL comes before > the FPR and VSX loads, but before MTVSRWZ. Remove ??, ! from the > constraints. Add MFVSRWZ and XXEXTRACTUW instructions to support > small

Re: [PATCH] Fix select type parsing (PR fortran/78026)

2016-10-27 Thread Jakub Jelinek
On Thu, Oct 27, 2016 at 12:45:25PM -0700, Steve Kargl wrote: > Thanks for the detailed analysis. The patch looks ok to me. > I would prefer functional and cosmetic changes to be committed > separately, but in this case the cosmetic changes are small. > > > + { > > + std::swap (ns,

Re: [PATCH] Fix select type parsing (PR fortran/78026)

2016-10-27 Thread Steve Kargl
On Thu, Oct 27, 2016 at 09:07:49PM +0200, Jakub Jelinek wrote: > > This PR has been reported as something related to OpenMP, but in the end > I think it is unrelated, the bug I see is in the select type parsing. > > The problem is that if select type is the very first stmt in the TU, > we parse

[PATCH] Fix COMPONENT_REF expansion (PR rtl-optimization/77919)

2016-10-27 Thread Jakub Jelinek
Hi! The following testcase ICEs on x86_64-linux with -O1, the problem is that we expand assignment from COMPONENT_REF of MEM_REF into a V4SImode SSA_NAME. The MEM_REF has non-addressable DCmode var inside of it, and type of a struct containing a single V4SImode element. The bug seems to be that

[PATCH] Fix a REE bug (PR rtl-optimization/78132)

2016-10-27 Thread Jakub Jelinek
Hi! REE breaks the following testcase on KNL, where we only accept QImode/HImode in k0-k7 registers (SImode/DImode is only supported with -mavx512bw). We have (set (reg:HI k0) (mem:HI ...)) ... (set (reg:DI rax) (zero_extend:DI (reg:HI k0))) and we optimize it into: (set (reg:DI rax)

[PATCH] Fix select type parsing (PR fortran/78026)

2016-10-27 Thread Jakub Jelinek
Hi! This PR has been reported as something related to OpenMP, but in the end I think it is unrelated, the bug I see is in the select type parsing. The problem is that if select type is the very first stmt in the TU, we parse it and before actually accepting that ST_SELECT_TYPE, we perform

[committed] Fix simd clone creation for noreturn functions (PR middle-end/78025)

2016-10-27 Thread Jakub Jelinek
Hi! In simd_clone_adjust we weren't taking into account the possibility of no edges to the exit block. If inbranch, we still want to create the loop over the simd lanes, though of course don't have any edges from the body to the increment bb - e.g. if one calls the function with all zeros mask,

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

2016-10-27 Thread Uros Bizjak
On Thu, Oct 27, 2016 at 8:43 PM, Jonathan Wakely wrote: >> Is there a good reason to call it "always_zero_offset" rather than >> something that fits on one line, like "offset"? >> >> OK for trunk anyway, thanks. > > > > (I actually already sent a similar patch, see >

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 19:41 +0100, Jonathan Wakely wrote: 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

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

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

[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

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

[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

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

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

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

[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

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. *

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

[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

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

[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] 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 >>

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. >

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...

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

[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

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: >>

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

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

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

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

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

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

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

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

[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

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

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 >

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

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

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 >> >

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 >>>

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

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

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

[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 + + *

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

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

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 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 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 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 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, 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: [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

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 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

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

[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

[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

[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

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

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.

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

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

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

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

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

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

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 <ja...@redhat.com> 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 <sch...@suse.de> wrote: >> ... >> > At line 12 of file >> &

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 <sch...@suse.de> wrote: > ... > > At line 12 of file > > /usr/local/gcc/gcc-20161027/gcc/testsuite/gfortran.dg/dec_io_6.f90 (unit = > > 8) > > For

[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][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 <sch...@suse.de> 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: Fri

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

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

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

2016-10-27 Thread Andreas Schwab
st.txt" > + > +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

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 & - & 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 absolute value

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: [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

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

[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

[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

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

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][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: [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

[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

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

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 >>>

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

  1   2   >