llvm-project

dd599e92 - [ValueTracking] Support assume in entry block without DT (#109264)

[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.