topperc wrote: Can we update comments to show the `add` cases too? For example, ``` // fold (or (shl x, (*ext y)), // (srl x, (*ext (sub 32, y)))) -> // (rotl x, y) or (rotr x, (sub 32, y)) ``` https://github.com/llvm/llvm-project/pull/125612