Re: [Patch, avr] Fix PR 71151

Denis Chertykov writes: > 2016-06-16 10:27 GMT+03:00 Senthil Kumar Selvaraj > : >> >> Senthil Kumar Selvaraj writes: >> >>> Georg-Johann Lay writes: >>> Senthil Kumar Selvaraj schrieb: > Hi, > > This patch fixes PR 71151 by eliminating the

[openacc] clean up acc directive matching in fortran

This patch introduces a match_acc function to the fortran FE. It's almost identical to match_omp, but it passes openacc = true to gfc_match_omp_clauses. I supposed I could have consolidated those two functions, but they are reasonably simple so I left them separate. Maybe a follow up patch can

Re: [openacc] clean up acc directive matching in fortran

On 06/16/2016 08:30 PM, Cesar Philippidis wrote: > This patch introduces a match_acc function to the fortran FE. It's > almost identical to match_omp, but it passes openacc = true to > gfc_match_omp_clauses. I supposed I could have consolidated those two > functions, but they are reasonably simple

Re: OpenACC wait clause

On 06/07/2016 08:02 AM, Jakub Jelinek wrote: > On Tue, Jun 07, 2016 at 08:01:10AM -0700, Cesar Philippidis wrote: >> On 06/07/2016 04:13 AM, Jakub Jelinek wrote: >> >>> I've noticed >>> if ((mask & OMP_CLAUSE_WAIT) >>> && !c->wait >>> && gfc_match ("wait") ==

RFC: 2->2 combine patch (was: Re: [PATCH] Allow fwprop to undo vectorization harm (PR68961))

On Fri, Jun 10, 2016 at 11:20:22AM +0200, Richard Biener wrote: > With the proposed cost change for vector construction we will end up > vectorizing the testcase in PR68961 again (on x86_64 and likely > on ppc64le as well after that target gets adjustments). Currently > we can't optimize that

Re: [PATCH,rs6000] Improve tests for Power9 vector absolute difference unsigned instructions

On Thu, Jun 16, 2016 at 11:47:17AM -0600, Kelvin Nilsen wrote: > This patch improves upon a recently committed patch to add support for > Power9 vector absolute difference unsigned instructions in two ways: This is okay for trunk, and 6 after a while. Thanks. One comment: > +/* { dg-skip-if ""

Re: [PATCH] Backport PowerPC complex __float128 compiler support to GCC 6.x

On Wed, 15 Jun 2016, Michael Meissner wrote: > Note, I do feel the front ends should be modified to allow __complex > __float128 > directly rather than having to use an attribute to force the complex type (and > to use mode(TF) on x86 or mode(KF) on PowerPC). It would clean up both x86 > and >

[committed] Consolidate various PIC pc-relative sequences to one output function in pa.c

The attached patch consolidates various PIC pc-relative sequences to load function and code-label addresses into one function. This simplifies the output functions. It also allows use of the mfia instruction to load the current program counter when generating PA 2.0 . These sequences are

Re: Container debug light mode

On 16/06/16 21:28 +0200, François Dumont wrote: And here is the patch to only add light debug checks to vector and deque. Excellent, thanks - this is OK for trunk.

Re: [DOC PATCH, i386]: Document -m80387 and -mhard-float

On Thu, Jun 16, 2016 at 07:58:59PM +0200, Uros Bizjak wrote: > Hello! > > These two options were missing from the documentation. > > 2016-06-16 Uros Bizjak > > * doc/invoke.texi (x86 Options): Document -m80387 and -mhard-float. > > Bootstrapped on x86_64-linux-gnu,

Re: PR 71181 Avoid rehash after reserve

Here is a new version compiling all your feedbacks. PR libstdc++/71181 * include/tr1/hashtable_policy.h (_Prime_rehash_policy::_M_next_bkt): Make past-the-end iterator dereferenceable to avoid check on lower_bound result. (_Prime_rehash_policy::_M_bkt_for_elements): Call

Re: Container debug light mode

And here is the patch to only add light debug checks to vector and deque. * include/debug/debug.h (__glibcxx_requires_non_empty_range, __glibcxx_requires_nonempty) (__glibcxx_requires_subscript): Move... * include/debug/assertions.h: ...here and add __builtin_expect.

[PATCH] Fix finding of a first match predictor

Hello. Currently, whenever we find a first match predictor, we firstly find a predictor which is defined first in the list of predictors and eventually we check that the predictor is PRED_FLAG_FIRST_MATCH. Proper implementation is to consider just predictors with the flag set. Patch reg on

[committed] Fix OpenMP C++ mapping of struct elements with reference to struct as base

Hi! As the testcase shows, we weren't handling properly the case where the decl after which .field appears in map clauses is reference to struct/class. Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, and tested with x86_64-intelmicemul-linux offloading on x86_64-linux,

Re: [Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

2016-06-16 17:07 GMT+02:00 Jonathan Wakely : > On 16/06/16 14:08 +0100, Jonathan Wakely wrote: >> >> >> /home/jwakely/src/gcc/gcc/libstdc++-v3/testsuite/20_util/is_nothrow_swappable/./value.h:285:3: >> error: static assertion failed >> >>

[DOC PATCH, i386]: Document -m80387 and -mhard-float

Hello! These two options were missing from the documentation. 2016-06-16 Uros Bizjak * doc/invoke.texi (x86 Options): Document -m80387 and -mhard-float. Bootstrapped on x86_64-linux-gnu, committed to mainline SVN. Uros. Index: doc/invoke.texi

Re: [PATCH,rs6000] Improve tests for Power9 vector absolute difference unsigned instructions

On 06/16/2016 11:47 AM, Kelvin Nilsen wrote: > This patch improves upon a recently committed patch to add support for > Power9 vector absolute difference unsigned instructions in two ways: > > 1. The dg-require-effective-target directive is changed in all tests to > allow the test to run even

[PATCH,rs6000] Improve tests for Power9 vector absolute difference unsigned instructions

This patch improves upon a recently committed patch to add support for Power9 vector absolute difference unsigned instructions in two ways: 1. The dg-require-effective-target directive is changed in all tests to allow the test to run even though the tests are not run on a Power9 platform, as long

[Patch ARM arm_neon.h] s/__FAST_MATH/__FAST_MATH__/g

Hi, As subject, config/arm/arm_neon.h currently uses __FAST_MATH, but: $ gcc -E -dM - -ffast-math < /dev/null | grep FAST_MATH #define __FAST_MATH__ 1 It should be spelled as __FAST_MATH__. I've made that change, and confirmed that it causes the preprocessor to do what was intended for

Re: [PATCH, vec-tails 06/10] Mark the first vector store generated for a scalar store

On 05/19/2016 01:43 PM, Ilya Enkovich wrote: Hi, This patch STMT_VINFO_FIRST_COPY_P field to statement vec info. This is used to find the first vector store generated for a scalar one. For other statements I use original scalar statement to find the first and following vector statement. For

Re: [PATCH, vec-tails 09/10] Print more info about vectorized loop

On 05/19/2016 01:49 PM, Ilya Enkovich wrote: Hi, This patch extends dumps for vectorized loops to provide more info about them and also specify used vector size. This is to be used for tests. Thanks, Ilya -- gcc/ 2016-05-19 Ilya Enkovich *

Re: [PATCH, vec-tails 07/10] Support loop epilogue combining

On 05/19/2016 01:44 PM, Ilya Enkovich wrote: Hi, This patch introduces support for loop epilogue combining. This includes support in cost estimation and all required changes required to mask vectorized loop. Thanks, Ilya -- gcc/ 2016-05-19 Ilya Enkovich *

Re: [Patch, avr] Fix PR 71151

2016-06-16 10:27 GMT+03:00 Senthil Kumar Selvaraj : > > Senthil Kumar Selvaraj writes: > >> Georg-Johann Lay writes: >> >>> Senthil Kumar Selvaraj schrieb: Hi, This patch fixes PR 71151 by eliminating the TARGET_ASM_FUNCTION_RODATA_SECTION

Re: [PATCH] Add port for Phoenix-RTOS on ARM platform.

On 06/16/2016 02:59 AM, Jakub Sejdak wrote: Actually, if possible, I would skip the "arm" part, because we plan to port Phoenix-RTOS for other platforms. It will be easier to do it once. Generally we prefer to see an ongoing commitment to the GCC project along with regular high quality

Re: RFA (gimplify): PATCH to implement C++ order of evaluation paper

On Thu, Jun 16, 2016 at 06:15:34PM +0200, Jakub Jelinek wrote: > and then do in gimplify_modify_expr: > ret = gimplify_expr (from_p, pre_p, post_p, > is_gimple_reg (*to_p) ^^^ of course even this is a prediction and wrong one for DECL_HAS_VALUE_EXPR_Ps. Conservative would

Re: RFA (gimplify): PATCH to implement C++ order of evaluation paper

On Thu, Jun 16, 2016 at 11:28:48AM -0400, Jason Merrill wrote: > gimple_predicate > rhs_predicate_for (tree lhs) > { > - if (is_gimple_reg (lhs)) > + if (will_be_gimple_reg (lhs)) > return is_gimple_reg_rhs_or_call; >else > return is_gimple_mem_rhs_or_call; > @@ -4778,10 +4811,6

Re: [PATCH, vec-tails 02/10] Extend _loop_vec_info structure with epilogue related fields

2016-06-16 8:11 GMT+03:00 Jeff Law : > On 05/19/2016 01:38 PM, Ilya Enkovich wrote: >> >> Hi, >> >> This patch adds new fields to _loop_vec_info structure to support loop >> epilogue vectorization. >> >> Thanks, >> Ilya >> -- >> gcc/ >> >> 2016-05-19 Ilya Enkovich

Re: [PATCH, i386][Updated] Add native support for VIA C7, Eden and Nano CPUs

On Thu, Jun 16, 2016 at 11:12 AM, J. Mayer wrote: > The following patch adds support and native detection for C7, Eden > "Samuel2", Eden "Nehemiah", Eden "Esther", Eden x2, Eden x4, Nano 1xxx, > Nano 2xxx, Nano 3xxx, Nano x2 and Nano x4 VIA CPUs. > > This patch has been updated

[PATCH] Introduce fortran loop preheader

Hello. Following patch introduces FORTRAN_LOOP_PREHEADER predictor for all Fortran loops that are transformed to: [Evaluate loop bounds and step] dovar = from; if ((step > 0) ? (dovar <= to) : (dovar => to)) { for (;;) { body; cycle_label: cond =

Re: [PATCH, vec-tails 07/10] Support loop epilogue combining

2016-06-16 18:51 GMT+03:00 Jeff Law : > On 06/16/2016 09:41 AM, Ilya Enkovich wrote: >> >> 2016-06-15 14:44 GMT+03:00 Richard Biener : >>> >>> On Thu, May 19, 2016 at 9:44 PM, Ilya Enkovich >>> wrote: Hi,

[PATCH] Add 'Fortran' to display text of all PRED_FORTRAN_*

Hello. Following patch just enhances display names of all Fortran predictors. Pre-approved by Honza. Patch survives reg on x86_64-linux-gnu. Installed as r237532. Martin >From 4bfd7a78395c5145712fd5a104e9a9dd43b9c541 Mon Sep 17 00:00:00 2001 From: marxin Date: Thu, 16 Jun 2016

Re: [PATCH][AArch64] Handle iterator definitions with conditionals in geniterator.sh

On Thu, Jun 16, 2016 at 09:31:19AM +0100, Szabolcs Nagy wrote: > Turn the following definition in iterators.md > > (define_mode_iterator XXX [(YYY "condition") ZZZ]) > > into > > #define BUILTIN_XXX(T, N, MAP) \ > VAR2 (T, N, MAP, yyy, zzz) > > previously geniterators.sh skipped definitions

Re: [PATCH, vec-tails 08/10] Support loop epilogue masking and low trip count loop vectorization

2016-06-15 15:00 GMT+03:00 Richard Biener : > On Thu, May 19, 2016 at 9:46 PM, Ilya Enkovich wrote: >> Hi, >> >> This patch enables vectorization of loop epilogues and low trip count >> loops using masking. > > I wonder why we have the epilogue

Re: [PATCH, vec-tails 07/10] Support loop epilogue combining

On 06/16/2016 09:41 AM, Ilya Enkovich wrote: 2016-06-15 14:44 GMT+03:00 Richard Biener : On Thu, May 19, 2016 at 9:44 PM, Ilya Enkovich wrote: Hi, This patch introduces support for loop epilogue combining. This includes support in cost

Re: [PATCH, vec-tails 08/10] Support loop epilogue masking and low trip count loop vectorization

On 05/19/2016 01:46 PM, Ilya Enkovich wrote: Hi, This patch enables vectorization of loop epilogues and low trip count loops using masking. Thanks, Ilya -- gcc/ 2016-05-19 Ilya Enkovich * dbgcnt.def (vect_tail_mask): New. * tree-vect-loop.c

RE: [PATCH][AArch64] Enable -frename-registers at -O2 and higher

> Though there's a slight (<1%) overall improvement on Exynos M1, there just were > too many significant (<-3%) regressions for a few significant improvements for me > to be comfortable with -frename-registers being a generic default for AArch64. > > I'll run some larger benchmarks tonight, but

Re: [PATCH] Handle undefined extern vars in output_in_order

> On Thu, 16 Jun 2016, Jan Hubicka wrote: > > I see, order is created at a time variable is added to symbol table (not at > > time when definition is given). So we should have order everywhere. > > Patch is OK > > Thanks! If you don't mind a quick followup question: now that both >

Re: [PATCH, vec-tails 07/10] Support loop epilogue combining

2016-06-15 14:44 GMT+03:00 Richard Biener : > On Thu, May 19, 2016 at 9:44 PM, Ilya Enkovich wrote: >> Hi, >> >> This patch introduces support for loop epilogue combining. This includes >> support in cost estimation and all required changes

Re: [PATCH] Handle undefined extern vars in output_in_order

On Thu, 16 Jun 2016, Jan Hubicka wrote: > I see, order is created at a time variable is added to symbol table (not at > time when definition is given). So we should have order everywhere. > Patch is OK Thanks! If you don't mind a quick followup question: now that both FOR_EACH_VARIABLE loops in

Re: RFA (gimplify): PATCH to implement C++ order of evaluation paper

On Wed, Jun 15, 2016 at 6:30 AM, Richard Biener wrote: > On Tue, Jun 14, 2016 at 10:15 PM, Jason Merrill wrote: >> As discussed in bug 71104, the C++ P0145 proposal specifies the evaluation >> order of certain operations: >> >> 1. a.b >> 2. a->b >>

Re: [PATCH] Handle undefined extern vars in output_in_order

> On Thu, 16 Jun 2016, Jan Hubicka wrote: > > > On Thu, 9 Jun 2016, Alexander Monakov wrote: > > + FOR_EACH_VARIABLE (pv) > [snip] > > + i = pv->order; > > + gcc_assert (nodes[i].kind == ORDER_UNDEFINED); > > + nodes[i].kind = pv->definition ? ORDER_VAR : ORDER_VAR_UNDEF; > > +

Re: [Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

On 16/06/16 14:08 +0100, Jonathan Wakely wrote: /home/jwakely/src/gcc/gcc/libstdc++-v3/testsuite/20_util/is_nothrow_swappable/./value.h:285:3: error: static assertion failed /home/jwakely/src/gcc/gcc/libstdc++-v3/testsuite/20_util/is_nothrow_swappable/./value.h:287:3: error: static assertion

[PATCH] Add a new target hook to compute the frame layout

Hi! By the design of the target hook INITIAL_ELIMINATION_OFFSET it is necessary to call this function several times with different register combinations. Most targets use a cached data structure that describes the exact frame layout of the current function. It is safe to skip the computation

Re: [C++ PATCH] Don't promote bitfields in last arg of __builtin_*_overflow_p

On Wed, 15 Jun 2016, Martin Sebor wrote: > Looks fine to me. The bit-field handling should be explained > in the manual. Though useful, it's unusual enough that I don't > think people will expect it (there have been bug reports or > questions in the past about the C handling of bit-fields from

Re: [PATCH] Handle undefined extern vars in output_in_order

On Thu, 16 Jun 2016, Jan Hubicka wrote: > > On Thu, 9 Jun 2016, Alexander Monakov wrote: > + FOR_EACH_VARIABLE (pv) [snip] > + i = pv->order; > + gcc_assert (nodes[i].kind == ORDER_UNDEFINED); > + nodes[i].kind = pv->definition ? ORDER_VAR : ORDER_VAR_UNDEF; > + nodes[i].u.v =

Re: [PATCH, IA64, RFT]: Implement PR 71242, Missing built-in functions for float128 NaNs

On Thu, Jun 16, 2016 at 12:44 PM, Alexander Monakov wrote: > Hi, > >> 2016-06-12 Uros Bizjak >> >> PR target/71242 >> * config/ia64/ia64.c (enum ia64_builtins) [IA64_BUILTIN_NANQ]: New. >> [IA64_BUILTIN_NANSQ]: Ditto. >>

Commit: MSP430: Rename entries in option enums

Hi Guys, I recently noticed that the MSP430 backend uses some pretty generic names for the enum values of its hardware multiply and memory region options. This could possibly cause problems if these names are used elsewhere, so I have decided to check in the patch below to fix this.

Re: [PATCH] Handle undefined extern vars in output_in_order

> On Thu, 9 Jun 2016, Alexander Monakov wrote: > > > Hi, > > > > This patch teaches cgraphunit.c:output_in_order to output undefined external > > variables via assemble_undefined_decl. At the moment that is only done for > > -ftoplevel-reorder in varpool.c:symbol_table::output_variables. This

Re: [wwwdocs] Buildstat update for 5.x

On Thu, Jun 16, 2016 at 03:53:40PM +0200, Tom G. Christensen wrote: > Latest results for 5.x > > -tgc > > Testresults for 5.4.0: > i386-pc-solaris2.11 (2) > i386-pc-solaris2.12 (2) > sparc-sun-solaris2.11 (2) > sparc-sun-solaris2.12 (2) > Updated patch with new entries added in the

Re: [PATCH] Handle undefined extern vars in output_in_order

On Thu, 9 Jun 2016, Alexander Monakov wrote: > Hi, > > This patch teaches cgraphunit.c:output_in_order to output undefined external > variables via assemble_undefined_decl. At the moment that is only done for > -ftoplevel-reorder in varpool.c:symbol_table::output_variables. This patch > makes

[wwwdocs] Buildstat update for 6.x

Latest results for 6.x -tgc Testresults for 6.1.0: i386-pc-solaris2.10 i386-pc-solaris2.11 i386-pc-solaris2.12 i686-pc-linux-gnu sparc64-sun-solaris2.10 sparc-sun-solaris2.10 sparc-sun-solaris2.11 sparc-sun-solaris2.12 x86_64-apple-darwin11.4.2 x86_64-apple-darwin15.5.0

[wwwdocs] Buildstat update for 5.x

Latest results for 5.x -tgc Testresults for 5.4.0: i386-pc-solaris2.11 (2) i386-pc-solaris2.12 (2) sparc-sun-solaris2.11 (2) sparc-sun-solaris2.12 (2) Index: buildstat.html === RCS file:

[PATCH] Remove trailing whitespace from libstdc++ headers

* include/std/array: Remove trailing whitespace. * include/std/atomic: Likewise. * include/std/bitset: Likewise. * include/std/chrono: Likewise. * include/std/complex: Likewise. * include/std/condition_variable: Likewise. * include/std/fstream: Likewise. * include/std/functional: Likewise.

Re: [PATCH, vec-tails 01/10] New compiler options

On 20 May 14:40, Ilya Enkovich wrote: > > Can you make all these --params then? I think to be useful to users we'd > > want > > them to be loop pragmas rather than options. > > OK, I'll change it to params. I didn't think about control via > pragmas but will do now. > > Thanks, > Ilya > > >

Re: [Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

On 16/06/16 14:01 +0100, Jonathan Wakely wrote: On 16/06/16 14:00 +0100, Jonathan Wakely wrote: On 15/06/16 20:07 +0200, Daniel Krügler wrote: 2016-06-14 23:22 GMT+02:00 Daniel Krügler : This is an implementation of the Standard is_swappable traits according to

Re: [Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

On 16/06/16 14:00 +0100, Jonathan Wakely wrote: On 15/06/16 20:07 +0200, Daniel Krügler wrote: 2016-06-14 23:22 GMT+02:00 Daniel Krügler : This is an implementation of the Standard is_swappable traits according to

Re: [Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

On 15/06/16 20:07 +0200, Daniel Krügler wrote: 2016-06-14 23:22 GMT+02:00 Daniel Krügler : This is an implementation of the Standard is_swappable traits according to http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0185r1.html During that work it has been

Fix loop size estimate in tree-ssa-loop-ivcanon

Hi, tree_estimate_loop_size contains one extra else that prevents it from determining that the induction variable comparsion is going to be eliminated in both the peeled copies as well as the last copy. This patch fixes it (it really removes one else, but need to reformat the conditional)

Re: [PATCH] Optimize inserting value_type into std::vector

On 15/06/16 11:15 +0100, Jonathan Wakely wrote: * include/bits/stl_vector.h (vector::_S_insert_aux_assign): Define new overloaded functions. * include/bits/vector.tcc (vector::_M_insert_aux): Use new functions to avoid creating a redundant temporary. *

[PATCH, PR middle-end/71488] Fix vectorization of comparison of booleans

Hi, This patch fixes incorrect comparison vectorization for booleans. The problem is that regular comparison which works for scalars doesn't work for vectors due to different binary representation. Also this never works for scalar masks. This patch replaces such comparisons with bitwise

[PATCH][ARM]Use different startfile and endfile for elf target when generating shared object.

Hi all, GCC has startfile and endfile spec string built into it. startfile is used to specify objects files to include at the start of the link process. While endfile, on the other hand, is used to specify objects files to include at the end of the link process. crtbegin.o is one of the

Re: [PATCH] Fix builtin-arith-overflow-p-1[23].c on i686

On Thu, Jun 16, 2016 at 12:39 PM, Jakub Jelinek wrote: > On Thu, Jun 16, 2016 at 11:51:12AM +0200, Jakub Jelinek wrote: >> Here is what I've committed to the trunk and 6.2 after bootstrap/regtest on >> x86_64-linux and i686-linux. >> For 5/4.9, this doesn't apply cleanly, as

Re: [PATCH, IA64, RFT]: Implement PR 71242, Missing built-in functions for float128 NaNs

Hi, > 2016-06-12 Uros Bizjak > > PR target/71242 > * config/ia64/ia64.c (enum ia64_builtins) [IA64_BUILTIN_NANQ]: New. > [IA64_BUILTIN_NANSQ]: Ditto. > (ia64_fold_builtin): New function. > (TARGET_FOLD_BUILTIN): New define. > (ia64_init_builtins)

Re: [PATCH] Fix builtin-arith-overflow-p-1[23].c on i686

On Thu, Jun 16, 2016 at 11:51:12AM +0200, Jakub Jelinek wrote: > Here is what I've committed to the trunk and 6.2 after bootstrap/regtest on > x86_64-linux and i686-linux. > For 5/4.9, this doesn't apply cleanly, as http://gcc.gnu.org/r222592 > aka

[PATCH][COMMITTED] [ARC] Fix option text.

Add dot at the end of sentence. gcc/ 2016-06-16 Claudiu Zissulescu * config/arc/arc.opt (mtp-regno): Update text. --- gcc/ChangeLog | 4 gcc/config/arc/arc.opt | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog

[Ada] Missing errors on illegal expressions for entry pre/postconditions

This patch adds checks on the expressions of pre/postconditions for task and protected entries, prior to their full analysis, so that errors are properly emitted in various compiler modes. Tested by ACATS 4.0L: B611008 Tested on x86_64-pc-linux-gnu, committed on trunk 2016-06-16 Ed Schonberg

[Ada] Missing finalization of controlled build-in-place function result

This patch modifies the finalization machinery to recognize a controlled deferred constant initialized by means of a build-in-place function call as requiring finalization actions. -- Source -- -- types.ads private with Ada.Finalization; package Types is type T

[Ada] Fix minor memory leak in GNAT.Command_Line

When a new switch is defined with a specific name for its parameter, that name is not freed. This is a minor leak, since such switches are in general defined once at the beginning of the program, and never modified afterwards. Detected with valgrind. Tested on x86_64-pc-linux-gnu, committed on

[Ada] Use System.Priority to validate pragma Priority value for subprogram.

This fixes a corner case for pragma Priority (0) set on the main subprogram. Does not affect usual platforms. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-06-16 Tristan Gingold * sem_prag.adb (Analyze_Pragma): Simplify code for Pragma_Priority.

[Ada] Avoid anonymous array object for aggregates with qualified expressions

This patch enhances the memory usage of object declarations initialized by a qualified array aggregate. Previously, as per RM 4.3(5), an anonymous object was created to capture the value of the array aggregate, effectively doubling the memory consumption. The changes above remove the anonymous

[Ada] Warn on buffer overrun with complex overlay

This change improves the warning issued for buffer overruns caused by overlays where the underlying object is too small, by taking into account the offset of the overlaid object from the first bit of the underlying object. The effect is visible on the following package: 1. with Interfaces;

Re: [PATCH] Fix builtin-arith-overflow-p-1[23].c on i686

On Wed, Jun 15, 2016 at 10:44:06PM +0200, Uros Bizjak wrote: > Please also change similar peephole2 pattern (that does a zext with an > and insn) a couple of patterns below the one you are changing. Here is what I've committed to the trunk and 6.2 after bootstrap/regtest on x86_64-linux and

[Ada] Improve the support of No_Use_Entity

This patch performs a code cleanup of the previous implementation and extends its functionality to facilitate the use of this restriction with entities of the Ada83 package Text_IO. For example: pragma Restrictions (No_Use_Of_Entity => Text_IO.Put_Line); with Text_IO; use Text_IO; procedure

[Ada] Exclude private protected type defined in the runtime for restrictions

This is preliminary work to allow an implementation change in the runtime. Does not affect users. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-06-16 Tristan Gingold * einfo.ads (Has_Protected): Clarify comment. * sem_ch9.adb

Re: [PATCH][ARM][1/4] Replace uses of int_log2 by exact_log2

Ping. Thanks, Kyrill On 09/06/16 12:04, Kyrill Tkachov wrote: Ping. https://gcc.gnu.org/ml/gcc-patches/2016-06/msg00139.html Thanks, Kyrill On 02/06/16 11:37, Kyrill Tkachov wrote: I wanted to ping this patch, but checking the gcc-patches archive I see this wasn't archived, though I have

[PATCH, i386][Updated] Add native support for VIA C7, Eden and Nano CPUs

The following patch adds support and native detection for C7, Eden "Samuel2", Eden "Nehemiah", Eden "Esther", Eden x2, Eden x4, Nano 1xxx, Nano 2xxx, Nano 3xxx, Nano x2 and Nano x4 VIA CPUs. This patch has been updated against current repository. It contains documentation and Changelog updates.

Re: [PATCH][vectorizer][2/2] Hook up mult synthesis logic into vectorisation of mult-by-constant

On 15/06/16 22:53, Marc Glisse wrote: On Wed, 15 Jun 2016, Kyrill Tkachov wrote: This is a respin of https://gcc.gnu.org/ml/gcc-patches/2016-06/msg00952.html following feedback. I've changed the code to cast the operand to an unsigned type before applying the multiplication algorithm and

Re: [PATCH] Add port for Phoenix-RTOS on ARM platform.

Actually, if possible, I would skip the "arm" part, because we plan to port Phoenix-RTOS for other platforms. It will be easier to do it once. 2016-06-16 10:52 GMT+02:00 Kyrill Tkachov : > > On 15/06/16 23:23, Jeff Law wrote: >> >> On 06/15/2016 08:21 AM, Jakub Sejdak

Re: [PATCH] Add port for Phoenix-RTOS on ARM platform.

On 15/06/16 23:23, Jeff Law wrote: On 06/15/2016 08:21 AM, Jakub Sejdak wrote: Hello, First of all, do you or your employer have a copyright assignment to the FSF? The above link contains instructions on how to do that. It is a necessary prerequisite to accepting any non-small change.

Re: RFC: pass to warn on questionable uses of alloca().

On Thu, Jun 16, 2016 at 04:32:57AM -0400, Aldy Hernandez wrote: > p.s. The pass currently warns on all uses of VLAs. I'm not completely sold > on this idea, so perhaps we could remove it, or gate it with a flag. Just random nits, no comments on the idea of the patch. > * walloca.c: New

RFC: pass to warn on questionable uses of alloca().

Hi folks! I've been working on a plugin to warn on unbounded uses of alloca() to help find questionable uses in glibc and other libraries. It occurred to me that the broader community could benefit from it, as it has found quite a few interesting cases. So, I've reimplemented it as an actual

[PATCH][AArch64] Handle iterator definitions with conditionals in geniterator.sh

Turn the following definition in iterators.md (define_mode_iterator XXX [(YYY "condition") ZZZ]) into #define BUILTIN_XXX(T, N, MAP) \ VAR2 (T, N, MAP, yyy, zzz) previously geniterators.sh skipped definitions with conditions. gcc/ChangeLog: 2016-06-16 Szabolcs Nagy

Re: [Patch, avr] Fix PR 71151

Senthil Kumar Selvaraj writes: > Georg-Johann Lay writes: > >> Senthil Kumar Selvaraj schrieb: >>> Hi, >>> >>> This patch fixes PR 71151 by eliminating the >>> TARGET_ASM_FUNCTION_RODATA_SECTION hook and setting >>> JUMP_TABLES_IN_TEXT_SECTION to 1. >>> >>> As described in the bugzilla

Re: [PATCH, vec-tails 05/10] Check if loop can be masked

On 05/19/2016 01:42 PM, Ilya Enkovich wrote: Hi, This patch introduces analysis to determine if loop can be masked (compute LOOP_VINFO_CAN_BE_MASKED and LOOP_VINFO_REQUIRED_MASKS) and compute how much masking costs. Thanks, Ilya -- gcc/ 2016-05-19 Ilya Enkovich

Re: [RFC][PATCH, vec-tails 00/10] Support vectorization of loop epilogues

On 05/19/2016 01:35 PM, Ilya Enkovich wrote: Hi, This series is an extension of previous work on loop epilogue combining [1]. It introduces three ways to handle vectorized loop epilogues: combine it with vectorized loop, vectorize it with masks, vectorize it using a smaller vector size. Also

Re: [PATCH, vec-tails 05/10] Check if loop can be masked

On 06/15/2016 05:22 AM, Richard Biener wrote: You look at TREE_TYPE of LOOP_VINFO_NITERS (loop_vinfo) - I don't think this is meaningful (if then only by accident). I think you should look at the control IV itself, possibly it's value-range, to determine the smallest possible type to use. Can

Re: [PATCH, vec-tails 04/10] Add masking cost

On 05/19/2016 01:40 PM, Ilya Enkovich wrote: Hi, This patch extends vectorizer cost model to include masking cost by adding new cost model locations and new target hook to compute masking cost. Thanks, Ilya -- gcc/ 2016-05-19 Ilya Enkovich *

Re: [PATCH, vec-tails 04/10] Add masking cost

On 05/20/2016 05:32 AM, Ilya Enkovich wrote: 2016-05-20 14:15 GMT+03:00 Richard Biener : On Fri, May 20, 2016 at 11:44 AM, Ilya Enkovich wrote: 2016-05-20 12:24 GMT+03:00 Richard Biener : On Thu, May 19, 2016 at

Re: [PATCH, vec-tails 03/10] Support epilogues vectorization with no masking

On 05/19/2016 01:39 PM, Ilya Enkovich wrote: Hi, This patch introduces changes required to run vectorizer on loop epilogue. This also enables epilogue vectorization using a vector of smaller size. Thanks, Ilya -- gcc/ 2016-05-19 Ilya Enkovich *