[all-commits] [llvm/llvm-project] ea4ce1: [ConstraintElim] Use disjoint flag for decompositi...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ea4ce16da2c7105c72ec8a3f265d5949febe6718
      https://github.com/llvm/llvm-project/commit/ea4ce16da2c7105c72ec8a3f265d5949febe6718
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-06 (Wed, 06 Dec 2023)

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

  Log Message:
  -----------
  [ConstraintElim] Use disjoint flag for decomposition (#74478)

Use the or disjoint flag for decomposing or into add, which will handle
cases that haveNoCommonBitsSet() may not be able to reinfer (e.g.
because they require context-sensitive facts, which the call here does
not use.)