AZero13 wrote: Actually, opt will turn all the testcases to the min-max form anyway, so perhaps the whole manual transform is not needed to begin with? @davemgreen https://alive2.llvm.org/ce/z/mCvXHL https://github.com/llvm/llvm-project/pull/145441