Re: [RS6000] Merge rs6000_reg_live_or_pic_offset_p into save_reg_p

2017-08-14 Thread Segher Boessenkool
On Fri, Aug 11, 2017 at 12:34:13PM +0930, Alan Modra wrote: > Bootstrapped and regression tested powerpc64-linux (-m32 too) and > powerpc64le-linux. OK? > > * config/rs6000/rs6000.c (rs6000_reg_live_or_pic_offset_p): Merge.. > (save_reg_p): ..into this. Update all callers. >

RE: [PATCH] [Aarch64] Optimize subtract in shift counts

2017-08-14 Thread Michael Collison
This is exactly the approach that was taken with this patch. An earlier patch actually contains the patterns that match the truncation: https://gcc.gnu.org/ml/gcc-patches/2017-06/msg01095.html -Original Message- From: Richard Biener [mailto:richard.guent...@gmail.com] Sent: Monday,

Re: [RS6000] Don't restore fixed regs

2017-08-14 Thread Segher Boessenkool
Hi! Sorry the review took a while. On Fri, Aug 11, 2017 at 12:28:16PM +0930, Alan Modra wrote: > * config/rs6000/rs6000.c (rs6000_savres_strategy): Don't restore > fixed regs. > diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c > index 74158cd..b628808 100644 >

[PATCH, rs6000] Remove TARGET_VSX_TIMODE and -mno-vsx-timode usage

2017-08-14 Thread Peter Bergner
The undocumented option -mvsx-timode was added because there were reload bugs we couldn't fix when we tried allowing TImode values in VSX registers. We used the option to allow TImode values in VSX registers when LRA was being used, but not when reload was being used. Now that GCC 8 has removed

Re: [PATCH 3/4] enhance overflow and truncation detection in strncpy and strncat (PR 81117)

2017-08-14 Thread Martin Sebor
On 08/10/2017 01:29 PM, Martin Sebor wrote: diff --git a/gcc/builtins.c b/gcc/builtins.c index 016f68d..1aa9e22 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c [ ... ] + + if (TREE_CODE (type) == ARRAY_TYPE) +{ + /* Return the constant size unless it's zero (that's a zero-length +

Re: [PATCH 2/4] enhance overflow and truncation detection in strncpy and strncat (PR 81117)

2017-08-14 Thread Joseph Myers
On Mon, 14 Aug 2017, Martin Sebor wrote: > Okay. I expanded on that point in the updated comments below. > > Martin > > 2017-08-14 Martin Sebor > > * builtin-attrs.def: Add comments. This version is OK. -- Joseph S. Myers jos...@codesourcery.com

[PATCH, rs6000] Fix PR target/72804: Poor code gen with -mvsx-timode

2017-08-14 Thread Peter Bergner
The following patch fixes a performance issue when loading/storing/moving TImode values when using -mvsx-timode -mcpu=power7 with LRA. The problem is that the vsx_le_permute_ and vsx_le_perm_{load,store}_ patterns do no support TImode values in GPRs, and LRA is using these patterns to fixup

Re: [32/77] Check is_a before calling valid_pointer_mode

2017-08-14 Thread Jeff Law
On 07/13/2017 02:50 AM, Richard Sandiford wrote: > A future patch will make valid_pointer_mode take a scalar_int_mode > instead of a machine_mode. is_a <...> rather than as_a <...> is > needed here because we're checking a mode supplied by the user. > > 2017-07-13 Richard Sandiford

Re: [33/77] Add a NARROWEST_INT_MODE macro

2017-08-14 Thread Jeff Law
On 07/13/2017 02:50 AM, Richard Sandiford wrote: > This patch replaces uses of GET_CLASS_NARROWEST_MODE (MODE_INT) with a > new NARROWEST_INT_MODE macro, which has type scalar_int_mode. > > 2017-07-13 Richard Sandiford > Alan Hayward

Re: [27/77] Use is_a before LOAD_EXTEND_OP

2017-08-14 Thread Jeff Law
On 07/13/2017 02:48 AM, Richard Sandiford wrote: > This patch adds is_a checks before load_extend_op/ > LOAD_EXTEND_OP calls, if that becomes useful for later patches. > (load_extend_op will return UNKNOWN for any other type of mode.) > > 2017-07-13 Richard Sandiford

Re: [30/77] Use scalar_int_mode for doubleword splits

2017-08-14 Thread Jeff Law
On 07/13/2017 02:49 AM, Richard Sandiford wrote: > This patch uses is_a in a couple of places that > were splitting doubleword integer operations into word_mode > operations. It also uses scalar_int_mode in the expand_expr_real_2 > handling of doubleword shifts. > > 2017-07-13 Richard

Re: [29/77] Make some *_loc_descriptor helpers take scalar_int_mode

2017-08-14 Thread Jeff Law
On 07/13/2017 02:49 AM, Richard Sandiford wrote: > The *_loc_descriptor routines for clz, popcount, bswap and rotate > all required SCALAR_INT_MODE_P. This patch moves the checks into > the caller (mem_loc_descriptor) so that the types of the mode > parameters can be scalar_int_mode instead of

Re: [PATCH 1/3] optabs: ensure mem_thread_fence is a compiler barrier

2017-08-14 Thread Jeff Law
On 08/07/2017 02:42 AM, Alexander Monakov wrote: > On Sat, 5 Aug 2017, Richard Sandiford wrote: >> It would be simpler to test whether targetm.gen_mem_thread_fence >> returns NULL. >> >> This feels a bit hacky though. Checking whether a generator produced no >> instructions is usually the test

New template for 'gcc' made available

2017-08-14 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. (If you have any questions, send them to .) A new POT file for textual domain 'gcc' has been made available to the language teams for translation. It is archived as:

Re: [PATCH 2/4] enhance overflow and truncation detection in strncpy and strncat (PR 81117)

2017-08-14 Thread Martin Sebor
On 08/14/2017 01:50 PM, Joseph Myers wrote: On Mon, 14 Aug 2017, Martin Sebor wrote: /* This header provides a declarative way of describing the attributes - that are applied to some functions by default. + that are applied to some built-in functions by default. Attributes + that apply

Re: [PATCH 2/4] enhance overflow and truncation detection in strncpy and strncat (PR 81117)

2017-08-14 Thread Joseph Myers
On Mon, 14 Aug 2017, Martin Sebor wrote: > /* This header provides a declarative way of describing the attributes > - that are applied to some functions by default. > + that are applied to some built-in functions by default. Attributes > + that apply to types or variables but not

Re: [21/77] Replace SCALAR_INT_MODE_P checks with is_a

2017-08-14 Thread Jeff Law
On 07/13/2017 02:46 AM, Richard Sandiford wrote: > This patch replaces checks of "SCALAR_INT_MODE_P (...)" with > "is_a (..., )" in cases where it becomes > useful to refer to the mode as a scalar_int_mode. It also > replaces some checks for the two constituent classes (MODE_INT > and

Re: [25/77] Use is_a for bitmask optimisations

2017-08-14 Thread Jeff Law
On 07/13/2017 02:47 AM, Richard Sandiford wrote: > Explicitly check for scalar_int_mode in code that maps arithmetic > to full-mode bit operations. These operations wouldn't work correctly > for vector modes, for example. In many cases this is enforced also by > checking whether an operand is

Re: [24/77] Replace a != BLKmode check with is_a

2017-08-14 Thread Jeff Law
On 07/13/2017 02:47 AM, Richard Sandiford wrote: > This patch replaces a check against BLKmode with a check > of is_a , in a case where scalar integer > modes were the only useful alternatives left. > > gcc/ > 2017-07-13 Richard Sandiford > Alan Hayward

Re: [23/77] Replace != VOIDmode checks with is_a

2017-08-14 Thread Jeff Law
On 07/13/2017 02:47 AM, Richard Sandiford wrote: > This patch replaces some checks against VOIDmode with checks > of is_a , in cases where scalar integer modes > were the only useful alternatives left. > > gcc/ > 2017-07-13 Richard Sandiford > Alan

Re: [22/77] Replace !VECTOR_MODE_P with is_a

2017-08-14 Thread Jeff Law
On 07/13/2017 02:46 AM, Richard Sandiford wrote: > This patch replaces some checks of !VECTOR_MODE_P with checks > of is_a , in cases where the scalar integer > modes were the only useful alternatives left. > > 2017-07-13 Richard Sandiford > Alan Hayward

Re: [20/77] Replace MODE_INT checks with is_int_mode

2017-08-14 Thread Jeff Law
On 07/13/2017 02:45 AM, Richard Sandiford wrote: > Replace checks of "GET_MODE_CLASS (...) == MODE_INT" with > "is_int_mode (..., )", in cases where it becomes useful > to refer to the mode as a scalar_int_mode. > > 2017-07-13 Richard Sandiford > Alan

[PATCH], Enable _Float128 in VSX PowerPC system and enable #pragma GCC target "float128"

2017-08-14 Thread Michael Meissner
This patch enables the _Float128 keyword for the C langauge all of the time for PowerPC VSX systems. The __float128 keyword continues to be only enabled if you use the -mfloat128 option. A previous patch had separated the underlying support (-mfloat128-type) from enabling the __float128 keyword

Re: [19/77] Add a smallest_int_mode_for_size helper function

2017-08-14 Thread Jeff Law
On 07/13/2017 02:45 AM, Richard Sandiford wrote: > This patch adds a wrapper around smallest_mode_for_size > for cases in which the mode class is MODE_INT. Unlike > (int_)mode_for_size, smallest_mode_for_size always returns > a mode of the specified class, asserting if no such mode exists. >

Re: [PATCH 2/4] enhance overflow and truncation detection in strncpy and strncat (PR 81117)

2017-08-14 Thread Martin Sebor
On 08/14/2017 12:09 PM, Joseph Myers wrote: On Mon, 14 Aug 2017, Martin Sebor wrote: I assumed every attribute needed to define an identifier but nothing broke after I removed it so it looks like you're right variable attributes don't need one. Go figure. It would be nice if there was a

Re: [PATCH 1/4] enhance overflow and truncation detection in strncpy and strncat (PR 81117)

2017-08-14 Thread Martin Sebor
On 08/09/2017 10:44 PM, Jeff Law wrote: On 08/06/2017 02:07 PM, Martin Sebor wrote: The attached patch adds support for a new GCC format specifier, G, that behaves like %K but accepts a gcall* argument. This makes it possible to provide inlining context for "artificial" inline functions like

Re: [18/77] Make int_mode_for_mode return an opt_scalar_int_mode

2017-08-14 Thread Jeff Law
On 07/13/2017 02:45 AM, Richard Sandiford wrote: > Also use int_mode_for_mode instead of (int_)mode_for_size > in cases where the requested size was the bitsize of an > existing mode. > > 2017-07-13 Richard Sandiford > Alan Hayward

Re: [17/77] Add an int_mode_for_size helper function

2017-08-14 Thread Jeff Law
On 07/13/2017 02:44 AM, Richard Sandiford wrote: > This patch adds a wrapper around mode_for_size for cases in which > the mode class is MODE_INT (the commonest case). The return type > can then be an opt_scalar_int_mode instead of a machine_mode. > > 2017-07-13 Richard Sandiford

Re: [16/77] Add scalar_int_mode_pod

2017-08-14 Thread Jeff Law
On 07/13/2017 02:44 AM, Richard Sandiford wrote: > This patch adds a POD class for scalar integers, as an instance > of a new pod_mode template. Later patches will use pod_mode in > situations that really do need to be POD; this patch is simply > using PODs to remove load-time initialisation. >

Re: [15/77] Add scalar_int_mode

2017-08-14 Thread Jeff Law
On 07/13/2017 02:43 AM, Richard Sandiford wrote: > Similar to the previous scalar_float_mode patch, but for modes that > satisfy SCALAR_INT_MODE_P. There are very many uses of scalar integers, > so this patch only makes a token change to the types of byte_mode, > word_mode, ptr_mode and

Re: [PATCH 2/4] enhance overflow and truncation detection in strncpy and strncat (PR 81117)

2017-08-14 Thread Joseph Myers
On Mon, 14 Aug 2017, Martin Sebor wrote: > I assumed every attribute needed to define an identifier but > nothing broke after I removed it so it looks like you're right > variable attributes don't need one. Go figure. It would be > nice if there was a comment above the block that mentioned

Re: [testsuite, i386] Require -static support in gcc.dg/pie-static-[12].c (PR testsuite/81793)

2017-08-14 Thread Mike Stump
On Aug 12, 2017, at 9:03 AM, Rainer Orth wrote: > > The new gcc.dg/pie-static-[12].c testcases FAIL on several systems: > > * Solaris 11.4 has PIE support, but lacks static libc, libm > > * Linux without the static libc, libm installed > > The following patch

Re: [PATCH][1/2] Early LTO debug, simple-object part

2017-08-14 Thread Ian Lance Taylor via gcc-patches
On Mon, Aug 14, 2017 at 6:17 AM, Richard Biener wrote: > On Fri, 4 Aug 2017, Richard Biener wrote: > >> On Fri, 28 Jul 2017, Jason Merrill wrote: >> >> > On 07/28/2017 05:55 PM, Jason Merrill wrote: >> > > On Fri, Jul 28, 2017 at 8:54 AM, Richard Biener >>

Re: [PATCH, rs6000] More diagnostic cleanup, addressing PR79845

2017-08-14 Thread Segher Boessenkool
On Mon, Aug 14, 2017 at 09:21:51AM -0500, Bill Schmidt wrote: > > On Aug 13, 2017, at 3:41 PM, Martin Sebor wrote: > >> --- gcc/config/rs6000/rs6000-c.c (revision 250965) > >> +++ gcc/config/rs6000/rs6000-c.c (working copy) > >> @@ -5812,7 +5812,7 @@

Re: [PATCH 2/4] enhance overflow and truncation detection in strncpy and strncat (PR 81117)

2017-08-14 Thread Martin Sebor
On 08/09/2017 11:00 PM, Jeff Law wrote: On 08/06/2017 02:07 PM, Martin Sebor wrote: Part 2 of the series adds attribute nostring to annotate arrays of and pointers to char with that are intended to store sequences of characters that aren't necessarily valid (nul-terminated) strings. In the

[PATCH, i386]: Fix PR46091, missed optimization: x86 bt/btc/bts instructions

2017-08-14 Thread Uros Bizjak
Hello! Attached patch implements generation of btr, bts and btc instructions. These insns are generated for operations with registers and exact log2 immediates, where bitpos <= 63 and >= 31. Immediates with bits >= 31 are out of range for x86 andq/orq/xorq instructions, so we save a movabsq

[committed] remove stray space from a warning message (PR 79998)

2017-08-14 Thread Martin Sebor
The trivial tweak below removes the spurious space pointed out in bug 79998 - typo in diagnostic "specified bound %wu". The patch has been committed in r251096. Martin Index: gcc/gimple-ssa-sprintf.c === ---

[COMMITTED][AArch64] PR81643: Fix longbranch test

2017-08-14 Thread Wilco Dijkstra
Fix longbranch test so it still generates long tbz branches. Committed as obvious. ChangeLog: 2017-08-14 Wilco Dijkstra gcc/testsuite/ PR target/81643 * gcc.target/aarch64/long_branch_1.c: Improve testcase. -- diff --git

[PATCH] don't confuse user when OOM happens

2017-08-14 Thread Nathan Sidwell
The thread at https://gcc.gnu.org/ml/gcc/2017-08/msg00090.html discusses the driver behaviour when OOM kills cc1plus or whatever. This patch changes the driver so that if the inferior dies via INT, TERM, QUIT or KILL signals, it emits a clearer message about what happened. We've been using

Re: [PATCH] skip patchable_function_entry tests on ia64

2017-08-14 Thread Jim Wilson
On Fri, 2017-08-11 at 12:34 +0200, Torsten Duwe wrote: > gcc/testsuite/ChangeLog > 2017-08-11  Torsten Duwe   > > * c-c++-common/patchable_function_entry-default.c: Skip test on > ia64. > * c-c++-common/patchable_function_entry-decl.c: Likewise. > *

[PING][PATCH] Fix PR81503 (SLSR invalid fold)

2017-08-14 Thread Bill Schmidt
Hi, I'd like to ping this patch, please. Thanks! Bill > On Aug 3, 2017, at 2:34 PM, Bill Schmidt wrote: > > Hi, > > Here's v2 of the patch with Jakub's suggestions incorporated. Bootstrapped > and tested on powerpc64le-linux-gnu with no regressions. Is this ok

[PATCH] rl78 adddi3 improvement

2017-08-14 Thread Sebastian Perta
The following patch improves both the speed and code size for 64 bit addition for RL78: it emits a library function call instead of emitting code for the 64 bit add for every single addition. The addition function which was added in libgcc is hand written, so more optimal than what GCC

Re: [PATCH, rs6000] More diagnostic cleanup, addressing PR79845

2017-08-14 Thread Bill Schmidt
> On Aug 13, 2017, at 3:41 PM, Martin Sebor wrote: > >> --- gcc/config/rs6000/rs6000-c.c (revision 250965) >> +++ gcc/config/rs6000/rs6000-c.c (working copy) >> @@ -5812,7 +5812,7 @@ altivec_resolve_overloaded_builtin (location_t loc >> types. */ >> if

Re: [PATCH][1/2] Early LTO debug, simple-object part

2017-08-14 Thread Richard Biener
On Fri, 4 Aug 2017, Richard Biener wrote: > On Fri, 28 Jul 2017, Jason Merrill wrote: > > > On 07/28/2017 05:55 PM, Jason Merrill wrote: > > > On Fri, Jul 28, 2017 at 8:54 AM, Richard Biener wrote: > > > > On Tue, 4 Jul 2017, Richard Biener wrote: > > > > > > > > > On Tue,

[PING][PATCH][PR sanitizer/77631] Support separate debug info in libbacktrace

2017-08-14 Thread Denis Khalikov
Hello, this is a ping for that patch https://gcc.gnu.org/ml/gcc-patches/2017-07/msg00022.html Thanks.

PR81815: Invalid conditional reduction

2017-08-14 Thread Richard Sandiford
We weren't checking whether the phi in a conditional reduction was used by the condition itself (which isn't a case we handle). Tested on aarch64-linux-gnu and x86_64-linux-gnu. OK to install? Thanks, Richard 2017-08-11 Richard Sandiford gcc/ PR

Re: [PATCH] -fftz-math: assume that denorms _must_ be flushed to zero optimizations

2017-08-14 Thread Joseph Myers
On Mon, 14 Aug 2017, Pekka Jääskeläinen wrote: > Both the inputs and outputs must be flushed to zero in the HSAIL’s > ‘ftz’ semantics. Presumably this means that constant folding needs to know about those semantics, both for operations with a subnormal floating-point argument (whether or not

Re: [PATCH] Convert character arrays to string csts

2017-08-14 Thread Richard Biener
On Mon, Aug 14, 2017 at 1:25 PM, Richard Biener wrote: > On Mon, Aug 14, 2017 at 1:23 PM, Richard Biener > wrote: >> On Wed, Aug 9, 2017 at 1:39 PM, Martin Liška wrote: >>> On 08/09/2017 11:43 AM, Richard Biener wrote:

Re: [PATCH PR81799]Fix ICE by forcing to is_gimple_val

2017-08-14 Thread Bin.Cheng
On Mon, Aug 14, 2017 at 12:21 PM, Richard Biener wrote: > On Mon, Aug 14, 2017 at 1:05 PM, Bin Cheng wrote: >> Hi, >> This patch fixes ICE reported in PR81799. It simply uses is_gimple_val >> rather than is_gimple_condexpr. >> Bootstap and test on

Re: [PATCH PR81799]Fix ICE by forcing to is_gimple_val

2017-08-14 Thread Richard Biener
On Mon, Aug 14, 2017 at 1:05 PM, Bin Cheng wrote: > Hi, > This patch fixes ICE reported in PR81799. It simply uses is_gimple_val > rather than is_gimple_condexpr. > Bootstap and test on x86_64. Is it OK? I guess this eventually pessimizes code-gen for the case we do not

Re: [PATCH] Convert character arrays to string csts

2017-08-14 Thread Richard Biener
On Mon, Aug 14, 2017 at 1:23 PM, Richard Biener wrote: > On Wed, Aug 9, 2017 at 1:39 PM, Martin Liška wrote: >> On 08/09/2017 11:43 AM, Richard Biener wrote: >>> I only have the patch I sent you so I can't re-diff. >>> >>> Richard. >> >> Hi. >> >> I'm

Re: [PATCH] Convert character arrays to string csts

2017-08-14 Thread Richard Biener
On Wed, Aug 9, 2017 at 1:39 PM, Martin Liška wrote: > On 08/09/2017 11:43 AM, Richard Biener wrote: >> I only have the patch I sent you so I can't re-diff. >> >> Richard. > > Hi. > > I'm sending rebased version of the patch. However the patch > eats all my memory when e.g.

Re: [PATCH] -fftz-math: assume that denorms _must_ be flushed to zero optimizations

2017-08-14 Thread Richard Biener
On Mon, Aug 14, 2017 at 12:45 PM, Pekka Jääskeläinen wrote: > Hi Richard, > > The base idea of the patch is to optimize for the (common) situation > where FTZ/DAZ > is controlled by a CPU-wide flag and we then need to only avoid compile-time > optimizations that assume

[PATCH PR81799]Fix ICE by forcing to is_gimple_val

2017-08-14 Thread Bin Cheng
Hi, This patch fixes ICE reported in PR81799. It simply uses is_gimple_val rather than is_gimple_condexpr. Bootstap and test on x86_64. Is it OK? Thanks, bin 2017-08-11 Bin Cheng PR tree-optimization/81799 * tree-loop-distribution.c

Re: [PATCH] -fftz-math: assume that denorms _must_ be flushed to zero optimizations

2017-08-14 Thread Pekka Jääskeläinen
Hi Richard, The base idea of the patch is to optimize for the (common) situation where FTZ/DAZ is controlled by a CPU-wide flag and we then need to only avoid compile-time optimizations that assume semantics where denorm handling is on to support the ‘forced FTZ/DAZ semantics’. > This suggests

[PATCH committed][AArch64] Fix dbl_mov_immediate_1.c test

2017-08-14 Thread Szabolcs Nagy
Make sure adrp is used for literal loads. committed as obvious. gcc/testsuite/ChangeLog: 2017-08-14 Szabolcs Nagy * gcc.target/aarch64/dbl_mov_immediate_1.c: Add -mno-pc-relative-literal-loads. diff --git

[patch,avr,committed] Fix PR81754

2017-08-14 Thread Georg-Johann Lay
https://gcc.gnu.org/r251085 Fixed mentioned avr build hiccup that occurs when used with Binutils < 2.29. Johann PR target/81754 PR target/81268 * config/avr/avr.opt (mgas-isr-prologues): New Var avr_gasisr_prologues. * config/avr/avr.md (gasisr,

[PATCH GCC][02/06]New field in struct dependence_info indicating fixed length access

2017-08-14 Thread Bin Cheng
Hi, This simple patch adds new field in struct dependence_info. The new field indicates if non-dependence information is only valid for fixed memory access length of this reference. There is a concern that this costs an additional byte for all tree nodes, but I do not know easy way out because

[PATCH GCC][01/06]New interface returning all adjacent vertices in graph

2017-08-14 Thread Bin Cheng
Hi, This simple patch adds new interface returning adjacent vertices for a vertex in graph. Bootstrap and test in series. Is it OK? Thanks, bin 2017-08-10 Bin Cheng * graphds.c (adjacent_vertices): New function. * graphds.h (adjacent_vertices): New

[PATCH GCC][06/06]Record runtime alias info in struct dependence_info and pass it along

2017-08-14 Thread Bin Cheng
Hi, This is the main patch recording runtime alias check information in struct dependence_info and passing it along to later optimizers. It models graph of runtime alias checks with some approximation; then sets to the original data references and records it in hash map; at last,

[PATCH GCC][03/06]Dump dependence information

2017-08-14 Thread Bin Cheng
Hi, This simple patch adds code dumping struct dependence_info. Bootstrap and test in series. Is it OK? Thanks, bin 2017-08-10 Bin Cheng * tree-pretty-print.c (dump_generic_node): Dump fixed length tag in MEM_REF. Dump dependence info in

[PATCH GCC][05/06]An interface clear all dependence_info with fixed access length tag

2017-08-14 Thread Bin Cheng
Hi, Given tree node (thus struct dependence_info) is kept and shadow copied on RTL, it is unsafe to pass non-dependent info to RTL in case of loop unrolling etc. This patch adds an interface clearing all dependence_info with fixed access length tag before entering RTL world. We could do it just

[PATCH GCC][04/06]Add copying interface for dependence_info

2017-08-14 Thread Bin Cheng
HI, This patch adds copying interface for dependence_info. The methodology is we don't copy such information by default, and this interface should be called explicitly when it is safe and necessary to do so. Just like this patch uses the interface in ivopts. Bootstrap and test in series. Is it

Re: [PATCH PR81228]Fixes ICE by adding LTGT in vec_cmp.

2017-08-14 Thread Bin.Cheng
Ping. On Fri, Jul 28, 2017 at 12:37 PM, Bin Cheng wrote: > Hi, > This simple patch fixes the ICE by adding LTGT in vec_cmp > pattern. > I also modified the original test case into a compilation one since > -fno-wrapping-math > should not be used in general. > Bootstrap and

Re: [PATCH] -fftz-math: assume that denorms _must_ be flushed to zero optimizations

2017-08-14 Thread Richard Biener
On Thu, Aug 10, 2017 at 6:39 PM, Pekka Jääskeläinen wrote: > Hi, > > The attached patch adds a new switch -fftz-math which makes certain > optimizations > assume that "flush to zero" behavior of denormal inputs and outputs is > not an optimization > hint, but required behavior

Re: [PATCH][RFC] Make expansion of balanced binary trees of switches on tree level.

2017-08-14 Thread Richard Biener
On Thu, Aug 10, 2017 at 9:50 AM, Martin Liška wrote: > On 08/02/2017 01:51 PM, Richard Biener wrote: >> On Wed, Aug 2, 2017 at 1:20 PM, Martin Liška wrote: >>> Hello. >>> >>> After some discussions with Honza, I've decided to convert current code in >>> stmt.c

Re: [PATCH] [Aarch64] Optimize subtract in shift counts

2017-08-14 Thread Richard Biener
On Tue, Aug 8, 2017 at 10:20 PM, Richard Kenner wrote: >> Correct. It is truncated for integer shift, but not simd shift >> instructions. We generate a pattern in the split that only generates >> the integer shift instructions. > > That's unfortunate, because it would

[PATCH, PR81844] Fix condition folding in c_parser_omp_for_loop

2017-08-14 Thread Tom de Vries
Hi, this patch fixes the wrong-code PR81844, where an omp for loop is incorrectly removed by the compiler. Consider the test-case from the patch. It contains a omp for condition 'i > 0x7fffULL', where i is of type unsigned long long int. In c_parser_omp_for_loop, we first

Re: [PATCH] Fix middle-end/81737

2017-08-14 Thread Richard Biener
On Tue, Aug 8, 2017 at 7:23 PM, Marek Polacek wrote: > On Mon, Aug 07, 2017 at 04:07:49PM +0200, Richard Biener wrote: >> On August 7, 2017 11:09:59 AM GMT+02:00, Marek Polacek >> wrote: >> >On Mon, Aug 07, 2017 at 10:58:09AM +0200, Jakub Jelinek wrote:

Re: gotools patch committed: Test runtime, misc/cgo/{test,testcarchive}

2017-08-14 Thread Uros Bizjak
On Wed, Jul 26, 2017 at 10:26 PM, Ian Lance Taylor wrote: > On Sat, Jul 22, 2017 at 11:08 AM, Uros Bizjak wrote: >>> This patch to the gotools Makefile adds tests to `make check`. We now >>> test the runtime package using the newly built go tool, and test