[PATCH] D110745: Redefine deref(N) attribute family as point-in-time semantics (aka deref-at-point)

[Dávid Bolvanský via Phabricator via cfe-commits]

xbolva00 added a comment.

This really needs to be properly benchmarked.



================
Comment at: llvm/test/Transforms/InstCombine/AMDGPU/memcpy-from-constant.ll:9
 
 ; Simple memcpy to alloca from constant address space argument.
 define i8 @memcpy_constant_arg_ptr_to_alloca([32 x i8] addrspace(4)* noalias readonly align 4 dereferenceable(32) %arg, i32 %idx) {
----------------
No longer happens..


================
Comment at: llvm/test/Transforms/LICM/hoist-deref-load.ll:419
 ; and we want to hoist the load of %c out of the loop. This can be done only
 ; because the dereferenceable meatdata on the c = *cptr load.
 define void @test7(i32* noalias %a, i32* %b, i32** %cptr, i32 %n) #0 {
----------------
Regression in that C code?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D110745/new/

https://reviews.llvm.org/D110745