andjo403 wrote: the lit tests feels a bit fragile as multiple of the functions is called in many of the cases eg for the icmp test if the isKnownNonZero and computeConstantRange is removed the test will still pass du e to the ComputeKnownBits https://github.com/llvm/llvm-project/pull/85143