summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorDan Gohman <dan433584@gmail.com>2013-01-31 22:13:00 +0000
committerDan Gohman <dan433584@gmail.com>2013-01-31 22:13:00 +0000
commit43d836343e56b78d9a660272c84a8feb1683d861 (patch)
tree4d8171ed680540f50dac3623716d77bc68605a2b /include
parent4bdf9890edd91b82487a29ae134d53676829bd0d (diff)
downloadllvm-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.h7
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