houngkoungting wrote: HI @nikic ,I've added the negative test case where the cttz operand is unrelated.Please take a look when you have time. Thanks! https://github.com/llvm/llvm-project/pull/136696