tree 9e71f10a437a8a886b129fa097c6e94451a441d3
parent dc1a886fb9df0754dc80c908b227094c14866b77
author Matthias Springer <me@m-sp.org> 1768288929 +0100
committer GitHub <noreply@github.com> 1768288929 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJpZfKhCRC1aQ7uu5UhlAAA2NQQAIluFFhFCij0iq5zsR/lE56Z
 bum2uXxTaqxc2EhWbRDDjQuFw9ySRb1xexWSS2pDAz0mFyR9wHwCr+rSJ5M4CSx2
 m/YiKZWNW/Pmz3FzSkJEuq5uYdKTU3/c13lPaGxlMkmzfBzlHiw5EhVqVbgXx8/u
 IssOZ6SK30Z/YhwizvucRFCKNVw8wCXTSjnJ4WiCl3s6KvM9Z02o8AksCcF8hahO
 Clt49eUNz/9dnQVjAmSO6W0fZd1tJN79u2YIRsjK/mEZACaU/m9z7Ov0ne7ybkrD
 ZT8lwFwB9cg4NUY0Lt9zAJzi107lJdYgHRQwxtoK4n3HlB64lY5bFWPkXWUBEHJJ
 g5a+BYLkV6/4YR+3MGzywsf4qMzsTmzQ8TsPH6+NbMPG+YZCqHJaBG4juqbGaf49
 9oAKnJTrvnQFvlBO5BMJJ0gkKB9U9kM7t/qSr++8WdLBXedUkCh0/Lm0WzXxmG0Q
 ave5MOhO5r3pvSzWnfICnZb6Zha6QWrfqzJHqVMbsMcMJZFbUNmFONLq9rw7t5WP
 xKaHWyl8CMw3B0wKg7t3FoIPZ2SgxoHUtKYjRZ90O36zsRmglusTXAzj+SMKm3tZ
 ay8VX7svTGj5/g83Fr08khTBZO6TOFjixVkpYdZHWDhQYb+QavveTzMzeD7xhRMQ
 0ZSjW6Lxcf3+FJZaQv7t
 =Z/+i
 -----END PGP SIGNATURE-----
 

[mlir] Consolidate patterns into `RegionBranchOpInterface` patterns (#174094)

Instead of op-specific cleanup patterns for region branch ops to remove
unused results / block arguments, etc., add a set of patterns that can
handle all `RegionBranchOpInterface` ops. These patterns are enabled
only for selected SCF dialect ops at the moment:
* `scf.execute_region`
* `scf.for`
* `scf.if`
* `scf.index_switch`
* `scf.while`

It is currently not possible to register canoncalization patterns for op
interfaces and some ops have incorrect interface implementations. In
follow-up PRs, the set of ops will be gradually extended within the SCF
dialect (`scf.forall`) and across other dialects
(`gpu.warp_execute_on_lane0`, (maybe) various affine dialect ops, ...),
and maybe eventually to apply to all `RegionBranchOpInterface` ops.

This commit removes many similar canonicalization patterns from the SCF
dialect. The newly added canonicalization patterns allow users to get
the same canonicalizations for free for their own ops. And even a few
additional new canonicalizations
([example](https://github.com/llvm/llvm-project/pull/174094/files#diff-54318cd685386d5519c42be49818e388b09d934edcbe4280548baa3601802977R2241),
[example](https://github.com/llvm/llvm-project/pull/174094/files#diff-54318cd685386d5519c42be49818e388b09d934edcbe4280548baa3601802977R1101),
...).

Implementation outline: This commit adds 3 canonicalization patterns.
* `MakeRegionBranchOpSuccessorInputsDead`: Remove uses of successor
inputs, by swapping them for successor operand values.
* `RemoveDuplicateSuccessorInputUses`: Remove uses of successor inputs
that are duplicates. (Similar to `WhileRemoveDuplicatedResults` in the
SCF dialect.)
* `RemoveDeadRegionBranchOpSuccessorInputs`: Remove dead successor
inputs if all of their "tied" successor inputs are also dead. (Similar
to `WhileUnusedResult` in the SCF dialect.)