[mlir] Add support for marking 'unknown' operations as dynamically legal.
authorRiver Riddle <riddleriver@gmail.com>
Tue, 28 Jan 2020 03:04:55 +0000 (19:04 -0800)
committerRiver Riddle <riddleriver@gmail.com>
Tue, 28 Jan 2020 03:50:52 +0000 (19:50 -0800)
commitce674b131b66105ecd3918a11de4eb0205b50f99
tree9defb5ca709346111800ab27b3f5a4cb2a1c7c76
parent49532137d087d8053789d18540c5e7916b91ef30
[mlir] Add support for marking 'unknown' operations as dynamically legal.

Summary: This allows for providing a default "catchall" legality check that is not dependent on specific operations or dialects. For example, this can be useful to check legality based on the specific types of operation operands or results.

Differential Revision: https://reviews.llvm.org/D73379
mlir/docs/DialectConversion.md
mlir/include/mlir/Transforms/DialectConversion.h
mlir/lib/Transforms/DialectConversion.cpp
mlir/test/Transforms/test-legalizer-full.mlir
mlir/test/lib/TestDialect/TestPatterns.cpp