[clang] [llvm] [Loads] Check context instruction for context-sensitive derefability (PR #109277)

Danila Malyutin via llvm-commits llvm-commits at lists.llvm.org
Mon Dec 9 07:56:47 PST 2024


danilaml wrote:

@nikic also, another situation the current impl doesn't seem to account for is IR like
```llvm
bb1:
  %p1 = load dereferenceable(N)
...
bb2:
  %p2 = load dereferenceable(M)
...
common:
  %p = phi ptr [%p1, %bb1], [%p2, %bb2]
  %res = load i32 %p ; <-- dereferenceable(min(N,M)) at least
```

https://github.com/llvm/llvm-project/pull/109277


More information about the llvm-commits mailing list