tree 40c0ba28b03509f9b0374215f0404424b100d813
parent 84b4802c5e505c1a1991aa4893a4bb6be6fae043
author Ben Vanik <ben.vanik@gmail.com> 1678127147 -0800
committer GitHub <noreply@github.com> 1678127147 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJkBjArCRBK7hj4Ov3rIwAAQmQIADf1otw7LwIvmmNyAtxt0og2
 nhFI4UBnk8KDwxthwX5QJySC6CBIy66JtbPicyYsk74SNKAofSMNC7A7mrC0lAav
 qU/nohVAa9UZZCX5vryE7LY3U6qQTS3DGj1wjVu9BRnf9/RqaDD5rHDYqNL1RGwb
 6gGpO+ETZRXDfg+PlcNgWGeJD43msDq93SSe60bghli3ZWFV/WizPAY+SBQzidCe
 AU8BSzYj+ZEh6g8ntQBKeuOScYb5oV5NDTfYKLJP7b5FL+Zx0Y5l3gGCq2kjfOev
 uhP0tfrqQSUyB6Z8Q04AL75TDh7s79Q/xaSKprEuC8nvzu+lLDWhnknqDO2ajPU=
 =P73o
 -----END PGP SIGNATURE-----
 

Starting support for HAL dispatch specialization. (#12483)

This allows `stream.cmd.dispatch` ops to specify multiple entry points
in executables that can be dispatched. During interface materialization
the entry points are expanded for all materialized variants. HAL
backends are also able to add their own entry points either in existing
variants or new ones during translation (no helpers yet, but it's
possible). When lowering the `stream.cmd.dispatch` into
`hal.command_buffer.dispatch` each export now chooses the condition for
which it should be selected.

This initial work just prepares the op for this conditional dispatch and
also solves an issue with compiler reentrancy where between interface
materialization and HAL conversion we had IR that would not verify
(stream ops still referencing un-materialized exports). Only the
existing target variant matcher condition is supported but we now have
the place where we'd call out to HAL backend-produced logic for
selection (`getExportConditionAttr`).

The `inline-dynamic` HAL model can support this too but for now that's
deferred until we add the backend support - the `hal.device.switch` op
needs a reworking to be used in that context.

Fixes #12476.