[PATCH] D136256: [InstCombine] Fix assert condition in `foldSelectShuffleOfSelectShuffle`

[Sanjay Patel via Phabricator via llvm-commits]

spatel added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/foldSelectShuffleOfSelectShuffle.ll:4
+; CHECK: shufflevector <4 x float> %1, <4 x float> poison, <4 x i32> <i32 0, i32 undef, i32 2, i32 3>
+
+ at g = dso_local local_unnamed_addr global [4 x float] zeroinitializer, align 16
----------------
...and minimize the test :)

No loads or globals are needed to show the bug (if this is filed as a bug somewhere, add a reference).


```
define <4 x float> @identity_mask(<4 x float>%x, <4 x float> %y) {
  %s1 = shufflevector <4 x float> %x, <4 x float> %y, <4 x i32> <i32 0, i32 5, i32 undef, i32 undef>
  %s2 = shufflevector <4 x float> %s1, <4 x float> %x, <4 x i32> <i32 0, i32 undef, i32 6, i32 7>
  ret <4 x float> %s2
}

```


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D136256/new/

https://reviews.llvm.org/D136256