Bjorn Pettersson c395575313 [InstCombine] Fix miscompile bug in canEvaluateShuffled ...

Summary:
Add restrictions in canEvaluateShuffled to prevent that we for example
transform

  %0 = insertelement <2 x i16> undef, i16 %a, i32 0
  %1 = srem <2 x i16> %0, <i16 2, i16 1>
  %2 = shufflevector <2 x i16> %1, <2 x i16> undef, <2 x i32> <i32 undef, i32 0>

into

   %1 = insertelement <2 x i16> undef, i16 %a, i32 1
   %2 = srem <2 x i16> %1, <i16 undef, i16 2>

as having an undef denominator makes the srem undefined (for all
vector elements).

Fixes: https://bugs.llvm.org/show_bug.cgi?id=43689

Reviewers: spatel, lebedev.ri

Reviewed By: spatel, lebedev.ri

Subscribers: lebedev.ri, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69038

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@375208 91177308-0d34-0410-b5e6-96231b3b80d8

2019-10-18 07:42:02 +00:00

..

Analysis

[Test] Precommit test for D69006

2019-10-17 23:32:35 +00:00

Assembler

[lit] Fix a test case that r374652 missed

2019-10-16 17:56:12 +00:00

Bindings

[IRBuilder] Update IRBuilder::CreateFNeg(...) to return a UnaryOperator

2019-10-14 15:35:01 +00:00

Bitcode

Add FMF to vector ops for phi

2019-10-14 17:39:32 +00:00

BugPoint

…

CodeGen

[X86] Emit KTEST when possible

2019-10-18 03:45:52 +00:00

DebugInfo

[DWARF5] Added support for DW_AT_noreturn attribute to be emitted for

2019-10-16 16:30:38 +00:00

Demangle

[Demangle] Add a few more options to the microsoft demangler

2019-10-15 08:29:56 +00:00

Examples

…

ExecutionEngine

[JITLink] Switch to slab allocation for InProcessMemoryManager, re-enable test.

2019-10-15 21:06:57 +00:00

Feature

[FPEnv] Add constrained intrinsics for lrint and lround

2019-10-07 13:20:00 +00:00

FileCheck

[FileCheck] Implement --ignore-case option.

2019-10-11 11:59:14 +00:00

Instrumentation

Insert module constructors in a module pass

2019-10-11 08:47:03 +00:00

Integer

…

JitListener

[lit] Delete empty lines at the end of lit.local.cfg NFC

2019-06-17 09:51:07 +00:00

Linker

Remove some unnecessary REQUIRES: shell lines

2019-09-10 00:06:52 +00:00

LTO

Reland: Dead Virtual Function Elimination

2019-10-17 09:58:57 +00:00

MachineVerifier

Add an operand to memory intrinsics to denote the "tail" marker.

2019-09-28 05:33:21 +00:00

MC

[lit] Fix internal diff's --strip-trailing-cr and use it

2019-10-16 17:21:57 +00:00

Object

[llvm-ar] Implement the O modifier: display member offsets inside the archive

2019-10-17 11:34:29 +00:00

ObjectYAML

[yaml2obj/ObjectYAML] - Cleanup the error reporting API, add custom errors handlers.

2019-09-13 16:00:16 +00:00

Other

Reapply r374743 with a fix for the ocaml binding

2019-10-14 16:15:14 +00:00

Reduce

[Testing] Python 3 requires print to use parens

2019-09-20 13:52:47 +00:00

SafepointIRVerifier

…

Support

[llvm-dwarfdump] Remove unnecessary explicit -h behaviour

2019-06-21 11:22:20 +00:00

SymbolRewriter

…

TableGen

[TableGen] Fix a bug that MCSchedClassDesc is interfered between different SchedModel

2019-10-11 08:36:54 +00:00

ThinLTO/X86

Reland: Dead Virtual Function Elimination

2019-10-17 09:58:57 +00:00

tools

Reland [llvm-objdump] Use a counter for llvm-objdump -h instead of the section index.

2019-10-17 21:55:43 +00:00

Transforms

[InstCombine] Fix miscompile bug in canEvaluateShuffled

2019-10-18 07:42:02 +00:00

Unit

…

Verifier

[DebugInfo] Add a DW_OP_LLVM_entry_value operation

2019-10-15 11:31:21 +00:00

YAMLParser

…

.clang-format

…

CMakeLists.txt

[llvm-ifs][IFS] llvm Interface Stubs merging + object file generation tool.

2019-08-30 18:26:05 +00:00

lit.cfg.py

Reland "[utils] Implement the llvm-locstats tool"

2019-10-02 07:00:01 +00:00

lit.site.cfg.py.in

Follow-up to r372209: Use single quotes for host_ldflags in the lit config

2019-09-18 14:12:59 +00:00

TestRunner.sh

…