Go to file
Hal Finkel fd86317989 [BasicAA] Make better use of zext and sign information
Two related things:

 1. Fixes a bug when calculating the offset in GetLinearExpression. The code
    previously used zext to extend the offset, so negative offsets were converted
    to large positive ones.

 2. Enhance aliasGEP to deduce that, if the difference between two GEP
    allocations is positive and all the variables that govern the offset are also
    positive (i.e. the offset is strictly after the higher base pointer), then
    locations that fit in the gap between the two base pointers are NoAlias.

Patch by Nick White!

llvm-svn: 218714
2014-09-30 22:43:40 +00:00
clang InstrProf: Remove an unused member (NFC) 2014-09-30 20:21:50 +00:00
clang-tools-extra [clang-tidy] Updated documentation 2014-09-27 21:47:01 +00:00
compiler-rt [UBsan] Disable summary.cpp on Darwin. The test requires ubsan-asan, which does not work yet. 2014-09-30 13:55:44 +00:00
debuginfo-tests relax testcase for LLDB output format compatibility. 2014-03-19 23:06:18 +00:00
libclc Remove more redundant semi-colons 2014-09-18 09:23:40 +00:00
libcxx Mark module atomic as cplusplus11. 2014-09-24 04:44:54 +00:00
libcxxabi Adding ABI support for __cxa_throw_bad_array_new_length. 2014-09-11 17:26:43 +00:00
lld [PECOFF] Fix /entry option. 2014-09-30 21:39:49 +00:00
lldb Not all processes have a Dynamic Loader. Be sure to check that it exists before using it. 2014-09-30 20:33:25 +00:00
llvm [BasicAA] Make better use of zext and sign information 2014-09-30 22:43:40 +00:00
openmp Fix a crash that occurred under obscure circumstances during library shutdown 2014-09-03 11:34:33 +00:00
polly Disable runtime alias checks when we ignore aliasing. 2014-09-29 17:06:29 +00:00