FailedChanges

Summary

  1. [X86] Add more packus/ssat/usat truncate tests from legal vectors to (details)
  2. [CVP] Remove a masking operation if range information implies it's a (details)
Commit 32097c269660a0b78aa5966b8279b248dda60993 by craig.topper
[X86] Add more packus/ssat/usat truncate tests from legal vectors to
less than 128-bit vectors.
Some of these have sub-optimal codegen for avx512 relative to avx2.
llvm-svn: 374505
The file was modifiedllvm/test/CodeGen/X86/vector-trunc-packus.ll
The file was modifiedllvm/test/CodeGen/X86/vector-trunc-ssat.ll
The file was modifiedllvm/test/CodeGen/X86/vector-trunc-usat.ll
Commit 2d5820cd72255e04aaef2da3c21d62396fdd7fb9 by listmail
[CVP] Remove a masking operation if range information implies it's a
noop
This is really a known bits style transformation, but known bits isn't
context sensitive. The particular case which comes up happens to involve
a range which allows range based reasoning to eliminate the mask
pattern, so handle that case specifically in CVP.
InstCombine likes to generate the mask-by-low-bits pattern when widening
an arithmetic expression which includes a zext in the middle.
Differential Revision: https://reviews.llvm.org/D68811
llvm-svn: 374506
The file was modifiedllvm/test/Transforms/CorrelatedValuePropagation/range.ll
The file was modifiedllvm/test/Transforms/CorrelatedValuePropagation/overflows.ll
The file was addedllvm/test/Transforms/CorrelatedValuePropagation/and.ll
The file was modifiedllvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp