commit b2dbbdb704d193151124858e05ee0c8374f8a672
author Lei Zhang <antiagainst@google.com> Sun Feb 03 07:29:17 2019 -0800
committer jpienaar <jpienaar@google.com> Fri Mar 29 16:09:03 2019 -0700
tree 787b6db5457f5bc67152ae446bea3403a4711dd8
parent 8b75cc5741cafd479ac10bb152c3b80438355d55

Merge OpProperty and Traits into OpTrait

They are essentially both modelling MLIR OpTrait; the former achieves the
purpose via introducing corresponding symbols in TableGen, while the latter
just uses plain strings.

Unify them to provide a single mechanism to avoid confusion and to better
reflect the definitions on MLIR C++ side.

Ideally we should be able to deduce lots of these traits automatically via
other bits of op definitions instead of manually specifying them; but not
for now though.

PiperOrigin-RevId: 232191401