Page MenuHomePhabricator

[mlir] Add support for marking 'unknown' operations as dynamically legal.
ClosedPublic

Authored by rriddle on Jan 24 2020, 12:46 PM.

Details

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.

Diff Detail

Event Timeline

rriddle created this revision.Jan 24 2020, 12:46 PM

Unit tests: fail. 62150 tests passed, 5 failed and 811 were skipped.

failed: libc++.std/language_support/cmp/cmp_partialord/partialord.pass.cpp
failed: libc++.std/language_support/cmp/cmp_strongeq/cmp.strongeq.pass.cpp
failed: libc++.std/language_support/cmp/cmp_strongord/strongord.pass.cpp
failed: libc++.std/language_support/cmp/cmp_weakeq/cmp.weakeq.pass.cpp
failed: libc++.std/language_support/cmp/cmp_weakord/weakord.pass.cpp

clang-tidy: pass.

clang-format: pass.

Build artifacts: diff.json, clang-tidy.txt, clang-format.patch, CMakeCache.txt, console-log.txt, test-results.xml

Pre-merge checks is in beta. Report issue. Please join beta or enable it for your project.

benvanik accepted this revision.Jan 25 2020, 4:05 PM
This revision is now accepted and ready to land.Jan 25 2020, 4:05 PM
This revision was automatically updated to reflect the committed changes.