llvm-project/polly/lib/CodeGen
Michael Kruse 271deb17b0 [CodeGen] Fix noalias annotations for memcpy/memmove.
Memory transfer instructions take two pointers. It is not defined to
which of those a noalias annotation applies. To ensure correctness,
do not add noalias annotations to memcpy/memmove instructions anymore.

The caused a miscompile with test-suite's MultiSource/Applications/obsequi.
Since r321138, the MemCpyOpt pass would remove memcpy/memmove calls if
known to copy uninitialized memory. In that case, it was initialized
by another memcpy, but the annotation for the target pointer said
it would not alias. The annotation was actually meant for the source
pointer, which was was an alloca and could not alias with the target
pointer.

llvm-svn: 321371
2017-12-22 17:44:53 +00:00
..
BlockGenerators.cpp Run polly-update-format. NFC. 2017-11-21 19:25:26 +00:00
CodeGeneration.cpp Check whether IslAstInfo and DependenceInfo were computed for the same Scop. 2017-09-21 00:01:13 +00:00
CodegenCleanup.cpp [CodegenCleanup] Update cleanup passes according (old) PassManagerBuilder. 2017-09-09 21:43:49 +00:00
IRBuilder.cpp [CodeGen] Fix noalias annotations for memcpy/memmove. 2017-12-22 17:44:53 +00:00
IslAst.cpp Run polly-update-format. NFC. 2017-11-21 19:25:26 +00:00
IslExprBuilder.cpp [IslExprBuilder] Do not generate RTC with more than 64 bit 2017-09-23 15:32:07 +00:00
IslNodeBuilder.cpp [CodeGen] Detect empty domain because of parameters context. 2017-11-21 22:11:10 +00:00
LoopGenerators.cpp Fix the build after r314375 2017-09-28 12:20:24 +00:00
ManagedMemoryRewrite.cpp [ManagedMemoryRewrite] Use `unit64_t` to store size, not `int`. 2017-08-22 09:30:37 +00:00
PPCGCodeGeneration.cpp Run polly-update-format. NFC. 2017-11-21 19:25:26 +00:00
PerfMonitor.cpp Fix a lot of typos. NFC. 2017-06-08 12:06:15 +00:00
RuntimeDebugBuilder.cpp Update for alloca construction changes 2017-04-11 00:12:58 +00:00
Utils.cpp [PPCGCodeGeneration] Fix runtime check adjustments since they make assumptions about BB layout. 2017-07-14 10:00:25 +00:00