[MLIR] LLVM dialect overflow intrinsics lack the `i1` result type

[Sirraide]

The overflow intrinsics in the LLVM dialect (LLVM_SAddWithOverflowOp and friends) are defined to have only a single integer result, even though the LLVM IR intrinsics they correspond to return 2 values (or rather, an aggregate with two fields): the actual integer result and an i1 that signals whether overflow happened.

[llvmbot]

@llvm/issue-subscribers-mlir

Author: None (Sirraide)

The overflow intrinsics in the LLVM dialect (`LLVM_SAddWithOverflowOp` and friends) are defined to have only a single integer result, even though the LLVM IR intrinsics they correspond to return 2 values (or rather, an aggregate with two fields): the actual integer result and an `i1` that signals whether overflow happened.

[llvmbot]

@llvm/issue-subscribers-mlir-llvm

Author: None (Sirraide)

The overflow intrinsics in the LLVM dialect (`LLVM_SAddWithOverflowOp` and friends) are defined to have only a single integer result, even though the LLVM IR intrinsics they correspond to return 2 values (or rather, an aggregate with two fields): the actual integer result and an `i1` that signals whether overflow happened.