Re: Fix prototype for print_insn in rtl.h

2015-10-20 Thread Nikolai Bozhenov
On 10/15/2015 09:42 PM, Trevor Saunders wrote: Sorry, a little late to the party.. but why is print_insn even in rtl.h? it seems that sched-vis.c is the only thing that uses it... Andrew I'm going to use it in the scheduler... but then wouldn't something like sched-int.h make more sense? On t

Re: OpenACC async clause regressions (was: [gomp4.1] Add new versions of GOMP_target{,_data,_update} and GOMP_target_enter_exit_data)

2015-10-20 Thread Jakub Jelinek
On Mon, Oct 19, 2015 at 07:43:59PM +0300, Ilya Verbin wrote: > On Mon, Oct 19, 2015 at 18:24:35 +0200, Thomas Schwinge wrote: > > Chung-Lin, would you please have a look at the following (on > > gomp-4_0-branch)? Also, anyone else got any ideas off-hand? > > > > PASS: libgomp.oacc-c/../libgom

Re: [PATCH] Move cproj simplification to match.pd

2015-10-20 Thread Richard Biener
On Mon, 19 Oct 2015, Christophe Lyon wrote: > On 19 October 2015 at 15:54, Richard Biener wrote: > > > > Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. > > > > Hi Richard, > > This patch caused arm and aarch64 builds of newlib to cause ICEs: > In file included from > /tmp/884316_

Re: [ARM] Use vector wide add for mixed-mode adds

2015-10-20 Thread Michael Collison
Hi Kyrill, Since your email I have done the following: 1. Added the ENDIAN_LANE_N to the define_expand patterns for big endian targets. The big endian patches produced no change in the test results. I still have several execution failures with targeting big endian with lto enabled. 2. I dif

Re: [PATCH] Move cproj simplification to match.pd

2015-10-20 Thread Bernhard Reutner-Fischer
On October 19, 2015 3:54:05 PM GMT+02:00, Richard Biener wrote: > >+static bool >+gimple_phi_nonnegative_warnv_p (gimple *stmt, bool *strict_overflow_p, >+ int depth) >+{ Shouldn't all such depth parms be unsigned short or at least unsigned int? Thanks,

Re: [PATCH, wwwdocs] Add -march=skylake-avx512 to gcc-6/changes.html.

2015-10-20 Thread Kirill Yukhin
On 17 Oct 02:37, Gerald Pfeifer wrote: > On Fri, 16 Oct 2015, Kirill Yukhin wrote: > > Is it ok to install? > > Yes, just add a "the" before "following". > > > This switch was backported to gcc-5. > > Is it ok to create a new section `GCC 5.3' and put it there > > or I need to wait for actual rel

Move more cproj simplifications to match.pd

2015-10-20 Thread Richard Sandiford
Richi and I both had patches for cproj. I thought I might as well post a rebased version of what I had, since for the other patches I'd been moving the constant handling into fold_builtin_1 (where functions without combinatorial folds also handled constants). I'm hoping the switch statement there

Move tan simplifications to match.pd

2015-10-20 Thread Richard Sandiford
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi. OK to install? Thanks, Richard gcc/ * builtins.c (fold_builtin_tab): Delete. (fold_builtin_1): Handle constant tan arguments here. * match.pd: Simplify (tan (atan x)) to x. diff --git a/gcc/builtins.c b

Re: using scratchpads to enhance RTL-level if-conversion: revised patch

2015-10-20 Thread Richard Biener
On Tue, Oct 20, 2015 at 7:43 AM, Jeff Law wrote: > On 10/14/2015 01:15 PM, Bernd Schmidt wrote: >> >> On 10/14/2015 07:43 PM, Jeff Law wrote: >>> >>> Obviously some pessimization relative to current code is necessary to >>> fix some of the problems WRT thread safety and avoiding things like >>> in

Re: [PR fortran/63858] Fix mix of OpenACC and OpenMP sentinels in continuations

2015-10-20 Thread Jakub Jelinek
On Fri, Oct 09, 2015 at 12:15:24PM +0200, Thomas Schwinge wrote: > diff --git gcc/fortran/scanner.c gcc/fortran/scanner.c > index bfb7d45..1e1ea84 100644 > --- gcc/fortran/scanner.c > +++ gcc/fortran/scanner.c > @@ -935,6 +935,63 @@ skip_free_comments (void) >return false; > } > > +/* Return

Re: Move more cproj simplifications to match.pd

2015-10-20 Thread Richard Biener
On Tue, Oct 20, 2015 at 11:03 AM, Richard Sandiford wrote: > Richi and I both had patches for cproj. I thought I might as well > post a rebased version of what I had, since for the other patches I'd > been moving the constant handling into fold_builtin_1 (where functions > without combinatorial f

Re: Move tan simplifications to match.pd

2015-10-20 Thread Richard Biener
On Tue, Oct 20, 2015 at 11:14 AM, Richard Sandiford wrote: > Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi. > OK to install? Ok. Thanks, Richard. > Thanks, > Richard > > > gcc/ > * builtins.c (fold_builtin_tab): Delete. > (fold_builtin_1): Handle constant t

Re: [mask-vec_cond, patch 3/2] SLP support

2015-10-20 Thread Ilya Enkovich
2015-10-19 19:05 GMT+03:00 Jeff Law : > On 10/19/2015 05:21 AM, Ilya Enkovich wrote: >> >> Hi, >> >> This patch adds missing support for cond_expr with no embedded comparison >> in SLP. No new test added because vec cmp SLP test becomes (due to changes >> in bool patterns by the first patch) a reg

[Ada] Pragma Constant_After_Elaboration

2015-10-20 Thread Arnaud Charlet
This patch allows for external tools that utilize the front end abstract syntax tree to querry for pragma Constant_After_Elaboration in the N_Contract node of a variable. No change in behavior, no need for a test. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-20 Hristian Kirtchev

[Ada] Avoid overflow in Write_Int

2015-10-20 Thread Arnaud Charlet
This patch avoids an overflow on the most-negative number in Output.Write_Int. No simple test available. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-20 Bob Duff * output.adb (Write_Int): Work with negative numbers in order to avoid negating Int'First and thereby

[Ada] Do not inline No_Return procedures in GNATprove mode

2015-10-20 Thread Arnaud Charlet
Inlining in GNATprove mode is made to improve results of formal verification in GNATprove. It should not be done on procedures marked No_Return, which are handled specially in GNATprove. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-20 Yannick Moy * inline.adb (Can_Be_Inli

[Ada] Support for recording bind time environment info

2015-10-20 Thread Arnaud Charlet
This change adds support for recording a set of key=value pairs at the time an application is built (or more precisely at bind time), and making this information available at run time. Typical use case is to record a build timestamp: $ gnatmake record_build_time -bargs -VBUILD_TIME="`LANG=C date`"

[Ada] Improve error message for missing dependency item

2015-10-20 Thread Arnaud Charlet
This patch modifies the analysis of pragma Depends to emit a clearer message concerning a missing dependency item. -- Source -- -- message.ads package Message with Abstract_State => State, Initializes=> State, SPARK_Mode is procedure Proc (X : in

[Ada] Spurious error in instantiation of formal package with attribute

2015-10-20 Thread Arnaud Charlet
When verifying that a function that is an actual of a formal package matches the corresponding function in the corresponding actual package, functions given by attributes must be handled specially because each of them ends up renaming a different generated body, and we must check that the attribute

Re: Forwarding -foffload=[...] from the driver (compile-time) to libgomp (run-time)

2015-10-20 Thread Jakub Jelinek
On Mon, Oct 19, 2015 at 06:44:40PM +0200, Thomas Schwinge wrote: > > How's the following (complete patch instead of incremental patch; the > > driver changes are still the same as before)? The changes are: > > > > * libgomp/target.c:gomp_target_init again loads all the plugins. > > * libgomp/

Re: [gomp4.1] map clause parsing improvements

2015-10-20 Thread Jakub Jelinek
On Mon, Oct 19, 2015 at 05:00:33PM +0200, Thomas Schwinge wrote: > n = splay_tree_lookup (ctx->variables, (splay_tree_key) decl); > if ((ctx->region_type & ORT_TARGET) != 0 > && !(n->value & GOVD_SEEN) > && ((OMP_CLAUSE_MAP_KIND (c) &

[Ada] Crash in compile-only mode with dynamic predicates.

2015-10-20 Thread Arnaud Charlet
This patch fixes a compiler abort on a program with a type that has defined dynamic predicate and a call to a procedure with a parameter of that type, when the program is compiled with -gnatc. The following must compile quietly: gcc -c -gnatc p-q.adb --- with Unchecked_Conversion; package P is

Re: Forwarding -foffload=[...] from the driver (compile-time) to libgomp (run-time)

2015-10-20 Thread Bernd Schmidt
On 10/20/2015 12:02 PM, Jakub Jelinek wrote: I'd like to defer review of the driver bits, can Joseph or Bernd please have a look at those? Last time around I think I asked for some minor changes, like updated documentation for give_switch. Other than that, I'm ok with the patch iff you are ha

[Ada] Volatile functions

2015-10-20 Thread Arnaud Charlet
This patch implements SPARK volatile functions described by the following rules: A type is said to be effectively volatile if it is either a volatile type, an array type whose Volatile_Component aspect is True, or an array type whose component type is effectively volatile, a protected

[Ada] Uninitialized variable on illegal placement of aspect specification

2015-10-20 Thread Arnaud Charlet
This patch improves the handling of programs with illegal placement of aspect specifications, ensuring that the flag that controls the parsing of a list of declarations is properly set in the presence of errors. No simple test available. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-

[Ada] Abort in front end client due to locked scope table

2015-10-20 Thread Arnaud Charlet
This patch reimplements the way the front end detects whether a type is a descendant of Ada.Synchronous_Task_Control.Suspension_Object to avoid using the RTSfind mechanism. This ensures that external clients of the front end will not fail due to a locked scope table accessed during analysis perform

Re: [PATCH][AArch64] Fix insn types

2015-10-20 Thread Kyrill Tkachov
Hi Evandro, On 19/10/15 22:05, Evandro Menezes wrote: The type assigned to some insn definitions was seemingly not correct: * "movi %d0, %1" was of type "fmov" * "fmov %s0, wzr" was of type "fconstd" * "mov %0, {-1,1}" were of type "csel" This patch changes their types to: * "movi %d0, %1

[PATCH v2 0/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Maxim Ostapenko
Hi, this is the second attempt to perform libsanitizer merge from upstream. In previous patch set ( https://gcc.gnu.org/ml/gcc-patches/2015-10/msg01212.html) we have revealed an issue with heuristic for old/new style ubsan_data that was needed to be fixed upstream + some errors in compiler ch

Re: [PATCH, sh][v3] musl support for sh

2015-10-20 Thread Oleg Endo
On Mon, 2015-10-19 at 20:01 +0100, Szabolcs Nagy wrote: > On 17/10/15 02:14, Oleg Endo wrote: > > On Fri, 2015-10-16 at 17:06 +0100, Szabolcs Nagy wrote: > >> Revision of > >> https://gcc.gnu.org/ml/gcc-patches/2015-04/msg01636.html > >> > >> The musl dynamic linker name is /lib/ld-musl-sh{-nofpu}{

Re: Forwarding -foffload=[...] from the driver (compile-time) to libgomp (run-time)

2015-10-20 Thread Thomas Schwinge
Hi Jakub! Thanks for the review. On Tue, 20 Oct 2015 12:02:45 +0200, Jakub Jelinek wrote: > On Mon, Oct 19, 2015 at 06:44:40PM +0200, Thomas Schwinge wrote: > > > How's the following (complete patch instead of incremental patch; the > > > driver changes are still the same as before)? The change

[PATCH v2 2/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Maxim Ostapenko
This patch introduces required compiler changes. Now, we don't version asan_init, we have a special __asan_version_mismatch_check_v[n] symbol for this. asan_stack_malloc_[n] doesn't take a local stack as a second parameter anymore, so don't pass it. Also, ubsan_instrument_float_cast was adjuste

Re: [PATCH v2 0/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Maxim Ostapenko
This is just reapplied patch for SPARC by David S. Miller. The patch was preapproved here: (https://gcc.gnu.org/ml/gcc-patches/2015-10/msg01214.html). 2015-10-20 Maxim Ostapenko PR sanitizer/63958 Reapply: 2014-10-14 David S. Miller * sanitizer_common/sanitizer_platform_limits_linux.c

[PATCH v2 4/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Maxim Ostapenko
This is a reapplied Jakub's patch for disabling ODR violation detection. The patch was preapproved here: (https://gcc.gnu.org/ml/gcc-patches/2015-10/msg01215.html). 2015-10-20 Maxim Ostapenko PR bootstrap/63888 Reapply: 2015-02-20 Jakub Jelinek * asan/asan_globals.cc (RegisterGlobal):

[PATCH v2 5/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Maxim Ostapenko
This patch adjusts the fix for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61771 to extract the last PC from the stack frame if no valid FP is available for ARM. The patch was preapproved here: (https://gcc.gnu.org/ml/gcc-patches/2015-10/msg01217.html). 2015-10-20 Maxim Ostapenko * saniti

[PATCH v2 6/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Maxim Ostapenko
In this patch, I'm trying to add a general instruction how to perform the merge. This is just a documentation patch, any suggestions and opinions are welcome. Index: libsanitizer/HOWTO_MERGE === --- libsanitizer/HOWTO_MERGE (revision

[Ada] Better recovery for misplaced keyword in discriminant specification

2015-10-20 Thread Arnaud Charlet
This patch improves the handling of an error in a discriminant specification for an access discriminant. Compiling b.ads must yield: b.ads:3:43: "constant" must appear after "access" --- package B is type Constant_Reference (D : constant access Integer) is null record with Implici

Re: Forwarding -foffload=[...] from the driver (compile-time) to libgomp (run-time)

2015-10-20 Thread Bernd Schmidt
On 10/20/2015 01:17 PM, Thomas Schwinge wrote: As explained a few times already: GOMP_offload_register_ver constructors will only be generated if there actually are offloaded code regions, but for example: #include int main() { __builtin_printf("%d\n", acc_get_num_devices

[Ada] Abort while processing "of" container loop

2015-10-20 Thread Arnaud Charlet
This patch classifies an "of" loop parameter as never needing finalization actions. -- Source -- -- vectors.ads with Ada.Unchecked_Deallocation; with Ada.Unchecked_Conversion; with System; generic type Element_Type is private; Small_Vector_Capacity : Natural :=

[Ada] Discriminants and protected units

2015-10-20 Thread Arnaud Charlet
This patch implements the following SPARK RM rule: 7.1.3(5) - An effectively volatile type other than a protected type shall not have a discriminated part. -- Source -- -- discrims.ads package Discrims with SPARK_Mode is type Vol_1 (Discr : Natural) is null r

Re: Forwarding -foffload=[...] from the driver (compile-time) to libgomp (run-time)

2015-10-20 Thread Jakub Jelinek
On Tue, Oct 20, 2015 at 01:17:45PM +0200, Thomas Schwinge wrote: > Always creating (dummy) GOMP_offload_register_ver constructors has been > another suggestion that I had voiced much earlier in this thread (months > ago), but everyone (including me) taking part in the discussion agreed > that it'd

Re: [PATCH v2 1/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Jakub Jelinek
On Tue, Oct 20, 2015 at 02:18:25PM +0300, Maxim Ostapenko wrote: > This is the merge itself. Added DCAN_SANITIZE_UB={0, 1} and nuked > DASAN_FLEXIBLE_MAPPING_AND_OFFSET=0 (not used now) in corresponding > Makefiles. Ok. Jakub

Re: [PATCH v2 2/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Jakub Jelinek
On Tue, Oct 20, 2015 at 02:19:51PM +0300, Maxim Ostapenko wrote: > + a) Location's filename must not be NULL. > + b) Location's filename must not be equal to "". > + c) Location's filename must not be equal to "\1". > + d) First two bytes of filename msut not contain '\xff' symbol. */ mus

Re: [PATCH v2 6/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Jakub Jelinek
On Tue, Oct 20, 2015 at 02:29:44PM +0300, Maxim Ostapenko wrote: > In this patch, I'm trying to add a general instruction how to perform the > merge. This is just a documentation patch, any suggestions and opinions are > welcome. I'd add a line that the diff in lib/asan/tests tests since the last

Re: Move some bit and binary optimizations in simplify and match

2015-10-20 Thread Richard Biener
On Tue, Oct 20, 2015 at 8:46 AM, Hurugalawadi, Naveen wrote: > Hi, > >>> +/* Fold X + (X / CST) * -CST to X % CST. */ >>> This one is still wrong > Removed. > >>> I don't understand the point of the FLOAT_TYPE_P check. > The check was there in fold-const. So, just had the same check. > >>> Will w

Re: Forwarding -foffload=[...] from the driver (compile-time) to libgomp (run-time)

2015-10-20 Thread Jakub Jelinek
On Tue, Oct 20, 2015 at 01:45:37PM +0200, Bernd Schmidt wrote: > Both of you can ignore me if you feel I'm not making sense, but what exactly > is the use case for -foffload=disable? Isn't it slightly redundant with > -fno-openacc? IMO it's not an option that alters the available devices, > that's

[Ada] Friendlier behavior for "=" and ":="

2015-10-20 Thread Arnaud Charlet
This patch avoids race conditions in certain cases. This is not necessary, because these cases are technically erroneous, but it seems friendlier to avoid races. Furthermore, previous versions of the containers avoided some of these races. No test available; no change in behavior for correct progr

[Ada] Remove UET_Address attribute

2015-10-20 Thread Arnaud Charlet
This was an unused and internal-use only attribute. No testcase. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-20 Tristan Gingold * sem_util.adb (Is_Protected_Self_Reference): Remove reference to UET_Address in comment. * sem_attr.adb (Check_Unit_Name): Adj

[Ada] Debug information for limited class-wide objects

2015-10-20 Thread Arnaud Charlet
This patch modifies the expansion of a build-in-place function call that initializes a class-wide limited object to generate the necessary debug information for the object. -- Source -- -- types.ads package Types is type Root_Type is tagged limited record I :

[Ada] Crash on address clause involving controlled objects.

2015-10-20 Thread Arnaud Charlet
An address clause that overlays an object with a controlled object of a component of a controlled object is erroneous, and the compiler replaces the address clause with the corresponding raise statement. However, the analysis of the address clause must not terminate prematurely, so that the back-en

[PATCH] Fix PR68017

2015-10-20 Thread Richard Biener
The usual stmt removing vs. debug stmts thing. Bootstrapped and tested on x86_64-linux-gnu, applied to trunk. Richard. 2015-10-20 Richard Biener PR tree-optimization/68017 * tree-tailcall.c (eliminate_tail_call): Remove stmts backwards. * gcc.dg/torture/pr68017.c: N

[PATCH][AArch64 Testsuite][Trivial?] Remove divisions-to-produce-NaN from vdiv_f.c

2015-10-20 Thread Alan Lawrence
The test vdiv_f.c #define's NAN to (0.0 / 0.0). This produces extra scalar fdiv's, which complicate the scan-assembler testing. We can remove these by using __builtin_nan instead. Tested on AArch64 Linux. gcc/testsuite/ChangeLog: * gcc.target/aarch64/vdiv_f.c: Use __builtin_nan. --- g

[PATCH] Pass manager: add support for termination of pass list

2015-10-20 Thread Martin Liška
Hello. As part of upcoming merge of HSA branch, we would like to have possibility to terminate pass manager after execution of the HSA generation pass. The HSA back-end is implemented as a tree pass that directly emits HSAIL from gimple tree representation. The pass operates on clones created b

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-20 Thread Bernd Schmidt
On 10/16/2015 09:34 PM, Martin Sebor wrote: Thank you for the review. Attached is an updated patch that hopefully addresses all your comments. I ran the check_GNU_style.sh script on it to make sure I didn't miss something. I've also added replies to a few of your comments below. Ok, thanks. Ho

Re: [PATCH] x86 interrupt attribute

2015-10-20 Thread Yulia Koval
The debug_info section for the interrupt function looks ok. I tried to call it from assembler code to check it in gdb. pushl $0x333 ;eflags pushl $0x111 ;cs pushl $0x222 ;eip jmp foo ;interrupt function #define uword_t unsigned int struct interrup

Re: [PATCH][AArch64 Testsuite][Trivial?] Remove divisions-to-produce-NaN from vdiv_f.c

2015-10-20 Thread Marcus Shawcroft
On 20 October 2015 at 13:40, Alan Lawrence wrote: > The test vdiv_f.c #define's NAN to (0.0 / 0.0). This produces extra scalar > fdiv's, which complicate the scan-assembler testing. We can remove these by > using __builtin_nan instead. > > Tested on AArch64 Linux. > > gcc/testsuite/ChangeLog: >

Re: [PATCH] 2015-10-19 Benedikt Huber Philipp Tomsich

2015-10-20 Thread Marcus Shawcroft
On 4 January 1970 at 00:02, Benedikt Huber wrote: > * config/aarch64/aarch64-builtins.c: Builtins for rsqrt and rsqrtf. > * config/aarch64/aarch64-protos.h: Declare. > * config/aarch64/aarch64-simd.md: Matching expressions for frsqrte and > frsqrts. > * conf

Re: [PATCH] Pass manager: add support for termination of pass list

2015-10-20 Thread Richard Biener
On Tue, Oct 20, 2015 at 3:00 PM, Martin Liška wrote: > Hello. > > As part of upcoming merge of HSA branch, we would like to have possibility to > terminate > pass manager after execution of the HSA generation pass. The HSA back-end is > implemented > as a tree pass that directly emits HSAIL from

Re: [vec-cmp, patch 2/6] Vectorization factor computation

2015-10-20 Thread Richard Biener
On Wed, Oct 14, 2015 at 1:21 PM, Ilya Enkovich wrote: > 2015-10-13 16:37 GMT+03:00 Richard Biener : >> On Thu, Oct 8, 2015 at 4:59 PM, Ilya Enkovich wrote: >>> Hi, >>> >>> This patch handles statements with boolean result in vectorization factor >>> computation. For comparison its operands type

Re: [Patch AArch64 63304] Fix issue with global state.

2015-10-20 Thread Marcus Shawcroft
On 16 October 2015 at 12:05, Ramana Radhakrishnan wrote: > 2015-10-15 Ramana Radhakrishnan > > PR target/63304 > * config/aarch64/aarch64.c (aarch64_nopcrelative_literal_loads): New. > (aarch64_expand_mov_immediate): Use > aarch64_nopcrelative_literal_loads. >

[hsa] Allow simple local assignments in between OMP statements

2015-10-20 Thread Martin Jambor
Hello, the following change to gridification part of the HSA branch are necessary to gridify loops which are bounded by Fortran parameters passed by reference, and therefore which have dereference of the actual parameter in front of the loop but within the target construct. Committed to the branch

[hsa] Do not output an extraneous kernel when gridifying

2015-10-20 Thread Martin Jambor
Hi, a small bug caused HSAIL output of a kernel for the parallel construct, even when it has been made a part of a gridified kernel and the standalone construct is therefore not necessary for HSA. This small patch fixes that. Committed to the branch. On a related note, I have merged trunk revis

Re: [PATCH v2 1/6] Libsanitizer merge from upstream r250806 (was r249633).

2015-10-20 Thread Maxim Ostapenko
Great, thanks! I'm going to commit the whole patch set tomorrow morning if no objections. On 20/10/15 14:52, Jakub Jelinek wrote: On Tue, Oct 20, 2015 at 02:18:25PM +0300, Maxim Ostapenko wrote: This is the merge itself. Added DCAN_SANITIZE_UB={0, 1} and nuked DASAN_FLEXIBLE_MAPPING_AND_OFFSET

Re: [PATCH] Move cproj simplification to match.pd

2015-10-20 Thread Kyrill Tkachov
On 20/10/15 08:37, Richard Biener wrote: On Mon, 19 Oct 2015, Christophe Lyon wrote: On 19 October 2015 at 15:54, Richard Biener wrote: Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Hi Richard, This patch caused arm and aarch64 builds of newlib to cause ICEs: In file inclu

Re: PING^2: [PATCH] Limit alignment on error_mark_node variable

2015-10-20 Thread Jan Hubicka
> >> > >> This patch avoids calling varpool_node::finalize_decl on error_mark_node > >> type decls. Does it make sense? Yep, i guess this is fine. I wonder why error_mark_node needs to be in local decl list? :) honza > >> > >> > >> H.J. > >> -- > >> gcc/ > >> > >> PR target/66810 > >>

Re: [PATCH][AArch64] Replace insn to zero up DF register

2015-10-20 Thread Andrew Pinski
On Tue, Oct 20, 2015 at 7:59 AM, Andrew Pinski wrote: > On Tue, Oct 20, 2015 at 7:51 AM, Andrew Pinski wrote: >> On Tue, Oct 20, 2015 at 7:40 AM, Evandro Menezes >> wrote: >>> In the existing targets, it seems that it's always faster to zero up a DF >>> register with "movi %d0, #0" instead of "

[C PATCH] Don't accept invalid attribute-list (PR c/67964)

2015-10-20 Thread Marek Polacek
Joseph noticed that we were wrongly accepting multiple attributes without commas. Thus fixed by breaking out of the loop when parsing the attributes -- if we don't see a comma after an attribute, then the next tokens must be )); if not, then the attribute is invalid. I've also added a few more co

Re: [PATCH] Properly handle -miamcu and -march=lakemont

2015-10-20 Thread Uros Bizjak
On Sat, Oct 17, 2015 at 4:30 AM, H.J. Lu wrote: > -miamcu specifies how parameters are passed to functions and how value > is returned from a function. Inside function, we can use instructions > supported by -march=XXX. -miamcu -march=haswell can generate x87, SSE > and AVX instructions as long

[PATCH] Refactor graphite-sese-to-poly, sese.h, graphite-poly.h

2015-10-20 Thread Aditya Kumar
Now that scop contains a list of all the basic blocks inside, it makes sense to iterate over only those basic blocks in graphite-sese-to-poly.c:rewrite_reductions_out_of_ssa,rewrite_cross_bb_scalar_deps_out_of_ssa Passes regtest and bootstrap. gcc/ChangeLog: 2015-10-20 Aditya Kumar *

Re: [PATCH v2] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-10-20 Thread David Edelsohn
Pierre, Did this revised patch address the comments about MIR from Kenny? - David

Re: [PATCH][AArch64][1/2] Add fmul-by-power-of-2+fcvt optimisation

2015-10-20 Thread Marcus Shawcroft
On 19 October 2015 at 14:57, Kyrill Tkachov wrote: > 2015-10-19 Kyrylo Tkachov > > * config/aarch64/aarch64.md > (*aarch64_fcvt2_mult): New pattern. > * config/aarch64/aarch64-simd.md > (*aarch64_fcvt2_mult): Likewise. > * config/aarch64/aarch64.c (aarch64_rtx_costs): Handle abov

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-20 Thread Martin Sebor
On 10/20/2015 07:20 AM, Bernd Schmidt wrote: On 10/16/2015 09:34 PM, Martin Sebor wrote: Thank you for the review. Attached is an updated patch that hopefully addresses all your comments. I ran the check_GNU_style.sh script on it to make sure I didn't miss something. I've also added replies to

[PATCH, alpha]: Use CEIL macro

2015-10-20 Thread Uros Bizjak
... plus some cleanups due to unused macro argument. No functional changes. 2015-10-20 Uros Bizjak * config/alpha/alpha.h (HARD_REGNO_NREGS): Use CEIL macro. (ALPHA_ARG_SIZE): Ditto. Remove unused NAMED argument. * config/alpha/alpha.c (alpha_function_arg_advance): Update ALP

Re: GCC 6 Status Report (2015-10-16)

2015-10-20 Thread Pierre-Marie de Rodat
Hi Richard, On 10/16/2015 05:09 AM, Richard Biener wrote: This means it is time to get things you want to have in GCC 6 finalized and reviewed. As usual there may be exceptions to late reviewed features but don't count on that. Likewise target specific features can sneak in during Stage 3 if m

Re: [PATCH][AArch64][1/2] Add fmul-by-power-of-2+fcvt optimisation

2015-10-20 Thread Kyrill Tkachov
On 20/10/15 16:26, Marcus Shawcroft wrote: On 19 October 2015 at 14:57, Kyrill Tkachov wrote: 2015-10-19 Kyrylo Tkachov * config/aarch64/aarch64.md (*aarch64_fcvt2_mult): New pattern. * config/aarch64/aarch64-simd.md (*aarch64_fcvt2_mult): Likewise. * config/aarch64/aar

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-20 Thread Bernd Schmidt
On 10/20/2015 05:31 PM, Martin Sebor wrote: On 10/20/2015 07:20 AM, Bernd Schmidt wrote: On 10/16/2015 09:34 PM, Martin Sebor wrote: Thank you for the review. Attached is an updated patch that hopefully addresses all your comments. I ran the check_GNU_style.sh script on it to make sure I didn

[PATCH][ARM] Fix for testcase after r228661

2015-10-20 Thread Andre Vieira
Hi, This patch addresses PR-67948 by changing the xor-and.c test, initially written for a simplify-rtx pattern, to make it pass post r228661 (see https://gcc.gnu.org/ml/gcc-patches/2015-10/msg00676.html). This test no longer triggered the simplify-rtx pattern it was written for prior to r2286

Re: [PATCH][AArch64] Enable fusion of AES instructions

2015-10-20 Thread Marcus Shawcroft
On 14 October 2015 at 13:30, Wilco Dijkstra wrote: > Enable instruction fusion of dependent AESE; AESMC and AESD; AESIMC pairs. > This can give up to 2x > speedup on many AArch64 implementations. Also model the crypto instructions > on Cortex-A57 according > to the Optimization Guide. > > Passes

Re: [PATCH][AArch64][1/2] Add fmul-by-power-of-2+fcvt optimisation

2015-10-20 Thread Marcus Shawcroft
On 20 October 2015 at 16:47, Kyrill Tkachov wrote: > Here's the patch updated as per your feedback. > > How's this? > > Thanks, > Kyrill > > 2015-10-20 Kyrylo Tkachov > > * config/aarch64/aarch64.md > (*aarch64_fcvt2_mult): New pattern. > * config/aarch64/aarch64-simd.md > (*aarch64_fc

Re: [PATCH][Testsuite] Turn on 64-bit-vector tests for AArch64

2015-10-20 Thread Marcus Shawcroft
On 16 October 2015 at 12:26, Alan Lawrence wrote: > This enables tests bb-slp-11.c and bb-slp-26.c for AArch64. Both of these are > currently passing on little- and big-endian. > > (Tested on aarch64-none-linux-gnu and aarch64_be-none-elf). > > OK for trunk? > > gcc/testsuite/ChangeLog: > >

RE: [Patch,tree-optimization]: Add new path Splitting pass on tree ssa representation

2015-10-20 Thread Ajit Kumar Agarwal
Hello Jeff: Did you get a chance to look at the below response. Please let me know your opinion on the below. Thanks & Regards Ajit -Original Message- From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches-ow...@gcc.gnu.org] On Behalf Of Ajit Kumar Agarwal Sent: Saturday, September 12

Re: GCC 6 Status Report (2015-10-16)

2015-10-20 Thread Jeff Law
On 10/20/2015 09:42 AM, Pierre-Marie de Rodat wrote: Hi Richard, On 10/16/2015 05:09 AM, Richard Biener wrote: This means it is time to get things you want to have in GCC 6 finalized and reviewed. As usual there may be exceptions to late reviewed features but don't count on that. Likewise tar

Re: [PATCH][AArch64] Add support for 64-bit vector-mode ldp/stp

2015-10-20 Thread Marcus Shawcroft
On 16 October 2015 at 13:58, Kyrill Tkachov wrote: > Hi all, > > We already support load/store-pair operations on the D-registers when they > contain an FP value, but the peepholes/sched-fusion machinery that > do all the hard work currently ignore 64-bit vector modes. > > This patch adds support

Re: [PATCH][AArch64] Fix insn types

2015-10-20 Thread Evandro Menezes
Kyrill, Indeed, the correct log would be: The type assigned to some insn definitions was not correct. gcc/ * config/aarch64/aarch64.md (*movhf_aarch64): Change the type of "mov %0.h[0], %1.h[0] to "neon_move". (*movtf_aarch64): Change the type of "fmov %s0, wzr

Re: [PATCH 1/9] ENABLE_CHECKING refactoring

2015-10-20 Thread Jeff Law
On 10/18/2015 12:17 AM, Mikhail Maltsev wrote: On 10/12/2015 11:57 PM, Jeff Law wrote: -#ifdef ENABLE_CHECKING +#if CHECKING_P I fail to see the point of this change. I'm guessing (and Mikhail, please correct me if I'm wrong), but I think he's trying to get away from ENABLE_CHECKING and inste

Re: [PATCH][simplify-rtx][2/2] Use constants from pool when simplifying binops

2015-10-20 Thread Kyrill Tkachov
On 19/10/15 15:37, Kyrill Tkachov wrote: Hi Bernd, On 19/10/15 15:31, Bernd Schmidt wrote: On 10/19/2015 03:57 PM, Kyrill Tkachov wrote: This second patch teaches simplify_binary_operation to return the dereferenced constants from the constant pool in the binary expression if other simplifica

[PATCH] Move some Cilk+ code around

2015-10-20 Thread Marek Polacek
The function is_cilkplus_vector_p is defined both in c-parser.c and parser.c and is exactly the same so it seems that it should rather be defined in the common Cilk+ code (even though for such a small static inline fn it probably doesn't matter much). While at it, fix some typos and simplify the c

Re: [PATCH][ARM] Fix for testcase after r228661

2015-10-20 Thread Ramana Radhakrishnan
On Tue, Oct 20, 2015 at 4:52 PM, Andre Vieira wrote: > Hi, > > This patch addresses PR-67948 by changing the xor-and.c test, initially > written for a simplify-rtx pattern, to make it pass post r228661 (see > https://gcc.gnu.org/ml/gcc-patches/2015-10/msg00676.html). This test no > longer triggere

Re: [PATCH][AArch64] Add support for 64-bit vector-mode ldp/stp

2015-10-20 Thread Kyrill Tkachov
Hi Marcus, On 20/10/15 17:05, Marcus Shawcroft wrote: On 16 October 2015 at 13:58, Kyrill Tkachov wrote: Hi all, We already support load/store-pair operations on the D-registers when they contain an FP value, but the peepholes/sched-fusion machinery that do all the hard work currently ignore

Re: [PATCH][AArch64][1/2] Add fmul-by-power-of-2+fcvt optimisation

2015-10-20 Thread Ramana Radhakrishnan
On Tue, Oct 20, 2015 at 4:26 PM, Marcus Shawcroft wrote: > On 19 October 2015 at 14:57, Kyrill Tkachov wrote: > >> 2015-10-19 Kyrylo Tkachov >> >> * config/aarch64/aarch64.md >> (*aarch64_fcvt2_mult): New pattern. >> * config/aarch64/aarch64-simd.md >> (*aarch64_fcvt2_mult): Likewise

[committed, PATCH] Add --enable-compressed-debug-sections={all,gas,gold,ld}

2015-10-20 Thread H.J. Lu
Add --enable-compressed-debug-sections={all,gas,gold,ld} This patch removes the gas configure option: --enable-compressed-debug-sections and adds a toplevel configure option: --enable-compressed-debug-sections={all,gas,gold,ld} to enable compressed debug sections for gas, gold or ld by default

patch to fix PR67609

2015-10-20 Thread Vladimir Makarov
The following patch fixes https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67609 The patch was bootstrapped and tested on x86/x86-64, arm, aarch64. It was also tested on ppc64 (unfortunately bootstrap with LRA is broken now). Committed as rev. 229087. Index: ChangeLog =

Re: [PATCH][AArch64][1/2] Add fmul-by-power-of-2+fcvt optimisation

2015-10-20 Thread Kyrill Tkachov
On 20/10/15 17:28, Ramana Radhakrishnan wrote: On Tue, Oct 20, 2015 at 4:26 PM, Marcus Shawcroft wrote: On 19 October 2015 at 14:57, Kyrill Tkachov wrote: 2015-10-19 Kyrylo Tkachov * config/aarch64/aarch64.md (*aarch64_fcvt2_mult): New pattern. * config/aarch64/aarch64-simd.

Re: [patch 4/6] scalar-storage-order merge: bulk

2015-10-20 Thread Eric Botcazou
> I suspect there are many comments that we should update as a result of > this work. Essentially there's many throughout GCC of the form "On a > big-endian target" and the like. With these changes it's more a > property of the data -- the vast majority of the time the data's > property is the sa

[patch] Fix failure of ACATS c45503c at -O2

2015-10-20 Thread Eric Botcazou
Hi, this test started to fail recently as the result of the work of Richard S., but the underlying issue had been latent for a long time. It boils down to this excerpt from the VRP1 dump file: Found new range for _9: [0, 12] marking stmt to be not simulated again Visiting statement: _3 = _9 %

Re: [PATCH][ARM] Fix for testcase after r228661

2015-10-20 Thread Andre Vieira
On 20/10/15 17:25, Ramana Radhakrishnan wrote: On Tue, Oct 20, 2015 at 4:52 PM, Andre Vieira wrote: Hi, This patch addresses PR-67948 by changing the xor-and.c test, initially written for a simplify-rtx pattern, to make it pass post r228661 (see https://gcc.gnu.org/ml/gcc-patches/2015-10/msg

[HSA] Fix-up of kernel-from-kernel dispatch mechanism

2015-10-20 Thread Martin Liška
Hello. Following patch fixes up HSA kernel from kernel dispatching mechanism, where we forgot to wait in a loop for the dispatched child kernel. Apart from that, there's a small follow-up which changes naming scheme for HSA modules. Martin >From eca686b6495bf7faa32ecb292f94558c6bfdbdce Mon Sep 1

Re: [PATCH][AArch64] Enable fusion of AES instructions

2015-10-20 Thread Kyrill Tkachov
On 14/10/15 13:30, Wilco Dijkstra wrote: Enable instruction fusion of dependent AESE; AESMC and AESD; AESIMC pairs. This can give up to 2x speedup on many AArch64 implementations. Also model the crypto instructions on Cortex-A57 according to the Optimization Guide. Passes regression tests.

Re: [C PATCH] Don't accept invalid attribute-list (PR c/67964)

2015-10-20 Thread Joseph Myers
On Tue, 20 Oct 2015, Marek Polacek wrote: > Joseph noticed that we were wrongly accepting multiple attributes without > commas. Thus fixed by breaking out of the loop when parsing the attributes -- > if we don't see a comma after an attribute, then the next tokens must be )); > if > not, then th

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-20 Thread Joseph Myers
On Tue, 20 Oct 2015, Martin Sebor wrote: > I think -Warray-bounds should emit consistent diagnostics for invalid > array references regardless of the contexts. I.e., given > > struct S { > int A [5][7]; > int x; > } s; > > these should both be diagnosed: > > int i =

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-20 Thread Martin Sebor
On 10/20/2015 09:48 AM, Bernd Schmidt wrote: On 10/20/2015 05:31 PM, Martin Sebor wrote: On 10/20/2015 07:20 AM, Bernd Schmidt wrote: On 10/16/2015 09:34 PM, Martin Sebor wrote: Thank you for the review. Attached is an updated patch that hopefully addresses all your comments. I ran the check

  1   2   >