diff options
| author | Dan Gohman <gohman@apple.com> | 2010-04-24 22:15:58 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-04-24 22:15:58 +0000 |
| commit | 698cbcb0a4a181d49eca2d6a098e47eef0db96d8 (patch) | |
| tree | f38198a563dca82feda1eaac22c7b7fe94af486e | |
| parent | 1f048649e357c71958ea5cdf0ae7a66ac1290dbf (diff) | |
| download | llvm-698cbcb0a4a181d49eca2d6a098e47eef0db96d8.tar.gz llvm-698cbcb0a4a181d49eca2d6a098e47eef0db96d8.tar.bz2 llvm-698cbcb0a4a181d49eca2d6a098e47eef0db96d8.tar.xz | |
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
| -rw-r--r-- | docs/LangRef.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index ac28107bd4..1142e9290d 100644 --- 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> |