projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6626d1b) | patch
[Attributor] Mark a non-defined `null` pointer as `noalias`
authorJohannes Doerfert <johannes@jdoerfert.de>
Tue, 28 Jan 2020 04:19:11 +0000 (22:19 -0600)
committerJohannes Doerfert <johannes@jdoerfert.de>
Wed, 29 Jan 2020 05:09:37 +0000 (23:09 -0600)
commit24ae77eebffbf14ece11061cd4365f056fdaf426
treef44b337c628d88bc68a44e3f59f472ab373f23c3tree | snapshot
parent6626d1b7c0ef5e3f7a60994bd4efa6fd0d0ed672commit | diff
[Attributor] Mark a non-defined `null` pointer as `noalias`

If `null` is not defined we cannot access it, hence the pointer is
`noalias`. While this is not helpful on it's own it simplifies later
deductions that can skip over already known `noalias` pointers in
certain situations.
llvm/lib/Transforms/IPO/Attributor.cpp diff | blob | history
llvm/test/Transforms/Attributor/value-simplify.ll diff | blob | history
Domain: System / Toolchain;