Note it's not quite "whatever" -- there is a constraint that vl be monotonically nonincreasing, which in some cases is the only important property. No denying this is an annoyance, though.
Yes, I was hoping the smiley would convey that "whatever" was not to be taken literally. In terms of SCEV analysis a minimum is much more helpful.
And given our experience with the vector spec so far I have no doubt that there is already a design in the wild that does something other than a minimum in that case.
-- Regards Robin
