https://github.com/DanielCChen approved this pull request. The patch fixed the reducer. However, the original test case still fail at a later code. I will open a new issue soon. Thanks! https://github.com/llvm/llvm-project/pull/142465