[PATCH] D85522: [Loads] Globals are dereferenceable, if offset + size <= sizeof(global).

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I'm not sure I understand why you need a special case here.  I think getPointerDereferenceableBytes() and isAligned() should handle global variables without any additional help.

If this does make a difference, it should be possible to write a testcase using LICM or something like that.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D85522/new/

https://reviews.llvm.org/D85522