The basic feature (without the noalias parameter attribute -> metadata conversion) was committed in r213864. I'm going to close out this now, and I'll create a new thread for the remaining feature. http://reviews.llvm.org/D2194