mssimpso added a comment. In http://reviews.llvm.org/D16986#346586, @edbaunton wrote: > Seems like both `isSimple` and `isUnordered` check for volatility Yes, you are right! http://reviews.llvm.org/D16986