https://github.com/RKSimon commented: I'm not sure about the OkayBitcast codepath - I was just expecting some simple knownbits min/max value tests and SINT_TO_FP calls that would also handle constant folding. https://github.com/llvm/llvm-project/pull/82290