False negative due to possibly incomplete handling of `memory(argmem: ...)`

[antoniofrighetto]

declare void @f(ptr)

define void @src(ptr %a) {
entry:
  store i32 1, ptr %a, align 4
  call void @f(ptr %a) memory(argmem: readwrite) willreturn
  ret void
}
=>
define void @tgt(ptr %a) {
entry:
  ret void
}
Transformation seems to be correct!

Alive2: https://alive2.llvm.org/ce/z/6oLHgt.