[Attributor] Use AAValueConstantRange to infer dereferencability.
authorKuter Dinel <kuterdinel@gmail.com>
Wed, 13 May 2020 17:49:15 +0000 (12:49 -0500)
committerJohannes Doerfert <johannes@jdoerfert.de>
Wed, 13 May 2020 21:44:15 +0000 (16:44 -0500)
commite57807769b5c21dd06ee293ed7ebaa13f8914ba2
treecac7c86aa1a0dc9351dd741e86ec6c3e6cba4c97
parentd6e3e55c40a973e233b168c19b1f1718212b41a4
[Attributor] Use AAValueConstantRange to infer dereferencability.

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D76208
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