[mlir] Add convenience builder for arith.addui_carry

[kuhar]

Summary

This is so that future conversions do not have to figure out how to
create matching boolean types for the second result.

mlir/include/mlir/Dialect/Arithmetic/IR/ArithmeticOps.td

def Arith_AddUICarryOp : Arith_Op<"addui_carry", [Commutative,
   }];
 
   let arguments = (ins SignlessIntegerLike:$lhs, SignlessIntegerLike:$rhs);
   let results = (outs SignlessIntegerLike:$sum, BoolLike:$carry);
   let assemblyFormat = [{
     $lhs `,` $rhs attr-dict `:` type($sum) `,` type($carry)
   }];
 
+  let builders = [
+    OpBuilder<(ins "Value":$lhs, "Value":$rhs), [{
+      build($_builder, $_state, lhs.getType(), ::getI1SameShape(lhs.getType()),
+            lhs, rhs);
+    }]>
+  ];
+
   let hasFolder = 1;
 
   let extraClassDeclaration = [{
     ::llvm::Optional<::llvm::SmallVector<int64_t, 4>> getShapeForUnroll();
   }];
 }
 
 //===----------------------------------------------------------------------===//