Re: role of dump_file notably for/in plugins?

2011-09-01 Thread Pierre Vittet
Hello, >From what I understand, the question is not really how do we dump passes but what a pass (from a plugin or not) should dump? So the question is what do you expect from a dump file? Do you expect to have the full internal representation of the code after the end of the pass? For many dump

gcc-4.5-20110901 is now available

2011-09-01 Thread gccadmin
Snapshot gcc-4.5-20110901 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/4.5-20110901/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 4.5 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches

Wanted gcov literate person for reviewer

2011-09-01 Thread Joel Sherrill
Hi, RTEMS is participating in the ESA Summer of Code in Space. We have a student who is enhancing the RTEMS coverage tool[1] to produce gcno files. Is there someone who feels competent in this area who could help review and guide this student? I expect this will be a light duty activity. Than

Is VRP is too conservative to identify boolean value 0 and 1?

2011-09-01 Thread Jiangning Liu
Hi, For the following small case, int f(int i, int j) { if (i==1 && j==2) return i; else return j; } with -O2 option, GCC has vrp2 dump like below, == Value ranges after VRP: i_1: VARYING i_2(D): VARYING D.1249_3: [0, +INF] j

Re: Is VRP is too conservative to identify boolean value 0 and 1?

2011-09-01 Thread Andrew Pinski
On Thu, Sep 1, 2011 at 10:58 PM, Jiangning Liu wrote: > D.1249_3: [0, 1] > D.1250_5: [0, 1] > D.1251_6: [0, 1] Those are equivalent to [0, MAX] as _Bool only has two different values, 0 and 1 (MAX). Can you explain more about the optimization which you are working on that needs the ranges as (in