> > Such a thing already existed a few years ago (IIRC Haifa had something > that Dan picked up and passed on to me). But it never brought any > benefits. I don't have the pass anymore, but perhaps Dan still has a > copy of it somewhere.
It was actually posted and reviewed, you can find it in the archives. It's probably wildly out of date now ;) It's a fairly trivial lattice problem to implement using the sparse propagator.