[Open64-devel] question about Build_Cyclic_Arcs( ) in be/cg/cg_dep_graph.cxx

[Ling-hua T. <ur...@ti...>]

I have a question about codes in Build_Cyclic_Arcs().
This file can be viewed in http://www.open64.net/doc/db/d62/cg__dep__graph_8cxx-source.html
There is a little different between line 4794 and 4888.
One is bool definite_dep = !local_lr || !TN_is_dedicated(tn),
the other is bool definite_dep = !local_lr && !TN_is_dedicated(tn).

The first one is computed while building REGIN and REGANTI arcs,
and the second one is computed while building REGOUT arcs.
I cannot understand why their semantics of `definite_dep'  should be different.

Furthermore, there is also a few codes confused me in lines 4830 ~ 4833:
04830         // found REGIN across iterations
04831         if (!local_lr) {
04832           if (!definite_dep ||
04833               (definite_dep && omega > 0)) {

Since local_lr is evaluated by the expression 'definite_dep = !local_lr || !TN_is_dedicated(tn)',
I cannot understand why the line 4832 should be written there.
When the value of local_lr is FALSE, the value of definite is not possible FALSE.
Is it possible that there is a typo in the lines 4794 or 4832?

Thanks.