diff options
author | Chris Lattner <sabre@nondot.org> | 2009-11-26 18:53:33 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2009-11-26 18:53:33 +0000 |
commit | 1ce0eaa25fc6ecead5f9bba3c17b8af612d830ef (patch) | |
tree | d4a5697c69a482ed1c93f5ff552d72645bf39477 /include/llvm/Analysis | |
parent | b18004c13c0c494305b0ce1d748049f8c580bd99 (diff) |
Implement PR1143 (at -m64) by making basicaa look through extensions. We
previously already handled it at -m32 because there were no i32->i64
extensions for addressing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89959 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/llvm/Analysis')
-rw-r--r-- | include/llvm/Analysis/ValueTracking.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/llvm/Analysis/ValueTracking.h b/include/llvm/Analysis/ValueTracking.h index 05968914b9..5f3c671d0f 100644 --- a/include/llvm/Analysis/ValueTracking.h +++ b/include/llvm/Analysis/ValueTracking.h @@ -82,6 +82,12 @@ namespace llvm { /// it into a base pointer with a constant offset and a number of scaled /// symbolic offsets. /// + /// The scaled symbolic offsets (represented by pairs of a Value* and a scale + /// in the VarIndices vector) are Value*'s that are known to be scaled by the + /// specified amount, but which may have other unrepresented high bits. As + /// such, the gep cannot necessarily be reconstructed from its decomposed + /// form. + /// /// When TargetData is around, this function is capable of analyzing /// everything that Value::getUnderlyingObject() can look through. When not, /// it just looks through pointer casts. |