diff options
| author | Craig Topper <craig.topper@intel.com> | 2017-08-07 18:10:39 +0000 |
|---|---|---|
| committer | Craig Topper <craig.topper@intel.com> | 2017-08-07 18:10:39 +0000 |
| commit | 7091a743b41d531ffcce207cca2439b3567271a2 (patch) | |
| tree | 63cfaec53fbcaa29d2fc5f1ec72defb85205426b /llvm/test/CodeGen/AMDGPU/empty-function.ll | |
| parent | b0d208a0abdfedf12dd981453620a7a01d3e076f (diff) | |
| download | bcm5719-llvm-7091a743b41d531ffcce207cca2439b3567271a2.tar.gz bcm5719-llvm-7091a743b41d531ffcce207cca2439b3567271a2.zip | |
[InstCombine] Support (X | C1) & C2 --> (X & C2^(C1&C2)) | (C1&C2) for vector splats
Note the original code I deleted incorrectly listed this as (X | C1) & C2 --> (X & C2^(C1&C2)) | C1 Which is only valid if C1 is a subset of C2. This relied on SimplifyDemandedBits to remove any extra bits from C1 before we got to that code.
My new implementation avoids relying on that behavior so that it can be naively verified with alive.
Differential Revision: https://reviews.llvm.org/D36384
llvm-svn: 310272
Diffstat (limited to 'llvm/test/CodeGen/AMDGPU/empty-function.ll')
0 files changed, 0 insertions, 0 deletions
