mlir-hlo/lib/Dialect/mhlo/IR
Lucy Fox d742477c02 Verify that MHLO DynamicUpdateSlice start indices have matching element types.
HLO requires that the element types match for all start index parameters. Right now we don't catch this invalid case until export, so adding a check in the verifier so that we catch this sooner.

This also requires a small tweak to the TF InplaceUpdate op lowering.

PiperOrigin-RevId: 325463796
2020-08-07 22:21:40 -07:00
..
CMakeLists.txt Add CMake files and lit configurations, enough for `ninja check-mlir-hlo` to pass on all the tests 2020-08-07 22:14:34 -07:00
chlo_ops.cc [MLIR][XLA] Allow for choice of safe/unsafe variant in broadcast utils 2020-08-07 22:16:11 -07:00
dialect_registration.cc More cleanup in mlir-hlo to prepare for the standalone build 2020-08-03 19:28:00 -07:00
hlo_ops.cc Verify that MHLO DynamicUpdateSlice start indices have matching element types. 2020-08-07 22:21:40 -07:00
hlo_patterns.td More cleanup in mlir-hlo to prepare for the standalone build 2020-08-03 19:28:00 -07:00
infer_fusibility_op_interface.cc More cleanup in mlir-hlo to prepare for the standalone build 2020-08-03 19:28:00 -07:00
init.cc More cleanup in mlir-hlo to prepare for the standalone build 2020-08-03 19:28:00 -07:00
lhlo_ops.cc More cleanup in mlir-hlo to prepare for the standalone build 2020-08-03 19:28:00 -07:00
mhlo_canonicalize.td More cleanup in mlir-hlo to prepare for the standalone build 2020-08-03 19:28:00 -07:00