trokhymchuk wrote: > > icmp sgt (fptosi %x), -> fcmp ogt %x, : https://alive2.llvm.org/ce/z/isTzu2 > > You should use `%neg = icmp slt i8 %C, 0`. yep, thanks, updated the PR description: https://alive2.llvm.org/ce/z/etWGrN https://github.com/llvm/llvm-project/pull/155501