Nope . it's Dolphin r5xxx (xxx are numbers , Dolphin r5186 for example)
http://forums.dolphin-emu.org/Thread-dolphin-build-archive
Or you can search it on emucr.com
Please note that old Dolphin versions are unsupported here
Edit : I was wrong . It's IL build like you said . I didn't know that build's existence
http://www.filestube.com/search.html?q=dolphin+il+x86&select=All
http://forums.dolphin-emu.org/Thread-dolphin-build-archive
Or you can search it on emucr.com
Please note that old Dolphin versions are unsupported here
Edit : I was wrong . It's IL build like you said . I didn't know that build's existence
http://www.filestube.com/search.html?q=dolphin+il+x86&select=All
Laptop: (Show Spoiler)
Mini PC :: (Show Spoiler)