[all-commits] [llvm/llvm-project] 8b4e12: [Attributor][FIX] Consistently use the access/remo...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8b4e1287acfb3c31c235bc2d1d0da1547e168afb
      https://github.com/llvm/llvm-project/commit/8b4e1287acfb3c31c235bc2d1d0da1547e168afb
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-12 (Thu, 12 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/value-simplify-dominance.ll

  Log Message:
  -----------
  [Attributor][FIX] Consistently use the access/remote instruction

We use the actual access (=remote) instruction when reasoning about
accesses, except for one leftover use case of the local instruction.
This caused us to potentially ignore the dominating write if the read
and write were in a different function than the (stack) allocation.

Reported by @ye-luo