[mlir] Add basic block arguments

This patch adds support for basic block arguments including parsing and printing.

In doing so noticed that `ssa-id-and-type` is undefined in the MLIR spec; suggested an implementation in the spec doc.

PiperOrigin-RevId: 205593369
10 files changed
tree: 53498eb51deeaffb8586f950538dc16430325dcf
  1. include/
  2. lib/
  3. test/
  4. tools/
  5. LICENSE.TXT