[all-commits] [llvm/llvm-project] 5ab658: [mlir:bytecode] Fix bytecode lazy loading for ops ...

[River Riddle via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5ab6589551c1a4b81458c766266374a5d4d2aaca
      https://github.com/llvm/llvm-project/commit/5ab6589551c1a4b81458c766266374a5d4d2aaca
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2023-07-25 (Tue, 25 Jul 2023)

  Changed paths:
    M mlir/lib/Bytecode/Writer/BytecodeWriter.cpp
    M mlir/test/Bytecode/bytecode-lazy-loading.mlir
    M mlir/test/lib/Dialect/Test/TestOps.td

  Log Message:
  -----------
  [mlir:bytecode] Fix bytecode lazy loading for ops with multiple regions

We currently encode each region as a separate section, but
the reader expects all of the regions to be in the same section.
This updates the writer to match the behavior that the reader
expects.

Differential Revision: https://reviews.llvm.org/D156198


  Commit: 4af01bf95628f8ec674277fd1610eac172598cea
      https://github.com/llvm/llvm-project/commit/4af01bf95628f8ec674277fd1610eac172598cea
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2023-07-25 (Tue, 25 Jul 2023)

  Changed paths:
    M mlir/lib/Bytecode/Writer/BytecodeWriter.cpp
    M mlir/lib/Bytecode/Writer/IRNumbering.cpp
    M mlir/lib/Bytecode/Writer/IRNumbering.h
    M mlir/test/Bytecode/bytecode-lazy-loading.mlir

  Log Message:
  -----------
  [mlir:bytecode] Support lazy loading dynamically isolated regions

We currently only support lazy loading for regions that
statically implement the IsolatedFromAbove trait, but that
limits the amount of operations that can be lazily loaded. This review
lifts that restriction by computing which operations have isolated
regions when numbering, allowing any operation to be lazily loaded
as long as it doesn't use values defined above.

Differential Revision: https://reviews.llvm.org/D156199


Compare: https://github.com/llvm/llvm-project/compare/a809720102fa...4af01bf95628