Understanding uses of a statement and def-use chains

[rohit bhatia]

Hi

I request you to help me understand the solution to my problem. Am I
misunderstanding the data structures or is there something wrong with
my examples?

Thanks and Regards
Rohit

On Thu, Jul 9, 2015 at 5:59 PM, rohit bhatia <rohit2412@gmail.com> wrote:
> Hi
>
> I am implementing a GCC Pass as IPA_Pass before the pass
> "whole-program". I am using LTO to run my pass once during linking
> phase.
>
> I am having trouble interpreting the results of the def-use chains for
> SSA Variables. I am traversing the def use chains backwards to access
> the variables that affect the current one's values.
> This is my sample code
>
> struct dpndntStmt * getDpndStmt(tree ssaName){
>    gimple stmt = SSA_NAME_DEF_STMT(ssaName);
>     ...
>     use_optype_p ptr;
>     for (ptr = gimple_use_ops (stmt); ptr; ptr = ptr->next){
>         list->push_back( getDpndStmt( *(ptr->use_ptr.use) ) );
>     }
>     ...
> }
>
> Essentially, I am accessing the variables that are used in the current
> statement, and look for uses in their definition statements (creating
> a data dependence tree).
>
> This works perfectly in some examples, but it gives unexplainable
> results in other cases (squid, postgres). One of the examples are
> given below
>
> OUTPUT
> "    Stmt: _23 = SkipBuildPrefix ("HttpHeader.cc");
>     Defines
>       _23
>     Uses
>         Stmt: _20 = getDebugOut ();
>         Defines
>           .MEM_59
>         Uses
>             Stmt: sectionLevel = sectionLevel.220_17;
> "
>
>
> IR
> "  <bb 5>:
>   sectionLevel = sectionLevel.220_17;
>   _20 = getDebugOut ();
>   # DEBUG _dbo => _20
>   level.219_21 = level;
>   if (level.219_21 > 1)
>     goto <bb 6>;
>   else
>     goto <bb 10>;
>
>   <bb 6>:
>   _23 = SkipBuildPrefix ("HttpHeader.cc");
>   # DEBUG __out => _20
>   # DEBUG __s => _23
>   if (_23 == 0B)
>     goto <bb 7>;
>   else
>     goto <bb 8>;
> "
>
> What the def use chains say is that the statement "_23 =
> SkipBuildPrefix ("HttpHeader.cc");" defines _23 (correct) but uses _20
> variable (incorrect?). Going forward with the statement "_20 =
> getDebugOut ();", we see more issues in the Output above.
>
>
> I was hoping you could enlighten me if I am misinterpreting the data
> structures. I will be thankful for your help.
>
>
> Thanks and Regards
> Rohit Bhatia