This trait simply adds a fold of f(f(x)) = f(x) when an operation is labelled as idempotent
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Paths
| Differential D89421
[MLIR] Add idempotent trait folding ClosedPublic Authored by ahmedsabie on Oct 14 2020, 1:05 PM.
Details Summary This trait simply adds a fold of f(f(x)) = f(x) when an operation is labelled as idempotent
Diff Detail
Event TimelineHerald added subscribers: stephenneuendorffer, nicolasvasilache. · View Herald TranscriptOct 14 2020, 1:05 PM This revision is now accepted and ready to land.Oct 15 2020, 3:28 PM Closed by commit rG7dff6b818b1c: [MLIR] Add idempotent trait folding (authored by ahmedsabie, committed by Andy Ly <lyandy@google.com>). · Explain WhyOct 16 2020, 8:51 AM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 298228 mlir/include/mlir/IR/OpBase.td
mlir/include/mlir/IR/OpDefinition.h
mlir/lib/IR/Operation.cpp
mlir/test/lib/Dialect/Test/TestOps.td
mlir/test/mlir-tblgen/trait.mlir
|