mlir-hlo

Author	SHA1	Message	Date
Lucy Fox	cd22ecd136	Relax DynamicBroadcastInDim verifier when dimensions are dynamic. For input and output dimensions which must match, we shouldn't fail in the case where one dim is dynamic and the other is static. This is insufficient information to conclude a dimension mismatch. PiperOrigin-RevId: 325344738	2020-08-07 22:18:38 -07:00
Andy Ly	4c8fead3e0	Add support for token operands to mhlo.tuple. mhlo.get_tuple_element supports extracting a mhlo.token type from a tuple. This updates the creation of tuples to allow for mhlo.token typed operands. PiperOrigin-RevId: 324628663	2020-08-03 19:31:15 -07:00
Stephan Herhut	9cbe5f2285	Constrain mhlo.const to static shaped tensors. Constants of unknown shape cannot be materialized. In most cases, one likely wants to use a scalar constant and rely on broadcasting instead. PiperOrigin-RevId: 324252475	2020-08-03 19:29:51 -07:00
Mehdi Amini	8900222fed	Rename `xla_hlo` dialect to `mhlo` This is part of the current refactoring of the HLO related dialect. `xla_hlo` will be reintroduced in a new form later. PiperOrigin-RevId: 319916753	2020-07-30 22:32:50 +00:00
Mehdi Amini	fa057cc0bc	Move HLO tests to `third_party/tensorflow/compiler/mlir/hlo/` Also add a localized `mlir-hlo-opt` binary for the testing of tensorflow/compiler/mlir/hlo/... ; this directory is intended to be self-contained and depend only on MLIR. PiperOrigin-RevId: 319878984	2020-07-30 22:32:45 +00:00