[Attributor] AAUndefinedBehavior: Use AAValueSimplify in memory accessing instructions.
authorStefanos Baziotis <sdi1600105@di.uoa.gr>
Sat, 4 Apr 2020 23:46:26 +0000 (02:46 +0300)
committerStefanos Baziotis <sdi1600105@di.uoa.gr>
Sat, 4 Apr 2020 23:46:26 +0000 (02:46 +0300)
commitf3dd3a66d3d5643a5e6f46bb18dee3be3a5898cd
treea0b19c41b87f2d86217e2588330c4a4107f1a785
parent695ca346eb0c724fb79c6f166cfecd736eae6608
[Attributor] AAUndefinedBehavior: Use AAValueSimplify in memory accessing instructions.

Query AAValueSimplify on pointers in memory accessing instructions to take
advantage of the constant propagation (or any other value simplification) of such values.
16 files changed:
llvm/lib/Transforms/IPO/Attributor.cpp
llvm/test/Transforms/Attributor/ArgumentPromotion/2008-07-02-array-indexing.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/X86/attributes.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/X86/min-legal-vector-width.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/alignment.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/fp80.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/profile.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/reserve-tbaa.ll
llvm/test/Transforms/Attributor/ArgumentPromotion/sret.ll
llvm/test/Transforms/Attributor/IPConstantProp/2009-09-24-byval-ptr.ll
llvm/test/Transforms/Attributor/IPConstantProp/PR26044.ll
llvm/test/Transforms/Attributor/IPConstantProp/openmp_parallel_for.ll
llvm/test/Transforms/Attributor/internal-noalias.ll
llvm/test/Transforms/Attributor/returned.ll
llvm/test/Transforms/Attributor/undefined_behavior.ll