tschuett wrote: Our documentation describes the carry-in and -out as s1. It cannot be a target dependent infinity: https://llvm.org/docs/GlobalISel/GenericOpcode.html#g-uadde-g-sadde-g-usube-g-ssube https://github.com/llvm/llvm-project/pull/116998