bcm5719-llvm/llvm/test/Transforms/InstSimplify, branch meklort-10.0.1

[InstSimplify] add tests for vector select; NFC

2020-01-14T13:41:06+00:00

[InstSimplify] move tests for select from InstCombine; NFC

2020-01-13T14:13:21+00:00

InstCombine has transforms that would enable these simplifications in an indirect way, but those transforms are unsafe and likely to be removed.

[InstSimplify] select Cond, true, false --> Cond

2020-01-09T14:04:20+00:00

This is step 1 of damage control assuming that we need to remove several over-reaching folds for select-of-booleans because they can cause miscompiles as shown in D72396. The scalar case seems obviously safe: https://rise4fun.com/Alive/jSj And I don't think there's any danger for vectors either - if the condition is poisoned, then the select must be poisoned too, so undef elements don't make any difference. Differential Revision: https://reviews.llvm.org/D72412

[InstSimplify] add tests for select of true/false; NFC

2020-01-08T21:22:48+00:00

[ValueTracking] isKnownNonZero() should take non-null-ness assumptions into consideration (PR43267)

2019-12-19T22:47:57+00:00

Summary: It is pretty common to assume that something is not zero. Even optimizer itself sometimes emits such assumptions (e.g. `addAssumeNonNull()` in `PromoteMemoryToRegister.cpp`). But we currently don't deal with such assumptions :) The only way `isKnownNonZero()` handles assumptions is by calling `computeKnownBits()` which calls `computeKnownBitsFromAssume()`. But `x != 0` does not tell us anything about set bits, it only says that there are *some* set bits. So naturally, `KnownBits` does not get populated, and we fail to make use of this assumption. I propose to deal with this special case by special-casing it via adding a `isKnownNonZeroFromAssume()` that returns boolean when there is an applicable assumption. While there, we also deal with other predicates, mainly if the comparison is with constant. Fixes [[ https://bugs.llvm.org/show_bug.cgi?id=43267 | PR43267 ]]. Differential Revision: https://reviews.llvm.org/D71660

[NFC][InstCombine] Add some more non-zero assumption variants (D71660)

2019-12-19T18:08:54+00:00

https://rise4fun.com/Alive/6yR

[InstSimplify] fold splat of inserted constant to vector constant

2019-12-15T14:32:03+00:00

shuf (inselt ?, C, IndexC), undef, --> This is another missing shuffle fold pattern uncovered by the shuffle correctness fix from D70246. The problem was visible in the post-commit thread example, but we managed to overcome the limitation for that particular case with D71220. This is something like the inverse of the previous fix - there we didn't demand the inserted scalar, and here we are only demanding an inserted scalar. Differential Revision: https://reviews.llvm.org/D71488

[InstSimplify] improve test coverage for insert+splat; NFC

2019-12-13T19:03:54+00:00

[InstSimplify] add tests for insert constant + splat; NFC

2019-12-10T22:16:58+00:00

[ValueTracking] Allow context-sensitive nullness check for non-pointers

2019-12-09T21:15:52+00:00

Summary: Same as D60846 and D69571 but with a fix for the problem encountered after them. Both times it was a missing context adjustment in the handling of PHI nodes. The reproducers created from the bugs that caused the old commits to be reverted are included. Reviewers: nikic, nlopes, mkazantsev, spatel, dlrobertson, uabelho, hakzsam, hans Subscribers: hiraditya, bollu, asbirlea, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D71181