[all-commits] [llvm/llvm-project] dd599e: [ValueTracking] Support assume in entry block with...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dd599e92a6e5a1abc55ac694799102410c0d18c0
      https://github.com/llvm/llvm-project/commit/dd599e92a6e5a1abc55ac694799102410c0d18c0
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-09-19 (Thu, 19 Sep 2024)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Util/assume-builder.ll

  Log Message:
  -----------
  [ValueTracking] Support assume in entry block without DT (#109264)

isValidAssumeForContext() handles a couple of trivial cases even if no
dominator tree is available. This adds one more for the case where there
is an assume in the entry block, and a use in some other block. The
entry block always dominates all blocks.

As having context instruction but not having DT is fairly rare, there is
not much impact. Only test change is in assume-builder.ll, where less
redundant assumes are generated. I've found having this special case is
useful for an upcoming change though.



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