From 698cbcb0a4a181d49eca2d6a098e47eef0db96d8 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Sat, 24 Apr 2010 22:15:58 +0000 Subject: [PATCH] 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 --- docs/LangRef.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/LangRef.html b/docs/LangRef.html index ac28107bd4b..1142e9290d4 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2313,8 +2313,8 @@ has undefined behavior.

effects has nevertheless detected a condition which results in undefined behavior.

-

Any non-void instruction or constant expression other than non-intrinsic - calls or invokes with a trap operand has trap as its result value. +

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.

-- 2.34.1