[all-commits] [llvm/llvm-project] 470a97: [ConstraintElimination] Add missing dominance check.

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 470a975c84f435303823a302871de4dfe72c5b10
      https://github.com/llvm/llvm-project/commit/470a975c84f435303823a302871de4dfe72c5b10
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-03-16 (Wed, 16 Mar 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/assumes.ll

  Log Message:
  -----------
  [ConstraintElimination] Add missing dominance check.

When dealing with an unconditional branch, the condition can only added
if BB properly dominates the successor.