davide added a comment. I honestly feel bad because this sit there for a long time without anybody reviewing it. I tried but after some time looking at it I realized I'm not the right person to review. I cc:ed clayborg -- maybe he can take a look at this. http://reviews.llvm.org/D10216