[all-commits] [llvm/llvm-project] d65a70: OpaquePtr: Add helpers for sret to mirror byval

[Matt Arsenault via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: d65a7003c435de22b8e30dca292160fea822d887
      https://github.com/llvm/llvm-project/commit/d65a7003c435de22b8e30dca292160fea822d887
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2020-09-24 (Thu, 24 Sep 2020)

  Changed paths:
    M llvm/include/llvm/IR/Argument.h
    M llvm/include/llvm/IR/Function.h
    M llvm/lib/Analysis/Lint.cpp
    M llvm/lib/IR/Function.cpp
    M llvm/lib/IR/Value.cpp
    M llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp
    M llvm/test/CodeGen/X86/vectorcall.ll

  Log Message:
  -----------
  OpaquePtr: Add helpers for sret to mirror byval

Sret should really have a type parameter like byval does.


  Commit: dc08185ca797a3bcd7721a0d55db876a6cc4de10
      https://github.com/llvm/llvm-project/commit/dc08185ca797a3bcd7721a0d55db876a6cc4de10
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2020-09-24 (Thu, 24 Sep 2020)

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

  Log Message:
  -----------
  IR: Have byref imply dereferenceable

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.


Compare: https://github.com/llvm/llvm-project/compare/8f72717ebe27...dc08185ca797