[all-commits] [llvm/llvm-project] bb4c8f: [SCEV] Don't add predicates already implied by Uni...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bb4c8f92191e7d9aed6c760dac6b8c12396c4d77
      https://github.com/llvm/llvm-project/commit/bb4c8f92191e7d9aed6c760dac6b8c12396c4d77
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-05-26 (Sun, 26 May 2024)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Transforms/LoopVectorize/scev-predicate-reasoning.ll

  Log Message:
  -----------
  [SCEV] Don't add predicates already implied by UnionPredicate. (#93397)

Update SCEVUnionPredicate::add to only add predicates from another union
predicate, if they aren't alread implied by the union predicate we add
them to.

Note that there exists logic elsewhere to avoid adding predicates if
they are already implied, but this logic misses cases when only some
predicates of a union predicate are implied by the current set of
predicates.

PR: https://github.com/llvm/llvm-project/pull/93397



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