Re: [Tree-SSA] Question from observation, bogus SSA form?

2023-03-17 Thread Michael Matz via Gcc
Hello, On Fri, 17 Mar 2023, Pierrick Philippe wrote: > > This means that global variables, volatile variables, aggregates, > > variables which are not considered aggregates but are nevertheless > > partially modified (think insertion into a vector) or variables which > > need to live in memory (m

Re: [Tree-SSA] Question from observation, bogus SSA form?

2023-03-17 Thread Pierrick Philippe
On 16/03/2023 17:30, Martin Jambor wrote: Hello Pierrick, On Thu, Mar 16 2023, Pierrick Philippe wrote: Hi everyone, I was working around with the analyzer, but I usually dump the SSA-tree to get a view of the analyzed code. This is how I noticed something wrong, at least in the sense of the d

Re: [Tree-SSA] Question from observation, bogus SSA form?

2023-03-16 Thread Martin Jambor
Hello Pierrick, On Thu, Mar 16 2023, Pierrick Philippe wrote: > Hi everyone, > > I was working around with the analyzer, but I usually dump the SSA-tree > to get a view of the analyzed code. > This is how I noticed something wrong, at least in the sense of the > definition of SSA form. please n

[Tree-SSA] Question from observation, bogus SSA form?

2023-03-16 Thread Pierrick Philippe
Hi everyone, I was working around with the analyzer, but I usually dump the SSA-tree to get a view of the analyzed code. This is how I noticed something wrong, at least in the sense of the definition of SSA form. I'm using a version of gcc build from a /trunk/ branch (/20230309/). Here is an

Re: Tree-SSA question

2010-01-26 Thread Ian Lance Taylor
sandeep soni writes: > Well..now I want to know what is the structure which this pass > maintains to emit these statements.Where can i find it (In which > source files)and can it be modified? It's GIMPLE, defined mainly in gimple.def, gimple.h, and gimple.c. Yes, it can be modified. > I chiefly

Tree-SSA question

2010-01-26 Thread sandeep soni
Hi, I am working to knw the details of the tree-ssa pass.I had this small piece of code as my test case: void func() { int x=10; int a=5; if(a==x) { x=x+1; } else { x=x-1; } a=x; } and when i did a > gcc -fdump-ftree-ssa -O3 foo.c I got the following output : func () { int a; int x; :