| commit | d1566ecd6b8b6f5da448e7e2a3e50f935aabfa4d | [log] [tgz] |
|---|---|---|
| author | Lei Zhang <antiagainst@google.com> | Wed Nov 28 11:49:26 2018 -0800 |
| committer | jpienaar <jpienaar@google.com> | Fri Mar 29 14:11:53 2019 -0700 |
| tree | e9503eeebe859b4c6755d29797d100aa85cd6607 | |
| parent | 63aac623ff6edf5d3e29550493a8fea2bb37fb43 [diff] |
Verify CmpIOp's result type to be bool-like This CL added two new traits, SameOperandsAndResultShape and ResultsAreBoolLike, and changed CmpIOp to embody these two traits. As a consequence, CmpIOp's result type now is verified to be bool-like. PiperOrigin-RevId: 223208438