scanon accepted this revision. scanon added a comment. This revision is now accepted and ready to land. OK. Let's take this in as is, then, and someone can look at normalize( ) when they have time. http://reviews.llvm.org/D18320