Re: need help with Pointer Bounds Checking documentation

2015-02-24 Thread Ilya Enkovich
2015-02-20 19:39 GMT+03:00 Sandra Loosemore : > On 02/20/2015 01:12 AM, Ilya Enkovich wrote: >> >> 2015-02-20 3:48 GMT+03:00 Sandra Loosemore : >>> >>> The section "Pointer Bounds Checker builtins" in extend.texi is on my >>> list >>> for being in need of copy-editing, but reading through the exist

How to update reg_dead notes

2015-02-24 Thread Georg-Johann Lay
Hi, in order to fix PR64331 I tried to implement new target-specific passes whose sole purpose is to recompute REG_DEAD notes. The avr BE relies on correct dead notes which are used in avr.c:reg_unused_after which uses dead_or_set_p. avr BE needs correct dead notes in ADJUST_INSN_LENGTH, get_

Re: unfused fma question

2015-02-24 Thread Richard Biener
On Mon, Feb 23, 2015 at 7:59 PM, Marc Glisse wrote: > On Mon, 23 Feb 2015, Jeff Law wrote: > >> On 02/23/15 11:38, Joseph Myers wrote: >>> >>> >>> (I wonder if convert_mult_to_fma is something that should move to >>> match-and-simplify infrastructure.) >> >> Yea, it probably should. > > > Currentl

Re: How to update reg_dead notes

2015-02-24 Thread Kenneth Zadeck
It is generally as easy as just adding the problem and calling df_analyze. You tend to get into trouble if the rtl is not good, i.e. there is improper sharing or other violations of the canonical rtl rules. DF does not like improperly shared rtl and it has not been uncommon for port specific

Re: unfused fma question

2015-02-24 Thread Andrew Haley
On 02/24/2015 12:14 PM, Richard Biener wrote: > These concerns are correct. Btw, as an answer to Steve - within > -funsafe-math-optimizations FMA_EXPR basically can be either > fused or not fused (but yes, bad as to Josephs concern). > So you could guard the pattern by flag_unsafe_math_optimizatio

Re: unfused fma question

2015-02-24 Thread Richard Biener
On Tue, Feb 24, 2015 at 2:56 PM, Andrew Haley wrote: > On 02/24/2015 12:14 PM, Richard Biener wrote: >> These concerns are correct. Btw, as an answer to Steve - within >> -funsafe-math-optimizations FMA_EXPR basically can be either >> fused or not fused (but yes, bad as to Josephs concern). >> So

Re: How to update reg_dead notes

2015-02-24 Thread Oleg Endo
On Tue, 2015-02-24 at 16:59 +0100, Georg-Johann Lay wrote: It doesn't really answer your question, but just as a side note, the following ... > + struct register_pass_info insert_before_bbro = > +{ > + notes_bbro_pass, /* pass */ > + "bbro", /* re

Re: How to update reg_dead notes

2015-02-24 Thread Georg-Johann Lay
Am 02/24/2015 um 02:11 PM schrieb Kenneth Zadeck: On 02/24/2015 06:41 AM, Georg-Johann Lay wrote: Hi, in order to fix PR64331 I tried to implement new target-specific passes whose sole purpose is to recompute REG_DEAD notes. The avr BE relies on correct dead notes which are used in avr.c:reg_un

Re: need help with Pointer Bounds Checking documentation

2015-02-24 Thread Sandra Loosemore
On 02/24/2015 01:14 AM, Ilya Enkovich wrote: 2015-02-20 19:39 GMT+03:00 Sandra Loosemore : On 02/20/2015 01:12 AM, Ilya Enkovich wrote: 2015-02-20 3:48 GMT+03:00 Sandra Loosemore : The section "Pointer Bounds Checker builtins" in extend.texi is on my list for being in need of copy-editing, b

Re: How to update reg_dead notes

2015-02-24 Thread Eric Botcazou
> Could you give me some advice on correct usage of df or even more preferred > point me to a comprehensible documentation of df which is more complete than > in df-core.c? Take a look at the c6x and mep ports. -- Eric Botcazou

LTO problems with -fprofile-generate (aarch64)

2015-02-24 Thread Benedikt Huber
Hi, I have problems compiling xalan as part of spec2006 benchmark for aarch64, both native and cross. The issue arises when both -flto and -fprofile-generate are enabled during LTO. Compiling with the same flags for x86 has no problem. Also other projects for aarch64 compile with -flto and -fprof

Re: How to update reg_dead notes

2015-02-24 Thread Georg-Johann Lay
Am 02/24/2015 um 06:06 PM schrieb Eric Botcazou: Could you give me some advice on correct usage of df or even more preferred point me to a comprehensible documentation of df which is more complete than in df-core.c? Take a look at the c6x and mep ports. Thanks for the hint. I changed the ex

Re: How to update reg_dead notes

2015-02-24 Thread Kenneth Zadeck
when i suggested that you do a build with all of the checking turned on, i wanted you to this without you new code in it.there is a good possibility that the problem is that your port is generating bad rtl. Also, you should generate a debuggable compiler so that the line numbers have some re

Re: How to update reg_dead notes

2015-02-24 Thread Oleg Endo
On Tue, 2015-02-24 at 19:23 +0100, Georg-Johann Lay wrote: > > The latest pass which runs before the crash is .split5, i.e. > recog.c::pass_split_for_shorten_branches which executes > split_all_insns_noflow > which in turn reads: > > /* Same as split_all_insns, but do not expect CFG to be ava

Re: need help with Pointer Bounds Checking documentation

2015-02-24 Thread Ilya Enkovich
2015-02-24 19:47 GMT+03:00 Sandra Loosemore : > On 02/24/2015 01:14 AM, Ilya Enkovich wrote: >> >> 2015-02-20 19:39 GMT+03:00 Sandra Loosemore : >>> >>> On 02/20/2015 01:12 AM, Ilya Enkovich wrote: 2015-02-20 3:48 GMT+03:00 Sandra Loosemore : > > > The section "Pointer Bo