[all-commits] [llvm/llvm-project] 077584: [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: 077584f05f79b2e358808afbc4afb5e4aab14dd7
      https://github.com/llvm/llvm-project/commit/077584f05f79b2e358808afbc4afb5e4aab14dd7
  Author: Matthias Springer <mspringer at nvidia.com>
  Date:   2025-01-03 (Fri, 03 Jan 2025)

  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