On December 5, 2017 10:05:43 PM GMT+01:00, Jakub Jelinek
wrote:
>Hi!
>
>move_sese_region_to_fn moves a subset of the original loop tree
>to the dest_cfun (and adds the outermost loop new).
>Now, some loops might have non-zero orig_loop_num field. In the caller
>that is fine, if the orig_loop_num
On December 5, 2017 9:18:46 PM GMT+01:00, Jeff Law wrote:
>On 11/28/2017 08:15 AM, Richard Biener wrote:
>>
>> The following adds a new target hook,
>targetm.vectorize.split_reduction,
>> which allows the target to specify a preferred mode to perform the
>> final reducion on using either vector s
On 10/23/2017 11:18 AM, Richard Sandiford wrote:
> This patch converts the frame allocation code (mostly in function.c)
> to use poly_int64 rather than HOST_WIDE_INT for frame offsets and
> sizes.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> g
On 10/23/2017 11:26 AM, Richard Sandiford wrote:
> This patch changes the type of the vectorisation factor and SLP
> unrolling factor to poly_uint64. This in turn required some knock-on
> changes in signedness elsewhere.
>
> Cost decisions are generally based on estimated_poly_value,
> which for
On 10/23/2017 11:41 AM, Richard Sandiford wrote:
> This patch changes TYPE_VECTOR_SUBPARTS to a poly_uint64. The value is
> encoded in the 10-bit precision field and was previously always stored
> as a simple log2 value. The challenge was to use this 10 bits to
> encode the number of elements in
On 10/23/2017 11:41 AM, Richard Sandiford wrote:
> This patch changes GET_MODE_NUNITS from unsigned char
> to poly_uint16, although it remains a macro when compiling
> target code with NUM_POLY_INT_COEFFS == 1.
>
> If the number of units isn't known at compile time, we use:
>
> (const:M (vec_du
On 10/23/2017 11:28 AM, Richard Sandiford wrote:
> This patch changes the type of current_vector_size to poly_uint64.
> It also changes TARGET_AUTOVECTORIZE_VECTOR_SIZES so that it fills
> in a vector of possible sizes (as poly_uint64s) instead of returning
> a bitmask. The documentation claimed t
On 10/23/2017 11:29 AM, Richard Sandiford wrote:
> This patch makes vectorizable_load and vectorizable_store cope with
> variable-length vectors. The reverse and permute cases will be
> excluded by the code that checks the permutation mask (although a
> patch after the main SVE submission adds sup
On 10/23/2017 11:23 AM, Richard Sandiford wrote:
> This patch allows MEM_REF offsets to be polynomial, with mem_ref_offset
> now returning a poly_offset_int instead of an offset_int. The
> non-mechanical changes to callers of mem_ref_offset were handled by
> previous patches.
>
>
> 2017-10-23 R
On 10/23/2017 11:10 AM, Richard Sandiford wrote:
> This patch makes the DWARF code use poly_int64 rather than
> HOST_WIDE_INT for CFA offsets. The main changes are:
>
> - to make reg_save use a DW_CFA_expression representation when
> the offset isn't constant and
>
> - to record the CFA inform
On 11/22/2017 11:09 AM, Richard Sandiford wrote:
> Richard Sandiford writes:
>> This patch makes vectorizable_reduction cope with variable-length vectors.
>> We can handle the simple case of an inner loop reduction for which
>> the target has native support for the epilogue operation. For now we
On 10/23/2017 11:12 AM, Richard Sandiford wrote:
> This patch changes the values returned by
> get_addr_unit_base_and_extent from HOST_WIDE_INT to poly_int64.
>
> maxsize in gimple_fold_builtin_memory_op goes from HOST_WIDE_INT
> to poly_uint64 (rather than poly_int) to match the previous use
> of
On 10/23/2017 11:07 AM, Richard Sandiford wrote:
> This patch makes LRA use poly_int64s rather than HOST_WIDE_INTs
> to store a frame offset (including in things like eliminations).
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
> * l
On 10/23/2017 11:19 AM, Richard Sandiford wrote:
> This patch adds new utility functions for manipulating REG_ARGS_SIZE
> notes and allows the notes to carry polynomial as well as constant sizes.
>
> The code was inconsistent about whether INT_MIN or HOST_WIDE_INT_MIN
> should be used to represent
On 12/05/2017 06:53 AM, Jonathan Wakely wrote:
On 05/12/17 09:48 +0100, Marc Glisse wrote:
On Mon, 4 Dec 2017, Martin Sebor wrote:
On 12/04/2017 03:44 PM, Marc Glisse wrote:
On Mon, 4 Dec 2017, Martin Sebor wrote:
The -Wplacement-new option warns for buffer overflow in placement
new express
On 10/23/2017 11:12 AM, Richard Sandiford wrote:
> This patch changes the type of aff_tree::offset from widest_int to
> poly_widest_int and adjusts the function interfaces in the same way.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
>
On 12/05/2017 04:47 PM, Martin Sebor wrote:
> PR middle-end/82646 - bogus -Wstringop-overflow with
> -D_FORTIFY_SOURCE=2 on strncpy with range to a member array,
>
> The bug points out a false positive in a call to strncpy() when
> _FORTIFY_SOURCE is defined that doesn't exist otherwise.
>
> The
On 10/23/2017 11:09 AM, Richard Sandiford wrote:
> This patch makes store_field and related routines use poly_ints
> for bit positions and sizes. It keeps the existing choices
> between signed and unsigned types (there are a mixture of both).
>
>
> 2017-10-23 Richard Sandiford
> Ala
PR middle-end/82646 - bogus -Wstringop-overflow with
-D_FORTIFY_SOURCE=2 on strncpy with range to a member array,
The bug points out a false positive in a call to strncpy() when
_FORTIFY_SOURCE is defined that doesn't exist otherwise.
The problem is that __builtin_strncpy buffer overflow checkin
On 10/23/2017 11:08 AM, Richard Sandiford wrote:
> Similar to the previous store_bit_field patch, but for extractions
> rather than insertions. The patch splits out the extraction-as-subreg
> handling into a new function (extract_bit_field_as_subreg), both for
> ease of writing and because a later
On 10/23/2017 11:08 AM, Richard Sandiford wrote:
> This patch changes the bitnum and bitsize arguments to
> store_bit_field from unsigned HOST_WIDE_INTs to poly_uint64s.
> The later part of store_bit_field_1 still needs to operate
> on constant bit positions and sizes, so the patch splits
> it out
On 10/23/2017 11:08 AM, Richard Sandiford wrote:
> This patch changes C++ bitregion_start/end values from constants to
> poly_ints. Although it's unlikely that the size needs to be polynomial
> in practice, the offset could be with future language extensions.
>
>
> 2017-10-23 Richard Sandiford
On 10/23/2017 11:34 AM, Richard Sandiford wrote:
> This patch makes target-independent code that uses REGMODE_NATURAL_SIZE
> treat it as a poly_int rather than a constant.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
> * combine.c (
On 10/23/2017 11:40 AM, Richard Sandiford wrote:
> The xsize and ysize arguments to memrefs_conflict_p are encode such
> that:
>
> - 0 means the size is unknown
> - >0 means the size is known
> - <0 means that the negative of the size is a worst-case size after
> alignment
>
> In other words, t
On 10/23/2017 11:21 AM, Richard Sandiford wrote:
> This patch changes the sizes passed to emit_group_load and
> emit_group_store from int to poly_int64.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
> * expr.h (emit_group_load, emit_
On 10/23/2017 11:20 AM, Richard Sandiford wrote:
> This patch changes the type of stack_var::size from HOST_WIDE_INT
> to poly_uint64. The difference in signedness is because the
> field was set by:
>
> v->size = tree_to_uhwi (size);
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayw
On 10/23/2017 11:14 AM, Richard Sandiford wrote:
> This patch makes get_bit_range return the range and position as poly_ints.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
> * expr.h (get_bit_range): Return the bitstart and bitend as
On Mon, 2017-12-04 at 15:34 -0500, Jason Merrill wrote:
> On Mon, Dec 4, 2017 at 12:00 PM, David Malcolm
> wrote:
> > * don't filter suggestions if the name name being looked up
> > is itself reserved for implementation
>
> I wonder if we want to avoid filtering if the name being looked up
> star
Jeff Law writes:
> On 10/23/2017 11:09 AM, Richard Sandiford wrote:
>> Normmaly the IRA-reload interface tries to track the liveness of
>> individual bytes of an allocno if the allocno is sometimes written
>> to as a SUBREG. This isn't possible for variable-sized allocnos,
>> but it doesn't matte
On Dec 5, 2017, at 12:56 PM, Thomas Preudhomme
wrote:
>
> Thanks, I've tested after the two commits and it works both in tree and out
> of tree. It'll simplify comparing in tree results Vs out of tree for us,
> thanks a lot!
>
> Would you consider a backport to stable branches if nobody compl
Hi!
move_sese_region_to_fn moves a subset of the original loop tree
to the dest_cfun (and adds the outermost loop new).
Now, some loops might have non-zero orig_loop_num field. In the caller
that is fine, if the orig_loop_num loop is moved, then get_loop will just
return NULL and we'll clear it l
Hi Mike,
Thanks, I've tested after the two commits and it works both in tree and out of
tree. It'll simplify comparing in tree results Vs out of tree for us, thanks a lot!
Would you consider a backport to stable branches if nobody complains after a
week?
Best regards,
Thomas
On 05/12/17 19
On 11/28/2017 08:15 AM, Richard Biener wrote:
>
> The following adds a new target hook, targetm.vectorize.split_reduction,
> which allows the target to specify a preferred mode to perform the
> final reducion on using either vector shifts or scalar extractions.
> Up to that mode the vector reducti
On 11/28/2017 04:34 AM, Siddhesh Poyarekar wrote:
> On Friday 24 November 2017 05:36 PM, Siddhesh Poyarekar wrote:
>> freq_max < 1, i.e. highest frequency among bbs in the function being
>> higher than real_bb_freq_max means that the bb ends up with a profile
>> count larger than real_bb_freq_max a
On Dec 5, 2017, at 11:11 AM, Thomas Preudhomme
wrote:
>
> On 05/12/17 17:54, Andrew Pinski wrote:
>> On Tue, Dec 5, 2017 at 9:50 AM, Thomas Preudhomme
>> wrote:
>>> Hi,
>>>
>>> dump-noaddr test FAILS when $tmpdir is not the same as the directory
>>> where runtest is called from. Note that this
On Dec 5, 2017, at 9:54 AM, Andrew Pinski wrote:
>
> On Tue, Dec 5, 2017 at 9:50 AM, Thomas Preudhomme
> wrote:
>> Hi,
>>
>> dump-noaddr test FAILS when $tmpdir is not the same as the directory
>> where runtest is called from. Note that this does not happen when
>> running make check because tm
On 05/12/17 17:54, Andrew Pinski wrote:
On Tue, Dec 5, 2017 at 9:50 AM, Thomas Preudhomme
wrote:
Hi,
dump-noaddr test FAILS when $tmpdir is not the same as the directory
where runtest is called from. Note that this does not happen when
running make check because tmpdir is set to srcdir.
In
On Mon, Nov 20, 2017 at 4:51 PM, Jonathan Wakely wrote:
> On 20/11/17 21:07 +, Jonathan Wakely wrote:
>>
>> On 20/11/17 21:01 +, Jonathan Wakely wrote:
>>>
>>> On 20/11/17 21:43 +0100, Christophe Lyon wrote:
On 20 November 2017 at 17:02, David Edelsohn wrote:
>
> This pa
> I've come up with a considerably simpler patch, which merely causes the
> procedure adafinal to be generated with a null body if the restriction
> No_Task_Termination is set (note, this restriction is part of the
> Ravenscar profile; if tasks can't terminate, program level finalization
> can't ha
The problem here is that deduction of F tries to substitute into the
type of F, but we haven't deduced R or A yet, so we can't do anything.
tsubst_pack_expansion knows how to handle this, but only expects to
see it within a template. In general, substitution in the middle of
deduction needs to be
On 16 June 2010 at 14:56, Janus Weil wrote:
>>> Regtested on x86_64-unknown-linux-gnu. Ok for trunk?
>>>
>>
>> OK. Kudos to Dominique for finding it and thanks, Janus, for fixing it.
>
> Thanks. Committed as r160834.
@@ -4591,12 +4591,14 @@ gfc_check_symbol_typed (gfc_symbol* sym, gfc_namespace*
Three related regression fixes:
- We can't use asserts like:
gcc_assert (GET_MODE_SIZE (mode) == 16);
in aarch64_print_operand because it could trigger for invalid user input.
- The output_operand_lossage in aarch64_print_address_internal:
output_operand_lossage ("invalid operand for
On Tue, Dec 5, 2017 at 9:50 AM, Thomas Preudhomme
wrote:
> Hi,
>
> dump-noaddr test FAILS when $tmpdir is not the same as the directory
> where runtest is called from. Note that this does not happen when
> running make check because tmpdir is set to srcdir.
>
> In that case, file mkdir will create
Hi,
dump-noaddr test FAILS when $tmpdir is not the same as the directory
where runtest is called from. Note that this does not happen when
running make check because tmpdir is set to srcdir.
In that case, file mkdir will create the directory in the current
directory while GCC is invoked from tmp
On 11/28/2017 11:09 AM, Richard Sandiford wrote:
> Jeff Law writes:
>> On 10/23/2017 11:30 AM, Richard Sandiford wrote:
>>> This patch makes vectorizable_conversion cope with variable-length
>>> vectors. We already require the number of elements in one vector
>>> to be a multiple of the number of
On 10/23/2017 11:32 AM, Richard Sandiford wrote:
> This patch makes tree-vect-generic.c cope with variable-length vectors.
> Decomposition is only supported for constant-length vectors, since we
> should never generate unsupported variable-length operations.
>
>
> 2017-10-23 Richard Sandiford
On 10/23/2017 11:32 AM, Richard Sandiford wrote:
> This patch replaces the two-state vect_no_alias_p with a three-state
> vect_compile_time_alias that handles polynomial segment lengths.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
>
On 10/23/2017 11:29 AM, Richard Sandiford wrote:
> This patch makes vectorizable_induction cope with variable-length
> vectors. For now we punt on SLP inductions, but patchees after
> the main SVE submission add support for those too.
>
>
> 2017-10-23 Richard Sandiford
> Alan Haywar
On 10/23/2017 11:26 AM, Richard Sandiford wrote:
> This match makes tree-vect-slp.c track the maximum number of vector
> units as a poly_uint64 rather than an unsigned int.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
> * tree-vect-
On 10/23/2017 11:27 AM, Richard Sandiford wrote:
> This patch makes omp_max_vf return a polynomial vectorization factor.
> We then need to be able to stash a polynomial value in
> OMP_CLAUSE_SAFELEN_EXPR too:
>
>/* If max_vf is non-zero, then we can use only a vectorization factor
> up t
On 10/23/2017 11:27 AM, Richard Sandiford wrote:
> This patch adds a function for getting the number of elements in
> a vector for cost purposes, which is always constant. It makes
> it possible for a later patch to change GET_MODE_NUNITS and
> TYPE_VECTOR_SUBPARTS to a poly_int.
>
>
> 2017-10-2
On 10/23/2017 11:25 AM, Richard Sandiford wrote:
> This patch makes prune_runtime_alias_test_list take the iteration
> factor as a poly_int and tracks polynomial offsets internally
> as well.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
>
On 10/23/2017 11:25 AM, Richard Sandiford wrote:
> This patch splits the loop versioning threshold out from the
> cost model threshold so that the former can become a poly_uint64.
> We still use a single test to enforce both limits where possible.
>
>
> 2017-10-23 Richard Sandiford
>
This fixes 83287, a case where we failed to mark a lookup occuring
inside a template definition as being kept for instantiation. It turns
out that CAST_EXPR's single argument is a TREE_LIST, so we need to check
it for OVERLOADS. CAST_EXPR behaves this way because it's modelling a
function cal
On 10/23/2017 11:24 AM, Richard Sandiford wrote:
> This patch makes ivopts handle polynomial address offsets
> when recording potential IV uses.
>
>
> 2017-10-23 Richard Sandiford
> Alan Hayward
> David Sherwood
>
> gcc/
> * tree-ssa-loop-ivopts.c (iv_use::addr_o
On 10/23/2017 11:22 AM, Richard Sandiford wrote:
> verify_expr ensured that the size and offset in gimple BIT_FIELD_REFs
> satisfied tree_fits_uhwi_p. This patch extends that so that they can
> be poly_uint64s, and adds helper routines for accessing them when the
> verify_expr requirements apply.
On 10/23/2017 11:18 AM, Richard Sandiford wrote:
> This patch makes a few small poly_int64 changes to reload1.c,
> mostly related to eliminations. Again, there's no real expectation
> that reload will be used for targets that have polynomial-sized modes,
> but it seemed easier to convert it anyway
On 7 Mar 2017, at 16:20, Simon Wright wrote:
>
> On 19 Dec 2015, at 22:05, Simon Wright wrote:
>>
>> On 12 Nov 2015, at 10:02, Arnaud Charlet wrote:
>>>
> This situation arises, for example, with an embedded RTS that
> incorporates the
> Ada 2012 generalized container iterators.
>
On 10/23/2017 11:18 AM, Richard Sandiford wrote:
> This patch makes a few small poly_int64 changes to reload.c,
> such as in the "decomposition" structure. In practice, any
> port with polynomial-sized modes should be using LRA rather
> than reload, but it's easier to convert reload anyway than
>
On 10/23/2017 11:14 AM, Richard Sandiford wrote:
> This patch makes expand_debug_expr track polynomial memory offsets.
> It simplifies the handling of the case in which the reference is not
> to the first byte of the base, which seemed non-trivial enough to
> make it worth splitting out as a separa
On 12/04/2017 02:25 PM, Michael Matz wrote:
> Hi,
>
> On Thu, 30 Nov 2017, Jeff Law wrote:
>
>> And after PHI propagation we have:
>> # m_5 = PHI <10(5), 12(6), 14(7)>
>> # _2 = PHI <10(5), 12(6), 14(7)>
>> # _3 = PHI <320(5), 384(6), 448(7)>
>> :
>> goto ; [100.00%]
>>
>> DCE will come a
On 12/03/2017 04:55 PM, Martin Sebor wrote:
> It was suggested to me that it might be helpful to mention
> attribute nonstring as a solution to -Wstringop-truncation
> warnings. I think it's a good idea to add a reference to
> the attribute to the manual. The attached patch does that.
>
> Since
The probe_stack pattern uses r0 as a fixed register. This can cause
issues if we have auto-increment instructions coming out that have r0 as
the base register.
Tested with a bootstrap and regression run. richi reports that the
original issue was fixed in the run. I did consider whether
probe_
Hi!
As Segher mentioned, the -dp printed alternative numbers used to be one
based, but now are zero based. This adjusts all the -dp testcases that
have /[1-9] regexps.
Tested on x86_64-linux and i686-linux, committed to trunk.
2017-12-05 Jakub Jelinek
PR testsuite/83289
* gc
On 01/12/17 15:32 +, Jonathan Wakely wrote:
On 14/11/17 13:56 -0500, Jason Merrill wrote:
While working on an unrelated issue I noticed that the compiler didn't
like some of these declarations after preprocessing, when they aren't
protected by system-header permissiveness.
I thought about l
The following fixes a code-gen error in GRAPHITE. liveout handling
is still somewhat flaky and the easiest fix is to force code generation
of defs where ISL scheduled them (rather than at the PHI edge src).
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2017-12-05 Rich
On Mon, Dec 04, 2017 at 05:33:37PM +, Steve Ellcey wrote:
> On Mon, 2017-12-04 at 17:18 +, Kyrill Tkachov wrote:
>
> > > +(define_insn_reservation "thunderx2t99_multiple" 1
> > > + (and (eq_attr "tune" "thunderx2t99")
> > > + (eq_attr "type" "multiple"))
> > > + "thunderx2t99_i0+th
On Tue, Dec 05, 2017 at 02:28:56PM +, Richard Sandiford wrote:
> The split conditions for aarch64_simd_bsldi_internal and
> aarch64_simd_bsldi_alt were:
>
> "&& GP_REGNUM_P (REGNO (operands[0]))"
>
> But since they (deliberately) can be split before reload, the operand
> matched by register
On Mon, Dec 4, 2017 at 9:37 PM, augustine.sterl...@gmail.com
wrote:
> On Mon, Dec 4, 2017 at 1:28 PM, Max Filippov wrote:
>> gcc/
>> 2017-12-04 Max Filippov
>>
>> * config/xtensa/xtensa.c (xtensa_asan_shadow_offset): New
>> function.
>> (TARGET_ASAN_SHADOW_OFFSET): New
The split conditions for aarch64_simd_bsldi_internal and
aarch64_simd_bsldi_alt were:
"&& GP_REGNUM_P (REGNO (operands[0]))"
But since they (deliberately) can be split before reload, the operand
matched by register_operand can be a SUBREG rather than a REG. This
triggered a boostrap failure bu
OK, thanks.
On Tue, Dec 5, 2017 at 7:33 AM, Jakub Jelinek wrote:
> On Fri, Dec 01, 2017 at 03:16:23PM -0500, Jason Merrill wrote:
>> commit e39b7d506d236ce7ef9f64d1bcf0b384bb2d8038
>> Author: Jason Merrill
>> Date: Fri Dec 1 07:45:03 2017 -0500
>>
>> PR c++/79228 - extensions hide
On 05/12/17 09:48 +0100, Marc Glisse wrote:
On Mon, 4 Dec 2017, Martin Sebor wrote:
On 12/04/2017 03:44 PM, Marc Glisse wrote:
On Mon, 4 Dec 2017, Martin Sebor wrote:
The -Wplacement-new option warns for buffer overflow in placement
new expressions with objects of constant sizes, but because
Hi!
As mentioned in the PR, while (T)(P + A) - (T)P -> (T) A
shouldn't introduce UB when it wasn't there earlier,
(T)P - (T)(P + A) -> -(T) A
and
(T)(P + A) - (T)(P + B) -> (T)A - (T)B
can, so if the conversion to T isn't widening and T has undefined overflow,
then we need to perform the negation
Hi!
The i suffix in C++14 does something different now, so I've changed
it to use the j suffix which stayed as is.
Regtested on x86_64-linux and i686-linux, committed to trunk.
2017-12-05 Jakub Jelinek
PR testsuite/83281
* testsuite/libgomp.oacc-c-c++-common/reduction-cplx-fl
Hi!
This testcase has been fixed by r253146 but that testcase is quite different
from this one, so I've committed this to trunk as obvious.
2017-12-05 Jakub Jelinek
PR tree-optimization/83283
* g++.dg/torture/pr83283.C: New test.
--- gcc/testsuite/g++.dg/torture/pr83283.C.jj
Just noticed they're missing.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2017-12-05 Richard Biener
* timevar.def (TV_TREE_RECIP, TV_TREE_SINCOS, TV_TREE_WIDEN_MUL):
Add.
* tree-ssa-math-opts.c (pass_data_cse_reciprocal): Use TV_TREE_RECIP
On Tue, Dec 5, 2017 at 1:02 PM, Richard Biener wrote:
>
> This is my final sweep through the code doing cleanup on-the-fly.
Hi,
Thanks very much for all your help!
>
> I think the code is ready to go now (after you committed your changes).
>
> What I'd eventually like to see is merge the two loop_
On Tue, 5 Dec 2017, Martin Jambor wrote:
> On Tue, Dec 05 2017, Martin Jambor wrote:
> > On Tue, Dec 05 2017, Martin Jambor wrote:
> > Hi,
> >
> >> Hi,
> >>
> >> this is a followup to Richi's
> >> https://gcc.gnu.org/ml/gcc-patches/2017-11/msg02396.html to fix PR
> >> 83141. The basic idea is sim
This is my final sweep through the code doing cleanup on-the-fly.
I think the code is ready to go now (after you committed your changes).
What I'd eventually like to see is merge the two loop_cand objects
into a single interchange_cand object, having two really confuses
me when reading and tryin
On Mon, Dec 04, 2017 at 11:52:01AM +0100, Jakub Jelinek wrote:
> On Wed, Nov 29, 2017 at 05:21:22PM -0500, Vladimir Makarov wrote:
> > The following patch fixes
> >
> > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80818
> >
> > The patch was successfully tested and bootstrapped on x86_64. The
This patch improves the debugging information generated by the compiler
for task discriminant.
No test available.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-12-05 Javier Miranda
* exp_ch9.adb (Install_Private_Data_Declarations): Add missing
Debug_Info_Needed decor
This patch fixds a spurious error report on a prefixed call where the
operation is a private overriding of a visible operation, and the operation
has various overloadings in the visible and private parts.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
2017-12-05 Ed Schonberg
This patch adds a check to reject an aspect Predicate on a formal type
declaration.
Compiling gen.adb must yield:
gen.ads:2:55: predicate cannot apply to formal type
---
generic
type T is array (Integer range <>) of Integer
with Predicate => T'First /= 1;
function Gen return Integer
On Fri, Dec 01, 2017 at 03:16:23PM -0500, Jason Merrill wrote:
> commit e39b7d506d236ce7ef9f64d1bcf0b384bb2d8038
> Author: Jason Merrill
> Date: Fri Dec 1 07:45:03 2017 -0500
>
> PR c++/79228 - extensions hide C++14 complex literal operators
>
> libcpp/
> * expr
But isn't that the change I already rejected back in July?
You are right, that was a mistake from our side to submit it again. We
had rediscovered the sequence using our scanning script and I forgot
that the sequence was harmless in this case. We will update our scripts
and revert the patch.
This patch introduces a check which ensures that SPARK elaboration code is
processed using the static elaboration model as it guarantees the highest
degree of safety.
-- Source --
-- spark_pack.ads
package SPARK_Pack with SPARK_Mode is
pragma Elaborate_Body;
typ
Our trampoline avoidance scheme based on subprogram descriptors
should always be disconnected for subprograms with foreign convention.
For access to subprogram subtypes, the Set_Convention front-end
procedure is expected to take care of this, but it currently only
does so for subtypes not within a
Adding Cc: Uros and Kirill
https://gcc.gnu.org/ml/gcc-patches/2017-11/msg02233.html
On Sat, 25 Nov 2017, Marc Glisse wrote:
Hello,
the way full masks are generated currently in avx2intrin.h is questionable:
opaque for the inline functions, weird/wrong for the macros.
It is possible we may w
When executing a Line Number program statement, the state machine bails
out a few bytes before the current offset reaches the end of section to
account for possible padding bytes at the end.
The current test is checking if current_offset + 4 >= section_length,
which is too early for e.g. a program
On Tue, Dec 05 2017, Martin Jambor wrote:
> On Tue, Dec 05 2017, Martin Jambor wrote:
> Hi,
>
>> Hi,
>>
>> this is a followup to Richi's
>> https://gcc.gnu.org/ml/gcc-patches/2017-11/msg02396.html to fix PR
>> 83141. The basic idea is simple, be just as conservative about type
>> changing MEM_REFs
Expand_Iterator_Loop_Over_Array turns a loop over an array:
for Element of Array loop
into a loop with an explicit iteration variable, but it doesn't propagate the
SLOC of Element onto the new iteration variable. This results in inaccurate
information when precise coverage is requested, as t
The processing of shared library load addresses for backtrace symbolization
suffers from disconnects between various parts in the runtime library regarding
where run-time vs shared-object-file-relative addresses are at hand.
At some points the code processes a local copy of each address coming fro
This patch fixes a visibility bug in the expansion of a loop over an object
whose type carries the GNAT-specific Iterable aspect. Prior to this patch,
the loop variable remained visible after exit from the loop.
Compiling iterator_test.adb must yield:
iterator_test.adb:26:61: "number" is not v
On Tue, Dec 5, 2017 at 11:07 AM, Bin Cheng wrote:
> Hi,
> This is an obvious cleanup patch doing variable renaming, function inlining.
> Is it OK?
Yes.
Thanks,
Richard.
> Thanks,
> bin
> 2017-12-05 Bin Cheng
>
> * gimple-loop-interchange.cc (struct induction): Rename fields.
>
> The sequence
> st
> fdivd / fsqrtd
> std
> was generated in some cases with -mfix-ut699 when there was
> a st before the div/sqrt. This sequence could trigger the b2bst errata.
>
> Now the following safe sequence is generated instead:
> st
> nop
> fdivd / fsqrtd
> std
>
> gcc/Chan
Hi,
This is an obvious cleanup patch doing variable renaming, function inlining.
Is it OK?
Thanks,
bin
2017-12-05 Bin Cheng
* gimple-loop-interchange.cc (struct induction): Rename fields.
(dump_induction, loop_cand::analyze_induction_var): Update uses.
(loop_cand::undo_
On 01/12/17 15:43, Charles Baylis wrote:
On 30 November 2017 at 15:56, Kyrill Tkachov
wrote:
So is it the case that you don't run any arm tests that include arm_neon.h
in your configuration?
No, it is only the case that any arm test which includes arm_neon.h
(in fact, any system header) *an
On Tue, Nov 21, 2017 at 12:59:46PM +0100, Martin Liška wrote:
> On 10/16/2017 10:39 PM, Martin Liška wrote:
> > Hi.
> >
> > All nits included in mainline review request I've just done:
> > https://reviews.llvm.org/D38971
> >
> > Martin
>
> Hi.
>
> There's updated version of patch where I added
On Mon, 4 Dec 2017, Richard Biener wrote:
> On Mon, 4 Dec 2017, Bin.Cheng wrote:
>
> > On Mon, Dec 4, 2017 at 1:11 PM, Richard Biener wrote:
> > >
> > > I've noticed we perform FP reduction association without the required
> > > checks for associative math. I've added
> > > gcc.dg/tree-ssa/loop
Hi,
I would like to again ping this patch:
https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01451.html
While the patch touches a few places, it is mostly reshuffling,
generalizing, and fixing existing code. It also includes tests
for the new functionality. Seeing that there is interest[1] in
reprod
1 - 100 of 101 matches
Mail list logo
