[PATCH] D76208: [Attributor] Use AAValueConstantRange to infer dereferencability.

[Johannes Doerfert via Phabricator via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rGe57807769b5c: [Attributor] Use AAValueConstantRange to infer dereferencability. (authored by kuter, committed by jdoerfert).
Herald added a subscriber: llvm-commits.

Changed prior to commit:
  https://reviews.llvm.org/D76208?vs=256549&id=263867#toc

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76208

Files:
  llvm/include/llvm/IR/Operator.h
  llvm/include/llvm/IR/Value.h
  llvm/lib/IR/Operator.cpp
  llvm/lib/IR/Value.cpp
  llvm/lib/Transforms/IPO/AttributorAttributes.cpp
  llvm/test/Transforms/Attributor/dereferenceable-1.ll
  llvm/test/Transforms/Attributor/willreturn.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D76208.263867.patch
Type: text/x-patch
Size: 19491 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200513/22a3919e/attachment.bin>