diff options
author | Dan Gohman <dan433584@gmail.com> | 2013-01-31 22:13:00 +0000 |
---|---|---|
committer | Dan Gohman <dan433584@gmail.com> | 2013-01-31 22:13:00 +0000 |
commit | 43d836343e56b78d9a660272c84a8feb1683d861 (patch) | |
tree | 4d8171ed680540f50dac3623716d77bc68605a2b /include | |
parent | 4bdf9890edd91b82487a29ae134d53676829bd0d (diff) | |
download | llvm-43d836343e56b78d9a660272c84a8feb1683d861.tar.gz llvm-43d836343e56b78d9a660272c84a8feb1683d861.tar.bz2 llvm-43d836343e56b78d9a660272c84a8feb1683d861.tar.xz |
Document another instsimplify assumption.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174100 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
-rw-r--r-- | include/llvm/Analysis/InstructionSimplify.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/include/llvm/Analysis/InstructionSimplify.h b/include/llvm/Analysis/InstructionSimplify.h index 06e4432967..d760a4cba1 100644 --- a/include/llvm/Analysis/InstructionSimplify.h +++ b/include/llvm/Analysis/InstructionSimplify.h @@ -20,6 +20,13 @@ // values. This will prevent other code from seeing the same undef uses and // resolving them to different values. // +// These routines are designed to tolerate moderately incomplete IR, such as +// instructions that are not connected to basic blocks yet. However, they do +// require that all the IR that they encounter be valid. In particular, they +// require that all non-constant values be defined in the same function, and the +// same call context of that function (and not split between caller and callee +// contexts of a directly recursive call, for example). +// //===----------------------------------------------------------------------===// #ifndef LLVM_ANALYSIS_INSTRUCTIONSIMPLIFY_H |