jayfoad wrote: This doesn't look right. fshl and fshr interpret the shift amount as modulo the bitwidth of op0 (or op1), so there is no bug here _unless_ you are worried about non-power-of-two bitwidths. https://github.com/llvm/llvm-project/pull/140058