Flexio_Pwm_Ip_IrqHandler (uint8 channelId, uint8 timerFlags, uint32 pinFlags)
{
  struct Flexio_Pwm_Ip_HwAddrType * _1;
  int _2;
  const struct Flexio_Pwm_Ip_ChannelConfigType * _3;
  unsigned char _4;
  unsigned char timerIrqMask.0_5;
  unsigned char _6;
  unsigned int _7;
  unsigned char _8;
  int _9;
  unsigned int _10;
  unsigned int _11;
  void (*<T2cc>) (Flexio_Pwm_Ip_OccurredIRQType, void *) _12;
  void * _13;
  long unsigned int pinIrqMask.1_14;
  long unsigned int _15;
  const struct Flexio_Pwm_Ip_ChannelConfigType * _16;
  unsigned char _17;
  int _18;
  unsigned int _19;
  long unsigned int _20;
  void (*<T2cc>) (Flexio_Pwm_Ip_OccurredIRQType, void *) _21;
  void * _22;
  void (*<T2cc>) (Flexio_Pwm_Ip_OccurredIRQType, void *) _23;
  void * _24;
  long unsigned int _34;
  int _35;
  long unsigned int _36;
  _Bool _37;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = Flexio_Pwm_Ip_aBasePtr[0];
  _2 = (int) channelId_28(D);
  _3 = Flexio_Pwm_Ip_aState[_2];
  _4 = _3->pinId;
  # DEBUG base => _1
  # DEBUG pin => _4
  # DEBUG INLINE_ENTRY Flexio_Pwm_Ip_GetPinState
  # DEBUG BEGIN_STMT
  _34 ={v} MEM[(const struct Flexio_Pwm_Ip_HwAddrType *)_1].PIN;
  _35 = (int) _4;
  _36 = _34 >> _35;
  _37 = (_Bool) _36;
  # DEBUG base => NULL
  # DEBUG pin => NULL
  # DEBUG pinState => _37
  # DEBUG BEGIN_STMT
  timerIrqMask.0_5 ={v} timerIrqMask;
  _6 = timerIrqMask.0_5 & timerFlags_29(D);
  _7 = (unsigned int) _6;
  _8 = _3->timerId;
  _9 = (int) _8;
  _10 = _7 >> _9;
  _11 = _10 & 1;
  if (_11 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _12 = _3->callback.cbFunction;
  _13 = _3->callback.cbParameter;
  _12 (0, _13);

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  pinIrqMask.1_14 ={v} pinIrqMask;
  _15 = pinIrqMask.1_14 & pinFlags_31(D);
  _16 = Flexio_Pwm_Ip_aState[_2];
  _17 = _16->pinId;
  _18 = (int) _17;
  _19 = 1 << _18;
  _20 = _15 & _19;
  if (_20 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  if (_37 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 6> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _21 = _16->callback.cbFunction;
  _22 = _16->callback.cbParameter;
  _21 (2, _22);
  goto <bb 8>; [100.00%]

  <bb 7> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _23 = _16->callback.cbFunction;
  _24 = _16->callback.cbParameter;
  _23 (1, _24);

  <bb 8> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}