From the discussion on #2784

I was thinking about this a little bit more on a walk. Probably to make this work you will need to add a new ArithmeticDagNode variant for a "LeftRotateBulkNode" and the RotationAnalysis would use this to represent any IR op that performs multiple rotations. Even though linear transform does more, for the scope of RotationAnalysis it would not matter.

Then also all the bulk rotation APIs could implement RotationOpInterface as well which I realized is another gap in the low-level support for RotationAnalysis

Originally posted by @j2kun in #2784 (comment)