Changes from Git (git http://labmaster3.local/git/llvm-project.git)


  1. [ASTMatchers] Added BinaryOperator hasOperands matcher (details)
  2. Add missing include Host.h in llvm-mc-* fuzzers. NFC. (details)
  3. [LVI] Don't use dominator tree in isValidAssumeForContext() (details)
Commit 74bcb00e00f3ef971e4c584a124e99289f2ebf34 by n.james93
[ASTMatchers] Added BinaryOperator hasOperands matcher

Summary: Adds a matcher called `hasOperands` for `BinaryOperator`'s when you need to match both sides but the order isn't important, usually on commutative operators.

Reviewers: klimek, aaron.ballman, gribozavr2, alexfh

Reviewed By: aaron.ballman

Subscribers: cfe-commits

Tags: #clang

Differential Revision:
The file was modifiedclang/docs/LibASTMatchersReference.html
The file was modifiedclang/include/clang/ASTMatchers/ASTMatchers.h
The file was modifiedclang/unittests/ASTMatchers/ASTMatchersTraversalTest.cpp
The file was modifiedclang/lib/ASTMatchers/Dynamic/Registry.cpp
Commit a39faacca1e2c491f2fc2cb350cc502ea6804dcb by fedor.sergeev
Add missing include Host.h in llvm-mc-* fuzzers. NFC.

Fixes build failure in these fuzzers.
The file was modifiedllvm/tools/llvm-mc-disassemble-fuzzer/llvm-mc-disassemble-fuzzer.cpp
The file was modifiedllvm/tools/llvm-mc-assemble-fuzzer/llvm-mc-assemble-fuzzer.cpp
Commit 39beeeff205caf75ee56ff8967e2b12e7b3fb644 by nikita.ppv
[LVI] Don't use dominator tree in isValidAssumeForContext()

LVI and its consumers currently have quite a bit of complexity
related to dominator tree management. However, it doesn't look
like it is actually needed...

The only use of the dominator tree is inside isValidAssumeForContext().
However, due to the way LVI queries work, it is not needed:
If we query a value for some block, we will first get the edge values
from all predecessor blocks, which also includes an intersection with
assumptions that apply to the terminator of the predecessor. As such,
we will already have processed all assumptions from predecessor blocks
(this is actually stronger than what isValidAssumeForContext() does
with a DT, because this is capable of combining non-dominating
assumptions). The only additional assumptions we need to take into
account are those in the block being queried. And we don't need a
dominator tree for that.

This patch only removes the use of DT, I will drop the machinery
around it in a followup.

Differential Revision:
The file was modifiedllvm/lib/Analysis/LazyValueInfo.cpp