whitequark added a comment. @hfinkel Oh, my bad--I now remember that this came up long ago... @sanjoy Can you confirm that a dereferenceable attribute on getelementptr would be an acceptable IR extension? Repository: rL LLVM https://reviews.llvm.org/D18738