Nikita Popov dd599e92a6 [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.

2024-09-19 14:24:55 +02:00

369 KiB

Raw Blame History

View Raw