HomePhabricator

[mlir] Add partial lowering of shape.cstr_broadcastable.

Authored by Tres Popp <tpopp@google.com> on Oct 13 2020, 8:56 AM.

Description

[mlir] Add partial lowering of shape.cstr_broadcastable.

Because cstr operations allow more instruction reordering than asserts, we only
lower cstr_broadcastable to std ops with cstr_require. This ensures that the
more drastic lowering to asserts can happen specifically with the user's desire.

Differential Revision: https://reviews.llvm.org/D89325