MCL_FLEXIO_ISR ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_CommonIrq ();
  return;

}


Flexio_Mcl_Ip_CommonIrq ()
{
  uint32 u32PinEnabledIrq;
  uint32 u32PinMaskFlag;
  uint8 u8TimerEnabledIrq;
  uint8 u8TimerMaskFlag;
  struct FLEXIO_Type * baseAddr;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  _Bool _4;
  long unsigned int _5;
  unsigned char _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _29;
  long unsigned int _30;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  baseAddr_14 = flexioBase[0];
  # DEBUG baseAddr => baseAddr_14
  # DEBUG BEGIN_STMT
  _1 = Flexio_Mcl_Ip_GetAllShifterErrorStatus (baseAddr_14);
  # DEBUG u8ShifterErrMaskFlag => (uint8) _1
  # DEBUG BEGIN_STMT
  _2 = Flexio_Mcl_Ip_GetAllTimerStatus (baseAddr_14);
  u8TimerMaskFlag_17 = (uint8) _2;
  # DEBUG u8TimerMaskFlag => u8TimerMaskFlag_17
  # DEBUG BEGIN_STMT
  _3 = Flexio_Mcl_Ip_GetAllTimerInterrupt (baseAddr_14);
  u8TimerEnabledIrq_19 = (uint8) _3;
  # DEBUG u8TimerEnabledIrq => u8TimerEnabledIrq_19
  # DEBUG BEGIN_STMT
  u32PinMaskFlag_21 = Flexio_Mcl_Ip_GetAllPinsStatus (baseAddr_14);
  # DEBUG u32PinMaskFlag => u32PinMaskFlag_21
  # DEBUG BEGIN_STMT
  u32PinEnabledIrq_23 = Flexio_Mcl_Ip_GetAllPinsInterrupt (baseAddr_14);
  # DEBUG u32PinEnabledIrq => u32PinEnabledIrq_23
  # DEBUG BEGIN_STMT
  _4 = Flexio_Ip_IpIsInitialized[0];
  if (_4 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _5 ={v} baseAddr_14->TIMSTAT;
  _6 = u8TimerMaskFlag_17 & u8TimerEnabledIrq_19;
  _7 = (long unsigned int) _6;
  _8 = _5 | _7;
  baseAddr_14->TIMSTAT ={v} _8;
  # DEBUG BEGIN_STMT
  _9 ={v} baseAddr_14->PINSTAT;
  _10 = u32PinMaskFlag_21 & u32PinEnabledIrq_23;
  _11 = _9 | _10;
  baseAddr_14->PINSTAT ={v} _11;
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _29 = _1 & 255;
  baseAddr_14->SHIFTERR ={v} _29;
  # DEBUG BEGIN_STMT
  _30 = _2 & 255;
  baseAddr_14->TIMSTAT ={v} _30;
  # DEBUG BEGIN_STMT
  baseAddr_14->PINSTAT ={v} u32PinMaskFlag_21;

  <bb 5> [local count: 1073741824]:
  return;

}