aboutsummaryrefslogtreecommitdiff
path: root/llvm/tools/llvm-objdump/llvm-objdump.cpp
diff options
context:
space:
mode:
authorWei Yi Tee <wyt@google.com>2022-06-25 00:06:30 +0200
committerDmitri Gribenko <gribozavr@gmail.com>2022-06-25 00:10:35 +0200
commit0f65a3e610051fc319372eea647fb50f60b2b21c (patch)
treec429757ef0354f64cd195a0828245234cd2d28bd /llvm/tools/llvm-objdump/llvm-objdump.cpp
parent42a7ddb428c999229491b0effbb1a4059149fba8 (diff)
downloadllvm-0f65a3e610051fc319372eea647fb50f60b2b21c.zip
llvm-0f65a3e610051fc319372eea647fb50f60b2b21c.tar.gz
llvm-0f65a3e610051fc319372eea647fb50f60b2b21c.tar.bz2
[clang][dataflow] Implement functionality to compare if two boolean values are equivalent.
`equivalentBoolValues` compares equivalence between two booleans. The current implementation does not consider constraints imposed by flow conditions on the booleans and its subvalues. Depends On D128520 Reviewed By: gribozavr2, xazax.hun Differential Revision: https://reviews.llvm.org/D128521
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions