search for: rl332466

...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 our downstream optimization which does some sort of scalar replacement of non-escaping allocations. It rewri...