mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
52 lines
1.4 KiB
TableGen
52 lines
1.4 KiB
TableGen
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#ifndef MLIR_CLIFT_BOOLEAN_NEGATION_REWRITES
|
|
#define MLIR_CLIFT_BOOLEAN_NEGATION_REWRITES
|
|
|
|
include "mlir/IR/PatternBase.td"
|
|
|
|
include "revng/Clift/Clift.td"
|
|
include "revng/CliftTransforms/ExpressionHelpers.td"
|
|
|
|
// !(x == y) -> x != y
|
|
def NotCmpEqPattern
|
|
: Pat<(Clift_LogicalNotOp (Clift_CmpEqOp $lhs, $rhs)),
|
|
(Clift_CmpNeOp $lhs, $rhs)>;
|
|
|
|
// !(x != y) -> x == y
|
|
def NotCmpNePattern
|
|
: Pat<(Clift_LogicalNotOp (Clift_CmpNeOp $lhs, $rhs)),
|
|
(Clift_CmpEqOp $lhs, $rhs)>;
|
|
|
|
// !(x < y) -> x >= y
|
|
def NotCmpLtPattern
|
|
: Pat<(Clift_LogicalNotOp (Clift_CmpLtOp $lhs, $rhs)),
|
|
(Clift_CmpGeOp $lhs, $rhs)>;
|
|
|
|
// !(x > y) -> x <= y
|
|
def NotCmpGtPattern
|
|
: Pat<(Clift_LogicalNotOp (Clift_CmpGtOp $lhs, $rhs)),
|
|
(Clift_CmpLeOp $lhs, $rhs)>;
|
|
|
|
// !(x <= y) -> x > y
|
|
def NotCmpLePattern
|
|
: Pat<(Clift_LogicalNotOp (Clift_CmpLeOp $lhs, $rhs)),
|
|
(Clift_CmpGtOp $lhs, $rhs)>;
|
|
|
|
// !(x >= y) -> x < y
|
|
def NotCmpGePattern
|
|
: Pat<(Clift_LogicalNotOp (Clift_CmpGeOp $lhs, $rhs)),
|
|
(Clift_CmpLtOp $lhs, $rhs)>;
|
|
|
|
// !!x -> x
|
|
// x ? 1 : 0
|
|
// Note: The choice of replacement depends on whether the result is
|
|
// boolean-tested.
|
|
def LogicalNotNotPattern
|
|
: Pat<(Clift_LogicalNotOp:$outer (Clift_LogicalNotOp $arg)),
|
|
(forceBooleanResult $outer, $arg)>;
|
|
|
|
#endif
|