search for: launder_invariant_group

....llvm.org/rL331587> taught CT the "alias" semantic of launder.invariant.group calls. Because BasicAA was not aware of this change, it lead to incorrect AA results. "BasicAA still considered every call instruction as a possible escape source and hence concluded that the result of a launder_invariant_group call cannot alias any local non-escaping value." The first attempt to fix it fixed BasicAA (rL332466<https://reviews.llvm.org/rL332466>), but apparently there were similar issues in other parts. These were fixed by rL333070<https://reviews.llvm.org/rL333070>. Another example is ou...