also in the previous world cups the name has always been IRAN.
It's been IR Iran for as long as I can remember at both world cups and the olympics. Only when abbreviated has it been cut down to either IRAN or IRI but I always remember commentators and official long-form sheets referring to the country as "Islamic Republic of Iran".