[all-commits] [llvm/llvm-project] 1bc58a: Extend `getBackwardSlice` to track values captured...

[Ian Wood via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1bc58a258e2edb6221009a26d0f0037eda6c7c47
      https://github.com/llvm/llvm-project/commit/1bc58a258e2edb6221009a26d0f0037eda6c7c47
  Author: Ian Wood <75152913+IanWood1 at users.noreply.github.com>
  Date:   2024-10-31 (Thu, 31 Oct 2024)

  Changed paths:
    M mlir/include/mlir/Analysis/SliceAnalysis.h
    M mlir/lib/Analysis/SliceAnalysis.cpp
    M mlir/test/IR/slice.mlir
    M mlir/test/lib/IR/TestSlicing.cpp

  Log Message:
  -----------
  Extend `getBackwardSlice` to track values captured from above (#113478)

This change modifies `getBackwardSlice` to track values captures by the
regions of each operation that it traverses. Ignoring values captured
from a parent region may lead to an incomplete program slice. However,
there seems to be logic that depends on not traversing captured values,
so this change preserves the default behavior by hiding this logic
behind the `omitUsesFromAbove` flag.



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