[PATCH] D14003: Extend LLVM with info about the processing of invariant intrinsics

[Larisse Voufo via llvm-commits]

lvoufo created this revision.
lvoufo added reviewers: nlewycky, dberlin, reames.
lvoufo added a subscriber: llvm-commits.

Add an 'InvariantInfo' property to the 'Module' data structure, and use the property to extend basic AA's assessment that a given memory location is to be treated as constant memory.

The 'InvariantInfo' field in 'Module' will be used to collect information meaningful for load elimination while processing invariant intrinsics calls.

This patch is a break-down of (corrected) D13606.


http://reviews.llvm.org/D14003

Files:
  include/llvm/Analysis/BasicAliasAnalysis.h
  include/llvm/IR/InvariantInfo.h
  include/llvm/IR/Module.h
  lib/Analysis/BasicAliasAnalysis.cpp
  lib/IR/CMakeLists.txt
  lib/IR/InvariantInfo.cpp
  unittests/Analysis/AliasAnalysisTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D14003.38207.patch
Type: text/x-patch
Size: 15085 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151023/8e651b6d/attachment.bin>