benshi001 added a comment. Thanks, I have changed according to your comments. What's more, I think for c1==1/0/-1, I can just skip and let other passes handle it. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D108607/new/ https://reviews.llvm.org/D108607