Igreja de Santo Ildefonso dêreke sedsala hejdehan e li Porto, Portekîz. Dêr li nêzî Qada Batalha ye.

Di sala 1739-an de hate qedandin, dêra bi şêwazek proto-barok hate çêkirin û ji hêla hunermendê îtalî Nicolau Nasoni ve rengdêrek û rûyek ji 1932-an azulejo çîmentoyê vedihewîne. Navê dêrê ji bo rûmeta Visigoth, Ildephonsus of Toledo, metranê Toledo ji 657 heta mirina wî di 667 de ye.