mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
33 lines
854 B
TableGen
33 lines
854 B
TableGen
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#ifndef MLIR_CLIFT_EXPRESSION_HELPERS
|
|
#define MLIR_CLIFT_EXPRESSION_HELPERS
|
|
|
|
include "mlir/IR/PatternBase.td"
|
|
|
|
def ValuesAreEqual : Constraint<CPred<[{ $0 == $1 }]>>;
|
|
|
|
def ValuesAreNotEqual : Constraint<CPred<[{ $0 != $1 }]>>;
|
|
|
|
def TypesAreEquivalent
|
|
: Constraint<CPred<[{ clift::equivalent($0.getType(), $1.getType()) }]>>;
|
|
|
|
def TypesAreNotEquivalent
|
|
: Constraint<CPred<[{ not clift::equivalent($0.getType(), $1.getType()) }]>>;
|
|
|
|
def getPointeeType : NativeCodeCall<[{
|
|
clift::unwrapped_cast<clift::PointerType>($0.getType()).getPointeeType()
|
|
}]>;
|
|
|
|
def makeInteger : NativeCodeCall<[{
|
|
$_builder.getIntegerAttr($_builder.getIntegerType(64), $0);
|
|
}]>;
|
|
|
|
def forceBooleanResult : NativeCodeCall<[{
|
|
clift::impl::forceBooleanResult($_builder, $0, $1)
|
|
}]>;
|
|
|
|
#endif
|