PHI nodes also do not necessarily return trap with a trap operand.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102278 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/docs/LangRef.html b/docs/LangRef.html
index ac28107bd4b5db848112b6151f7d784280e8c486..1142e9290d4ce463f537b55f4b15bd7039b4014d 100644 (file)
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -2313,8 +2313,8 @@ has undefined behavior.</p>
    effects has nevertheless detected a condition which results in undefined
    behavior.<p>
 
-<p>Any non-void instruction or constant expression other than non-intrinsic
-   calls or invokes with a trap operand has trap as its result value.
+<p>Any non-void instruction or constant expression other than a non-intrinsic
+   call, invoke, or phi with a trap operand has trap as its result value.
    Any instruction with a trap operand which may have side effects emits
    those side effects as if it had an undef operand instead.</p>