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.).
LGTM. Two entirely optional comments, no further review needed.
If you're touching this code anyways, please update the name to something more clear?
Is it time to common these two lists?
Suggestions for a better name?
Yes. I'll do that in a separate patch.