Lower shape.shape_eq to the scf (and std) dialect.
Depends On D82529
nit: replace auto with Value or Type where possible.
i bet you don't need most of these -DAGs.
I like them because they make it clear where order matters and where it doesn't.
Should I change this?
yes, please. It shows what deterministic and what not.
nit: size -> shape?
A shame we cannot model early abort in SCF. This is ok for now, though. If we get to the point that shape comparisons are performance critical, we got quite far :)
Please add a bigger comment detailing how this lowering works. Having a before/after code sample is also generally acceptable.
Update to extent tensor variant