llvm.noalias - don't interfere with llvm.assume

[hfinkel]

Summary

This is part of the series started by D9375, and adds llvm.noalias to the list of intrinsics ignored when searching for relevant assumptions (it can be ignored because it can't trap, etc.).

[reames]

LGTM. Two entirely optional comments, no further review needed.

lib/Analysis/ValueTracking.cpp

401

If you're touching this code anyways, please update the name to something more clear?

406

Is it time to common these two lists?

[hfinkel]

lib/Analysis/ValueTracking.cpp

401

Suggestions for a better name?

406

Yes. I'll do that in a separate patch.

[hfinkel]

Rebased.

[majnemer]

LGTM

[hfinkel]

Rebased

[hfinkel]

Rebased.