This is an archive of the discontinued LLVM Phabricator instance.

Differential D155298

[mlir] Add an IntNEQValue predicate
ClosedPublic

Authored by nicolasvasilache on Jul 14 2023, 7:57 AM.

Details

Reviewers
rriddle
antiagainst
guraypp
Commits
rG5e877caf4d66: [mlir] Add an IntNEQValue predicate

Diff Detail

Event Timeline

nicolasvasilache created this revision.Jul 14 2023, 7:57 AM
Herald added a reviewer: rriddle. · View Herald TranscriptJul 14 2023, 7:57 AM
Herald added a reviewer: antiagainst. · View Herald Transcript
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: bviyer, Moerafaat, zero9178 and 23 others. · View Herald Transcript
nicolasvasilache requested review of this revision.Jul 14 2023, 7:57 AM
Herald added a project: Restricted Project. · View Herald TranscriptJul 14 2023, 7:57 AM
Herald added a subscriber: stephenneuendorffer. · View Herald Transcript
guraypp accepted this revision.Jul 14 2023, 7:57 AM
guraypp added a reviewer: guraypp.
This revision is now accepted and ready to land.Jul 14 2023, 7:57 AM
This revision was landed with ongoing or failed builds.Jul 14 2023, 7:58 AM
Closed by commit rG5e877caf4d66: [mlir] Add an IntNEQValue predicate (authored by nicolasvasilache). · Explain Why
This revision was automatically updated to reflect the committed changes.
nicolasvasilache added a commit: rG5e877caf4d66: [mlir] Add an IntNEQValue predicate.
Harbormaster completed remote builds in B245392: Diff 540418.Jul 14 2023, 8:22 AM

Revision Contents

PathSize
mlir/
include/
mlir/
IR/
4 lines

Diff 540418

mlir/include/mlir/IR/OpBase.td

Show First 20 Lines • Show All 1,800 Lines • ▼ Show 20 Lines
// An AttrConstraint that holds if all attr constraints specified in // An AttrConstraint that holds if all attr constraints specified in
// 'constraints' hold. // 'constraints' hold.
class AllAttrOf<list<AttrConstraint> constraints> : AttrConstraint< class AllAttrOf<list<AttrConstraint> constraints> : AttrConstraint<
And<!listconcat([!head(constraints).predicate], And<!listconcat([!head(constraints).predicate],
!foreach(pred, !tail(constraints), pred.predicate))>, !foreach(pred, !tail(constraints), pred.predicate))>,
!interleave(!foreach(con, constraints, con.summary), " and ")> { !interleave(!foreach(con, constraints, con.summary), " and ")> {
} }
class IntNEQValue<int n> : AttrConstraint<
CPred<"::llvm::cast<::mlir::IntegerAttr>($_self).getInt() != " # n>,
"whose minimum value is " # n>;
class IntMinValue<int n> : AttrConstraint< class IntMinValue<int n> : AttrConstraint<
CPred<"::llvm::cast<::mlir::IntegerAttr>($_self).getInt() >= " # n>, CPred<"::llvm::cast<::mlir::IntegerAttr>($_self).getInt() >= " # n>,
"whose minimum value is " # n>; "whose minimum value is " # n>;
class IntMaxValue<int n> : AttrConstraint< class IntMaxValue<int n> : AttrConstraint<
CPred<"::llvm::cast<::mlir::IntegerAttr>($_self).getInt() <= " # n>, CPred<"::llvm::cast<::mlir::IntegerAttr>($_self).getInt() <= " # n>,
"whose maximum value is " # n>; "whose maximum value is " # n>;
▲ Show 20 Lines • Show All 937 Lines • Show Last 20 Lines