Frankly the Republic of Ireland ceased being Catholic when it joined the EU. So it’s all moot now.
And the IRA weren’t Catholics, they were mostly Marxist Atheists.