HomePhabricator

[Attributor] Selectively look at the callee even when there are operand bundles

Authored by jdoerfert on Sep 4 2020, 9:14 AM.

Description

[Attributor] Selectively look at the callee even when there are operand bundles

While operand bundles carry unpredictable semantics, we know some of
them and can therefore "ignore" them. In this case we allow to look at
the declaration of llvm.assume when asked for the attributes at a call
site. The assume operand bundles we have do not invalidate the
declaration attributes.

We cannot test this in isolation because the llvm.assume attributes are
determined by the parser. However, a follow up patch will provide test
coverage.

Details

Committed
jdoerfertSep 8 2020, 10:52 PM
Parents
rG2600c9e2efce: [Attributor] Re-enable a run line in noalias.ll
Branches
Unknown
Tags
Unknown