diff options
author | Brian Gesiak <modocache@gmail.com> | 2017-06-13 03:06:16 +0000 |
---|---|---|
committer | Brian Gesiak <modocache@gmail.com> | 2017-06-13 03:06:16 +0000 |
commit | a468462b6a41b9c11c9bf4f9e3b18ce77a0acbdd (patch) | |
tree | 7670d43addf4b1eec65bd333fa6558def4c34749 /docs/Lexicon.rst | |
parent | b890993f2fbe03f10ff52bd8d518887090c7b8a1 (diff) |
[Lexicon] Add GVN
Summary: Add a lexicon entry for global value numbering.
Reviewers: davide, majnemer
Reviewed By: davide
Subscribers: llvm-commits, inouehrs
Differential Revision: https://reviews.llvm.org/D33664
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@305270 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/Lexicon.rst')
-rw-r--r-- | docs/Lexicon.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/Lexicon.rst b/docs/Lexicon.rst index ebc3fb772e81..ce7ed318fe4b 100644 --- a/docs/Lexicon.rst +++ b/docs/Lexicon.rst @@ -109,6 +109,13 @@ G Garbage Collection. The practice of using reachability analysis instead of explicit memory management to reclaim unused memory. +**GVN** + Global Value Numbering. GVN is a pass that partitions values computed by a + function into congruence classes. Values ending up in the same congruence + class are guaranteed to be the same for every execution of the program. + In that respect, congruency is a compile-time approximation of equivalence + of values at runtime. + H - |