https://github.com/RKSimon commented: SGTM although I'd prefer we start just with bitcast and then add trunc/sext/zext later patches in case there's a flaw in the FMF handling that I've missed. https://github.com/llvm/llvm-project/pull/155216