I would go with the HE 25-1 II. I think it's the best all rounder of those 3 and you've got a pretty big variety of stuff there. They're amazing for EDM, and I used them for rock as well (as have others), and they do it well.
As stated they can feel a little confined, but I found it doesn't matter with EDM, and it's not that bad with rock. I wouldn't suggest something like Opera, or Classical on them...but they're the best 'all round' sound out of those 3 choices (IMO).
Second choice would be the HFI 580. Another good all rounder, but more attack than the HD 25-1 II. If you like a really 'in your face' sound...go for those. I find sound like that to be fatiguing much quicker than something a little more laid back. Any headphone with tons of attack can get a little tiring depending on your music.
Question: Between the HD25-1 II, DT770 (specify if pro or premium), or HFI580s
Which can would be best for rock in the vein of Third Eye Blind, and the full spectrum of electronica ranging anywhere on the elctronic spectrum from minimal, to progressive, house, techno, electro, trance, psytrance, psycho, and indie electronica, etc.?