Motivated in D71389. For scalable vector type, constant folding
will be applied on ConstantExprs. It would be usefull to support
pattern matcher for ConstantExprs.
It looks like we've always matched ConstantExprs for binary operators, but not for other operations. It probably makes sense to be more consistent.
If we're going to do this, probably makes sense to change OneOps_match/TwoOps_match at the same time.
Can you add testcases for a few of the existing transforms that are changing? There are too many transforms for it to make sense to cover everything, but it makes sense to illustrate what's actually changing.