[all-commits] [llvm/llvm-project] 93e51f: [Attributor] AAPointerInfo can model non-escaping ...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 93e51fa444cc87caca00122817c64e1fcc366eeb
      https://github.com/llvm/llvm-project/commit/93e51fa444cc87caca00122817c64e1fcc366eeb
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2022-10-05 (Wed, 05 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/heap_to_stack_gpu.ll
    M llvm/test/Transforms/Attributor/value-simplify-pointer-info-struct.ll

  Log Message:
  -----------
  [Attributor] AAPointerInfo can model non-escaping call uses

If a call base use will not capture a pointer we can approximate the
effects. This is important especially for readnone/only uses. Even
may-write uses are not too bad with reachability in place. Capturing
is the problem as we loose track of update sides.