[AutoBump] Merge with fixes of 693ba938 (Jun 17) (10) (needs LLVM bump Jun 11)

[cferry-AMD]

Needs Xilinx/llvm-project#335

commit 0fb216fb2fbb49c1fe90c1c3267873a100b1c356
Author: Ramkumar Ramachandra <[email protected]>
Date:   Tue Jun 11 23:00:02 2024 +0100

    mlir/MathExtras: consolidate with llvm/MathExtras (#95087)
    
    This patch is part of a project to move the Presburger library into
    LLVM.

Original ONNX-MLIR wants commit c012e487b7:

commit c012e487b7246239c31bd378ab074fb110631186
Author: Johannes de Fine Licht <[email protected]>
Date:   Wed Jun 12 08:29:02 2024 +0200

    [MLIR][LLVM] Promote noinline/alwaysinline/optnone out of passthrough (#95110)
    
    The `noinline`, `alwaysinline`, and `optnone` function attributes are
    already being used in MLIR code for the LLVM inlining interface and in
    some SPIR-V lowering, despite residing in the passthrough dictionary,
    which is intended as exactly that -- a pass through MLIR -- and not to
    model any actual semantics being handled in MLIR itself.
    
    Promote the `noinline`, `alwaysinline`, and `optnone` attributes out of
    the passthrough dictionary on `llvm.func` into first class unit
    attributes, updating the import and export accordingly.
    
    Add a verifier to `llvm.func` that checks that these attributes are not
    set in an incompatible way according to the LLVM specification.
    
    Update the LLVM dialect inlining interface to use the first class
    attributes to check whether inlining is possible.

[cferry-AMD]

Marking as draft to back off from working on this until we've got the LLVM bump