| commit | 8b8e30b26ef72210a58ba8be7af5aaee9e43ff0b | [log] [tgz] |
|---|---|---|
| author | Alex Zinenko <zinenko@google.com> | Thu Nov 08 06:48:09 2018 -0800 |
| committer | jpienaar <jpienaar@google.com> | Fri Mar 29 13:51:33 2019 -0700 |
| tree | 7e69af282003e785ea07be88ccc75a665b2964de | |
| parent | ddc13ba20dc9a5a18408bfbda2db18b0b5b33c6f [diff] |
Allow vector types to have index elements. It is unclear why vector types were not allowed to have "index" as element type. Index values are integers, although of unknown bit width, and should behave as such. Vectors of integers are allowed and so are tensors of indices (for indirection purposes), it is more consistent to also have vectors of indices. PiperOrigin-RevId: 220630123