llvm.noalias patches

[Hal Finkel via llvm-commits]

Hi everyone,

After a year's hiatus, I've resumed working on the llvm.noalias patches. In case you don't recall the motivation, and would like to, please see: http://lists.llvm.org/pipermail/llvm-dev/2014-November/078755.html -- I've now rebased and updated the patches in response to the last round of review comments (embarrassingly, from last July). There are currently 19 patches in the set, mostly small. These patches should apply bottom-up (starting from the bottom of the list). I've put a (*) next to the non-trivial ones.

Clang:

    llvm.noalias - Clang CodeGen - check restrict var map only for restrict-qualified lvalues
    http://reviews.llvm.org/D22189

    llvm.noalias - Clang CodeGen for local restrict-qualified pointers (*)
    http://reviews.llvm.org/D9403

LLVM:

    llvm.noalias - don't look through it to simplify GEPs
    http://reviews.llvm.org/D22184

    llvm.noalias - isPointerDereferenceable should look through them
    http://reviews.llvm.org/D9384

    llvm.noalias - don't prevent loop vectorization
    http://reviews.llvm.org/D9382

    llvm.noalias - SCEV can look through it
    http://reviews.llvm.org/D9381

    llvm.noalias - Use noalias intrinsics when inlining (and update them when cloning metadata) (*)
    http://reviews.llvm.org/D9400

    llvm.noalias - Add IRBuilder support
    http://reviews.llvm.org/D9378

    llvm.noalias - Pointer comparison folding should look through them
    http://reviews.llvm.org/D9387

    llvm.noalias - computeKnownBits should look through them
    http://reviews.llvm.org/D9397

    llvm.noalias - CodeGen support
    http://reviews.llvm.org/D9380

    llvm.noalias - CaptureTracking needs to look through them
    http://reviews.llvm.org/D9386

    llvm.noalias - handling of dead intrinsics
    http://reviews.llvm.org/D9376

    llvm.noalias - don't interfere with llvm.assume
    http://reviews.llvm.org/D9379

    llvm.noalias - don't block EarlyCSE
    http://reviews.llvm.org/D9377

    llvm.noalias - AA impl (*)
    http://reviews.llvm.org/D9401

    llvm.noalias - look through with basicaa
    http://reviews.llvm.org/D9383

    llvm.noalias - GetUnderlyingObject intrinsic collection (*)
    http://reviews.llvm.org/D9398

    llvm.noalias - add the intrinsic (*)
    http://reviews.llvm.org/D9375

Thanks again,
Hal

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory