As far as I can tell, running `opt -basicaa -scev-aa` (without your change) gets this. Can you please check? http://reviews.llvm.org/D10368 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/