https://github.com/RKSimon requested changes to this pull request. Please branch off the KnownBits.cpp changes into its own PR Also, still waiting for test cases :) https://github.com/llvm/llvm-project/pull/86452