Re: [RFC] optimize x - y cmp 0 with undefined overflow

2014-06-20 Thread Eric Botcazou
ranges in a row. I initially didn't want to do that because this breaks the separation between extract_range_from_binary_expr_1 and extract_range_from_binary_expr but, given their names, this is very likely acceptable. What do you think? -- Eric Botcazou

Re: [PATCH] Fix forwporp pattern (T)(P + A) - (T)P - (T)A

2014-06-23 Thread Eric Botcazou
for widening conversions. Saturating, floating-point and fixed-point types are already excluded here, see the beginning of the function. -- Eric Botcazou

[patch] Do not generate useless integral conversions

2014-06-24 Thread Eric Botcazou
the annoying effect of generating useless integral conversions in convert.c, for example between boolean types and integer types of the same precision. The attached patch restores the old behavior for them. Bootstrapped/regtested on x86_64-suse-linux, OK for the mainline? 2014-06-24 Eric Botcazou

Re: [patch] Do not generate useless integral conversions

2014-06-24 Thread Eric Botcazou
that made it possible to have some control. So, yes, it's pretty annoying to see totally bogus conversion nodes being introduced into your ASTs behind your back... -- Eric Botcazou

Re: [PATCH] Fix forwporp pattern (T)(P + A) - (T)P - (T)A

2014-06-26 Thread Eric Botcazou
for correcting this annoying blunder... -- Eric Botcazou

Re: [patch 1/4] change specific int128 - generic intN

2014-06-27 Thread Eric Botcazou
create constants. Why are you reducing the precision here? -- Eric Botcazou

Re: [patch 1/4] change specific int128 - generic intN

2014-07-02 Thread Eric Botcazou
that of sizetype + BITS_PER_UNIT_LOG + 1. -- Eric Botcazou

Re: Fix finding reg-sets of call insn in collect_fn_hard_reg_usage

2014-07-02 Thread Eric Botcazou
and it can do pretty much what it wants so I'd think that the answer is yes. -- Eric Botcazou

Re: [patch 1/4] change specific int128 - generic intN

2014-07-03 Thread Eric Botcazou
TYPE_PRECISION to 20 not sufficient to achieve what you want? Thus, in these cases, TYPE_SIZE and TYPE_SIZE_UNIT no longer have a * BITS_PER_UNIT mathematical relationship. I'm skeptical this can work, it's pretty fundamental. -- Eric Botcazou

Re: [patch 1/4] change specific int128 - generic intN

2014-07-04 Thread Eric Botcazou
a type whose TYPE_SIZE is smaller than the size of its MODE is a lie which will bite you back at some point. -- Eric Botcazou

Re: [patch 1/4] change specific int128 - generic intN

2014-07-04 Thread Eric Botcazou
. TYPE_PRECISION was designed precisely for this purpose. -- Eric Botcazou

Re: [patch 1/4] change specific int128 - generic intN

2014-07-10 Thread Eric Botcazou
, if the type and the mode have the same precision (20) and size (24)? -- Eric Botcazou

Re: [PATCH] Generate more efficient memory barriers for LEON3

2014-07-10 Thread Eric Botcazou
for TARGET_LEON3. I think that only the membar_storeload_leon3 pattern is necessary. Couple of more nits: the new pattern is not multi, it's store and you need to add: !TARGET_LEON3 to the original membar_storeload since TARGET_LEON3 is also TARGET_V8. -- Eric Botcazou

Fix PR middle-end/53590 again

2014-07-10 Thread Eric Botcazou
). 2014-07-10 Eric Botcazou ebotca...@adacore.com PR middle-end/53590 * function.c (allocate_struct_function): Revert r188667 change. 2014-07-10 Eric Botcazou ebotca...@adacore.com * gnat.dg/opt39.adb: New test. -- Eric BotcazouIndex: function.c

[patch] Hide the caret for -Wstack-usage

2014-07-10 Thread Eric Botcazou
-07-10 Eric Botcazou ebotca...@adacore.com * toplev.c (output_stack_usage): Temporarily hide the caret. -- Eric BotcazouIndex: toplev.c === --- toplev.c (revision 212420) +++ toplev.c (working copy) @@ -1052,6 +1052,10

Re: [patch 1/4] change specific int128 - generic intN

2014-07-11 Thread Eric Botcazou
of the matter. -- Eric Botcazou

Re: [PATCH] Generate more efficient memory barriers for LEON3

2014-07-11 Thread Eric Botcazou
that membar_storeload will match so the full barrier never will. -- Eric Botcazou

Re: [patch 1/4] change specific int128 - generic intN

2014-07-12 Thread Eric Botcazou
but that's probably not sufficient. -- Eric Botcazou

Re: [PATCH] Generate more efficient memory barriers for LEON3

2014-07-12 Thread Eric Botcazou
is Strong Consistency and not TSO? In which case, the only thing to change is the default setting for LEON3 in sparc_option_override. -- Eric Botcazou

Re: [patch] Hide the caret for -Wstack-usage

2014-07-12 Thread Eric Botcazou
of the function? After all, this is what -fstack-usage seems to do. Good idea, let's use a consistent location, revised patch attached, thanks. 2014-07-12 Eric Botcazou ebotca...@adacore.com * toplev.c (output_stack_usage): Adjust the location and temporarily hide the caret. 2014

Re: [PATCH] Generate more efficient memory barriers for LEON3

2014-07-19 Thread Eric Botcazou
, that's not Strong Consistency so I'm going to apply your latest patch. -- Eric Botcazou

Re: [PATCH-v3] Generate more efficient memory barriers for LEON3

2014-07-19 Thread Eric Botcazou
insn. (*membar_storeload): Disable for LEON3. -- Eric Botcazou

Re: [DOC Patch] gnat doc fix

2014-07-19 Thread Eric Botcazou
. As discussed privately, it's indeed not 100% compatible with the C compiler, but the syntax is essentially supported, which is good enough. -- Eric Botcazou

Re: [DOC Patch] gnat updates for makeinfo 5.2 - updated

2014-07-19 Thread Eric Botcazou
I changed more than I should have. A slightly smaller patch. Applied, thanks. -- Eric Botcazou

Re: [patch] Hide the caret for -Wstack-usage

2014-07-19 Thread Eric Botcazou
I personally don't like much this pattern of saving a variable, doing something and then restoring it. Right, it's kludgy, so I have only changed the location in the end. Tested on x86_64-suse-linux, applied on all active branches as obvious. 2014-07-19 Eric Botcazou ebotca...@adacore.com

Fix ICE on unaligned assignment of return value

2014-07-20 Thread Eric Botcazou
and 4.9 branch as obvious. 2014-07-20 Eric Botcazou ebotca...@adacore.com * expr.c (store_field): Handle VOIDmode for calls that return values in multiple locations. 2014-07-20 Eric Botcazou ebotca...@adacore.com * gnat.dg/pack20.ad[sb]: New test

Fix RTL load motion bug with -fnon-call-exceptions

2014-07-20 Thread Eric Botcazou
. Tested on x86-64/Linux, applied on the mainline. 2014-07-20 Eric Botcazou ebotca...@adacore.com * cse.c (exp_equiv_p) MEM: For GCSE, return 0 for expressions with different trapping status if -fnon-call-exceptions is enabled. -- Eric BotcazouIndex: cse.c

Fix PR middle-end/61734

2014-07-28 Thread Eric Botcazou
to synthetize ABS_EXPR. The transformation had been added as a preliminary work for a specific purpose but was made obsolete in the meantime, so the patch simply disables it with a ??? comment. Tested on x86_64-suse-linux, applied on the mainline. 2014-07-28 Eric Botcazou ebotca...@adacore.com

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-11 Thread Eric Botcazou
the sort of things some of us were afraid of when the C++ switch was being discussed and IIRC we were told this would not happen... -- Eric Botcazou

Fix PR ada/42978

2014-11-11 Thread Eric Botcazou
This makes it so that gnatmake echoes the full command line passed to ranlib. Tested on x86_64-suse-linux, applied on the mainline. 2014-11-11 Simon Wright si...@pushface.org PR ada/42978 * mlib-utl.adb (ar): Output the options passed to ranlib. -- Eric BotcazouIndex:

Re: [PATCH x86] Increase PARAM_MAX_COMPLETELY_PEELED_INSNS when branch is costly

2014-11-11 Thread Eric Botcazou
and 150, but can confirm performance gains only for x86. IMO it's either 150 or 200. We chose 200 for our 4.9-based compiler because this gave the performance boost without affecting the code size (on x86-64) and because this was previously 400, but it's your call. -- Eric Botcazou

[SPARC] Fix PR target/61535

2014-11-11 Thread Eric Botcazou
This is the RTL checking failure triggered by gcc.dg/vect/vect-singleton_1.c on SPARC 64-bit: the back-end gets confused passing 1-element float vectors. As documented in the code, we pass all FP vectors like aggregate types. Tested on SPARC64/Solaris, applied on the mainline. 2014-11-11 Eric

Follow-up to PR51471

2014-11-11 Thread Eric Botcazou
on the mainline. 2014-11-11 Eric Botcazou ebotca...@adacore.com * reorg.c (fill_slots_from_thread): Do not copy frame-related insns. -- Eric BotcazouIndex: reorg.c === --- reorg.c (revision 217259) +++ reorg.c (working copy

Fix inaccuracies in doc on MODE_CC Condition Codes

2014-11-13 Thread Eric Botcazou
is CCFPEmode. Fixed thusly, applied on all active branches. 2014-11-13 Eric Botcazou ebotca...@adacore.com * doc/tm.texi.in (SELECT_CC_MODE): Update example. (REVERSIBLE_CC_MODE): Fix example. (REVERSE_CONDITION): Fix typo. * doc/tm.texi: Regenerate. -- Eric

Re: Follow-up to PR51471

2014-11-14 Thread Eric Botcazou
fill_simple_delay_slots. That could well be the end result after a few more years of tweaking. :-) -- Eric Botcazou

Re: Follow-up to PR51471

2014-11-15 Thread Eric Botcazou
be different for it. -- Eric Botcazou

Re: [PATCH] Add force option to find_best_rename_reg in regrename pass

2014-11-15 Thread Eric Botcazou
!TEST_HARD_REG_BIT (reg_class_contents[preferred_class], best_new_reg)) || tick[best_new_reg] tick[new_reg])) best_new_reg = new_reg; -- Eric Botcazou

Add log message for max-completely-peeled-times

2014-11-15 Thread Eric Botcazou
the attached patch adds one. Tested on x86_64-suse-linux, applied on the mainline as obvious. 2014-11-15 Eric Botcazou ebotca...@adacore.com * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Add log message for max-completely-peeled-insns limit. -- Eric BotcazouIndex: tree

Fix ICE on pragma Loop_Optimize in Ada

2014-11-15 Thread Eric Botcazou
.html) and, second, the code must look for IFN_ANNOTATE calls in the latch as well. Tested on x86_64-suse-linux, applied on the mainline as obvious. 2014-11-15 Eric Botcazou ebotca...@adacore.com * tree-cfg.c (replace_loop_annotate_in_block): New function extracted from

Move TARGET_FLAGS_REGNUM entry in doc

2014-11-16 Thread Eric Botcazou
Eric Botcazou ebotca...@adacore.com * doc/tm.texi.in (TARGET_FLAGS_REGNUM): Move around. * doc/tm.texi: Regenerate. -- Eric BotcazouIndex: doc/tm.texi.in === --- doc/tm.texi.in (revision 217602) +++ doc/tm.texi.in

Re: [PATCH, 8/8] Do simple omp lowering for no address taken var

2014-11-18 Thread Eric Botcazou
is DECL_NONLOCAL_FRAME. The complete patch which does something along these lines is attached to PR tree-optimization/54779 (latest version, for a 4.9-based compiler). -- Eric Botcazou

Re: [PATCH x86] Increase PARAM_MAX_COMPLETELY_PEELED_INSNS when branch is costly

2014-11-22 Thread Eric Botcazou
OK. Looks like a good performance vs. codesize tradeoff. Yes, but IMO this should be done in the generic code, unrolling small loops is profitable on most architectures. -- Eric Botcazou

Re: [PATCH, combine] Try REG_EQUAL for nonzero_bits

2014-11-22 Thread Eric Botcazou
we should probably do it for the note datum too, for example by factoring the code into a function and invoking it. Why not do the same for num_sign_bit_copies? -- Eric Botcazou

Re: [PATCH x86] Increase PARAM_MAX_COMPLETELY_PEELED_INSNS when branch is costly

2014-11-22 Thread Eric Botcazou
. -- Eric Botcazou

[Ada] Fix ICE on Ordered_Map and No_Streams restriction

2014-11-22 Thread Eric Botcazou
, applied on the mainline. 2014-11-22 Eric Botcazou ebotca...@adacore.com * gcc-interface/trans.c (gnat_gimplify_expr): Add 'type' variable. case NULL_EXPR: Deal with unconstrained array types and use 'type'. case ADDR_EXPR: Use 'type'. case DECL_EXPR: Likewise. 2014

[Ada] Fix ICE on bounded string subtype in packed record type

2014-11-22 Thread Eric Botcazou
The compiler aborts on an extension of a tagged record type which contains a field whose type is a packed record type which in turn contains a field of a bounded string subtype. Fixed by the attached tweak. Tested on x86_64-suse-linux, applied on the mainline. 2014-11-22 Eric Botcazou

Re: Fix vectorizer conditions on updating alignment

2014-11-23 Thread Eric Botcazou
It's quite recent and it will break Ada iirc. I don't think so, it will break the case for which it was added, possibly something to do with Altivec. But doing svn annotate is easy enough. -- Eric Botcazou

[Ada] Fix ICE on array with unaligned index type at -O3

2014-11-24 Thread Eric Botcazou
This is a regression present on the mainline and 4.9 branch involving an array with an unaligned index type and when -O3 is specified. Tested on x86_64-suse-linux, applied on the mainline and 4.9 branch. 2014-11-24 Eric Botcazou ebotca...@adacore.com * gcc-interface/trans.c

[Ada] Small adjustment to return construct

2014-11-24 Thread Eric Botcazou
This slightly improves the way the returns are built in gigi. Tested on x86_64-suse-linux, applied on the mainline. 2014-11-24 Eric Botcazou ebotca...@adacore.com * gcc-interface/trans.c (build_return_expr): Use INIT_EXPR instead of MODIFY_EXPR to assign to the return object

[ping] Couple of old patches

2014-11-24 Thread Eric Botcazou
Fix -mlongcall with nested functions on AIX: https://gcc.gnu.org/ml/gcc-patches/2014-10/msg01692.html Fix handling of inlining and nested functions in dwarf2out.c: https://gcc.gnu.org/ml/gcc-patches/2014-11/msg00665.html Thanks in advance. -- Eric Botcazou

Re: [PATCH, combine] Try REG_EQUAL for nonzero_bits

2014-11-24 Thread Eric Botcazou
the same for num_sign_bit_copies with REG_EQUAL info. Probably historical reasons, let's not try to change that now. You can apply the same treatment to num_sign_bit_copies (you will need a comparison here) while preserving the src vs SET_SRC (set) discrepancy. -- Eric Botcazou

[patch] small fixes for post-reload compare elimination pass

2014-11-28 Thread Eric Botcazou
, last_cmp-eh_note)) goto dont_delete; It also factors out the comparison logic in before_dom_children to avoid the series of gotos. Tested on a private port we're about to submit, OK for the mainline? 2014-11-28 Eric Botcazou ebotca...@adacore.com * compare-elim.c: Fix head

Re: [RFC] optimize x - y cmp 0 with undefined overflow

2014-09-29 Thread Eric Botcazou
Yeah, that sounds good to me. Here's what I have at last commited after testing on x86-64/Linux. 2014-09-29 Eric Botcazou ebotca...@adacore.com * tree-vrp.c (get_single_symbol): New function. (build_symbolic_expr): Likewise. (symbolic_range_based_on_p): New predicate

Re: [patch] Do not generate useless integral conversions

2014-10-02 Thread Eric Botcazou
Eric Botcazou ebotca...@adacore.com * convert.c (convert_to_integer): Do not introduce useless conversions between integral types. -- Eric BotcazouIndex: convert.c === --- convert.c (revision 215656) +++ convert.c

Re: [PATCH] SPARC: add mcpu=leon3v7 target

2014-10-02 Thread Eric Botcazou
everywhere I think). I don't remember if I already asked... does Aeroflex/Gaisler have a copyright assignment on file for GCC? If so, do you also want to have SVN write access? -- Eric Botcazou

Re: [PATCH] SPARC: add mcpu=leon3v7 target

2014-10-06 Thread Eric Botcazou
://gcc.gnu.org/svnwrite.html, including how to request write access (you can mention me as the sponsor). -- Eric Botcazou

[patch] Fix unaligned access in function returning composite type

2014-10-06 Thread Eric Botcazou
object is packed: in this case, the caller passes an address that is not correctly aligned to the callee, which can result in an unaligned access in the callee. Tested on x86_64-suse-linux and SPARC/Solaris, OK for the mainline. 2014-10-06 Eric Botcazou ebotca...@adacore.com

[patch] Work harder to find DECL_STRUCT_FUNCTION

2014-10-06 Thread Eric Botcazou
Hi, you can have chains of clone functions in the callgraph but can_inline_edge_p stops at the first clone when it is looking for DECL_STRUCT_FUNCTION, which can fool the following conditions in the predicate. Tested on x86_64-suse-linux, OK for the mainline? 2014-10-06 Eric Botcazou

Fix trace numbering in .dwarf2 dump file

2014-10-06 Thread Eric Botcazou
-suse-linux, applied on the mainline as obvious. 2014-10-06 Eric Botcazou ebotca...@adacore.com * dwarf2cfi.c (create_pseudo_cfg): Fix trace numbering. -- Eric BotcazouIndex: dwarf2cfi.c === --- dwarf2cfi.c (revision 215843

[patch] Turn 1 lra_assert into 1 gcc_assert

2014-10-06 Thread Eric Botcazou
Hi, we have run into a case on the ARM where LRA silently generates wrong code in release mode, while reload (-mno-lra) would stop with the usual spill failure. Tested on x86_64-suse-linux, OK for the mainline? 2014-10-06 Eric Botcazou ebotca...@adacore.com * lra-assigns.c

[patch] Fix internal error in LTO mode on Ada code

2014-10-06 Thread Eric Botcazou
comparisons during LTRANS. Tested on x86_64-suse-linux, OK for the mainline? 2014-10-06 Eric Botcazou ebotca...@adacore.com * lto-opts.c (lto_write_options): Handle -fmath-errno, -fsigned-zeros and -ftrapping-math. * lto-wrapper.c (merge_and_complain): Likewise. (run_gcc

[patch] Fix miscompilation of gnat1 in LTO bootstrap

2014-10-06 Thread Eric Botcazou
a derived of the other in Ada, hence the latter being allowed to alias the former. Tested on x86_64-suse-linux, OK for the mainline and 4.9 branch? 2014-10-06 Eric Botcazou ebotca...@adacore.com * gimple.c (gimple_get_alias_set): Return 0 for array types with non- aliased

[patch] Fix ICE during LTRANS on big Ada application

2014-10-06 Thread Eric Botcazou
for the mainline? 2014-10-06 Eric Botcazou ebotca...@adacore.com * ipa-inline-transform.c (can_remove_node_now_p_1): Return false for a master clone that has non-inline clones. -- Eric BotcazouIndex: ipa-inline-transform.c

[SPARC] Remove an unused predicate

2014-10-06 Thread Eric Botcazou
Tested on SPARC/Solaris, applied on the mainline. 2014-10-06 Eric Botcazou ebotca...@adacore.com * config/sparc/predicates.md (int_register_operand): Delete. -- Eric BotcazouIndex: config/sparc/predicates.md

Re: [PATCH] SPARC: add mcpu=leon3v7 target

2014-10-06 Thread Eric Botcazou
_mcount for profiling. */ #define NO_PROFILE_COUNTERS 0 I think you would be better off adding a line to the arms of the existing code #ifdef HAVE_AS_LEON #define AS_LEON_FLAG -Aleon #else #define AS_LEON_FLAG -Av8 #endif rather than duplicating it. -- Eric Botcazou

Re: [PATCH] SPARC: add mcpu=leon3v7 target

2014-10-07 Thread Eric Botcazou
): Add leon3v7. * config/sparc/sparc.opt (enum processor_type): Add leon3v7. I assume that you have applied for write access so you'll be able to install it yourself. Otherwise let me know if I can lend a hand. -- Eric Botcazou

Re: [patch] Work harder to find DECL_STRUCT_FUNCTION

2014-10-07 Thread Eric Botcazou
be: struct function *caller_cfun = e-caller-cfun (); struct function *callee_cfun = callee ? callee-cfun () : NULL; -- Eric Botcazou

Re: [patch] Turn 1 lra_assert into 1 gcc_assert

2014-10-07 Thread Eric Botcazou
The docs on the asm_p flags say there is sth wrong with the asm constraints so maybe better do if (!asm_p) error_at (loc, ); with an appropriate message and location? OK, I guess I can copy-and-paste reload1.c:spill_failure there. -- Eric Botcazou

Re: [patch] Fix miscompilation of gnat1 in LTO bootstrap

2014-10-07 Thread Eric Botcazou
/utils.c:relate_alias_sets. -- Eric Botcazou

Re: [PATCH] SPARC: add mcpu=leon3v7 target

2014-10-07 Thread Eric Botcazou
Ok, I will update that. Is there a way of generating the comments automatically? Do you mean the ChangeLog? If so, contrib/mklog will generate a skeleton but you'll still need to write the decription sentences. -- Eric Botcazou

Re: [patch] Turn 1 lra_assert into 1 gcc_assert

2014-10-09 Thread Eric Botcazou
OK, I guess I can copy-and-paste reload1.c:spill_failure there. This generates the same error message than reload1.c:spill_failure (modulo the class of the spill register, but it's not mentioned in the asm case either). Tested on x86_64-suse-linux, OK for the mainline? 2014-10-09 Eric

Re: [patch] Fix miscompilation of gnat1 in LTO bootstrap

2014-10-10 Thread Eric Botcazou
) array type with the same component type. Can I modify gimple_canonical_types_compatible_p to return true in that case as well? -- Eric Botcazou

Re: -fuse-caller-save - Collect register usage information

2014-10-11 Thread Eric Botcazou
confusing and caller saved/callee saved should be avoided IMO, call clobbered/call saved is much clearer. -- Eric Botcazou

[Ada] Fix PR ada/63225

2014-10-13 Thread Eric Botcazou
As reported by Alan, the Ada compiler doesn't build anymore if you compile it with -fno-inline because cuintp.c references a private function of uintp.adb. Tested on x86_64-suse-linux, applied on all active branches. 2014-10-13 Eric Botcazou ebotca...@adacore.com Alan Modra amo

Fix PR ada/62019

2014-10-14 Thread Eric Botcazou
. 2014-10-14 Eric Botcazou ebotca...@adacore.com PR ada/62019 * tree-eh.c (tree_could_trap) FUNCTION_DECL: Revamp and really do not choke on null node. VAR_DECL: Likewise. -- Eric BotcazouIndex: tree-eh.c

Fix wrong code with discriminated type in Ada at -Os

2014-10-15 Thread Eric Botcazou
(this only affects the Ada compiler). 2014-10-15 Eric Botcazou ebotca...@adacore.com * stor-layout.c (self_referential_size): Do not promote arguments. 2014-10-15 Eric Botcazou ebotca...@adacore.com * gnat.dg/opt41.adb: New test. * gnat.dg/opt41_pkg.ad[sb]: New helper

Re: [patch] Fix ICE during LTRANS on big Ada application

2014-10-15 Thread Eric Botcazou
Jan, any opinion on the following patch? 2014-10-06 Eric Botcazou ebotca...@adacore.com * ipa-inline-transform.c (can_remove_node_now_p_1): Return false for a master clone that has non-inline clones. https://gcc.gnu.org/ml/gcc-patches/2014-10/msg00436.html Thanks in advance

Re: [patch] Fix ICE during LTRANS on big Ada application

2014-10-16 Thread Eric Botcazou
can_remove_node_now_p (e-callee, e)) i.e. I can set update_original to false just before the above test, that would probably be sufficient to fix the bug. -- Eric Botcazou

Re: -fuse-caller-save - Collect register usage information

2014-10-16 Thread Eric Botcazou
-fcaller-saves, I'd keep caller-saves in the name, so something along the lines of -foptimize-caller-saves or -fipa-caller-saves. -- Eric Botcazou

Re: [PATCH 9/17] Initial KAsan support

2014-10-17 Thread Eric Botcazou
with -fsanitize=thread); } Why aren't you using opts-x_ here, like all the code just above? -- Eric Botcazou

Re: [PATCH 9/17] Initial KAsan support

2014-10-17 Thread Eric Botcazou
Well, that's a backport of ancient patch from trunk so all credits go there. And flag_sanitize is indeed handled differently from other compiler flags. Really curious to know why... -- Eric Botcazou

[ARM] Fix DWARF unwinding breakage

2014-10-17 Thread Eric Botcazou
and 4.9 branch? 2014-10-17 Eric Botcazou ebotca...@adacore.com * config/arm/arm.c (arm_set_return_address): Mark the store as frame related, if any. (thumb_set_return_address): Likewise. -- Eric BotcazouIndex: config/arm/arm.c

[RS6000] Fix -mlongcall with nested functions on AIX

2014-10-17 Thread Eric Botcazou
of OK, except when the called function is nested because the static chain register has already been loaded with the proper static chain value by the generic code, so overwriting it with garbage breaks the program. Tested on PowerPC/AIX, OK for the mainline? 2014-10-17 Eric Botcazou ebotca

Re: [ARM] Fix DWARF unwinding breakage

2014-10-17 Thread Eric Botcazou
move. -- Eric Botcazou

Re: -fuse-caller-save - Collect register usage information

2014-10-17 Thread Eric Botcazou
, as having a direct relationship with -fcaller-saves. -- Eric Botcazou

Re: [patch] Fix ICE during LTRANS on big Ada application

2014-10-17 Thread Eric Botcazou
) Here's what I have installed on the mainline after re-testing, this defers the check as much as possible. 2014-10-17 Eric Botcazou ebotca...@adacore.com * ipa-inline-transform.c (master_clone_with_noninline_clones_p): New. (clone_inlined_nodes): Do not overwrite the clone

Re: -fuse-caller-save - Collect register usage information

2014-10-20 Thread Eric Botcazou
But, given the preference of a number of others for fipa-ra, could you live with that? Yes, IMO that's too vague a name but still better than the existing one. :-) -- Eric Botcazou

Re: Please revert the patches in bug #54040 and #59346 and special case x32

2014-03-25 Thread Eric Botcazou
much in my opinion. -- Eric Botcazou

Re: RFA: Fix PR rtl-optimization/60651

2014-03-26 Thread Eric Botcazou
that need it but, with the change, if an insn right after a NOTE_BASIC_BLOCK note needs it, if will be emitted either before it (if insn_ptr is the insn) or after it (if insn_ptr is the NOTE_BASIC_BLOCK note). -- Eric Botcazou

Re: Fix PR ipa/60315 (inliner explosion)

2014-03-26 Thread Eric Botcazou
Bootstrapped/regtested x86_64-linux, comitted. Not with Ada apparently, resulting in === acats tests === FAIL: c34007d FAIL: c34007g FAIL: c34007s FAIL: c37213j FAIL: c37213k FAIL: c37213l FAIL: ce2201g FAIL: cxa5a03 FAIL: cxa5a04 FAIL: cxa5a06 FAIL:

Re: Fix PR ipa/60315 (inliner explosion)

2014-03-27 Thread Eric Botcazou
install the testcase as gnat.dg/opt33.adb in the testsuite. -- Eric Botcazou-- { dg-do compile } -- { dg-options -O } with Ada.Containers.Ordered_Sets; with Ada.Strings.Unbounded; procedure Opt33 is type Rec is record Name : Ada.Strings.Unbounded.Unbounded_String; end record; function

Re: RFA: Fix PR rtl-optimization/60651

2014-03-28 Thread Eric Botcazou
that the basic block was initially empty. It's not clear to me whether this is a regression or not, so you'll also need to run it by the RMs. In the meantime I have installed the attached patchlet. 2014-03-28 Eric Botcazou ebotca...@adacore.com * mode-switching.c: Make small adjustments

Re: Fix PR ipa/60315 (inliner explosion)

2014-03-28 Thread Eric Botcazou
failure on opt33.adb. -- Eric Botcazou

Re: [PATCH] [4.8 branch] PR rtl-optimization/60700: Backport revision 201326

2014-03-29 Thread Eric Botcazou
Revision 201326 fixes a shrink-wrap bug which is also a regression on 4.8 branch. This patch backports it to 4.8 branch. OK for 4.8 branch. Yes, thanks. I also include a testcase for PR rtl-optimization/60700. OK for trunk and 4.8 branch? I'd remove #include stddef.h. -- Eric Botcazou

[Ada] Fix PR ada/60703

2014-03-30 Thread Eric Botcazou
Self-explanatory. Applied on all active branches. 2014-03-30 Eric Botcazou ebotca...@adacore.com PR ada/60703 * system-linux-alpha.ads: Adjust for Ada 2005. * system-linux-mips.ads: Likewise. * system-linux-mips64el.ads: Likewise. * system-linux

Re: [PATCH v2] SPARC: Clarify -mapp-regs option

2014-04-01 Thread Eric Botcazou
I don't have commit access, so can someone please do this for me. Applied on all active branches. -- Eric Botcazou

[patch] Fix PR bootstrap/60620

2014-04-01 Thread Eric Botcazou
? 2014-04-01 Eric Botcazou ebotca...@adacore.com PR bootstrap/60620 * Makefile.def (dependencies): Make gnattools depend on libstdc++-v3. * Makefile.in: Regenerate. -- Eric BotcazouIndex: Makefile.def

Re: [Patch]Simplify SUBREG with operand whose target bits are cleared by AND operation

2014-04-03 Thread Eric Botcazou
to be restricted to non-paradoxical subregs, - you need to test HWI_COMPUTABLE_MODE_P (innermode), - you need to test !side_effects_p (op). I think we need to find a common ground between Jakub's patch and yours and put a single transformation in simplify_subreg. -- Eric Botcazou

Fix ACATS cb1010c on ARM/VxWorks

2014-04-04 Thread Eric Botcazou
probe. Fixed thusly, tested on x86_64-suse-linux, applied on the mainline. 2014-04-04 Eric Botcazou ebotca...@adacore.com * explow.c (probe_stack_range): Emit a final optimization blockage. -- Eric BotcazouIndex: explow.c

Re: RFA: Fix PR rtl-optimization/60651

2014-04-05 Thread Eric Botcazou
I've added the testcase - and a bit more detail on this issue - in the PR. I've attached an updated patch, which skips past the CODE_LABEL. And this one bootstraps on i686-pc-linuc-gnu. OK for stage 1 modulo the typo (an instead of en) in a comment. -- Eric Botcazou

  1   2   3   4   5   6   7   8   9   10   >