https://llvm.org/bugs/show_bug.cgi?id=27498

whitequark <whitequ...@whitequark.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|DUPLICATE                   |---

--- Comment #2 from whitequark <whitequ...@whitequark.org> ---
Sorry but I am reopening this. Specifically because the generated IR violates
LLVM's own invariats! To quote LangRef for @llvm.memcpy: "The ‘llvm.memcpy.*‘
intrinsics copy a block of memory from the source location to the destination
location, which are not allowed to overlap."
http://llvm.org/docs/LangRef.html#id407

It might be that the fix is adjusting the contract of @llvm.memcpy--it is not
my call. But I would say that the current self-contradictory behavior is
indefensible.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to