Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [ValueTracking] Pointer is known nonnull after load/store | Danila Kutenin | 2019-12-11 | 1 | -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; NFC | Danila Kutenin | 2019-12-11 | 1 | -17/+110 |
| | | | | Tests for D71177. | ||||
* | Fix aliasing of launder.invariant.group | Piotr Padlewski | 2018-05-23 | 1 | -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 checks | Sanjay Patel | 2017-02-12 | 1 | -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; NFC | Sanjay Patel | 2016-12-31 | 1 | -0/+57 |
llvm-svn: 290790 |