I was thinking more in terms of canonicalizations of arith ops into affine_apply, min, max and going towards scf.for being supported by affine analyses along the lines of Steps towards generalizing vectorization in Affine - #9 by nicolasvasilache.
Any interest in starting to contribute towards these goals?