[mlir][Interfaces] Tidy up the documentation for interfaces
authorRiver Riddle <riddleriver@gmail.com>
Wed, 9 Dec 2020 23:33:49 +0000 (15:33 -0800)
committerRiver Riddle <riddleriver@gmail.com>
Wed, 9 Dec 2020 23:34:07 +0000 (15:34 -0800)
commitd1e0545445ced928ae4f0437997278e09cefde1d
tree3ced7dec3335cf0cf5ec39ce2ab991cf9a810ea7
parent2caafac0392e8b9ad8d417661cccb0dc126fcaa3
[mlir][Interfaces] Tidy up the documentation for interfaces

The documentation has become a bit stale with age, and doesn't include great documentation for some newer concepts. This revision tidies up a majority of it, with some more cleanup to come in the future. The documentation for the declarative specification is also moved from OpDefinitions.md to Interfaces.md, which is a much more logical place for it to live.

Differential Revision: https://reviews.llvm.org/D92895
mlir/docs/Interfaces.md
mlir/docs/OpDefinitions.md