I believe modelling hints intrinsics to mayLoad and mayStore is not accurate as they don't actually load or store. Modelling as ``` mayLoad = ? mayStore = ? ``` should be better. http://reviews.llvm.org/D4403