This is an archive of the discontinued LLVM Phabricator instance.

[MLIR] Allow overriding type constraints for control-flow interfaces.
Needs ReviewPublic

Authored by arames on Sep 29 2021, 1:15 PM.

Details

Summary

The introduce method areCompatibleControlFlowEdgeOperandTypes on
BranchOpInterface and RegionBranchOpInterface interfaces allows specifying
type constraints between operand and block argument types.
In particular, it allows using the constraint isMoreSpecializedOrSame()
instead of equality.

Diff Detail