RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 18:54:02 +01:00
Code Issues Projects Releases Wiki Activity

[LangRef] minor fixes to poison examples and well-defined values section (NFC)

Browse Source
This commit is contained in:
Juneyoung Lee 2020-11-29 20:51:25 +09:00
parent 51184b6fd7
commit e5f43fdeb3
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
docs/LangRef.rst
View File

@ -3743,8 +3743,8 @@ Here are some examples:
%narrowaddr = bitcast i32* @g to i16* %narrowaddr = bitcast i32* @g to i16*
%wideaddr = bitcast i32* @g to i64* %wideaddr = bitcast i32* @g to i64*
%poison3 = load i16, i16* %narrowaddr ; Returns a poison value. %poison4 = load i16, i16* %narrowaddr ; Returns a poison value.
%poison4 = load i64, i64* %wideaddr ; Returns a poison value. %poison5 = load i64, i64* %wideaddr ; Returns a poison value.
%cmp = icmp slt i32 %poison, 0 ; Returns a poison value. %cmp = icmp slt i32 %poison, 0 ; Returns a poison value.
br i1 %cmp, label %end, label %end ; undefined behavior br i1 %cmp, label %end, label %end ; undefined behavior
@ -3763,8 +3763,7 @@ The padding of an aggregate isn't considered, since it isn't visible
without storing it into memory and loading it with a different type. without storing it into memory and loading it with a different type.
A constant of a :ref:`single value <t_single_value>`, non-vector type is well A constant of a :ref:`single value <t_single_value>`, non-vector type is well
defined if it is a non-undef constant. Note that there is no poison constant defined if it is neither '``undef``' constant nor '``poison``' constant.
in LLVM.
The result of :ref:`freeze instruction <i_freeze>` is well defined regardless The result of :ref:`freeze instruction <i_freeze>` is well defined regardless
of its operand. of its operand.