[PATCH] D37216: [SROA] propagate !range metadata when moving loads

[Ariel Ben-Yehuda via Phabricator via llvm-commits]

arielb1 created this revision.

This tries to propagate !range metadata to a pre-existing load when a load is optimized out. This is done instead of adding an assume because converting loads to and from assumes creates a lot of IR.

This requires https://reviews.llvm.org/D37215 in order to work, but I've put it in a separate patch because it affects a different section of the code (and also for easier bisection if this introduces a regression).


https://reviews.llvm.org/D37216

Files:
  lib/Transforms/Scalar/SROA.cpp
  lib/Transforms/Utils/Local.cpp
  lib/Transforms/Utils/PromoteMemoryToRegister.cpp
  test/Transforms/SROA/preserve-nonnull.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D37216.112906.patch
Type: text/x-patch
Size: 9922 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170828/1ee0d6b5/attachment-0001.bin>