I only understand the broad strokes well enough to say for certain. My assumption is that they can do anything they want with the "Double Irish" money, but they avoid bringing it back into the US if at all possible since they'd have to pay corporate income tax on it at that point.