[PATCH] D88165: IR: Have byref imply dereferenceable

[Matt Arsenault via Phabricator via llvm-commits]

arsenm created this revision.
arsenm added reviewers: jdoerfert, rjmccall, rnk, asbirlea.
Herald added subscribers: okura, kuter, kerbowa, hiraditya, nhaehnle, jvesely.
Herald added a project: LLVM.
arsenm requested review of this revision.
Herald added subscribers: bbn, wdng.
Herald added a reviewer: sstefan1.
Herald added a reviewer: baziotis.

The langref already states it does, but this wasn't implemented. Also
covers inalloca and preallocated. Also helps fix a dependence on
pointer element types.


https://reviews.llvm.org/D88165

Files:
  llvm/lib/IR/Value.cpp
  llvm/test/CodeGen/AMDGPU/GlobalISel/irtranslator-amdgpu_kernel.ll
  llvm/test/Transforms/Attributor/readattrs.ll
  llvm/test/Transforms/Attributor/value-simplify.ll
  llvm/test/Transforms/InstCombine/AMDGPU/memcpy-from-constant.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D88165.293784.patch
Type: text/x-patch
Size: 39255 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200923/5c32c26e/attachment.bin>