Network Coding in IRS-Coded Butterfly Network