[IR][PatternMatch] introduce m_Unless() matcher
authorRoman Lebedev <lebedev.ri@gmail.com>
Thu, 25 Jul 2019 13:34:14 +0000 (13:34 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Thu, 25 Jul 2019 13:34:14 +0000 (13:34 +0000)
commit6df3fc543303bf6755474b0c9ec669e67eef56cc
tree6fdfe962c019e0b14c3b995bc178fba615bab823
parent38a02008687a21d69ffcd31a3dd42f1bc833b9b5
[IR][PatternMatch] introduce m_Unless() matcher

Summary:
I don't think it already exists? I don't see it at least.
It is important to have it because else we'll do some checks after `match()`,
and that may result in missed folds in commutative nodes.

Reviewers: spatel, craig.topper, RKSimon, majnemer

Reviewed By: spatel

Subscribers: llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D64037

llvm-svn: 367016
llvm/include/llvm/IR/PatternMatch.h
llvm/unittests/IR/PatternMatch.cpp