projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6d2223) | patch
Add a TypeIsPred.
authorJacques Pienaar <jpienaar@google.com>
Tue, 16 Jul 2019 18:54:54 +0000 (11:54 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Tue, 16 Jul 2019 20:45:35 +0000 (13:45 -0700)
commitffc0217bc7f5fab0150bf537774859006d30492a
tree498edcbdeab65f054c99be48fe1c87ab4343cde6tree | snapshot
parenta6d22235843040117bbeea89c65625d8634f4e80commit | diff
Add a TypeIsPred.

Mostly one would use the type specification directly on the operand, but for
cases where the type of the operand depends on other operand types, `TypeIs`
attribute can be used to construct verification methods.

PiperOrigin-RevId: 258411758
mlir/include/mlir/IR/OpBase.td diff | blob | history
mlir/test/lib/TestDialect/TestOps.td diff | blob | history
mlir/test/mlir-tblgen/types.mlir diff | blob | history
Domain: System / Toolchain;