<div dir="ltr"><div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 25 Aug 2020, 10:53 Florian Hahn via cfe-dev, <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
It appears that Clang generates calls to `llvm.memcpy` with potentially overlapping arguments in some cases.<br>
<br>
For the snippet below<br>
<br>
struct S<br>
{<br>
  char s[25];<br>
};<br>
<br>
struct S *p;<br>
<br>
void test2() {<br>
 ...<br>
  foo (&b, 1);<br>
  b = a;<br>
  b = *p;<br>
...<br>
}<br>
<br>
<br>
Clang uses `llvm.memcpy` to copy the struct:<br>
<br>
  call void @foo(%struct.S* %2, i32 1)<br>
  %7 = bitcast %struct.S* %2 to i8*<br>
  %8 = bitcast %struct.S* %1 to i8*<br>
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 1 %7, i8* align 1 %8, i64 25, i1 false)<br>
  %9 = load %struct.S*, %struct.S** @p, align 8<br>
  %10 = bitcast %struct.S* %2 to i8*<br>
  %11 = bitcast %struct.S* %9 to i8*<br>
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 1 %10, i8* align 1 %11, i64 25, i1 false)<br>
<br>
<br>
In the C example, `foo` could set `p = &b` and then `b = *p` would just copy the contents from `b` into `b`. This means that the the arguments to the second llvm.memcpy call may overlap, which seems not allowed according to the current version of the LangRef (<a href="https://llvm.org/docs/LangRef.html#llvm-memcpy-intrinsic" rel="noreferrer noreferrer" target="_blank">https://llvm.org/docs/LangRef.html#llvm-memcpy-intrinsic</a>). This is problematic, because the fact is used in BasicAliasAnalysis for example (<a href="https://github.com/llvm/llvm-project/blob/master/llvm/lib/Analysis/BasicAliasAnalysis.cpp#L982" rel="noreferrer noreferrer" target="_blank">https://github.com/llvm/llvm-project/blob/master/llvm/lib/Analysis/BasicAliasAnalysis.cpp#L982</a>).<br>
<br>
The full, build-able example can be found here: <a href="https://godbolt.org/z/PY1vKq" rel="noreferrer noreferrer" target="_blank">https://godbolt.org/z/PY1vKq</a><br>
<br>
I might be missing something, but it appears that Clang should not create call to `llvm.memcpy` unless it can guarantee the arguments cannot overlap. I am not sure what the best alternative to `llvm.memcpy` would be in case the arguments overlap.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">To be clear: the concern here is that the source and destination could be equal, not that they might partially overlap (which I'm pretty sure the relevant language rules disallow)?</div><div dir="auto"><br></div><div dir="auto">This seems reminiscent of the issue that memcpy is formally undefined if given a size of zero and a null pointer argument, for which we changed the rules for @llvm.memcpy to define the behaviour in that case. Can we do the same here (or at least add another LLVM intrinsic that permits exact overlap, but not partial overlap)? Note that both GCC and Clang have pretty much always generated a memcpy for cases such as:</div><div dir="auto"><br></div><div dir="auto">struct A { char buff[999999]; };</div><div dir="auto">void f(struct A *p, struct A *q) { *p = *q; }<br></div><div dir="auto"><br></div><div>in both C and C++ modes, and MSVC and ICC do roughly the same thing when optimizing (though in ICC's case it invokes an intel-specific function, and who knows if that explicitly defines the behavior for exact overlap), so one would imagine that if there are any memcpy implementations for which memcpy(p, p, n) doesn't work, we'd have seen program misbehavior by now. As a consequence, as with the memcpy(0, 0, 0) case, LLVM can probably lower a memcpy-with-exact-overlap-permitted to a memcpy libcall on ~all targets.</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Cheers,<br>
Florian<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" rel="noreferrer" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div></div></div>
</div>