davide closed this revision. davide added a comment. Committed upstream. I find amusing that I found a thread where we discussed this more than one year ago (I completely forgot about it) =) http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20150810/293003.html https://reviews.llvm.org/D26681