summaryrefslogtreecommitdiffstats
path: root/llvm/test/Analysis/ValueTracking/known-nonnull-at.ll
Commit message (Collapse)AuthorAgeFilesLines
* [ValueTracking] Pointer is known nonnull after load/storeDanila Kutenin2019-12-111-8/+3
| | | | | | | | | | | If the pointer was loaded/stored before the null check, the check is redundant and can be removed. For now the optimizers do not remove the nullptr check, see https://gcc.godbolt.org/z/H2r5GG. The patch allows to use more nonnull constraints. Also, it found one more optimization in some PowerPC test. This is my first llvm review, I am free to any comments. Differential Revision: https://reviews.llvm.org/D71177
* [ValueTracking] Add tests for non-null check after load/store; NFCDanila Kutenin2019-12-111-17/+110
| | | | Tests for D71177.
* Fix aliasing of launder.invariant.groupPiotr Padlewski2018-05-231-0/+21
| | | | | | | | | | | | | | | | | | | Summary: Patch for capture tracking broke bootstrap of clang with -fstict-vtable-pointers which resulted in debbugging nightmare. It was fixed https://reviews.llvm.org/D46900 but as it turned out, there were other parts like inliner (computing of noalias metadata) that I found after bootstraping with enabled assertions. Reviewers: hfinkel, rsmith, chandlerc, amharc, kuhar Subscribers: JDevlieghere, eraman, llvm-commits, hiraditya Differential Revision: https://reviews.llvm.org/D47088 llvm-svn: 333070
* [ValueTracking] use nonnull argument attribute to eliminate null checksSanjay Patel2017-02-121-7/+50
| | | | | | | | | | | Enhancing value tracking's analysis of null-ness was suggested in D27855, so here's a first attempt at that. This is part of solving: https://llvm.org/bugs/show_bug.cgi?id=28430 Differential Revision: https://reviews.llvm.org/D28204 llvm-svn: 294897
* [ValueTracking] add tests for known-nonnull-at; NFCSanjay Patel2016-12-311-0/+57
llvm-svn: 290790
OpenPOWER on IntegriCloud