forked from OSchip/llvm-project
[LangRef] Drop misleading anecdote
`shl nsw i8 1, i8 8` is poison, but `mul i8 1, i8 128` is not. This was discussed previously here: http://lists.llvm.org/pipermail/llvm-dev/2015-April/084195.html. From the discussion, it was not clear which semantics we want for `shl`, but for now at least make the language reference more accurate. llvm-svn: 286785
This commit is contained in:
parent
efd48ca568
commit
dbc58d0015
|
@ -6430,9 +6430,7 @@ If the ``nuw`` keyword is present, then the shift produces a :ref:`poison
|
|||
value <poisonvalues>` if it shifts out any non-zero bits. If the
|
||||
``nsw`` keyword is present, then the shift produces a :ref:`poison
|
||||
value <poisonvalues>` if it shifts out any bits that disagree with the
|
||||
resultant sign bit. As such, NUW/NSW have the same semantics as they
|
||||
would if the shift were expressed as a mul instruction with the same
|
||||
nsw/nuw bits in (mul %op1, (shl 1, %op2)).
|
||||
resultant sign bit.
|
||||
|
||||
Example:
|
||||
""""""""
|
||||
|
|
Loading…
Reference in New Issue