IPL 2023: What happens if the game gets washed out?

If the IPL semi-final between Gujarat titan v/s Mumbai indians does get washed out due to rain,

then it will be decided by a Super Over.

This is because of the guidelines of IPL regarding playing conditions for the playoffs,

If the Super Over also fails to take place, then the team that

has a better league stage finish will be declared the winner.

The teams have already faced each other once in this season at the Wankhede Stadium and it was a thriller.