The existing implementation called DenseMap::insert, which is a no-op if the map already contains an entry with the same key.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Paths
| Differential D118165
[mlir] Fix merging of delayed registrations during DialectRegistry::appendTo ClosedPublic Authored by springerm on Jan 25 2022, 10:36 AM.
Details Summary The existing implementation called DenseMap::insert, which is a no-op if the map already contains an entry with the same key.
Diff Detail
Event TimelineHerald added subscribers: sdasgup3, wenzhicui, wrengr and 18 others. · View Herald TranscriptJan 25 2022, 10:36 AM This revision is now accepted and ready to land.Jan 25 2022, 10:40 AM This revision was landed with ongoing or failed builds.Jan 26 2022, 12:29 AM Closed by commit rG18778b886352: [mlir] Fix merging of delayed registrations during DialectRegistry::appendTo (authored by springerm). · Explain Why This revision was automatically updated to reflect the committed changes.
Diff 403156 mlir/include/mlir/IR/Dialect.h
|