Re: Time for GCC 5.0? (TIC)

2012-11-09 Thread Paolo Bonzini
Il 06/11/2012 03:43, DJ Delorie ha scritto: Ian Lance Taylor i...@google.com writes: Also the fact that GCC is now written in C++ seems to me to be deserving of a bump to 5.0. I see no reason why an internal design change that has no user visible effects should have any impact on the

Re: [ping] couple of fixes

2012-10-22 Thread Paolo Bonzini
Il 19/10/2012 19:01, Eric Botcazou ha scritto: PR bootstrap/54820 (stage #1 bootstrap failure) http://gcc.gnu.org/ml/gcc-patches/2012-10/msg01093.html This one is okay, thanks. Paolo

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-10-16 Thread Paolo Bonzini
Il 16/10/2012 12:35, Steven Bosscher ha scritto: On Tue, Oct 16, 2012 at 12:15 PM, Steven Bosscher wrote: On Mon, Oct 15, 2012 at 3:26 PM, Steven Bosscher wrote: On Mon, Oct 15, 2012 at 3:21 PM, Paolo Bonzini wrote: Il 15/10/2012 14:53, Steven Bosscher ha scritto: I think I've shown above

Re: Ping: RFA: Fix OP_INOUT handling of web.c:union_match_dups

2012-10-15 Thread Paolo Bonzini
Il 15/10/2012 07:10, Joern Rennecke ha scritto: 2012-10-02 Joern Rennecke joern.renne...@embecosm.com * web.c (union_match_dups): Properly handle OP_INOUT match_dups. http://gcc.gnu.org/ml/gcc-patches/2012-10/msg00189.html Ok. Paolo

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-10-15 Thread Paolo Bonzini
Il 14/10/2012 22:59, Steven Bosscher ha scritto: On Sun, Oct 14, 2012 at 9:02 AM, Paolo Bonzini wrote: Can we just simulate liveness for web, and drop REG_EQUAL/REG_EQUIV notes that refer to a dead pseudo? I don't think we want to do that. A REG_EQUAL/REG_EQUIV note can use a pseudo

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-10-15 Thread Paolo Bonzini
Il 15/10/2012 10:13, Steven Bosscher ha scritto: I disagree that it is valid. At least it is risky to consider it valid, because a pass that simulates liveness might end up doing something wrong because of that note. If simulation is done backwards, it doesn't even require any

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-10-15 Thread Paolo Bonzini
Il 15/10/2012 10:37, Steven Bosscher ha scritto: I prefer to declare the notes invalid and drop the notes. Then, afaic, our only option is to drop them all in web, as per attached patch. I strongly disagree with this approach though. It destroys information that is correct, that we had

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-10-15 Thread Paolo Bonzini
Il 15/10/2012 14:53, Steven Bosscher ha scritto: I think I've shown above that we're all looking at the wrong pass... I think you have... so we want a patch like this? Index: df-problems.c === --- df-problems.c (revisione

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-10-14 Thread Paolo Bonzini
Il 13/10/2012 00:25, Steven Bosscher ha scritto: On Fri, Oct 12, 2012 at 11:16 PM, Jan Hubicka hubi...@ucw.cz wrote: On Fri, Oct 12, 2012 at 10:44 PM, Jan Hubicka hubi...@ucw.cz wrote: 1) computing liveness with REG_EQUAL included prior RD that means a lot of shuffling of REG_DEAD notes

Re: [patch] Add option to compute reaching and live definitions

2012-10-08 Thread Paolo Bonzini
Il 07/10/2012 19:18, Steven Bosscher ha scritto: Hello, The attached patch adds a DF changeable flag to compute a subset of reaching definitions that are also live at the program points they reach. This is an idea I discussed with Paolo many years ago already, but until today it hadn't

Re: RFC: LRA for x86/x86-64 [0/9]

2012-10-02 Thread Paolo Bonzini
Il 02/10/2012 09:28, Steven Bosscher ha scritto: My experience shows that these lists are usually 1-2 elements. Although in this case, there are pseudos with huge number elements (hundreeds). I tried -fweb for this tests because it can decrease the number elements but GCC (I don't

Re: RFC: LRA for x86/x86-64 [0/9]

2012-10-02 Thread Paolo Bonzini
Il 02/10/2012 10:49, Steven Bosscher ha scritto: On Tue, Oct 2, 2012 at 10:29 AM, Paolo Bonzini bonz...@gnu.org wrote: Il 02/10/2012 09:28, Steven Bosscher ha scritto: My experience shows that these lists are usually 1-2 elements. Although in this case, there are pseudos with huge number

Re: [PATCH, i386]: Implement atomic_fetch_sub

2012-10-01 Thread Paolo Bonzini
Il 03/08/2012 17:08, Richard Henderson ha scritto: On 2012-08-03 08:01, Uros Bizjak wrote: On Fri, Aug 3, 2012 at 4:40 PM, Richard Henderson r...@redhat.com wrote: On 2012-08-03 01:51, Uros Bizjak wrote: The same reasoning goes for dynamic negation: for neg %eax,%eax value 0x8000 stays

Re: RFC: LRA for x86/x86-64 [3/9]

2012-09-28 Thread Paolo Bonzini
Il 28/09/2012 00:57, Vladimir Makarov ha scritto: LRA creates a lot of new pseudos. So the following patch implements ahead allocation reg info information which is important for LRA compilation speed. 2012-09-27 Vladimir Makarov vmaka...@redhat.com * reginfo.c

Re: [PATCH] Fix up CFLAGS/CXXFLAGS gcc/configure adjustment (PR other/54692)

2012-09-25 Thread Paolo Bonzini
Il 25/09/2012 13:19, Jakub Jelinek ha scritto: Hi! On Thu, Sep 13, 2012 at 06:24:14PM +0200, Paolo Bonzini wrote: Il 13/09/2012 17:57, Jakub Jelinek ha scritto: Can we get this change in? The current state is terribly annoying. Yes, please go ahead. Here it is, bootstrapped/regtested

Re: Merge C++ conversion into trunk (0/6 - Overview)

2012-09-13 Thread Paolo Bonzini
Il 13/09/2012 10:46, Jakub Jelinek ha scritto: # Remove the -O2: for historical reasons, unless bootstrapping we prefer # optimizations to be activated explicitly by the toplevel. case $CC in */prev-gcc/xgcc*) ;; *) CFLAGS=`echo $CFLAGS | sed

Re: Merge C++ conversion into trunk (0/6 - Overview)

2012-09-13 Thread Paolo Bonzini
Il 13/09/2012 17:57, Jakub Jelinek ha scritto: Can we get this change in? The current state is terribly annoying. Yes, please go ahead. Here it is, bootstrapped/regtested on x86_64-linux and i686-linux, additionally tested on --disable-bootstrap tree, both by make cc1 inside of gcc

Re: [v3, build] Clear hardware capabilities on libstdc++.so with Sun as

2012-09-12 Thread Paolo Bonzini
Il 12/09/2012 11:26, Rainer Orth ha scritto: Since the use of rdrand was introduced in src/c++11/random.cc, all execution tests involving libstdc++.so.6 fail on Solaris 10 and 11/x86 with a sufficiently recent native assembler that supports rdrand: either Solaris 10/x86 patch 119961-11 or

Re: [middle-end] Add machine_mode to address_cost target hook

2012-09-04 Thread Paolo Bonzini
Il 04/09/2012 09:52, Oleg Endo ha scritto: [x] target-independent bits [ ] alpha [ ] arm [ ] avr [ ] bfin [ ] cr16 [ ] cris [ ] epiphany[ ] i386 [ ] ia64 [ ] iq2000[ ] lm32[ ] m32c [ ] m32r [ ] mcore [ ] mep [x] microblaze [x]

Re: ping [RFA:] fix configury version checks for in-tree binutils

2012-09-03 Thread Paolo Bonzini
Il 03/09/2012 03:52, Hans-Peter Nilsson ha scritto: Ping with CC to build maintainers. (Further pings, if any are needed, will be with URL only.) On Sun, 26 Aug 2012, Hans-Peter Nilsson wrote: Found while investigating PR54373. A combined tree (in-tree binutils) using binutils post-2.22

Re: PATCH: Don't set HOST_LIB_PATH_bfd/HOST_LIB_PATH_opcodes

2012-08-26 Thread Paolo Bonzini
Il 25/08/2012 17:58, H.J. Lu ha scritto: The change was introduced by http://gcc.gnu.org/ml/gcc-cvs/2005-03/msg01452.html Paolo, do you remember the reason for this? Actually, this patch came before bfd started using libtool and hence .libs. The patch is okay if binutils always uses

Re: Merge C++ conversion into trunk (0/6 - Overview)

2012-08-24 Thread Paolo Bonzini
Il 23/08/2012 22:54, Mike Stump ha scritto: # Remove the -O2: for historical reasons, unless bootstrapping we prefer # optimizations to be activated explicitly by the toplevel. case $CC in */prev-gcc/xgcc*) ;; *) CFLAGS=`echo $CFLAGS | sed

Re: VxWorks Patches Back from the Dead!

2012-08-24 Thread Paolo Bonzini
Il 23/08/2012 21:37, rbmj ha scritto: In gcc/gcov-io.c, the call to open() only has two arguments. This is fine, as long as the system open() is standards compliant. So you have to add another fixincludes hack, adding a macro indirection like the one you have for ioctl: #define open(a, b,

Re: VxWorks Patches Back from the Dead!

2012-08-23 Thread Paolo Bonzini
Il 23/08/2012 04:27, rbmj ha scritto: sed '/if test -s .{MACRO_LIST}/s/$/ false/' \ ${srcdir}/fixinc.in ${target} for vxworks rather than all that configury rigmarole. That would eliminate changes to gcc/configure.ac and gcc/Makefile.in. I didn't even think of that. I was

Re: VxWorks Patches Back from the Dead!

2012-08-23 Thread Paolo Bonzini
Il 23/08/2012 10:35, Jay Foad ha scritto: This can be simply #define ioctl(fd, func, arg) ioctl(fd, func, (int)arg) (int)(arg), surely. Right, only the other parentheses are unnecessary. (Cut-and-paste mistake). Paolo

Re: [graphds.h] Allocate graph from obstack

2012-08-20 Thread Paolo Bonzini
Il 19/08/2012 18:55, Richard Guenther ha scritto: Initially I had one obstack per struct graph, which was better than using XNEW for every edge, but still obstack_init() called from new_graph() was too frequent. So in this iteration of the patch the obstack is static global, initialised

Re: [PATCH] Fix -fcompare-debug failure in fwprop (PR rtl-optimization/54294)

2012-08-18 Thread Paolo Bonzini
Il 17/08/2012 22:00, Jakub Jelinek ha scritto: Hi! As discussed in the PR, this patch, originally posted for PR42728, makes sure the shortcut in all_uses_available_at is used on the same insns in between -g and -g0, it is the second time a -fcompare-debug failure resulted from NEXT_INSN

Re: [patch] speed up ifcvt:cond_move_convert_if_block

2012-08-06 Thread Paolo Bonzini
Il 06/08/2012 08:54, Steven Bosscher ha scritto: Hello, In PR54146, ifcvt spends a lot of time just clearing memory. This patch changes the value maps to pointer-maps to fix this issue. Bootstrappedtested on x86_64-unknown-linux-gnu. OK? Nice, but perhaps we need a sparsemap to do even

Re: [patch] speed up ifcvt:cond_move_convert_if_block

2012-08-06 Thread Paolo Bonzini
Il 06/08/2012 13:15, Steven Bosscher ha scritto: On Mon, Aug 6, 2012 at 1:07 PM, Paolo Bonzini bonz...@gnu.org wrote: Il 06/08/2012 08:54, Steven Bosscher ha scritto: Hello, In PR54146, ifcvt spends a lot of time just clearing memory. This patch changes the value maps to pointer-maps to fix

Re: [PATCH] Detect loops in find_comparison_args

2012-07-27 Thread Paolo Bonzini
Il 26/07/2012 22:22, Sandra Loosemore ha scritto: Aha, I honestly couldn't figure out that was what you were trying to catch with the version you posted previously. How about this one? Tested as before. Yeah, that's cleaner. Paolo

Re: Add hot/cold attributes for labels

2012-07-27 Thread Paolo Bonzini
Il 27/07/2012 11:40, Steven Bosscher ha scritto: As in the case where you have both an unlikely and likely jump to a basic-block. But what I understand is that rth adds a way to mark a basic-block as hot or cold, not a way to mark an edge as hot or cold (that would be what the asm goto

Re: [PATCH] Detect loops in find_comparison_args

2012-07-26 Thread Paolo Bonzini
Il 26/07/2012 04:25, Sandra Loosemore ha scritto: On 07/25/2012 01:27 AM, Paolo Bonzini wrote: What I'm worried about is the extra cost of malloc-ing and free-ing the pointer set. Perhaps you can skip the pointer set creation in the common case where find_comparison_args does not iterate

Re: [PATCH] Detect loops in find_comparison_args

2012-07-25 Thread Paolo Bonzini
Il 24/07/2012 22:17, Sandra Loosemore ha scritto: I was looking to see what needs to be done to un-stick this previously submitted patch: http://gcc.gnu.org/ml/gcc-patches/2012-05/msg01419.html Paolo's suggestion was to re-write this to use a tortoise-and-hare algorithm to detect the

Re: [RFT] Remove -fno-tree-dominator-opts from libgcc/config/t-darwin

2012-07-09 Thread Paolo Bonzini
Il 07/07/2012 17:34, Steven Bosscher ha scritto: On Sat, Jul 7, 2012 at 5:06 PM, H.J. Lu hjl.to...@gmail.com wrote: Are you sure this the right patch? -fno-tree-dominator-opts is still here. I am sure it is not the right patch :-) Thanks! Index: libgcc/config/t-darwin

Re: [PATCH] Don't try to perform conditional_replacement on vectors (PR tree-optimization/53748)

2012-07-01 Thread Paolo Bonzini
Il 25/06/2012 16:44, Jakub Jelinek ha scritto: Hi! On vectors, even when they satisfy integer_zerop/integer_onep/integer_all_onesp, the routine doesn't handle vector types and it is questionable if it would be a good optimization for them anyway. I think it's not questionable at all, since

Re: Renaming Stage 1 and Stage 3

2012-06-11 Thread Paolo Bonzini
Il 11/06/2012 11:18, Richard Guenther ha scritto: Instead of renaming Stage 3 to Stage 2 at that point we figured that using different terminology would reduce confusion. I am not wedded to Stage A and B, though this seems to be the most straightforward option (over colors, Alpha and Beta

Re: [Ping] Fix gcc/gcov.c and libgcc/libgcov.c to fix build on VxWorks

2012-06-11 Thread Paolo Bonzini
Il 11/06/2012 13:56, rbmj ha scritto: 1. VxWorks does not have a variadic open - it must receive three arguments. gcc/gcov.c however opens a file for reading and does not pass in a mode argument, which causes an error on vxWorks. This just adds a platform-based ifdef around this. I am

Re: [Patch] Add AC_ARG_ENABLE for libstdc++-v3

2012-06-11 Thread Paolo Bonzini
Il 11/06/2012 13:59, rbmj ha scritto: On 05/22/2012 04:37 PM, rbmj wrote: This patch adds an AC_ARG_ENABLE option to build/not build libstdc++-v3. I wrote the patch in order to allow the user to override the automatic disable for libstdc++-v3 for certain targets. Ping^2 on

Re: divide 64-bit by constant for 32-bit target machines

2012-06-07 Thread Paolo Bonzini
Il 07/06/2012 12:21, Dinar Temirbulatov ha scritto: oh, I found typo in comment in the end of patch. fixed. Great improvement, thanks! Unfortunately we're not there yet, but much closer! I could understand the new code much better so I suggest some more improvements below, both to the comments

Re: [patch][PCH] Do not write/read asm_out_file

2012-06-06 Thread Paolo Bonzini
Il 06/06/2012 09:15, Steven Bosscher ha scritto: +add_asm_printf (%s\n\t.ascii \%s\\n, + READONLY_DATA_SECTION_ASM_OP, string); + else Need to escape the string as in mips_output_ascii, of course. :( Paolo

Re: [PATCH] vrp: fold ffs to ctz

2012-06-05 Thread Paolo Bonzini
Il 04/06/2012 11:31, Richard Guenther ha scritto: +val = compare_range_with_value (NE_EXPR, vr, integer_zero_node, sop); +if (!val || !integer_onep (val)) + return false; please add a value_range_nonzero_p helper alongside value_range_nonnegative_p. +

Re: divide 64-bit by constant for 32-bit target machines

2012-05-26 Thread Paolo Bonzini
diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c index 2cecf45..9d6983b 100644 --- a/gcc/config/arm/arm.c +++ b/gcc/config/arm/arm.c @@ -7131,6 +7131,8 @@ arm_rtx_costs_1 (rtx x, enum rtx_code outer, int* total, bool speed) *total = COSTS_N_INSNS (2); else if

Re: divide 64-bit by constant for 32-bit target machines

2012-05-26 Thread Paolo Bonzini
Il 25/05/2012 12:20, Dinar Temirbulatov ha scritto: + emit_store_flag_force (c, GT, u0, tmp, mode, 1, 1); + emit_store_flag_force (c1, GT, u1, tmp, mode, 1, 1); + result = expand_binop (mode, ior_optab, c, c1, cres, 1, OPTAB_LIB_WIDEN); + if (!result) + return

Re: divide 64-bit by constant for 32-bit target machines

2012-05-26 Thread Paolo Bonzini
Il 26/05/2012 14:35, Paolo Bonzini ha scritto: /* We have to return z2 + ((u0 + u1) GET_MODE_BITSIZE (word_mode)). u0 + u1 are the upper two words of the three-word intermediate result and they could have up to 2 * GET_MODE_BITSIZE

Re: PATCH: PR bootstrap/53472: contrib/compare-debug should strip out .comment section

2012-05-25 Thread Paolo Bonzini
2012-05-24  H.J. Lu  hongjiu...@intel.com        PR bootstrap/53472        * contrib/compare-debug (remove_comment): New function.        Remove any .comment sections if the first cmp failed. Ok. Paolo diff --git a/contrib/compare-debug b/contrib/compare-debug index 010d17f..fb8986d

Re: [patch] Fix PR ada/52362

2012-05-25 Thread Paolo Bonzini
Il 18/05/2012 23:05, Eric Botcazou ha scritto: Hi, this is a regression present on mainline and 4.7 branch or, more precisely, if you use recent GNU linkers with LTO plugin. During the link phase, gnatlink can decide to use a response file to pass a very long line to the linker. It

Re: fix install-no-fixedincludes mishaps

2012-05-24 Thread Paolo Bonzini
Il 24/05/2012 15:32, Olivier Hainque ha scritto: Hello Ian, On May 24, 2012, at 14:22 , Olivier Hainque wrote: libgcc/ * Makefile.in: move dependency on install-unwind_h from install-leaf to install. Testing went fine for me. Here is what I checked: For a pristine

Re: fix install-no-fixedincludes mishaps

2012-05-24 Thread Paolo Bonzini
Il 24/05/2012 16:31, Olivier Hainque ha scritto: On May 24, 2012, at 16:01 , Paolo Bonzini wrote: (*) For this sequence to work, I had to change libgcc_tm.h into libgcc_tm.stamp in the list of files removed by clean: in libgcc/Makefile.in. I think you need to remove both files

Re: PATCH: PR bootstrap/53472: contrib/compare-debug should strip out .comment section

2012-05-24 Thread Paolo Bonzini
Il 24/05/2012 16:01, H.J. Lu ha scritto: configure checks if contrib/compare-debug actually works for comparing a debug and non-debug .o file before enabling bootstrap-debug. But some compilers encode some command line options (among them -g) into a special .comment section. This patch

Re: [PATCH] Detect loops in find_comparison_args

2012-05-22 Thread Paolo Bonzini
Il 21/05/2012 19:21, Andrew Jenner ha scritto: Hi Paolo, On 5/21/2012 10:12 AM, Paolo Bonzini wrote: That's pretty heavy-weight. Perhaps you can try the usual algorithm of looking at x-next and x-next-next? That would only detect cycles of length 1 and 2 though. While that would cover

Re: [DF] Generate REFs in REGNO order

2012-05-22 Thread Paolo Bonzini
Il 21/05/2012 19:49, Dimitrios Apostolou ha scritto: Thanks for reviewing, in the meantime I'll try to figure out why this patch doesn't offer any speed-up on ppc64 (doesn't break anything though), so expect a followup by tomorrow. Perhaps you hit this? else if (GET_CODE (XEXP (note,

Re: [DF] Generate REFs in REGNO order

2012-05-22 Thread Paolo Bonzini
Il 20/05/2012 20:50, Dimitrios Apostolou ha scritto: +static void +df_find_hard_reg_defs_1 (rtx *loc, basic_block bb, + int flags, HARD_REG_SET *defs) BB and FLAGS are not needed here, I am changing this and rebootstrapping. Paolo

Re: [DF] Generate REFs in REGNO order

2012-05-22 Thread Paolo Bonzini
Il 22/05/2012 18:26, Dimitrios Apostolou ha scritto: You are right, and I noticed that if we reverse (actually put straight) the loop for the PARALLEL defs inside df_defs_record() then the speedup stands for both x86 and ppc64. The following patch was tested on x86, do you think it is

Re: [PATCH] Fix PR53183, libgcc does not always figure out the size of double/long double

2012-05-21 Thread Paolo Bonzini
Il 21/05/2012 02:57, Andrew Pinski ha scritto: The problem here is that when libgcc goes to try to figure out the size of double/long double, it includes some headers. But those headers does not exist when doing a stage1 Linux cross compiler build. This fixes the problem having configure

Re: [PATCH] Detect loops in find_comparison_args

2012-05-21 Thread Paolo Bonzini
Il 21/05/2012 17:54, Andrew Jenner ha scritto: This patch is a followup to the patch Sandra Loosemore made to fix PR50380 (see (http://gcc.gnu.org/ml/gcc-patches/2011-12/msg01402.html). That patch only detects fixed points, but Joseph Myers found a testcase which creates a cycle of length 2,

Re: fix install-no-fixedincludes mishaps

2012-05-18 Thread Paolo Bonzini
Il 18/05/2012 17:34, Olivier Hainque ha scritto: Hello Paolo, On May 16, 2012, at 15:17 , Paolo Bonzini wrote: + install-no-fixedincludes: ... + $(MAKE) $(FLAGS_TO_PASS) install This uncovered a latent problem that my light re-testing after the apparently innocent switch to a sequence

Re: patch for PR53125

2012-05-16 Thread Paolo Bonzini
Now with patch On Fri, May 11, 2012 at 8:42 PM, Steven Bosscher stevenb@gmail.com wrote: 2012-05-10 Vladimir Makarovvmaka...@redhat.com PR rtl-optimization/53125 * ira.c (ira): Call find_moveable_pseudos and move_unallocated_pseudos if only

Re: ping: Use sed -n … instead of sed s/…/p -e d in s-header-vars

2012-05-16 Thread Paolo Bonzini
Il 15/05/2012 16:18, Olivier Hainque ha scritto: rm -f tmp-header-vars ! # The first sed gets the list header variables as the list variables ! # assigned in Makefile and having _H at the end of the name. sed -n proved ! # more portable than a trailing -e d to filter out the

[PATCH] relax constraint on integral-offset conversions (PR53336)

2012-05-16 Thread Paolo Bonzini
Paolo Bonzini bonz...@gnu.org * tree-cfg.c (verify_gimple_assign_unary): Allow conversion from non-integer integral types to offset type and vice versa. 2012-05-16 Paolo Bonzini bonz...@gnu.org * g++.dg/torture/pr53336.C: New testcase. Index: tree-cfg.c

Re: ping: Use sed -n … instead of sed s/…/p -e d in s-header-vars

2012-05-16 Thread Paolo Bonzini
*** /tmp/dL6Ouq_Makefile.tpl 2012-04-05 14:37:34.144103910 +0200 --- Makefile.tpl 2012-04-04 22:03:53.822060326 +0200 *** install.all: install-no-fixedincludes *** 906,916 true ; \ fi ! # install-no-fixedincludes is used because Cygnus can not

Re: fix install-no-fixedincludes mishaps

2012-05-16 Thread Paolo Bonzini
Il 16/05/2012 14:54, Olivier Hainque ha scritto: + + install-no-fixedincludes: + # Stash the current set of headers away, save stamps we're going to alter + # explicitly, and arrange for fixincludes not to run next time we trigger + # a headers rebuild. + + -rm -rf tmp-include +

Re: fix install-no-fixedincludes mishaps

2012-05-16 Thread Paolo Bonzini
Il 16/05/2012 16:46, Olivier Hainque ha scritto: On May 16, 2012, at 15:17 , Paolo Bonzini wrote: Please indent the comments with a tab and remove the empty lines. Sure. Ok with that change. Installed, thanks :) If I may, we actually hit another install-no-fixedincludes issue

Re: Turn check macros into functions. (issue6188088)

2012-05-16 Thread Paolo Bonzini
Il 16/05/2012 15:27, Richard Guenther ha scritto: Two bootstrapped compilers built exactly the same, except one was using the template version, the other using the straight inline functions with const_tree parameters and CONST_CAST_TREE in return values. That's of course not exactly the

Re: [patch] support for multiarch systems

2012-05-11 Thread Paolo Bonzini
Il 11/05/2012 07:13, Matthias Klose ha scritto: ok, I did clarify it in the existing documentation of MULTIARCH_DIRNAME in fragments.texi, detailing the search order for the files. Should the search order be mentioned in some user documentation as well? if yes, where? Thanks! I don't think

Re: [patch] support for multiarch systems

2012-05-10 Thread Paolo Bonzini
Il 09/05/2012 19:19, Matthias Klose ha scritto: these are referenced from the http://wiki.debian.org/Multiarch/Tuples https://wiki.ubuntu.com/MultiarchSpec#Filesystem_layout http://err.no/debian/amd64-multiarch-3 http://wiki.debian.org/Multiarch/TheCaseForMultiarch describes use cases for

Re: [C Patch]: pr52543

2012-05-10 Thread Paolo Bonzini
Il 30/03/2012 12:08, Richard Sandiford ha scritto: + There are two useful preprocessor defines for use by maintainers: + + #define LOG_COSTS + + if you wish to see the actual cost estimates that are being used + for each mode wider than word mode and the cost estimates for

Re: [C Patch]: pr52543

2012-05-10 Thread Paolo Bonzini
Il 10/05/2012 08:45, Paolo Bonzini ha scritto: Il 30/03/2012 12:08, Richard Sandiford ha scritto: + There are two useful preprocessor defines for use by maintainers: + + #define LOG_COSTS + + if you wish to see the actual cost estimates that are being used + for each mode wider

Re: [patch] support for multiarch systems

2012-05-09 Thread Paolo Bonzini
Il 09/05/2012 02:38, Matthias Klose ha scritto: Index: gcc/doc/invoke.texi === --- gcc/doc/invoke.texi (revision 187271) +++ gcc/doc/invoke.texi (working copy) @@ -6110,6 +6110,11 @@ @file{../lib32}, or if OS

Re: RFA: Fix detecting of in-tree MPFR 3.1.0 sources

2012-05-09 Thread Paolo Bonzini
Il 09/05/2012 14:52, Nick Clifton ha scritto: Hi Guys, http://www.mpfr.org/mpfr-current/#changes The current release of the MPFR library (v3.1.0) has reorganized its sources such the mpfr.h header file is now in a sub-directory called 'src', rather than being at the top level.

Re: RFA: Fix detecting of in-tree MPFR 3.1.0 sources

2012-05-09 Thread Paolo Bonzini
Il 09/05/2012 15:31, Richard Guenther ha scritto: Btw, it would probably be better to make the drop-in compiles doing a staged install during build instead of using the build tree for use. Same for GCC while building target library, but not really easy to do... GMP/MPFR are compiled without

Re: RFA: Fix detecting of in-tree MPFR 3.1.0 sources

2012-05-09 Thread Paolo Bonzini
Il 09/05/2012 15:57, Richard Guenther ha scritto: Btw, it would probably be better to make the drop-in compiles doing a staged install during build instead of using the build tree for use. Same for GCC while building target library, but not really easy to do... GMP/MPFR are compiled

Re: [patch] support for multiarch systems

2012-05-09 Thread Paolo Bonzini
Il 09/05/2012 17:34, Matthias Klose ha scritto: So -print-multiarch is like --print-multi-os-directory? the former prints the part before the `:' in the MULTILIB_OSDIRNAMES, the latter the part after the `':', e.g. ../lib32 and i386-linux-gnu. Yes, of course. What is the difference, and

Re: [libgcc] Use i386-cpuinfo.c on all i386 targets

2012-05-07 Thread Paolo Bonzini
Il 07/05/2012 14:09, Rainer Orth ha scritto: gcc.target/i386/builtin_target.c currently FAILs on Solaris/x86 (and also on on *86*-*-freebsd*, judging from testresults): FAIL: gcc.target/i386/builtin_target.c (test for excess errors) WARNING: gcc.target/i386/builtin_target.c compilation

Re: [PATCH] teach emit_store_flag to use clz/ctz

2012-05-03 Thread Paolo Bonzini
Il 03/05/2012 11:57, Richard Guenther ha scritto: Hmm, I'll let target maintainers have a look at this - it's non-obvious for arm (the only case I looked at) at least. My guess is that the difference was to allow __builtin_ctz to be optimized and CTZ to be always well-defined (which

Re: [PATCH] teach emit_store_flag to use clz/ctz

2012-05-03 Thread Paolo Bonzini
Il 03/05/2012 17:10, Richard Henderson ha scritto: ... except that no target sets the macros to 2, and all of them could (as far as I could see). Looks like the code trumps the documentation; how does this look? No target sets to 2? You mean like mips? You forgot to look at the

Re: [PATCH] teach phi-opt to produce -(a COND b)

2012-04-28 Thread Paolo Bonzini
Il 27/04/2012 18:43, H.J. Lu ha scritto: On Fri, Apr 27, 2012 at 3:01 AM, Paolo Bonzini bonz...@gnu.org wrote: This patch teaches phiopt to look at phis whose arguments are -1 and 0, and produce negated setcc statements. Bootstrapped/regtested x86_64-pc-linux-gnu, together with the patch

Re: [patch] Obvious: Fix DF solution dirty marking in cfg.c:disconnect_src

2012-04-27 Thread Paolo Bonzini
Il 27/04/2012 11:18, Steven Bosscher ha scritto: Hello, It makes no sense to mark DF solutions dirty on the gcc_unreachable() path but not on the return path. Bootstrappedtested on x86_64-unknown-linux-gnu and powerpc64-unknown-linux-gnu. I'll this, as obvious, some time late next week

[PATCH] teach emit_store_flag to use clz/ctz

2012-04-27 Thread Paolo Bonzini
to fix first). Bootstrapped/regtested x86_64-pc-linux-gnu, and tested manually on PPC with some changes to the machine description. Ok for mainline? Paolo 2012-04-27 Paolo Bonzini bonz...@gnu.org PR 53087 * expmed.c (emit_store_flag): Generalize to support cases where

[PATCH] teach phi-opt to produce -(a COND b)

2012-04-27 Thread Paolo Bonzini
This patch teaches phiopt to look at phis whose arguments are -1 and 0, and produce negated setcc statements. Bootstrapped/regtested x86_64-pc-linux-gnu, together with the patch for pr53138. Ok for mainline? Paolo 2012-04-27 Paolo Bonzini bonz...@gnu.org * tree-ssa-phiopt.c

Re: [PATCH] teach emit_store_flag to use clz/ctz

2012-04-27 Thread Paolo Bonzini
Index: config/rs6000/rs6000.md === --- config/rs6000/rs6000.md (revisione 186859) +++ config/rs6000/rs6000.md (copia locale) @@ -2129,7 +2129,7 @@ (define_expand abssi2 [(set (match_operand:SI 0 gpc_reg_operand )

Re: [PATCH] teach emit_store_flag to use clz/ctz

2012-04-27 Thread Paolo Bonzini
this... ... except that no target sets the macros to 2, and all of them could (as far as I could see). Looks like the code trumps the documentation; how does this look? 2012-04-27 Paolo Bonzini bonz...@gnu.org * optabs.c (expand_ffs): Check CTZ_DEFINED_VALUE_AT_ZERO against 1

[PATCH] x86: emit tzcnt unconditionally

2012-04-27 Thread Paolo Bonzini
. Bootstrapped on a non-BMI x86_64-linux host, regtest in progress. Ok for mainline? Paolo 2012-04-27 Paolo Bonzini bonz...@gnu.org * config/i386/i386.md (ctzmode2): Emit tzcnt (as rep;bsf) instead of bsf. Index: i386/i386.md

Re: [PATCH] teach phi-opt to produce -(a COND b)

2012-04-27 Thread Paolo Bonzini
This caused: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53144 Looks like a PPRE bug. Paolo

Re: PR c++/52538 Extend C++11 UDLs to be compatible with inttypes.h macros (issue6109043)

2012-04-26 Thread Paolo Bonzini
Il 23/04/2012 14:53, Gabriel Dos Reis ha scritto: I chose -Wreserved-user-defined-literal because that's the name used by Clang. It seemed better to maintain consistency between front ends than to invent a new, concise option name. Do you still want me to shorten in? yes. Why, out

Re: [RFA] Update config.sub to 2012-04-18 version.

2012-04-20 Thread Paolo Bonzini
Il 20/04/2012 02:27, Joel Brobecker ha scritto: Hello everyone, I wasn't sure if I needed approval for this patch or not, but better be safe than sorry. I'll apply to both GCC and then src when I receive confirmation that it's OK to apply. I would like to update the config.sub script to

Re: [patch] Remove strange case cost code

2012-04-17 Thread Paolo Bonzini
Il 17/04/2012 10:45, Richard Guenther ha scritto: Also it is possble to get an historgrams from profile feedback into switch expansion. I always wanted to do that once switch expansion code is cleaned up and moved to gimple level... Indeed. At least the parts that expand switch stmts to

Re: fix left-over debug insns in DCE

2012-04-13 Thread Paolo Bonzini
Il 13/04/2012 17:58, Alexandre Oliva ha scritto: I've just installed the patch, but if you find the need for any further improvement, let me know and I'll do it right away. I wonder if it makes any sense to move the dead_debug_* stuff to its own file... Paolo

Re: [Patch]: use mmap.m4 in gcc/configure

2012-04-03 Thread Paolo Bonzini
Il 03/04/2012 11:25, Tristan Gingold ha scritto: Hi, the gcc_AC_FUNC_MMAP_BLACKLIST function in gcc/acinclude.m4 is exactly the same as the GCC_AC_FUNC_MMAP_BLACKLIST function in config/mmap.m4 (except the case of the first three letters). This patch makes gcc/configure.ac uses

Re: [Patch V2] libgfortran: do not assume libm

2012-03-30 Thread Paolo Bonzini
Il 30/03/2012 12:22, Tristan Gingold ha scritto: On Mar 27, 2012, at 10:38 AM, Janne Blomqvist wrote: On Tue, Mar 27, 2012 at 11:01, Tristan Gingold ging...@adacore.com wrote: Hi, this patch fixes this issue. Is it OK ? Ok. Maybe we should include the AC_DEFINE action within

Re: [Ping][PATCH, libstdc++-v3] Enable to cross-test libstdc++ on simulator

2012-03-23 Thread Paolo Bonzini
Il 23/03/2012 13:40, Paolo Carlini ha scritto: Hi, On 03/07/2012 06:22 AM, Terry Guo wrote: Hello, Can anybody please review and approve the following simple patch? Thanks very much. http://gcc.gnu.org/ml/libstdc++/2011-08/msg00063.html apparently somebody, somewhere, approved this

Re: [Patch V2] libgfortran: do not assume libm

2012-03-22 Thread Paolo Bonzini
Il 22/03/2012 09:30, Tristan Gingold ha scritto: Hi, this is version 2 of the patch. The initial problem is that libgfortran configure.ac used AC_CHECK_LIB([m]…) to check wether several math functions are available. That doesn't work on VMS, because there is no such things as a libm.

Re: [debug/profile-mode] broken c++config.h

2012-03-20 Thread Paolo Bonzini
Il 19/03/2012 13:32, Paolo Carlini ha scritto: Should the addition be \$$ to escape it for the shell as well as for make? (I know it works, but that might not be true for all shells.) i don't think that $, could be expaneded by any shell. I'm not worried about it not expanding, but rather

Re: [PATCH] Make vector lowering use vectors of proper sign

2012-03-20 Thread Paolo Bonzini
Il 14/03/2012 15:53, Richard Guenther ha scritto: I noticed when trying to fix PR52584 that vector lowering always creates unsigned vector types. The following fixes that, also getting rid of the weird use of a langhook. Bootstrapped and tested on x86_64-unknown-linux-gnu. Richard.

Re: PATCH: Properly generate X32 IE sequence

2012-03-20 Thread Paolo Bonzini
Il 19/03/2012 20:13, Uros Bizjak ha scritto: 2012-03-19 Uros Bizjak ubiz...@gmail.com * config/i386/i386.c (get_thread_pointer): Add tp_mode argument. Generate ZERO_EXTEND in place if GET_MODE (tp) != tp_mode. (legitimize_tls_address) TLS_MODEL_INITIAL_EXEC: Always

Re: [debug/profile-mode] broken c++config.h

2012-03-20 Thread Paolo Bonzini
Il 20/03/2012 11:33, Paolo Carlini ha scritto: On 03/20/2012 10:22 AM, Paolo Bonzini wrote: I think \$$ is better. Besides that it looks good. Thanks for the review. Yesterday, when Benjamin had a look, I decided to go ahead and just commit the patch as posted (after having double checked

Re: [PATCH] allowing fwprop to propagate subregs

2012-03-19 Thread Paolo Bonzini
Il 19/03/2012 17:07, Ulrich Weigand ha scritto: Hello, now that the apply_distributive_law change is in, I'd like to pick up Richard's original patch, see discussion here: http://gcc.gnu.org/ml/gcc-patches/2011-09/msg00852.html The version below integrates all requests for changes that

Re: [Patch ARM/ configury] Add fall-back check for gnu_unique_object

2012-03-14 Thread Paolo Bonzini
Il 14/03/2012 16:37, Ramana Radhakrishnan ha scritto: Empirically I spotted this odd behaviour with gcc_GAS_CHECK_FEATURE and comments - Attached are the 2 alternate patches that I tried and the difference in the configure scripts themselves . I am no m4 expert but it does look like the

Re: [PATCH, i386]: Avoid partial reg stall with arith insn + setCC + movzbl sequence

2012-03-12 Thread Paolo Bonzini
Il 12/03/2012 09:52, Uros Bizjak ha scritto: +(define_peephole2 + [(parallel [(set (reg FLAGS_REG) (match_operand 0 )) + (match_operand 4 )]) + (set (match_operand:QI 1 register_operand ) + (match_operator:QI 2 ix86_comparison_operator + [(reg FLAGS_REG) (const_int

Re: [PATCH] Fix up libstdc++ build breakage with ldbl-extra.ver

2012-02-28 Thread Paolo Bonzini
Il 28/02/2012 09:50, Jakub Jelinek ha scritto: - $(EGREP) -v '#(#| |$$)' $@.tmp | \ + $(EGREP) -v '^[ ]*#(#| |$$)' $@.tmp | \ I don't know this part very well, so I wonder why you have to remove comments at all... hence I wonder if sed 's/##.*//;s/# .*//;s/#$//' (alternation is

Re: [PATCH] Fix up libstdc++ build breakage with ldbl-extra.ver

2012-02-28 Thread Paolo Bonzini
Il 28/02/2012 10:19, Jakub Jelinek ha scritto: - $(EGREP) -v '#(#| |$$)' $@.tmp | \ + $(EGREP) -v '^[ ]*#(#| |$$)' $@.tmp | \ I don't know this part very well, so I wonder why you have to remove comments at all... hence I wonder if sed 's/##.*//;s/# .*//;s/#$//'

<    1   2   3   4   5   6   7   8   9   10   >