[all-commits] [llvm/llvm-project] b484c7: [mlir][IR][NFC] `DominanceInfo`: Share same impl f...

[Matthias Springer via All-commits]

  Branch: refs/heads/users/matthias-springer/block_dom
  Home:   https://github.com/llvm/llvm-project
  Commit: b484c72cf7a79c7203b853725761e08c2233241c
      https://github.com/llvm/llvm-project/commit/b484c72cf7a79c7203b853725761e08c2233241c
  Author: Matthias Springer <mspringer at nvidia.com>
  Date:   2024-12-20 (Fri, 20 Dec 2024)

  Changed paths:
    M mlir/include/mlir/IR/Dominance.h
    M mlir/lib/IR/Dominance.cpp

  Log Message:
  -----------
  [mlir][IR][NFC] `DominanceInfo`: Share same impl for block/op dominance

The `properlyDominates` implementations for blocks and ops are very similar. This commit replaces them with a single implementation that operates on block iterators. That implementation can be used to implement both `properlyDominates` variants.

Note: A subsequent commit will add a new public `properlyDominates` overload that accepts block iterators. That functionality can then be used to find a valid insertion point at which a range of values is defined (by utilizing post dominance).

Depends on #115433.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications