Polyhedral GC

Looking at polyhedral optimization at LLVM, I cannot but wonder if this might be used to optimize graph traversal in the marking phase of collection.

http://polly.llvm.org/publications/grosser-impact-2011.pdf