[all-commits] [llvm/llvm-project] dce5bf: [ValueTracking] AllowEphemerals for alignment assu...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dce5bf8efc13896ebf0ababfda00393eaa5cc99d
      https://github.com/llvm/llvm-project/commit/dce5bf8efc13896ebf0ababfda00393eaa5cc99d
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-10-03 (Thu, 03 Oct 2024)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll

  Log Message:
  -----------
  [ValueTracking] AllowEphemerals for alignment assumptions. (#108632)

Allow AllowEphemerals in isValidAssumeForContext, as the CxtI might
be the producer of the pointer in the bundle. At the moment, align
assumptions aren't optimized away.

This allows using the assumption in the computeKnownBits call in
getConstantMultipleImpl.

We could extend the computeKnownBits API to allow callers to specify if
ephemerals are allowed, if the info from computeKnownBitsFromContext is
used to remove alignment assumptions.

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



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