[all-commits] [llvm/llvm-project] 12ffa9: [ConstraintElimination] Add test case for PR54217.

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 12ffa9c2aa3ec374fc8b7a7c158144b24432c9b9
      https://github.com/llvm/llvm-project/commit/12ffa9c2aa3ec374fc8b7a7c158144b24432c9b9
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-03-07 (Mon, 07 Mar 2022)

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

  Log Message:
  -----------
  [ConstraintElimination] Add test case for PR54217.

Adds test case for https://github.com/llvm/llvm-project/issues/54217.


  Commit: c60cdb44f7ecb4b02edf8b3ada707e8a74e79211
      https://github.com/llvm/llvm-project/commit/c60cdb44f7ecb4b02edf8b3ada707e8a74e79211
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-03-07 (Mon, 07 Mar 2022)

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

  Log Message:
  -----------
  [ConstraintElimination] Only add cond from assume to succs if valid.

Add missing CanAdd check before adding a condition from an assume
to the successor blocks. When adding information from assume to
successor blocks we need to perform the same CanAdd as we do for adding
a condition from a branch.

Fixes https://github.com/llvm/llvm-project/issues/54217


Compare: https://github.com/llvm/llvm-project/compare/ebd9f44584f9...c60cdb44f7ec