Bare bones of type verifier

Hi, this patch adds bare bones of type checker. You can call verify_type on any type in the IL and see compiler bomb if some of invariants are broken. So far it only verify tests I already tested in last stage1 with my reverted variant streaming patch https://gcc.gnu.org/ml/gcc-patches/2014-06/ms

Re: Improve LTO type checking during symtab merging

Hi all, Jan Hubicka wrote: actually I bootstrapped/regtested without fortran (as I frogot the setting from LTO bootstrap). There are several new warnings in the fortran's testsuite. As far as I can tell, they represent real mismatches. I wonder, do we want to fix the testcases (some fortran-fu

Re: [Patch] Add regex_constants::__polynomial

On Mon, Apr 27, 2015 at 4:57 AM, Jonathan Wakely wrote: > OK for trunk. Committed. -- Regards, Tim Shen

PR65217.c, improve canonicalization of implied copy from equality comparison

Richi recently changed tree-ssa-dom.c::record_equality to use tree_swap_operands_p to canonicalize the implied copy we record for equality comparisons. This is a good thing. However, there is a case where tree_swap_operands_p gives us operands in an undesirable order for this routine. Spec

[libstdc++, committed] fix PR65909

This patch works around a libstdc++ testsuite issue: the generated program that tests for the availability of named locales dereferences invalid pointers on targets that don't allow command-line arguments to be passed. (In particular, I ran into this with a simulator for an embedded target th

Re: Improve LTO type checking during symtab merging

Hi, actually I bootstrapped/regtested without fortran (as I frogot the setting from LTO bootstrap). There are several new warnings in the fortran's testsuite. As far as I can tell, they represent real mismatches. I wonder, do we want to fix the testcases (some fortran-fu would be needed), disable

update docs for --enable-languages

I noticed this while working on my mostlyclean patch. The list of languages in the docs for --enable-languages is incomplete. It is missing jit and lto. I also noticed that the grep command matches boot_language= in addition to language= which is a little confusing, so I added the ^. The senten

[PATCH] libstdc++: Add operator-> support to unique_ptr xmethod.

Hi. This patch adds operator-> support to the unique_ptr xmethod. Note: This patch assumes these two patches have been committed. https://sourceware.org/ml/gdb-patches/2015-04/msg00947.html https://gcc.gnu.org/ml/libstdc++/2015-04/msg00149.html Regression tested on amd64-linux. 2015-04-27 Doug

Re: gcc make clean fixes

On Mon, Apr 27, 2015 at 12:30 PM, Jeff Law wrote: > Looks good to me. Please install if you haven't already done so. Thanks, I checked in the patch. I'm not maintainer of anything currently, so I'm assuming all of my patches need to be approved before check in. I'm pretty rusty, so that is pro

[PATCH] [libstdc++/65839] whatis support for xmethods

Hi. This patch is the counterpart to this patch to fix libstdc++/65839, gdb/18285. https://sourceware.org/ml/gdb-patches/2015-04/msg00947.html Regression tested on amd64-linux with/without a patched gdb. Without a patched gdb the new tests fail, but that's good. 2015-04-27 Doug Evans

Re: [PATCH] libstdc++: Fix list.cc xmethods test.

On 27 April 2015 at 23:33, Doug Evans wrote: > Hi. > > While we should eventually get the xmethods to handle cxx11, > this patch fixes the current failure. > The xmethod matcher doesn't currently handle __cxx11 in the type name. > > Adding cxx11 support can be a follow up patch. Agreed. And when t

[PATCH] libstdc++: Fix list.cc xmethods test.

Hi. While we should eventually get the xmethods to handle cxx11, this patch fixes the current failure. The xmethod matcher doesn't currently handle __cxx11 in the type name. Adding cxx11 support can be a follow up patch. Ok to commit? 2015-04-27 Doug Evans * testsuite/libstdc++-xmet

Re: [RS6000] pr65810, powerpc64 alignment of r2

On Thu, Apr 23, 2015 at 7:24 AM, Alan Modra wrote: > Revised patch, supporting linker that aligns the toc base. > > This fixes a thinko in offsettable_ok_by_alignment. It's not the > absolute placement that matters, but the toc-pointer relative offset. > So alignment of r2 also needs to be taken

Re: [PATCH] libstdc++: Fix exceptions being generated when compiling with -fno-exceptions

On 14/04/15 12:17 -0300, Federico Lenarduzzi wrote: When the libstdc++ is compiled, the compiler sets the std::terminate_handler function with __verbose_terminate_handler() or std::abort() depending on _GLIBCXX_HOSTED && _GLIBCXX_VERBOSE being true or false. However, even if we compile with -f

Re: [Patch/rtl-expand] Take tree range info into account to improve LSHIFT_EXP expanding

Jeff Law writes: > On 04/16/2015 05:04 AM, Jiong Wang wrote: >> >> This is a rework of >> >>https://gcc.gnu.org/ml/gcc-patches/2014-07/msg01998.html >> >> After second thinking, I feel it's better to fix this in earlier stage >> during RTL expand which is more generic, and we also avoid makin

Re: [libstdc++ PATCH] Add support for std::uncaught_exceptions

On 27/04/15 21:40 +0100, Jonathan Wakely wrote: Tested x86_64-linux and powerpc64le-linux. Committed to trunk. The baseline_symbols changes aren't needed now and I tweaked the gnu.ver file slightly. Ville noticed a typo in a comment I added, fixed like so. commit c595cfa88c9d38f333b262635a1c32

Re: [Patch, fortran] PR65792 - allocation of scalar elemental function with structure constructor fails

Dear Steve, Thanks for the review. I THINK that I know what I meant in the comment :-) I will commit tomorrow night. Cheers Paul On 26 April 2015 at 20:53, Steve Kargl wrote: > On Sun, Apr 26, 2015 at 08:35:06PM +0200, Paul Richard Thomas wrote: >> >> --- 7062,7091 >> { >>

Re: [libstdc++ PATCH] Add support for std::uncaught_exceptions

On 13/04/15 02:24 +0300, Ville Voutilainen wrote: The patch is a bit large since it does the baseline_symbols regeneration and other new-version api-dance. Hence attached gzipped. Tested on Linux x86-64. 2015-04-13 Ville Voutilainen Add support for std::uncaught_exceptions. * acinclude

Add --enable-default-pie option to configure GCC to generate PIE by default.

Hi Can this work be commited to Gcc 6? https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=33cd3712cae4721121bc37aefd09fc5ed7cd146a The work was posted to the patch liste even before Gcc 5 stage1 ended. And diffrent versions of it have been posted to the list of nummer of times. /Magnus G.

Re: [PATCH][expr.c] PR 65358 Avoid clobbering partial argument during sibcall

On 04/21/2015 11:33 AM, Kyrill Tkachov wrote: On 21/04/15 15:09, Jeff Law wrote: On 04/21/2015 02:30 AM, Kyrill Tkachov wrote: From reading config/stormy16/stormy-abi it seems to me that we don't pass arguments partially in stormy16, so this code would never be called there. That leaves pa a

Re: [PATCH, RFC]: Next stage1, refactoring: propagating rtx subclasses

I'm sending an updated patch (rebased to recent trunk, bootstrapped and regtested on x86_64-unknown-linux-gnu). On 04/25/2015 02:49 PM, Richard Sandiford wrote: > FWIW I think the split between label_rtx and live_label_rtx is good, > but I think we should give them different names. The first one

Re: [PATCH libstdc++] Fix for std::uncaught_exception (PR 62258)

On 02/02/15 03:37 +0100, Michael Hanselmann wrote: Calls to `std::uncaught_exception` after calling `std::rethrow_exception' always return `true' when `std::uncaught_exception' should return `false' unless an exception is in flight. `std::rethrow_exception' does not update `__cxa_eh_globals::unca

Re: gcc make clean fixes

On 04/23/2015 09:34 PM, Jim Wilson wrote: I noticed that make clean isn't removing C++ binaries. It was broken here https://gcc.gnu.org/ml/gcc-patches/2007-01/msg00214.html Removing stagestuff accidentally removed those items from the mostlyclean rule. They need to be re-added to the langu

Re: [PATCH 2/13] musl libc config

On 04/27/2015 08:30 AM, Szabolcs Nagy wrote: On 22/04/15 16:42, Szabolcs Nagy wrote: yes, i didn't realize that this depends on the target specific parts i will prepare an updated patch that works if the target has no musl dynamic linker name defined Updated the patch, this time I tested it

Re: [Patch, Fortran] Simplify lbound

Hello world, here is a slight correction: This patch includes the change to the test case. Regards Thomas Index: fortran/simplify.c === --- fortran/simplify.c (Revision 222431) +++ fortran/simplify.c (Arbeitskopie) @@ -344

Re: [PATCH] Add new target h8300-*-linux

On 04/26/2015 12:21 AM, Yoshinori Sato wrote: Updated. Some cleanup. Thanks. Committed to the trunk. jeff

Re: [PATCH] Properly valueize values we value-number to

On 04/27/2015 12:29 PM, Richard Biener wrote: On April 27, 2015 6:24:47 PM GMT+02:00, Jeff Law n & -n will (of course) get computed into an SSA_NAME. We then propagate that name for the use of "n" in the return statement rather than using the effectively zero cost "n". If we put some smarts i

Re: [Patch, Fortran] Simplify lbound

Am 25.04.2015 um 20:12 schrieb Mikael Morin: > I've double-checked in the standard, and it seems it is not possible to > simplify after all: > > If ARRAY is a whole array and either ARRAY is an assumed-size > array of rank DIM or dimension DIM of ARRAY has nonzero extent, > LBOU

Re: [PATCH] Properly valueize values we value-number to

On April 27, 2015 6:24:47 PM GMT+02:00, Jeff Law wrote: >On 04/27/2015 06:46 AM, Richard Biener wrote: >> On Mon, 27 Apr 2015, Richard Biener wrote: >> >>> On Fri, 24 Apr 2015, Jeff Law wrote: >>> On 02/17/2015 07:58 AM, Richard Biener wrote: [ Restarting a old thread... ] > On

Re: Extend list of codes accepted by address_operand

On 04/27/2015 04:07 AM, Richard Sandiford wrote: While testing the patch that I'm about to post, I found that the list of address_operand codes in gensupport.c was incomplete. This patch fills in some "obvious" missing entries. It isn't exactly clear which codes are allowed at the top level of

Re: C PATCH to reject va_arg (ap, void) (PR c/65901)

On 04/27/2015 11:30 AM, Marek Polacek wrote: As reported in the PR, va_arg (ap, void) probably doesn't make any sense and should be rejected thus. cc1plus and clang reject va_arg with an incomplete type. This patch makes cc1 reject it as well. Bootstrapped/regtested on x86_64-linux, ok for tru

Re: [commited, Patch, Fortran, pr60322, addendum] was: [Patch 1/2, Fortran, pr60322] [OOP] Incorrect bounds on polymorphic dummy array

Hi all, sorry, I forgot to svn-add the testcases for the patch of pr60322. I fixed this with commit r222478. My apologies for the oversight. Regards, Andre On Thu, 23 Apr 2015 13:34:16 +0200 Andre Vehreschild wrote: > Hi Paul, hi all, > > Paul, thanks for the review. I have commited

Re: [Patch, fortran, pr59678, v1] -- [F03] Segfault on equalizing variables of a complex derived type

Hi Paul, hi all, Paul, thanks for the review. I have integrated all your comments (i) to (iii) and commited as r222477. Regards, Andre On Sat, 25 Apr 2015 16:42:52 +0200 Paul Richard Thomas wrote: > Dear Andre, > > The patch is OK with three changes: > (i) Put the PR line in the tests

C PATCH to reject va_arg (ap, void) (PR c/65901)

As reported in the PR, va_arg (ap, void) probably doesn't make any sense and should be rejected thus. cc1plus and clang reject va_arg with an incomplete type. This patch makes cc1 reject it as well. Bootstrapped/regtested on x86_64-linux, ok for trunk? 2015-04-27 Marek Polacek PR c/

RE: [PATCH][AArch64] Use conditional negate for abs expansion

> James Greenhalgh wrote: > On Mon, Apr 27, 2015 at 02:42:36PM +0100, Wilco Dijkstra wrote: > > > -Original Message- > > > From: Wilco Dijkstra [mailto:wdijk...@arm.com] > > > Sent: 03 March 2015 16:19 > > > To: GCC Patches > > > Subject: [PATCH][AArch64] Use conditional negate for abs expa

Re: [PATCH, RFC]: Next stage1, refactoring: propagating rtx subclasses

Jeff Law writes: > On 04/25/2015 05:49 AM, Richard Sandiford wrote: >> That seems pretty heavy-weight for LRA-local code. Also, the long-term >> plan is for INSN_LIST and rtx_insn to be in separate hierarchies, >> at which point we'd have no alias-safe way to distinguish them. > That's certainly

Re: var-tracking vs. pseudo registers (was: Option overriding in the offloading code path)

Hi! On Thu, 26 Feb 2015 11:46:00 +0100, Jakub Jelinek wrote: > On Thu, Feb 26, 2015 at 11:27:06AM +0100, Thomas Schwinge wrote: > > Is this not the right way to skip it, or, Bernd, is this because we're > > not yet handling some debug stuff in nvptx? (I tested that > >

Re: [PATCH][OpenMP] Fix resolve_device with -foffload=disable

On Mon, Apr 20, 2015 at 17:16:03 +0300, Ilya Verbin wrote: > Hi! > > Currently if a compiler is configured with enabled offloading, the 'devices' > array in libgomp is filled properly with a number of available devices. > However, if a program is compiled with -foffload=disable, the resolve_device

Re: [PATCH, RFC]: Next stage1, refactoring: propagating rtx subclasses

On 04/25/2015 05:49 AM, Richard Sandiford wrote: @@ -2099,9 +2107,9 @@ fix_crossing_conditional_branches (void) emit_label (new_label); gcc_assert (GET_CODE (old_label) == LABEL_REF); - old_label = JUMP_LABEL (old_jump); - new

Re: [PATCH, combine] Try REG_EQUAL for nonzero_bits

On 04/27/2015 04:26 AM, Thomas Preud'homme wrote: From: Jeff Law [mailto:l...@redhat.com] Sent: Saturday, April 25, 2015 3:00 AM Do you have a testcase where this change can result in better generated code. If so please add that testcase. It's OK if it's ARM specific. Hi Jeff, Last time I tr

Re: [PATCH][AArch64] Use conditional negate for abs expansion

On Mon, Apr 27, 2015 at 02:42:36PM +0100, Wilco Dijkstra wrote: > > -Original Message- > > From: Wilco Dijkstra [mailto:wdijk...@arm.com] > > Sent: 03 March 2015 16:19 > > To: GCC Patches > > Subject: [PATCH][AArch64] Use conditional negate for abs expansion > > > > Expand abs into a compa

Re: [PATCH] Properly valueize values we value-number to

On 04/27/2015 06:46 AM, Richard Biener wrote: On Mon, 27 Apr 2015, Richard Biener wrote: On Fri, 24 Apr 2015, Jeff Law wrote: On 02/17/2015 07:58 AM, Richard Biener wrote: [ Restarting a old thread... ] On a closer look the record_const_or_copy_1 hunk is redundant (record_equality is really

Re: Offloading compilers' libgcc installation

On Mon, Apr 27, 2015 at 06:14:36PM +0200, Thomas Schwinge wrote: > Hi! > > Ping. (Or can Bernd just commit this patch, > > (with my review comment addressed, >

Re: Offloading compilers' libgcc installation

Hi! Ping. (Or can Bernd just commit this patch, (with my review comment addressed, ), given his nvptx architecture mainta

Re: [PATCH][AArch64] Improve spill code - swap order in shl pattern

On Mon, Apr 27, 2015 at 02:37:12PM +0100, Wilco Dijkstra wrote: > Various instructions are supported as integer operations as well as SIMD on > AArch64. When register pressure is high, lra-constraints inserts spill code > without taking the allocation class into account, and basically chooses the >

Re: [C/C++ PATCH] Improve -Wlogical-op (PR c/63357)

On Mon, Apr 27, 2015 at 10:06:26AM -0600, Jeff Law wrote: > On 04/27/2015 08:47 AM, Marek Polacek wrote: > >On Sat, Apr 25, 2015 at 10:18:59PM +0200, Gerald Pfeifer wrote: > >>In case this example feels too contrived (even though it is an > >>excerpt of Wine code), we now also warn about the follow

Re: [PATCH 6/n] OpenMP 4.0 offloading infrastructure: option handling

Hi! Ping. On Tue, 10 Mar 2015 13:37:47 +0100, I wrote: > Ping. > > On Thu, 19 Feb 2015 09:39:52 +0100, I wrote: > > On Wed, 18 Feb 2015 18:04:21 +0100, I wrote: > > > On Mon, 13 Oct 2014 14:33:11 +0400, Ilya Verbin wrote: > > > > On 13 Oct 12:19, Jakub Jelinek wrote: > > > > > On Sat, Oct 11, 2

Re: [PATCH][combine][obvious] Use std::swap instead of manually swapping

On 04/27/2015 08:37 AM, Segher Boessenkool wrote: On Mon, Apr 27, 2015 at 10:55:17AM +0100, Kyrill Tkachov wrote: Precedents suggest these changes are considered obvious. So I'll commit this in a couple of days unless someone objects. Yes it's obvious. One tiny thing... @@ -9062,7 +9061,7 @

Re: [C/C++ PATCH] Improve -Wlogical-op (PR c/63357)

On 04/27/2015 08:47 AM, Marek Polacek wrote: On Sat, Apr 25, 2015 at 10:18:59PM +0200, Gerald Pfeifer wrote: In case this example feels too contrived (even though it is an excerpt of Wine code), we now also warn about the following where the two types and variables are defined in different place

Re: [C/C++ PATCH] Implement -Wshift-negative-value (PR c/65179)

On Sat, Apr 25, 2015 at 08:13:08PM +, Joseph Myers wrote: > On Sat, 25 Apr 2015, Marek Polacek wrote: > > > + pedwarn (location, OPT_Wshift_negative_value, > > +"left shift of negative value"); > > Use of pedwarn is always suspect for something only undefined at

Re: [PATCH] Make wider use of "v" constraint in i386.md

On 17 Apr 10:09, Uros Bizjak wrote: > On Thu, Mar 19, 2015 at 10:24 AM, Ilya Tocar wrote: > > Hi, > > > > There were some discussion about "x" constraints being too conservative > > for some patterns in i386.md. > > Patch below fixes it. This is probably stage1 material. > > > > ChangeLog: > > > >

Re: [PATCH, rs6000, testsuite] Fix PR target/64579, __TM_end __builtin_tend failed to return transactional state

On Fri, 2015-04-24 at 11:40 -0400, David Edelsohn wrote: > On Fri, Apr 24, 2015 at 11:34 AM, Segher Boessenkool > > All looks great to me now, thanks for the changes, > > Okay for me. In back porting my patch, I see that the patch doesn't apply cleanly to the 4.8/4.9 branch code. Looking at why,

Re: [PATCH v2 3/4] libcc1: Add 'set compile-gcc'

On 04/23/2015 09:38 PM, Jan Kratochvil wrote: > - configury triplet prefix to the compiler. > + configury triplet prefix to the compiler; TRIPLET_REGEXP can be > + also absolute filename to the computer. "to the computer" is probably a typo for "to the compiler". Also, double space af

Re: [PATCH] libmpx: remove AC_PROG_CXX/GCC_LIBSTDCXX_RAW_CXX_FLAGS from configure.ac

2015-04-23 12:53 GMT+03:00 Steven Noonan : > This causes libmpx to fail the configure stage on my build hosts because > 'xg++' > was invoked with the bogus '-funconfigured-libstdc++-v3' flag, and the > fallback > preprocessor '/lib/cpp' did not exist on my systems. > > Since libmpx has no C++ cod

Re: [PATCH][PR65818][bootstrap,hppa] Return side-effect free result in gimplify_va_arg_internal

On 27-04-15 15:40, Richard Biener wrote: On Mon, Apr 27, 2015 at 3:06 PM, Tom de Vries wrote: On 27-04-15 10:17, Richard Biener wrote: This patch fixes that by gimplifying the address expression of the mem-ref returned by the target hook (borrowing code from gimplify_expr, case MEM_REF). Bo

RE: [PATCH] Fix IRA register preferencing

> Jeff Law wrote: > On 12/10/14 06:26, Wilco Dijkstra wrote: > > > > If recomputing is best does that mean that record_reg_classes should not > > give a boost to the preferred class in the 2nd pass? > Perhaps. I haven't looked deeply at this part of IRA. I was relaying > my experiences with (ab)u

Re: [PATCH 7/13] powerpc musl support

On 20/04/15 19:55, Szabolcs Nagy wrote: > Set up dynamic linker name for powerpc. Musl only supports powerpc > with secure plt, so appropriate options are passed to the linker by > default. Patch v2. Powerpc does not include the top level linux.h, so I had to repeat the include order fixes from

RE: [PATCH][combine][obvious] Use std::swap instead of manually swapping

On 27/04/15 15:37, Segher Boessenkool wrote: > On Mon, Apr 27, 2015 at 10:55:17AM +0100, Kyrill Tkachov wrote: >> Precedents suggest these changes are considered obvious. >> So I'll commit this in a couple of days unless someone objects. > > Yes it's obvious. One tiny thing... > >> @@ -9062,7 +906

Re: [PATCH 9/13] x86 musl support

On 20/04/15 19:57, Szabolcs Nagy wrote: > Set up dynamic linker name for x86. > Patch v2. (undef MUSL_DYNAMIC_LINKER* before defining it). gcc/Changelog: 2015-04-27 Gregor Richards * config/i386/linux.h (MUSL_DYNAMIC_LINKER): Define. * config/i386/linux64.h (MUSL_DYNAMIC_LI

Re: [C/C++ PATCH] Improve -Wlogical-op (PR c/63357)

On Mon, Apr 27, 2015 at 04:47:12PM +0200, Marek Polacek wrote: > On Sat, Apr 25, 2015 at 10:18:59PM +0200, Gerald Pfeifer wrote: > > In case this example feels too contrived (even though it is an > > excerpt of Wine code), we now also warn about the following where > > the two types and variables a

Re: [PATCH 8/13] sh musl support

On 20/04/15 21:29, Oleg Endo wrote: > On Mon, 2015-04-20 at 19:56 +0100, Szabolcs Nagy wrote: >> Set up dynamic linker name for sh. >> > > The SH parts are OK for trunk. > Patch v2 It turns out we have to distinguish between hard float and nofpu ABI. I simply listed the options that turn on n

Re: [C/C++ PATCH] Improve -Wlogical-op (PR c/63357)

On Sat, Apr 25, 2015 at 10:18:59PM +0200, Gerald Pfeifer wrote: > In case this example feels too contrived (even though it is an > excerpt of Wine code), we now also warn about the following where > the two types and variables are defined in different places and > the size of one is set implicitly:

Re: [PATCH 6/13] mips musl support

On 21/04/15 15:59, Matthew Fortune wrote: > Rich Felker writes: >> On Tue, Apr 21, 2015 at 01:58:02PM +, Matthew Fortune wrote: >>> There does however appear to be both soft and hard float variants Patch v2. Now all the ABI variants musl plans to support are represented. gcc/Changelog: 2

Re: [PATCH][combine][obvious] Use std::swap instead of manually swapping

On Mon, Apr 27, 2015 at 10:55:17AM +0100, Kyrill Tkachov wrote: > Precedents suggest these changes are considered obvious. > So I'll commit this in a couple of days unless someone objects. Yes it's obvious. One tiny thing... > @@ -9062,7 +9061,7 @@ known_cond (rtx x, enum rtx_code cond, rtx reg,

Re: [PATCH 5/13] microblaze musl support

On 20/04/15 19:54, Szabolcs Nagy wrote: > Set up dynamic linker name for microblaze. > Patch v2. (undef MUSL_DYNAMIC_LINKER that comes from config/linux.h) gcc/Changelog: 2015-04-24 Gregor Richards * config/microblaze/linux.h (MUSL_DYNAMIC_LINKER): Define. (DYNAMIC_LINKER):

Re: [PATCH 3/13] aarch64 musl support

On 21/04/15 15:16, pins...@gmail.com wrote: > > I don't think you need to check if defaulting to little or big-endian here > are the specs always have one or the other passing through. > > Also if musl does not support ilp32, you might want to error out. Or even > define the dynamic linker na

Re: [PATCH 2/13] musl libc config

On 22/04/15 16:42, Szabolcs Nagy wrote: > yes, i didn't realize that this depends on the target specific parts > > i will prepare an updated patch that works if the target has no musl > dynamic linker name defined > Updated the patch, this time I tested it separately. (The test revealed that -m

Re: [PATCH][AArch64] Fix aarch64_rtx_costs of PLUS/MINUS

On 27/04/15 14:53, Kyrill Tkachov wrote: Hi Wilco, On 27/04/15 14:43, Wilco Dijkstra wrote: ping -Original Message- From: Wilco Dijkstra [mailto:wdijk...@arm.com] Sent: 04 March 2015 15:38 To: GCC Patches Subject: [PATCH][AArch64] Fix aarch64_rtx_costs of PLUS/MINUS Include the cost

RE: [PATCH][AArch64] Fix Cortex-A53 shift costs

ping > -Original Message- > From: Wilco Dijkstra [mailto:wdijk...@arm.com] > Sent: 05 March 2015 14:49 > To: gcc-patches@gcc.gnu.org > Subject: [PATCH][AArch64] Fix Cortex-A53 shift costs > > This patch fixes the shift costs for Cortex-A53 so they are more accurate - > immediate shifts >

Re: [PATCH] [AArch32] Additional bics patterns.

On 24/04/15 16:41, Alex Velenko wrote: Hi, This patch adds rtl patterns to generate bics instructions with shift. Added attribute predicable_short_it since last respin. Done full regression run on arm-none-eabi and arm-none-gnueabihf. Bootstrapped on arm-none-gnueabihf. Is this patch ok? gcc

Re: [PATCH][AArch64] Fix aarch64_rtx_costs of PLUS/MINUS

Hi Wilco, On 27/04/15 14:43, Wilco Dijkstra wrote: ping -Original Message- From: Wilco Dijkstra [mailto:wdijk...@arm.com] Sent: 04 March 2015 15:38 To: GCC Patches Subject: [PATCH][AArch64] Fix aarch64_rtx_costs of PLUS/MINUS Include the cost of op0 and op1 in all cases in PLUS and MI

Re: [PATCH, ARM] Alternatives and type attributes fixes.

On 27 April 2015 at 15:20, Kyrill Tkachov wrote: > Hi Yvan, > > > On 27/04/15 13:25, Yvan Roux wrote: >> >> Hi, >> >> This is a follow-up of PR64208 where an LRA loop was due to redundancy >> in insn's alternatives. I've checked all the insns in the arm backend >> to avoid latent problems and thi

RE: [PATCH][AArch64] Fix aarch64_rtx_costs of PLUS/MINUS

ping > -Original Message- > From: Wilco Dijkstra [mailto:wdijk...@arm.com] > Sent: 04 March 2015 15:38 > To: GCC Patches > Subject: [PATCH][AArch64] Fix aarch64_rtx_costs of PLUS/MINUS > > Include the cost of op0 and op1 in all cases in PLUS and MINUS in > aarch64_rtx_costs. > Bootstrap

RE: [PATCH][AArch64] Make aarch64_min_divisions_for_recip_mul configurable

ping > -Original Message- > From: Wilco Dijkstra [mailto:wdijk...@arm.com] > Sent: 03 March 2015 18:06 > To: GCC Patches > Subject: [PATCH][AArch64] Make aarch64_min_divisions_for_recip_mul > configurable > > This patch makes aarch64_min_divisions_for_recip_mul configurable for float >

RE: [PATCH][AArch64] Use conditional negate for abs expansion

ping > -Original Message- > From: Wilco Dijkstra [mailto:wdijk...@arm.com] > Sent: 03 March 2015 16:19 > To: GCC Patches > Subject: [PATCH][AArch64] Use conditional negate for abs expansion > > Expand abs into a compare and conditional negate. This is the most obvious > expansion, enable

Re: [PATCH][PR65818][bootstrap,hppa] Return side-effect free result in gimplify_va_arg_internal

On Mon, Apr 27, 2015 at 3:06 PM, Tom de Vries wrote: > On 27-04-15 10:17, Richard Biener wrote: >>> >>> This patch fixes that by gimplifying the address expression of the >>> mem-ref >>> >returned by the target hook (borrowing code from gimplify_expr, case >>> >MEM_REF). >>> > >>> >Bootstrapped an

Re: [PATCH][simplify-rtx][trivial] Use std::swap instead of manually swapping

On 04/27/2015 03:55 AM, Kyrill Tkachov wrote: Hi all, This patch replaces in simplify-rtx.c the manual swapping of values with std::swap. Precedents suggest these are considered obvious changes. Bootstrapped and tested on aarch64, x86_64. Will commit as obvious in a couple of days if no one ob

[PATCH][AArch64] Improve spill code - swap order in shl pattern

Various instructions are supported as integer operations as well as SIMD on AArch64. When register pressure is high, lra-constraints inserts spill code without taking the allocation class into account, and basically chooses the first available pattern that matches. Since this instruction has the

Re: [PATCH, rs6000, testsuite, PR65456] Changes for unaligned vector load/store support on POWER8

On Mon, 2015-04-27 at 14:23 +0800, Bin.Cheng wrote: > On Mon, Mar 30, 2015 at 1:42 AM, Bill Schmidt > wrote: > > > Index: gcc/testsuite/gcc.dg/vect/vect-33.c > > === > > --- gcc/testsuite/gcc.dg/vect/vect-33.c (revision 221118) > >

[PATCH][AArch64] Fix operand costing logic for MINUS

Hi all, This fixes a case in aarch64 costs where we forgot to account for one of the operands in the MINUS case. This is important to get right as the mult synthesis code can ask for the cost of a shift+sub operation and put the shift part in any of the MINUS operands, expecting the cost functio

Re: [PATCH, ARM] Alternatives and type attributes fixes.

Hi Yvan, On 27/04/15 13:25, Yvan Roux wrote: Hi, This is a follow-up of PR64208 where an LRA loop was due to redundancy in insn's alternatives. I've checked all the insns in the arm backend to avoid latent problems and this patch fixes the issues I've spotted. Only thumb2_movsicc_insn contain

Re: [PATCH][expr.c] PR 65358 Avoid clobbering partial argument during sibcall

On 2015-04-27 6:12 AM, Kyrill Tkachov wrote: On 22/04/15 12:51, Kyrill Tkachov wrote: On 21/04/15 18:33, Kyrill Tkachov wrote: On 21/04/15 15:09, Jeff Law wrote: On 04/21/2015 02:30 AM, Kyrill Tkachov wrote: From reading config/stormy16/stormy-abi it seems to me that we don't pass argume

Re: Fix xstormy16 handling of HImode predicates

Hi Richard, gcc/ * config/stormy16/predicates.md (xs_hi_general_operand): Delete. (xs_hi_nonmemory_operand): Remove error. * config/stormy16/stormy16.md (movhi, movhi_internal): Use general_operand rather than xs_hi_general_operand. Approved - please apply. Che

Re: [PATCH][PR65818][bootstrap,hppa] Return side-effect free result in gimplify_va_arg_internal

On 27-04-15 10:17, Richard Biener wrote: This patch fixes that by gimplifying the address expression of the mem-ref >returned by the target hook (borrowing code from gimplify_expr, case >MEM_REF). > >Bootstrapped and reg-tested on x86_64. > >Bootstrapped and reg-tested on hppa2.0w-hp-hpux11.11. >

Re: [PATCH] Properly valueize values we value-number to

On Mon, 27 Apr 2015, Richard Biener wrote: > On Fri, 24 Apr 2015, Jeff Law wrote: > > > On 02/17/2015 07:58 AM, Richard Biener wrote: > > [ Restarting a old thread... ] > > > > > On a closer look the record_const_or_copy_1 hunk is redundant > > > (record_equality is really a bit obfuscated...).

[patch] Add a cross-reference link to libstdc++ manual

Committed to trunk. commit 85b6429ce3410f9e204f7d926f67707556c6a4bf Author: Jonathan Wakely Date: Mon Apr 27 13:27:27 2015 +0100 * doc/xml/manual/extensions.xml: Add cross-reference. * doc/html/manual/ext_compile_checks.html: Regenerate. diff --git a/libstdc++-v3/doc/xml/manual/ex

[PATCH, ARM] Alternatives and type attributes fixes.

Hi, This is a follow-up of PR64208 where an LRA loop was due to redundancy in insn's alternatives. I've checked all the insns in the arm backend to avoid latent problems and this patch fixes the issues I've spotted. Only thumb2_movsicc_insn contained duplicated alternatives, and the rest of the

Re: [PATCH, x86] Add TARGET_OVERRIDE_OPTIONS_AFTER_CHANGE hook

On Wed, Feb 4, 2015 at 2:21 PM, Christian Bruel wrote: > While trying to reduce the PR64835 case for ARM and x86, I noticed that the > alignment flags are cleared for x86 when attribute optimized is used. > > With the attached testcases, the visible effects are twofold : > > 1) Functions compiled

Re: [Patch] Add regex_constants::__polynomial

On 26/04/15 17:55 -0700, Tim Shen wrote: I didn't test with _GLIBCXX_DEBUG though. Updated the patch for removing DFS restriction for ECMAScript. OK for trunk.

Re: niter_base simplification

On 22/04/15 22:10 +0200, François Dumont wrote: Hello I don't know if I am missing something but I think __niter_base could be simplified to remove usage of _Iter_base. Additionally I overload it to also remove __normal_iterator layer even if behind a reverse_iterator or move_iterator, mig

Re: [PATCH] Fix LTO option streaming

On Thu, 23 Apr 2015, Richard Biener wrote: > On Thu, 23 Apr 2015, Jan Hubicka wrote: > > > > > > > It looks like when transitioning to using target and optimization > > > option nodes for compile-time to link-time option streaming you > > > didn't adjust lto-opts.c nor lto-wrapper.c. The follow

Re: [PR64164] drop copyrename, integrate into expand

On Fri, Apr 24, 2015 at 3:56 AM, Alexandre Oliva wrote: > On Apr 6, 2015, Jeff Law wrote: > So the bulk of the changes into this routine are really about picking a good leader, which presumably is how we're able to get the desired effects on debuginfo that we used to get from tree

Re: Hide _S_n_primes from user code

On 22/04/15 22:11 +0200, François Dumont wrote: +constexpr auto __n_primes + = sizeof(__prime_list) / sizeof(unsigned long) - 1; Normally I'd say sizeof(__prime_list) / sizeof(*__prime_list) - 1 would be better, but since it's very unlikely we'll change the element type in the

[Patch, fortran] Simplify lbound for array subcomponents

Hello, while reviewing Thomas' bound simplification patch, I noticed that the {l,u}bound simplification code wasn't handling array subcomponents. Fixed by the attached patch, regression tested. OK for trunk? Mikael 2015-04-27 Mikael Morin * simplify.c (simplify_bound_dim): Tight

RE: [PATCH 1/2, combine] Try REG_EQUAL for nonzero_bits

> From: Jeff Law [mailto:l...@redhat.com] > Sent: Saturday, April 25, 2015 2:57 AM > > +static rtx > > +sign_extend_short_imm (rtx src, machine_mode mode, unsigned int > prec) > > +{ > > + if (GET_MODE_PRECISION (mode) < prec && CONST_INT_P (src) > > + && INTVAL (src) > 0 && val_signbit_know

Re: [ARM] Fix RTX cost for vector SET

Hi Kugan, On 25/04/15 00:30, Kugan wrote: Thanks for the review. I have updated the patch based on the comments with some other minor changes. Bootstrapped and regression tested on aarch64-none-linux-gnu with no-new regressions. Is this OK for trunk? Thanks, Kugan gcc/ChangeLog: 2015-04-24

RE: [PATCH] [1/2] [ARM] [libgcc] Support RTABI half-precision conversion functions.

> -Original Message- > From: Ramana Radhakrishnan [mailto:ramana@googlemail.com] > Sent: Wednesday, April 22, 2015 5:00 PM > To: Hale Wang > Cc: Ramana Radhakrishnan; Joseph Myers; GCC Patches > Subject: Re: [PATCH] [1/2] [ARM] [libgcc] Support RTABI half-precision > conversion function

Minor tweak to size functions

The size functions are used by the Ada compiler to factor out the large size computations in self-referential types (dynamic types whose size depends on a discriminant in the object). We generate useless leaf size functions for size expressions involving discriminants: _Global.Sz4_Q (ada__str

RE: [PATCH, combine] Try REG_EQUAL for nonzero_bits

> From: Jeff Law [mailto:l...@redhat.com] > Sent: Saturday, April 25, 2015 3:00 AM > Do you have a testcase where this change can result in better generated > code. If so please add that testcase. It's OK if it's ARM specific. Hi Jeff, Last time I tried I couldn't reduce the code to a small tes

Re: Add a build version of inchash.o

On Mon, Apr 27, 2015 at 12:09 PM, Richard Sandiford wrote: > The generator patch that I'm about to post wants to use inchash.c, > so this patch adds it to the list of files that are built for the > build system as well as the host. > > Tested on x86_64-linux-gnu. OK to install? Ok. THanks, Rich

  1   2   >