[all-commits] [llvm/llvm-project] 90cbc3: [DFAJumpThreading] Verify dominator tree by option...

[Hongyu Chen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 90cbc37905665151216a8b9074ac5e9a411e22c7
      https://github.com/llvm/llvm-project/commit/90cbc37905665151216a8b9074ac5e9a411e22c7
  Author: Hongyu Chen <xxs_chy at outlook.com>
  Date:   2025-10-14 (Tue, 14 Oct 2025)

  Changed paths:
    M llvm/lib/Transforms/Scalar/DFAJumpThreading.cpp
    M llvm/test/Transforms/DFAJumpThreading/dfa-constant-propagation.ll
    M llvm/test/Transforms/DFAJumpThreading/dfa-jump-threading-analysis.ll
    M llvm/test/Transforms/DFAJumpThreading/dfa-jump-threading-transform.ll
    M llvm/test/Transforms/DFAJumpThreading/dfa-unfold-select.ll
    M llvm/test/Transforms/DFAJumpThreading/equivalent-states.ll
    M llvm/test/Transforms/DFAJumpThreading/single_succ_switch.ll

  Log Message:
  -----------
  [DFAJumpThreading] Verify dominator tree by option (#163334)

Note that the test coverage misses the dominator tree verification. This
patch controls verification by option, instead of using the
EXPENSIVE_CHECKS macro.



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