RKSimon wrote: > does this also work for `(clmul x, 1) -> x` etc? If not, it probably should. Its mentioned in the summary that it does and there is a test for it as well in clmul_i32_one https://github.com/llvm/llvm-project/pull/184049