AlexMaclean wrote: https://alive2.llvm.org/ce/z/Qsf6Y9 I think there is a way to express these conversions as comparisons even if the current approach isn't right. https://github.com/llvm/llvm-project/pull/200718