This is an archive of the discontinued LLVM Phabricator instance.

Differential D12572

LangRef small fix
ClosedPublic

Authored by Prazek on Sep 2 2015, 1:24 PM.

Details

Reviewers
echristo
rsmith

Diff Detail

Event Timeline

Prazek updated this revision to Diff 33852.Sep 2 2015, 1:24 PM
Prazek retitled this revision from to LangRef small fix.
Prazek updated this object.
Prazek added a reviewer: rsmith.
Prazek added a subscriber: llvm-commits.
echristo accepted this revision.Sep 2 2015, 1:30 PM
echristo added a reviewer: echristo.
echristo added a subscriber: echristo.

LGTM.

Thanks.

-eric

This revision is now accepted and ready to land.Sep 2 2015, 1:30 PM
Prazek closed this revision.Sep 2 2015, 1:34 PM

Revision Contents

PathSize
docs/
2 lines

Diff 33852

docs/LangRef.rst

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 6,726 Lines • ▼ Show 20 Lines
Being invariant does not imply that a location is dereferenceable, Being invariant does not imply that a location is dereferenceable,
but it does imply that once the location is known dereferenceable but it does imply that once the location is known dereferenceable
its value is henceforth unchanging. its value is henceforth unchanging.
The optional ``!nonnull`` metadata must reference a single The optional ``!nonnull`` metadata must reference a single
metadata name ``<index>`` corresponding to a metadata node with no metadata name ``<index>`` corresponding to a metadata node with no
entries. The existence of the ``!nonnull`` metadata on the entries. The existence of the ``!nonnull`` metadata on the
instruction tells the optimizer that the value loaded is known to instruction tells the optimizer that the value loaded is known to
never be null. This is analogous to the ''nonnull'' attribute never be null. This is analogous to the ``nonnull`` attribute
on parameters and return values. This metadata can only be applied on parameters and return values. This metadata can only be applied
to loads of a pointer type. to loads of a pointer type.
The optional ``!dereferenceable`` metadata must reference a single The optional ``!dereferenceable`` metadata must reference a single
metadata name ``<index>`` corresponding to a metadata node with one ``i64`` metadata name ``<index>`` corresponding to a metadata node with one ``i64``
entry. The existence of the ``!dereferenceable`` metadata on the instruction entry. The existence of the ``!dereferenceable`` metadata on the instruction
tells the optimizer that the value loaded is known to be dereferenceable. tells the optimizer that the value loaded is known to be dereferenceable.
The number of bytes known to be dereferenceable is specified by the integer The number of bytes known to be dereferenceable is specified by the integer
▲ Show 20 Lines • Show All 5,041 Lines • Show Last 20 Lines