Is it possible that GimpleCond's true_label & false_label are None?

I am scanning through GIMPLE instructions generated from this C code:

void if_simple() {
  int c = cond();
  if (c) {
    f1();
  }
}

The generated GIMPLE is like this:

if_simple ()
{
  int c;

  <bb 2> [100.00%]:
  c_4 = cond ();
  if (c_4 != 0)
    goto <bb 3>; [36.64%]
  else
    goto <bb 4>; [63.36%]

  <bb 3> [36.64%]:
  f1 ();

  <bb 4> [100.00%]:
  return;

}

However, in Python, I'm getting gcc.GimpleCond which has true_label & false_label set to None.

Is there anything I'm missing or is it a bug?

Thanks

Internally, these are coming from gimple_cond_true_label and gimple_cond_false_label, which presumably are returning NULL, and this is being handled at the Python level as None.

I'm not sure how they could be NULL. When is your code running, compared to the various passes?

My callback function is registered before optimized pass.

Just adding some information in case someone finds this. After CFG all direct control flows in the language (i.e goto) are lowered to individual basic blocks with predecessors and successors, with an optional PHI node for input. The CFG step also deletes the labels for the cond node so the only way to recover this is to inspect each basic block's edges.

Navigation Menu

Repository navigation

Is it possible that GimpleCond's true_label & false_label are None? #152

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Is it possible that GimpleCond's true_label & false_label are None? #152

Description

Activity

davidmalcolm commented on Nov 15, 2018

aqjune commented on Nov 15, 2018

tom91136 commented on Jul 18, 2024

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions