ParkHanbum wrote: I'm not good enough. sorry for waste time. I wonder if SpecialKnownBits related codes are acceptable. if then I'll create new PR for only contains SpecialKnownBits related. https://github.com/llvm/llvm-project/pull/91762